Several types of weighted-automata models and formalisms to specify and verify constraints on accumulated weights have been studied in the past. The lack of monotonicity for weight functions with positive and negative values as well as for ratios of the accumulated values of non-negative weight functions renders many verification problems to be undecidable or computationally hard. Our contribut...

In this multidisciplinary study a geared open rotor configuration is assessed and compared to an ultra high bypass ratio geared turbofan engine. Both designs assume a 2020 entry into service level of technology. The specific thrust level for minimizing block fuel and the resulting engine emissions for a given mission is sought. The tool used contains models that effectively capture: engine perf...

With the rapid development of world economy and technology, engine technology has made a series progress in aerospace field. However, problems environmental pollution energy crisis are becoming more serious. The advanced aircraft engines can contribute to thrust-to-weight ratio, fuel consumption rate, lifetime cost, pollutant emission, safety reliability, etc., reducing flight costs. This paper...

The objective of national oat breeding program is to develop the varieties with high yielding, resistant diseases, drought, cold, and heat stresses suitable for different usages (food, feed, forage). To achieve that goal, a total 284 (232 lines + 52 checks) genotypes were tested under rain-fed conditions at yield, advanced elite yield trials conducted between 2008 2012. During consecutive cycle...

The usage of slots has gained renewed interest in aerospace, particularly on propeller design. Most the works have focused improving aerodynamic performance and efficiency. Modern research design aims to propellers with high thrust under low torque conditions without any weight penalty. Although slotted been done before, none understand its impact different airfoils blade. Thus, this study prov...

We report time-resolved electroabsorption of a weak probe in a 500 μm thick zinc-oxide crystal in the presence of a strong midinfrared pump in the tunneling limit. We observe a substantial redshift in the absorption edge that scales with the cube root of intensity up to 1 TW/cm(2) (0.38 eV cm(2/3) TW(-1/3)) after which it increases more slowly to 0.4 eV at a maximum applied intensity of 5 TW/cm...

Missiles are strategic defense equipment that have a high deterrent effect in the national system because they destructive power, precision, and can be launched remotely. With above characteristics, missile is high-tech product, it still needs lot of engineering effort to master technology, especially propulsion / technology which mostly form turbojet engines. background, this study designs ana...

The current work presents the numerical prediction method to determine small-scale propeller performance. The study is implemented using the commercially available computational fluid dynamics (CFD) solver, FLUENT. Numerical results are compared with the available experimental data for an advanced precision composites (APC) Slow Flyer propeller blade to determine the discrepancy of the thrust c...

The purpose of this study was to compare effects 12-weeks tradinational resistance training (TRT) on total work (TW), relative peak (RPW) and power (PP) in elite national curlers. Twenty-four participants were included the study. Subjects separated into two gorup, group (RES) control (CON). While RES performed 12-week TRT addiction curling training, CON just training. All twenty-four athletes a...