实时操作系统的性能分析和评估

针对实时操作系统的基本原理和运行机制,提出评估系统实时性能的基本参考指标,并分析各项指标对系统实时性能的影响。采用软件插桩的方法测试不同实时操作系统的性能指标,根据测试结果对系统实时性能进行综合对比评估。     

基于马尔可夫模型的JPEG图像隐写分析

论证了通用图像隐写分析是一个类间很聚合、类内很分散的2类模式识别的困难分类问题。提出一种基于JPEG图像量化DCT域的块内和块间2个马尔可夫链获得高维特征,给出2种高维特征的分类器,即改进贝叶斯分类器和CNPCA分类器,后者简单而性能略低,但仍略优于SVM分类器。针对4种公认的JPEG隐藏数据方法,即F5, Outguess, MB1和MB2进行隐写分析,在CorelDraw图像库上做实验,取得了较好的效果。     

SCA硬件抽象层接口设计

随着软件通信体系结构的广泛研究和应用,为在包含特定硬件单元的SCA硬件平台上实现不同计算单元上组件间管理的统一性和通信的标准化,提高波形应用在不同的硬件平台上的可移植性和重用性,软件通信体系结构引入了硬件抽象层的概念.该文以通用处理器和DSP为例,描述硬件抽象层的功能及其在通用处理器GPP和DSP上的API实现.     

面向航空电子的分区操作系统

伴随新一代航空电子的综合化趋势,机载软件对机载操作系统提出新的要求.通过管理系统的软硬件资源,包括内存、CPU、通信等,机载操作系统将各类机载软件融合在同一个CPU上,实现综合化.该文给出一种面向航空电子的分区操作系统的实现框架,支持二级调度,对于各类机载软件实施分区调度,并且分区的运行互不干扰,保证了分区的安全性.     

一种用于浮点乘法的边界筛选伪随机测试方法

复杂测试空间中难以命中的冷僻细节,导致在IEEE浮点算法测试过程中难以验证单条浮点运算的正确性。该文针对传统直接随机测试方法的缺点,提出一种边界筛选生成案例的测试方法。该方法对待测算法边界条件建模,求解边界条件,利用解来构造筛选操作数的标准,并通过筛选操作数实现测试。实验证明该方法比直接随机测试方法更可靠。     

间接竞争ELISA方法用于脱落酸的检测

该文研制了植物激素脱落酸(ABA)间接竞争酶联免疫试剂盒,该试剂盒可对ABA进行快速检测.文中成功制备了脱落酸和牛血清蛋白的交联物(ABA-BSA),并对交联物的浓度、抗体稀释度、酶标二抗稀释度对实验的影响进行了考察.结果表明,该试剂盒具有高灵敏性,最低检出浓度为1.38 ng/mL,在10ns/mL～1 000 ng/mL之间,吸光度与浓度的对数呈良好的线性关系.样品添加回收率在95.98%～102.25%之间,平均回收率为100.18%,变异系数(CV)在1.27%～4.68%之间,平均变异系数为3.18%.     

Real-time reliability prediction for dynamic systems with both deteriorating and unreliable components

As an important technology for predictive maintenance, failure prognosis has attracted more and more attentions in recent years. Real-time reliability prediction is one effective solution to failure prognosis. Considering a dynamic system that is composed of normal, deteriorating and unreliable components, this paper proposes an integrated approach to perform real-time reliability prediction for such a class of systems. For a deteriorating component, the degradation is modeled by a time-varying fault process which is a linear or approximately linear function of time. The behavior of an unreliable component is described by a random variable which has two possible values corresponding to the operating and malfunction conditions of this component. The whole proposed approach contains three algorithms. A modified interacting multiple model particle filter is adopted to estimate the dynamic system’s state variables and the unmeasurable time-varying fault. An exponential smoothing algorithm named the Holt’s method is used to predict the fault process. In the end, the system’s reliability is predicted in real time by use of the Monte Carlo strategy. The proposed approach can effectively predict the impending failure of a dynamic system, which is verified by computer simulations based on a three-vessel water tank system.     

Challenges of 22 nm and beyond CMOS technology

It is predicted that CMOS technology will probably enter into 22 nm node around 2012. Scaling of CMOS logic technology from 32 to 22 nm node meets more critical issues and needs some significant changes of the technology, as well as integration of the advanced processes. This paper will review the key processing technologies which can be potentially integrated into 22 nm and beyond technology nodes, including double patterning technology with high NA water immersion lithography and EUV lithography, new devi...     

Controllability of multi-agent systems based on agreement protocols

This paper investigates the controllability of multi-agent systems based on agreement protocols. First, for a group of single-integrator agents, the controllability is studied in a unified framework for both networks with leader-following structure and networks with undirected graph. Some new necessary/sufficient conditions for the controllability of networks of single-integrator agents are established. Second, we prove that, under the same topology and same prescribed leaders, a network of high-order dynamic agents is completely controllable if and only if so is a network of single-integrator agents. Third, how the selection of leaders and the coupling weights of graphs affect the controllability is analyzed. Finally, some numerical simulations are presented to demonstrate the effectiveness of the theoretical results.     

浅谈随机决策树

该文介绍了随机决策树分类模型及如何启发式选择随机决策树的深度及棵树,通过实验证明了该算法的有效性和高效性。