Stability and stabilization of Boolean networks

The stability of Boolean networks and the stabilization of Boolean control networks are investigated. Using semi‐tensor product of matrices and the matrix expression of logic, the dynamics of a Boolean (control) network can be converted to a discrete time linear (bilinear) dynamics, called the algebraic form of the Boolean (control) network. Then the stability can be revealed by analyzing the transition matrix of the corresponding discrete time system. Main results consist of two parts: (i) Using logic coordinate transformation, the known sufficient condition based on incidence matrix has been improved. It can also be used in stabilizer design. (ii) Based on algebraic form, necessary and sufficient conditions for stability and stabilization, respectively, are obtained. Copyright © 2010 John Wiley & Sons, Ltd.     

Density functional theory studies on the structures and electronic communication of meso-ferrocenylporphyrins: long range orbital coupling via porphyrin core

The molecular and electronic structures together with the electronic absorption spectra of a series of metal free meso-ferrocenylporphyrins, namely 5-ferrocenylporphyrin (1), 5,10-diferrocenylporphyrin (2), 5,15-diferrocenylporphyrin (3), 5,10,15-triferrocenylporphyrin (4), and 5,10,15,20-tetraferrocenylporphyrin (5) have been studied with the density functional theory (DFT) and time-dependent density functional theory (TD-DFT) methods. For the purpose of comparative studies, metal free porphyrin without any ferrocenyl group (0) and isolated ferrocene (6) were also calculated. The effects of the number and position of meso-attached ferrocenyl substituents on their molecular and electronic structures, atomic charges, molecular orbitals, and electronic absorption spectra of 1-5 were systematically investigated. The orbital coupling is investigated in detail, explaining well the long range coupling of ferrocenyl substituents connected via porphyrin core and the systematic change in the electronic absorption spectra of porphyrin compounds.     

InfoSigs:一种面向Web对象的细粒度聚类算法

面向Web对象的细粒度聚类已经成为学术界研究的热点.然而现有大多数聚类模型只关注如何对文本内容或文章主题进行聚类,聚类结果粒度较粗,无法满足大规模网络信息检索的质量要求.针对上述挑战,充分挖掘Web文档中词汇间的树状概率层次关系,提出一种以词汇信息分布作为特征标志的聚类算法InfoSigs,实现对Web对象的细粒度聚类.算法构建一个信息传递有向无环图,根据词汇在图中信息分布的集中度赋予其合理的权重,产生更具代表性的特征向量;同时算法提出了一个自适应的记录合并模型,有效提高记录簇中记录间的相似度,减少噪音对合并过程的影响.实验结果表明,InfoSigs算法比传统聚类算法—I-Match和Shingling—在F-Measure值上平均约有21.3%的提高,可以有效地运用到多领域Web对象的聚类问题.     

一个关于程序时间性质的验证框架

运行时间是计算机程序的重要性质之一。对于运行时间而言,常用的时间复杂度分析技术基于的是抽象的算法,并非实际程序。而对于实际程序,大多数程序验证技术则不适合验证运行时间。提出一个运行时间的验证框架以解决这个问题,该框架适用于实际代码,而同时和复杂度分析一样,具有编程语言无关性。在对运行时间的性质要求较高的场合下,可以用于提高软件的可靠性。     

基于分层和Radon变换的透视图像矫正技术

由于受到物体与摄像机三维空间相对位置关系的影响,摄像机获取的图像存在透视畸变,影响图像特征提取、识别等后续处理,为此提出一种通过分层矫正和Radon变换相结合的矫正技术.利用射影几何知识,将畸变的图像矫正为满足仿射变换的图像,再将仿射变换矫正为相似变换,利用Radon变换矫正得到标准图像.仿真实验结果表明,该算法可行性高、稳定性好,能推广应用于目标识别等领域.     

基于DCT变换的数字水印算法研究

提出了一种基于离散余弦变换(DCT)域的数字水印算法,该算法从DCT域的中频开始嵌入代表0和1的不相关的高斯随机序列.实验结果证明,该算法具有良好的不可见性,对噪声、滤波、剪切和旋转攻击都有良好的鲁棒性.     

基于QNX的PC104总线设备驱动模块的开发

QNX作为最优秀的嵌入式实时操作系统之一,已被应用于诸如医疗仪器、电网通信以及航空航天等任务关键型领域。在掌握QNX微内核结构和消息传递机制的基础上,论述了QNX下资源管理器的原理以及资源管理器与设备驱动程序的关系,具体分析了PC104总线设备驱动程序编写规范和步骤。实现了QNX下应用程序对硬件访问的无关性,大大增强了系统安全性以及移植性等。     

磷化工工艺决策支持系统的构建

将决策支持系统(DSS)理论与磷化工工艺技术结合,建立磷化工工艺决策支持系统.介绍了该系统的基本理论、建立步骤、组成和数据处理框架的构成和功能,并利用层次分析法(AHP)、线性加权法和基于估计相对位置的方案排队法3种多属性决策方法实现辅助决策过程.磷化工工艺决策支持系统能够对磷矿资源合理利用、工艺优化选择提供决策辅助评判.     

1.33 kPa绝压下石油馏分蒸馏曲线换算的数学模型

石油馏分的恩氏蒸馏、实沸点蒸馏和平衡汽化曲线是石油加工工艺计算必不可少的基础数据,也是制定原油加工方案、炼油厂调整和控制生产的根据。本文将1.33 kPa绝压下的恩氏蒸馏曲线和实沸点蒸馏曲线分别与平衡汽化曲线的换算图表回归,开发出了1套便于应用的新换算模型。该模型可为计算各种油品物性、相平衡关系以及进行原油评价等提供基础数据,有助于提高设计和控制精度。新模型采用拟多项式的非线性函数,可以直接进行双向计算,稳定性高。恩氏蒸馏和实沸点蒸馏与平衡汽化曲线的50%馏出点换算模型的最大相对误差分别为1.02%和1.03%。用2个体系的实测数据验证该模型,体系1新模型的最大相对误差为0.37%,文献模型为4.50%,体系2新模型的最大相对误差为1.37%,文献模型为1.53%。结果表明新模型与实测数据吻合较好,计算精度优于文献模型。     

PK301故障原因分析及改进措施

聚丙烯装置的关键设备PK301频繁故障停车,通过分析各类故障发生原因,着重解决气相带粉问题和分液罐除沫器结构,通过运行考核,机组实现了长周期运转实现长周期运行14个月不大修.