肺癌组织中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.     

Quantitative analysis of location management and QoS in wireless networks

As a fundamental component in wireless networks, location management consists of two operations: location update and paging. These two supplementary operations enable the mobile user ubiquitous mobility. However, in case of failed location update, a significant consequence is the obsolete location identity in the network databases and thereafter the incapability in establishing the valid route for the potential call connection, which will seriously degrade the network quality-of-service (QoS). This issue is not theoretically studied in the literature. In this paper, we perform a quantitative analysis of the location management effect on QoS in the wireless networks. The metrics call blocking probability and the average number of blocked calls are introduced to reflect the QoS. For the sake of general applicability, the performance metrics are formulated with the relaxed tele-traffic parameters. Namely, the call inter-arrival time, cell residence time, location area residence time and location update inter-arrival time follow a general probability density function. The formulae are additionally specified in the static and several dynamic location management mechanisms. Numerical examples are presented to show the interaction between the performance metrics and location management schemes. The discussions on the sensitivity of tele-parameters are also given.     

Vibration analysis of cable-driven parallel manipulators

A cable-driven parallel manipulator is a manipulator whose end-effector is driven by a number of parallel cables instead of rigid links. Since cables always have more flexibility than rigid links, a cable manipulator bears a concern of possible vibration. Thus, investigation of vibration of cable manipulators caused by cable flexibility is important for applications requiring high system stiffness or bandwidth. This paper provides a vibration analysis of general 6-DOF cable-driven parallel manipulators. Based on the analysis of the natural frequencies of the multibody system, the study demonstrates that a cable manipulator can be designed stiff enough for special applications like the cable-manipulator based hardware-in-the-loop simulation of contact dynamics. Moreover, under an excitation, a cable may vibrate not only in its axial direction, but also in its transversal direction. The paper also analyzes the vibration of cable manipulators caused by cable flexibilities in both axial and transversal directions. It is shown that the vibration of a cable manipulator due to the transversal vibration of cables can be ignored comparing to that due to the axial flexibility of cables.