We address the safety verification and synthesis problems for real-time systems. introduce programs that are made of instructions can perform assignments to discrete real-valued variables. They general enough capture interesting classes timed systems such as automata, stopwatch time(d) Petri nets hybrid automata. propose a semi-algorithm using refinement trace abstractions solve both reachabili...

In this study, response surface methodology (RSM) was carried out with four parameters: chitosan concentration, AgNO3 ascorbic acid concentration and time the objective to obtain minimum mean particle size of silver nanoparticles (response Y). The chitosan-silver nanoparticle composite material (CTS-AgNPs nanocomposite) obtained experimentally from optimal conditions characterized by evaluating...

A model for hormonal control of the menstrual cycle with 13 ordinary differential equations and 41 parameters is presented. Important changes in model behavior result from variations in two of the most sensitive parameters. One parameter represents the level of estradiol sufficient for significant synthesis of luteinizing hormone, which causes ovulation. By studying bifurcation diagrams in this...

Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the necessity of narrowing the problem of MEMS synthesis into a certain specific application domain, e.g., RF MEM devices. Then the paper briefly introduces the flow of a structured MEMS design process and points out that s...

Many audio synthesis techniques have been successful in reproducing the sounds of musical instruments. Several of these techniques require parameters calibration. However, this task can be difficult and time-consuming especially when there is not intuitive correspondence between a parameter value and the change in the produced sound. Searching the parameter space for a given synthesis technique...

Dye photodegradation using ozone and Nickel ferrite nanoparticle (NFN) as a photocatalyst was studied. The catalyst was synthesized and characterized by FT-IR, SEM and XRD. Textile dyes including Remazol Red RB (RRRB) and Direct Green B (DGB) were degraded as model compounds. Dye degradation was investigated using UV–Vis and ion chromatography (IC) analyses. The effect of catalyst dosage, pH, s...