Safe design of high-performance embedded systems in an MDE framework

In this paper, we use the UML MARTE profile to model high-performance embedded systems (HPES) in the GASPARD2 framework. We address the design correctness issue on the UML model by using the formal validation tools associated with synchronous languages, i.e., the SIGALI model checker, etc. This modeling and validation approach benefits from the advantages of UML as a standard, and from the number of validation tools built around synchronous languages. In our context, model transformations act as a bridge between UML and the chosen validation technologies. They are implemented according to a model-driven engineering approach. The modeling and validation are illustrated using the multimedia functionality of a new-generation cellular phone.     

“2＋0．5＋0．5”人才培养模式下综合实训的设计

我院三年制“软件技术专业”采用了“2＋0．5＋0．5”人才培养模式,即两年课堂教学,半年校内实训基地综合实训,半年校外实习。本文介绍了基于这种培养模式的专业综合实训环节的设计,总结了实训中采取的指导方法。     

基于ASP的B2C电子商务网站的设计

文中分析了ASP技术及基于ASP建立企业电子商务网站的技术手段;同时基于ASP技术与MS Access数据库,设计并实现了B2C电子商务网站系统。     

Traceable P2P record exchange: a database-oriented approach

In recent years, peer-to-peer (P2P) technologies are used for flexible and scalable information exchange in the Internet, but there exist problems to be solved for reliable information exchange. It is important to trace how data circulates between peers and how data modifications are performed during the circulation before reaching the destination for enhancing the reliability of exchanged information. However, such lineage tracing is not easy in current P2P networks, since data replications and modifications are performed independently by autonomous peers—this creates a lack of reliability among the records exchanged. In this paper, we propose a framework for traceable record exchange in a P2P network. By managing historical information in distributed peers, we make the modification and exchange histories of records traceable. One of the features of our work is that the database technologies are utilized for realizing the framework. Histories are maintained in a relational database in each peer, and tracing queries are written in the datalog query language and executed in a P2P network by cooperating peers. This paper describes the concept of the framework and overviews the approach to query processing.     

Overexpression and elevated plasma level of tumor-associated antigen 90K/Mac-2 binding protein in colorectal carcinoma

The cancer cell secretome may contain potentially useful biomarkers. Previously, we have analyzed the colorectal carcinoma (CRC) cell secretome. In this study, tumor‐associated antigen 90K (TAA90K)/Mac‐2 binding protein (Mac‐2BP), one of the CRC cell secreted proteins, was chosen for evaluation as a potential CRC biomarker because its mRNA level was also found to be significantly elevated in CRC tissues and in a more metastatic CRC cell line from the analysis of two public domain array‐based datasets. Immunohistochemical analysis of 241 CRC specimens showed that TAA90K/Mac‐2BP was positively detected in 52.7% of the tumors, but weakly or not detected in over 95% of the adjacent nontumor epithelial cells. The plasma TAA90K/Mac‐2BP levels were significantly higher in CRC patients (N = 280) versus healthy controls (N = 147) (7.77 ± 3.49 vs. 5.72 ± 2.67 μg/mL, p<0.001). Moreover, combination of TAA90K/Mac‐2BP and carcinoembryonic antigen (CEA) could outperform CEA alone in discriminating CRC patients from healthy persons in this case‐control study. Our results collectively indicate that analysis of cancer cell secretome is a feasible strategy for identifying cancer biomarker candidates, and the TAA90K/Mac‐2BP may be a potential CRC biomarker.     

PLC高速计数模块在数控装置中的应用

本文主要介绍了PLC高速计数特殊功能模块在数控装置中的应用实例,分析了控制系统的基本原理,同时也对控制编程的要点进行了相应的介绍和分析,该实例具有一定参考价值。     

Influence of temperature on the liver circadian clock in the ruin lizard Podarcis sicula

Reptiles represent an interesting animal model to investigate the influence of temperature on molecular circadian clocks. The ruin lizard Podarcis sicula lives in a continental climate and it is subjected to wide range of environmental temperatures during the course of the year. As consequence, ruin lizard daily activity pattern includes either the hibernation or periods of inactivity determined by hypothermia. Here we showed the rhythmic expression of two clock genes, lPer2 and lClock, in the liver of active lizards exposed to summer photo-thermoperiodic conditions. Interestingly, the exposition of lizards to hypothermic conditions, typical of winter season, induced a strong dampening of clock genes mRNA rhythmicity with a coincident decrease of levels. We also examined the qualitative and quantitative distribution of lPER2 and lCLOCK protein in different cellular compartments during the 24-h cycle. In the liver of active lizards both proteins showed a rhythmic expression profile in all cellular compartments. After 3 days at 6 degrees C, some temporal fluctuations of the lCLOCK and lPER2 are still detectable, although, with some marked modifications in respect to the values detected in the liver of active lizards. Besides demonstrating the influence of low temperature on the lizard liver circadian oscillators, present results could provide new essential information for comparative studies on the influence of temperature on the circadian system across vertebrate classes.     

On delay-derivative-dependent stability of systems with fast-varying delays

Stability of linear systems with uncertain bounded time-varying delays is studied under the assumption that the nominal delay values are not equal to zero. An input-output approach to stability of such systems is known to be based on the bound of the L₂-norm of a certain integral operator. There exists a bound on this operator norm in two cases: in the case where the delay derivative is not greater than 1 and in the case without any constraints on the delay derivative. In the present note we fill the gap between the two cases by deriving a tight operator bound which is an increasing and continuous function of the delay derivative upper bound d?1. For d→∞ the new bound corresponds to the second case and improves the existing bound. As a result, for the first time, delay-derivative-dependent frequency domain and time domain stability criteria are derived for systems with the delay derivative greater than 1.     

Nonsmooth optimization for multiband frequency domain control design

Multiband frequency domain synthesis consists in the minimization of a finite family of closed-loop transfer functions on prescribed frequency intervals. This is an algorithmically difficult problem due to its inherent nonsmoothness and nonconvexity. We extend our previous work on nonsmooth H_∞ synthesis to develop a nonsmooth optimization technique to compute local solutions to multiband synthesis problems. The proposed method is shown to perform well on illustrative examples.     

A parametric bootstrap approach for ANOVA with unequal variances: Fixed and random models

This article is about testing the equality of several normal means when the variances are unknown and arbitrary, i.e., the set up of the one-way ANOVA. Even though several tests are available in the literature, none of them perform well in terms of Type I error probability under various sample size and parameter combinations. In fact, Type I errors can be highly inflated for some of the commonly used tests; a serious issue that appears to have been overlooked. We propose a parametric bootstrap (PB) approach and compare it with three existing location-scale invariant tests—the Welch test, the James test and the generalized F (GF) test. The Type I error rates and powers of the tests are evaluated using Monte Carlo simulation. Our studies show that the PB test is the best among the four tests with respect to Type I error rates. The PB test performs very satisfactorily even for small samples while the Welch test and the GF test exhibit poor Type I error properties when the sample sizes are small and/or the number of means to be compared is moderate to large. The James test performs better than the Welch test and the GF test. It is also noted that the same tests can be used to test the significance of the random effect variance component in a one-way random model under unequal error variances. Such models are widely used to analyze data from inter-laboratory studies. The methods are illustrated using some examples.