Design and application of 60mer oligonucleotide microarray in SARS coronavirus detection

In April 2003, a novel coronavirus[1,2] which was associated with cases of Severe Acute Respiratory Syn-drome (SARS) was first isolated and sequenced in Canada. The genome of SARS coronavirus (SARS-CoV) is 29727[3] nucleotides in length and has 11 known open reading frames (ORFs). Although the genome organiza-tion of this virus is similar to that of other coronaviruses, phylogenetic analyses and sequence alignment show that SARS-CoV is not closely related to any of the previously ch…     

Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems

Hybrid systems are dynamical systems with interacting discrete computation and continuous physical processes, which have become more common, more indispensable, and more complicated in our modern life. Particularly, many of them are safety-critical, and therefore are required to meet a critical safety standard. Invariant generation plays a central role in the verification and synthesis of hybrid systems. In the previous work, the fourth author and his coauthors gave a necessary and sufficient condition for a semi-algebraic set being an invariant of a polynomial autonomous dynamical system, which gave a confirmative answer to the open problem. In addition, based on which a complete algorithm for generating all semi-algebraic invariants of a given polynomial autonomous hybrid system with the given shape was proposed. This paper considers how to extend their work to non-autonomous dynamical and hybrid systems. Non-autonomous dynamical and hybrid systems are with inputs, which are very common in practice; in contrast, autonomous ones are without inputs. Furthermore, the authors present a sound and complete algorithm to verify semi-algebraic invariants for non-autonomous polynomial hybrid systems. Based on which, the authors propose a sound and complete algorithm to generate all invariants with a pre-defined template.     

一类半线性椭圆方程非负解的存在性

利用禁值型论证法，在某些较一般的条件下，建立了形如－Δｕ＝ｆ（ｘ，ｕ），ｘ∈Ω，ｕ＝０，ｘ∈Ω｛的Ｄｉｒｉｃｈｌｅｔ问题非负解的存在性，Ω是Ｒｎ（ｎ≥１）中的有界域，边界Ω适当光滑     

基于LMI的中立型Hopfield神经网络的稳定性

为了更加深入地了解神经网络的复杂性,研究了中立型Hopfield神经网络模型,对该模型的稳定性的判定进行了探讨.通过构造合适的Lyapunov泛函,借助线性矩阵不等式(LMI)的一些技巧以及Lyapunov-Krasovskii稳定性理论,给出了该神经网络模型稳定的充分条件,以及模型稳定时中立项所必须满足的必要条件.给出的结果改进了已有的结论和方法,在一定程度上降低了求解的难度,在实际应用方面更加简捷方便.仿真实例表明了算法的有效性,以及所存在的保守性.     

决策树技术在电缆绝缘状态评估中的应用

电缆的绝缘状态通常可以分为良好、不好、差和故障等几种,以电缆的日常检修数据、试验数据和在线监测数据为基础,对电缆的状态进行判断是一个非常有意义的课题。采用决策树分类技术来对电缆的绝缘状态进行分类,分别对各种类型数据形成子树,然后通过子树合成技术形成最终的决策树,从而对电缆的绝缘状态进行判断。通过一个实际电缆的各种数据,采用SPSS软件进行实际应用,最终的仿真结果说明决策树技术是一种非常有效的电缆绝缘状态分类技术。     

格区间值Fuzzy集的交分解定理和交表现定理

在重新定义闭区间乘格区间值Fuzzy集下,给出格区间值Fuzzy集的分解定理和表现定理的新的表现形式,称为格区间值Fuzzy集的交分解定理和交表现定理．