Creating and Validating Embedded Assertion Statecharts

Integrating formal assertions into the modeling, implementation, and testing of statechart-based designs can enhance a rapid system prototyping system's robustness by providing runtime monitoring and recovery from assertion failures. An iterative process for developing and verifying statechart prototype models augmented with statechart assertions using the StateRover tool lets system designers write formal specifications using statechart assertions. It also enables them to use JUnit-based simulation to validate statechart assertions and to test statechart prototype models augmented with statechart assertions. A case study using a safety-critical computer assisted resuscitation algorithm software prototype for a casualty intravenous fluid infusion pump illustrates the process.     

Throughput Evaluation of Oversampled Receiver: An Example of WiMAX System

In this paper, we propose an oversampled WiMAX receiver as an attempt to improve throughput of WiMAX system. In communication, oversampling is a technique that a signal is sampled with a higher sampling frequency than its original bandwidth at the receiver side. Thus more signal sequences, which is received through different paths, may be obtained compare to system with conventional sampling. These additional sequences generate diversity. This study theoretically analyzes an oversampled wireless communication system in case of capacity with outage over Rayleigh distributed flat fading channel and presents throughput of the oversampled WiMAX receiver that obtained by simulation over a realistic channel model and by experimental tests. Since the performance of an oversampled system very much depends on the channel conditions, realistic channel model and experimental study are essential to exhibit realistic performance benchmarks. Theoretical analyzes, simulations and experimental results clearly show that the oversampled receiver significantly outperforms the spectrum efficiency of the communication system.     

Vital parameters for high gamma-aminobutyric acid (GABA) production by an industrial soy sauce koji Aspergillus oryzae NSK in submerged-liquid fermentation

Food Science and Biotechnology - In submerged-liquid fermentation, seven key parameters were assessed using one-factor-at-a-time to obtain the highest GABA yield using an industrial soy sauce koji...     

Relationship among fecal coliforms and <Emphasis Type="Italic"> Escherichia coli </Emphasis>in various foods

For much of the twentieth century, coliform bacteria and especially Escherichia coli have been used as indicators of possible post-processing contamination and the presence of E. coli as an indicator of fecal contamination in foods. In this study, 500 foods in 10 different groups, mainly dairy products, delicatessen products, salads, spices, cream cakes and fresh fruit and vegetable samples, were analyzed for the natural contamination of fecal coliforms and E. coli by the standard most probable number (MPN) method. The difference between weighted means of fecal coliforms and E. coli counts were only 0.246 log₁₀ MPN/g-ml (MPN/gram for solid samples, and MPN/milliliter for liquids). Enumeration results were also evaluated by Pearson's correlation coefficient ( r), Cronbach's alpha (f) and determination coefficient ( r ²) analysis. According to results, although 33 samples contained only non- E. coli fecal coliforms, the results of reliability analyses indicated that fecal coliform counts and E. coli counts may be used interchangeably ( P <0.0001). It can be said that fecal coliform or, preferably E. coli analysis is sufficient for rapid routine determination of fecal contamination, at least for those food groups analyzed in this research.     

Substrate Temperature Dependent Surface Morphology and Photoluminescence of Germanium Quantum Dots Grown by Radio Frequency Magnetron Sputtering

The visible luminescence from Ge nanoparticles and nanocrystallites has generated interest due to the feasibility of tuning band gap by controlling the sizes. Germanium (Ge) quantum dots (QDs) with average diameter ~16 to 8 nm are synthesized by radio frequency magnetron sputtering under different growth conditions. These QDs with narrow size distribution and high density, characterized using atomic force microscopy (AFM) and field emission scanning electron microscopy (FESEM) are obtained under the optimal growth conditions of 400 °C substrate temperature, 100 W radio frequency powers and 10 Sccm Argon flow. The possibility of surface passivation and configuration of these dots are confirmed by elemental energy dispersive X-ray (EDX) analysis. The room temperature strong visible photoluminescence (PL) from such QDs suggests their potential application in optoelectronics. The sample grown at 400 °C in particular, shows three PL peaks at around ~2.95 eV, 3.34 eV and 4.36 eV attributed to the interaction between Ge, GeO_x manifesting the possibility of the formation of core-shell structures. A red shift of ~0.11 eV in the PL peak is observed with decreasing substrate temperature. We assert that our easy and economic method is suitable for the large-scale production of Ge QDs useful in optoelectronic devices.     

Graft copolymerization of poly(methyl methacrylate) with some alkyl methacrylates by atom transfer radical polymerization method and thermal properties

The preparation of graft copolymers of poly(methyl methacrylate) with some alkyl methacrylates were carried out via atom transfer radical polymerization method catalyzed by CuCl/2,2′-bipyridine and using a macroinitiator, poly[(methyl methacrylate)-co-(3,5-bis(chloroacetoxy)phenyl methacrylate)], including an amount of 1 mol % having α-halogeno carbonyl group in the side groups. Although the number-average molecular weights of a graft copolymer series of n-butyl methacrylate (n-ButMA) ended at different times increased from 55,700 to 99,500, the polydispersities decreased from 1.85 to 1.39 with time. The thermal degradation kinetics of macroinitiator and a two-armed graft copolymer of n-ButMA with this macroinitiator, PMMA-g-PnButMA: 4% (by mol), were carried out at different heating rates by thermogravimetric analysis and the results were compared. Using both the Flynn–Wall–Ozawa and Kissinger methods, the decomposition activation energies for macroinitiator were determined as 168 and 162 kJ/mol, respectively; they were also calculated as 233 and 239 kJ/mol for PMMA-g-PnButMA: 4%. The solid state thermodegradation mechanisms of both macroinitiator and PMMA-g-PnButMA: 4% are R₁-type mechanism, a phase boundary-controlled reaction, and F₁-type mechanism, a random nucleation with one nucleus on the individual particle, respectively. © 2012 Wiley Periodicals, Inc. J Appl Polym Sci, 2012