基于Matlab的RBF入侵检测模型研究

针对目前入侵检测系统不能有效检测未知攻击行为、学习能力较差的问题,根据RBF神经网络的自学习、收敛速度快的特性,将RBF神经网络与入侵检测技术相结合,提出了一种RBF入侵检测模型,并对模型各个组成部分进行了分析,最后采用DAR-PA入侵检测数据库中的部分数据,在Matlab下进行了仿真实验。实验结果表明,此模型具有较高的检测率和较低的误报率,可有效地检测出已知和未知攻击行为,有一定的应用价值。     

肺癌组织中SOX4突变蛋白三级结构的建模及分析

SOX家族与很多人类肿瘤的发生有关.对人类肺癌组织中的SOX4进行测序,发现该基因HMG-box区有突变发生并导致SOX4蛋白的107密码子发生突变.以三级结构已知的SOX2为模板,采用同源建模方法对突变和正常SOX4蛋白FMG-box进行建模.结果显示突变和正常SOX4蛋白的三级结构很相似,且突变导致107密码子位置的侧链结构不稳定.提示该位置的不稳定可能会影响突变SOX4蛋白侧链的弹性,并有可能影响相应蛋白的功能.表面静电分析显示SOX4蛋白C端有一个可能与其它小分子或蛋白质的相互作用位点的N/C腔.这些结果显示SOX4蛋白的上述空间结构可能与其活性与功能的调控有关,而SOX4突变可能与肺癌的发生和转移有关.     

浅谈《计算机组装与维修》课程的实践环节

使用模拟软件解决实际教学中的实训难题。     

档案馆的社会化服务

本文试从在继续做好为领导和机关提供档案信息服务的同时,就做好面向社会大众的档案信息社会化服务工作进行探讨。     

基于GIS组件的地下管线系统的设计与实现

目前城市的地下管线错综复杂,传统的人工管理方式已不能满足行政管理部门的决策和各专业管线单位的管理需要。为此文章在对地理信息系统研究的分析的基础上,分析了地下管理系统的开发模式和实现技术,确定了基于GIS组件二次开发的控件和算法,设计并实现了城市地下管线信息系统,在实际的应用中取得了较好的效果。     

汽轮机故障诊断的因果网络群智能算法模型

在利用概率因果网络模型进行汽轮机故障诊断过程中,传统的基于简约覆盖理论的求算方法不能直接得到诊断问题的解,而且当故障节点较多或网络层次较多时,存在着"组合爆炸"、计算量呈指数速度增加等问题;对此,基于群智能理论,建立汽轮发电机组故障诊断系统概率因果网络群智能算法模型,给出基本的群运算法则及改进方法,将焦点放在有限空间的诊断推理上,并实现并行处理,很好地解决了传统算法中的问题;最后一个应用实例验证了此方法的优越性及工程实用性。     

舰船电子装备综合诊断中的IETM设计与应用技术研究

交互式电子技术手册是装备保障信息化技术研究和应用的热点之一,IETM不仅作为一种电子手册,实现了技术手册的数字化,而且它具有交互功能,实现了技术手册的智能化;更为重要的是.IETM的数据格式采用了国际通用的成熟标准,从根本上为实现数据的互操作性和共享性,实现数据的网络集成化提供了可能;本文结合舰船电子装备IETM通用要求和实施要点,介绍了武器装备IETM通用开发平台中涉及的关键技术及应用方向,阐述了IETM数据的标准化技术、多数据源导入技术、IETM动态数据交换技术、故障分析技术等关键技术,提出了适应武器装备维修保障需求的IETM通用开发平台解决方案.     

基于SVM的逆模型控制在挠性卫星姿态控制中的应用

针对带有挠性太阳帆板卫星的姿态控制问题,设计了基于支持向量机的逆模型控制律,采用模态分析方法对姿态模型进行简化处理;首先设计了基于支持向量机的恒衰减因子逆模型控制律,分别在无干扰、阶跃干扰和周期性干扰三种情况下进行仿真;考虑执行机构的力矩输出有限,在对恒衰减因子取不同值下的仿真结果进行分析的基础上,又分别设计了衰减因子取分段函数形式及输入限幅的控制律;仿真结果显示,设计的控制律能够使系统具有好的稳定效果和动态品质,有效地减小了挠性模态振动对姿态控制的影响,并对扰动具有一定的抑制能力。     

Design and Verification of Enhanced Secure Localization Scheme in Wireless Sensor Networks

In this paper, we focus on the need for secure and efficient localization for wireless sensor networks in adversarial settings. An attack-resistant and efficient localization scheme is developed, which extends the scheme proposed in [1]. The method offers strong defense against not only distance reduction attacks but also distance enlargement attacks. Furthermore, our method does not employ any device-dependent variables, hence yields more accurate localization. An attack-driven model is also specified using Petri net. It provides a formal method for the verification of our scheme when considering distance enlargement attacks. The state analysis shows that the potential insecure states are unreachable, implying that the model can offer strong defense against these attacks. To the best of our knowledge, it is the first time that the Petri net has been introduced to validate security scheme for wireless sensor networks in the literature.     

Robust stability and H∞ control for uncertain discrete Markovian jump singular systems with mode‐dependent time‐delay

The robust stochastic stability, stabilization and H_∞ control for mode‐dependent time‐delay discrete Markovian jump singular systems with parameter uncertainties are discussed. Based on the restricted system equivalent (r.s.e.) transformation and by introducing new state vectors, the singular system is transformed into a standard linear system, and delay‐dependent linear matrix inequalities (LMIs) conditions for the mode‐dependent time‐delay discrete Markovian jump singular systems to be regular, causal and stochastically stable, and stochastically stable with γ‐disturbance attenuation are obtained, respectively. With these conditions, robust stabilization problem and robust H_∞ control problem are solved, and the LMIs sufficient conditions are obtained. A numerical example illustrates the effectiveness of the method given in the paper. Copyright © 2008 John Wiley & Sons, Ltd.