Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we implemented a prototype of the semantics of a DSL for the specification of systems consisting of concurrent, communicating objects. Using this prototype, models specified in the DSL can be transformed to labeled transition systems (LTS). This approach of transforming models to LTSs allows us to apply existing tools for visualization and verification to models with little or no further effort. The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.Comment: In Proceedings AMMSE 2011, arXiv:1106.596

The organic seed regulations framework in Europe – current status and recommendations for future development

Organic agriculture regulations, in particular European regulation EC 889/2008, prescribe the use of organically produced seed. For many cultivated plants, however, organic seed is often not available. This is mainly because investment in organic plant breeding and seed production has been low in the past. To bridge the gap between organic seed supply and demand, national and European regulations define certain circumstances under which organic producers are permitted to use non-organically produced seed. While the organic sector currently depends on these concessions, they also threaten to impede a further increase in the demand for organic seed, thereby potentially restraining present and future investment in organic seed production and plant breeding. We review the current status of the organic seed regulations framework by analysing key issues such as the role of the national derogation regimes, the role of expert groups, databases and seed prices. Key points are that (a) the situation of the organic seed sector has improved over the last few years; however, (b) reporting on organic seed to the EU by different countries needs to be harmonised; (c) the success of the organic seed sector depends critically on the implementation and improvement of national expert groups; and (d) to protect genetic diversity, the use of local varieties and landraces should not be impeded by organic seed regulations

Photochemical Reaction of ihydroartemisinin esters

Photochemical reaction of three dihydroartemisinin esters: acetate, benzoate and succinate under 254 nm UV light in CH2Cl2 have been studied. The result showed, that these artemisinin derivatives are easily decomposed forming different elimination and rearrangement compounds

Synthesis of thiourea chitosan and thiourea chitosan metal complexes and antibactarial activity

Chitosan and its derivatives are becoming increasingly important natural polymers because of their unique combination of properties like biodegradability, biocompatibility and bioactivity, in addition to attractive physical and mechanical properties. Here we wish to report the synthesis and characterization of thiourea chitosan and its metal-complex. Thiourea chitosan was prepared by the reaction of chitosan with ammonium thiocyanate in ethanol. Its metal complex was prepared by dissolving thiourea chitosan in 1% CH3COOH solution follow by adding metal salt solution.  Antimicrobial activities of the complexs were evaluated against three species of bacteria. These complexs had an effect on study bacteria, which minimum inhibition concentrate (MIC) values against bacteria were 2 times lower than those of Thiourea-chitosan; the complex had higher antibacterial activity on Staphylococcus aureus than E. coli and Pseudomonas aeruginosa

Antifungal constituents from the stems of Dracaena cambodiana

The stems of Dracaena cambodiana have been investigated for antifungal constituents, resulting in the isolation of a new steroidal saponin dracagenin A (1) together with two known components 25S-namogenin B (2) and spriroconazole A (3). Their structures were elucidated on the basis of extensive spectroscopic analysis including 1D, 2D NMR and ESI MS. The isolated compounds were evaluated for their antifungal activities. 1 and 3 exhibited inhibitory activity against Aspergilus niger at the MICs of 50 mg/ml. No inhibition effects on F. oxysporum, S. cerevisiae and C. albicans have been found for the tested compounds. Interestingly, toxicity of 3 towards several cancer cell lines has been demonstrated. The IC50 of 3 against Hep-2, Lu, and RD are 2.002, 4.727, and 4.029 mg/ml, respectively

Some studies on the deformation of the membrane in an RF MEMS switch

Radio Frequency (RF) switches of Micro Electro Mechanical Systems (MEMS) are appealing to the mobile industry because of their energy efficiency and ability to accommodate more frequency bands. However, the electromechanical coupling of the electrical circuit to the mechanical components in RF MEMS switches is not fully understood. In this paper, we consider the problem of mechanical deformation of electrodes in RF MEMS switch due to the electrostatic forces caused by the difference in voltage between the electrodes. It is known from previous studies of this problem, that the solution exhibits multiple deformation states for a given electrostatic force. Subsequently, the capacity of the switch that depends on the deformation of electrodes displays a hysteresis behaviour against the voltage in the switch. We investigate the present problem along two lines of attack. First, we solve for the deformation states of electrodes using numerical methods such as finite difference and shooting methods. Subsequently, a relationship between capacity and voltage of the RF MEMS switch is constructed. The solutions obtained are exemplified using the continuation and bifurcation package AUTO. Second, we focus on the analytical methods for a simplified version of the problem and on the stability analysis for the solutions of deformation states. The stability analysis shows that there exists a continuous path of equilibrium deformation states between the open and closed state

Hygienic quality of dehydrated aromatic herbs marketed in Southern Portugal

Dehydrated aromatic herbs are highly valued ingredients, widely used at home level and by food processing industry, frequently added to a great number of recipes in the Mediterranean countries. Despite being considered low-moisture products and classified as GRAS, during pre and post-harvesting stages of production they are susceptible of microbial contamination. In Europe an increasing number of food recalls and disease outbreaks associated with dehydrated herbs have been reported in recent years. In this study the microbial quality of 99 samples of aromatic herbs (bay leaves, basil, coriander, oregano, parsley, Provence herbs, rosemary and thyme) collected from retails shops in the region of Algarve (Southern Portugal) was assessed. All the samples were tested by conventional methods and were assayed for the total count of aerobic mesophilic microorganisms, Salmonella spp., Escherichia coli, coagulase-positive staphylococci and filamentous fungi. Almost 50 % of the herbs did not exceed the aerobic mesophilic level of 104 CFU/g. The fungi count regarded as unacceptable (106 CFU/g) was not found in any of the tested herbs, while 84 % of the samples ranged from ≤102 to 104 CFU/g. No sample was positive for the presence of Salmonella spp., Escherichia coli and staphylococci. The results are in compliance with the European Commission criteria although they point out to the permanent need of surveillance on the good standards of handling/cooking practices as well as the importance of avoiding contamination at production, retailing and distribution. The microbiological hazards associated with the pathogenic and toxigenic microbiota of dried herbs remain as a relevant public health issue, due to the fact that they are added to foods not submitted to any following lethal procedure. Control measures should be adopted in order to ensure that all phases of their supply chain respect the food safety standards.FCT: UID/BIA/04325/2019.info:eu-repo/semantics/publishedVersio

Evolving solitons in bubbly flows

At the end of the sixties, it was shown that pressure waves in a bubbly liquid obey the KdV equation, the nonlinear term coming from convective acceleration and the dispersive term from volume oscillations of the bubbles.\ud For a variableu, proportional to –p, wherep denotes pressure, the appropriate KdV equation can be casted in the formu t –6uu x +u xxx =0. The theory of this equation predicts that, under certain conditions, solitons evolve from an initial profileu(x,0). In particular, it can be shown that the numberN of those solitons can be found from solving the eigenvalue problem xx–u(x,0)=0, with(0)=1 and(0)=0.N is found from counting the zeros of the solution of this equation betweenx=0 andx=Q, say,Q being determined by the shape ofu(x,0). We took as an initial pressure profile a Shockwave, followed by an expansion wave. This can be realised in the laboratory and the problem, formulated above, can be solved exactly.\ud In this contribution the solution is outlined and it is shown from the experimental results that from the said initial disturbance, indeed solitons evolve in the predicated quantity.\u