A Kleene–Schützenberger theorem for weighted timed automata

During the last years, weighted timed automata have received much interest in the real-time community. Weighted timed automata form an extension of timed automata and allow us to assign weights (costs) to both locations and edges. This model, introduced by Alur et al. (2001) and Behrmann et al. (2001), permits the treatment of continuous consumption of resources and has led to much research on scheduling problems, optimal reachability and model checking. Also, several authors have derived Kleene-type characterizations of (unweighted) timed automata and their accepted timed languages. The goal of this paper is to provide a characterization of the behaviours of weighted timed automata by rational power series. We define weighted timed automata with weights taken in an arbitrary semiring, resulting in a model that subsumes several weighted timed automata concepts of the literature. For our main result, we combine the methods of Schützenberger, a recent approach for a Kleene-type theorem for unweighted timed automata by Bouyer and Petit as well as new techniques. Our main result also implies Kleene-type theorems for several subclasses of weighted timed automata investigated before, e.g., for timed automata and timed automata with stopwatch observers.     

Proteomic studies in animal models of diabetes

The aim of this review is to provide an overview of proteomic studies in animal models of diabetes and to give some insight into the different methods available today in the rapidly developing field of proteomics. A summary of 31 papers published between 1997 and 2007 is presented. For instance, proteomics has been used to study the development of both type 1 and type 2 diabetes, diabetic complications in tissues like heart, kidney and retina and changes after treatment with anti-diabetic drugs like peroxisome proliferator-activated receptors agonists. Together, these studies give a good overview of a number of experimental approaches. Proteomics holds the promise of providing major contributions to the field of diabetes research. However, to achieve this, a number of issues need to be resolved. Appropriate data representation to facilitate data comparison, exchange, and verification is required, as well as improved statistical assessment of proteomic experiments. In addition, it is important to follow up the results with functional studies to be able to make biologically relevant conclusions. The potential of proteomics to dissect complex human disorders is now beginning to be realized. In the future, this will result in new important information concerning diabetes.     

Reducing Playground Bullying and Supporting Beliefs: An Experimental Trial of the Steps to Respect Program.

Six schools were randomly assigned to a multilevel bullying intervention or a control condition. Children in Grades 3-6 (N=1,023) completed pre- and posttest surveys of behaviors and beliefs and were rated by teachers. Observers coded playground behavior of a random subsample (n=544). Hierarchical analyses of changes in playground behavior revealed declines in bullying and argumentative behavior among intervention-group children relative to control-group children, increases in agreeable interactions, and a trend toward reduced destructive bystander behavior. Those in the intervention group reported enhanced bystander responsibility, greater perceived adult responsiveness, and less acceptance of bullying/aggression than those in the control group. Self-reported aggression did not differ between the groups. Implications for future research on the development and prevention of bullying are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

高炉两段式喷吹煤粉工艺的生产实践

两段式喷吹煤粉工艺应用于瑞典SSAB Oxel(o)sund 2号高炉,效果显著.结果表明:若维持风口喷吹煤粉量不变,两段式喷吹煤粉工艺可以提高喷煤量,降低焦比,当第二段喷吹煤粉量5 kg/t时,焦比下降5 kg/t;改善高炉料柱透气性,降低料柱压差,使炉内煤气流分布更加合理,有助于高炉操作稳定,提高煤气利用率;第二段喷入的煤粉可以在高炉内被充分利用,并可以有效地抑制焦炭强度在高炉内的劣化,有助于降低在实施大喷煤工艺时对焦炭质量的苛刻要求;有助于减少炉墙热损失.     

Identification of barramundi (Lates calcarifer) and tilapia (Oreochromis spp.) fillets by DNA- and protein-analytical methods

Fish and fillet of barramundi (Lates calcarifer) and tilapia (Oreochromis species) obtained from wholesale and retail trade were assigned to species by sequencing of PCR products. Two segments (358 and 464?bp) of the cytochrome b gene (cytb) were amplified using universal primers. The amplicons gave characteristic patterns in SSCP-analysis (single strand conformation polymorphism) suitable for differentiation of Lates calcarifer from Lates niloticus and Lateolabrax japonicus. Intra-specific variation of sequences and SSCP patterns were observed for barramundi. In case of tilapia species, it was found to be difficult to identify samples by BLAST due to the high similarity of cytb sequences of O. niloticus, O. mossambicus, O. aureus and Sarotherodon galileus. Four different patterns of single strand DNA (ssDNA) were obtained by SSCP analysis of the 464?bp amplicon of tilapia. Different patterns of ssDNA matched to variations in sequences. Protein profiles obtained by IEF (isoelectric focusing) of water-soluble proteins from raw fillet were found to be suitable for rapid differentiation of Lates calcarifer from Lateolabrax japonicus, but the three different Oreochromis species expressed only minor differences in protein patterns. The patterns of the tilapia and barramundi species showed a number of acidic, heat-stable proteins, presumably representing parvalbumin.     

Learning curve analysis of concentrated photovoltaic systems

Price declines and volume growth of concentrated photovoltaic (CPV) systems are analysed using the learning curve methodology and compared with other forms of solar electricity generation. Logarithmic regression analysis determines a learning rate of 18% for CPV systems with 90% confidence of that rate being between 14 and 22%, which is higher than the learning rates of other solar generation systems (11% for CSP and 12 to 14% for PV). Current CPV system prices are competitive with PV and CSP, which, when combined with the higher learning rate, indicates that CPV is likely to further improve its marketability. A target price of 1 $/W in 2020 could be achieved with a compound growth rate of 67% for the total deployed volume between 2014 and 2020, which would realize a cumulative deployed volume of 7900 MW. Other projections of deployment volumes from commercial sources are converted using the learning rate into future price scenarios, resulting in predicted prices in the range of 1.1 to 1.3 $/W in 2020. © 2014 The Authors. Progress in Photovoltaics: Research and Applications published by John Wiley & Sons Ltd.     

Evaluation of Antioxidative Constituents from Thyme

The non-polar fraction of thyme was examined for the occurrence of phenolic components and their antioxidative activity. In addition to carvacrol ( II ) and thymol ( III ), p -cymene-2,3-diol (I ; 2,3-dihydroxy-4-isopropyl-1-methylbenzene) was isolated for the first time from thyme. The structure of I was elucidated using ¹H nuclear magnetic resonance (NMR), ¹³C NMR, and mass spectrometry. Antioxidative activity was investigated with the Rancimat method (100°C) and the Schaal test (60°C). Compound I exhibited the strongest antioxidative activity which was greater than that of α-tocopherol and butylated hydroxyanisole. Five thyme species were analysed by means of HPLC with electrochemical detection for the concentration of compounds I – III . The highest amounts of I – III were found in Thymus vulgaris L.