基于描述逻辑的OntoUML模型的形式化表示

将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用。     

含多端口能量路由器的多能互补系统故障保护功能测试研究

针对某区域用电负荷存在严重的季节性过载现象,以及可再生能源存在功率波动大、稳定性较差的问题,研制了多能(含水电、光伏、储能)、多端口的能量路由器装置及其能量管理系统.综合考虑当地多场景运行,解决了季节性过载问题,实现了能量的合理配置与利用.首先,对比分析选定能量路由器各端口变换器的拓扑结构;然后,对多场景下的工作模式进行介绍;最后,对含能量路由器的多能互补系统进行故障保护功能测试.测试结果表明,该系统具有较好的故障保护功能,有效实现了不同场景下的工作模式切换,直流母线电压稳定以及上层功率指令跟踪等功能,解决了当地用电负荷季节性过载和可再生能源功率波动较大的问题.     

A heuristic biomarker selection approach based on professional tennis player ranking strategy

Extracting significant features from high-dimension and small sample size biological data is a challenging problem. Recently, Micha? Draminski proposed the Monte Carlo feature selection (MC) algorithm, which was able to search over large feature spaces and achieved better classification accuracies. However in MC the information of feature rank variations is not utilized and the ranks of features are not dynamically updated. Here, we propose a novel feature selection algorithm which integrates the ideas of the professional tennis players ranking, such as seed players and dynamic ranking, into Monte Carlo simulation. Seed players make the feature selection game more competitive and selective. The strategy of dynamic ranking ensures that it is always the current best players to take part in each competition. The proposed algorithm is tested on 8 biological datasets. Results demonstrate that the proposed method is computationally efficient, stable and has favorable performance in classification.     

Adaptive Neural Control of a Hypersonic Vehicle in Discrete Time

The article investigates the discrete-time controller for the longitudinal dynamics of the hypersonic flight vehicle with throttle setting constraint. Based on functional decomposition, the dynamics can be decomposed into the altitude subsystem and the velocity subsystem. Furthermore, the discrete model could be derived using the Euler expansion. For the velocity subsystem, the controller is proposed by estimating the system uncertainty and unknown control gain separately with neural networks. The auxiliary error signal is designed to compensate the effect of throttle setting constraint. For the altitude subsystem, the desired control input is approximated by neural network while the error feedback is synthesized for the design. The singularity problem is avoided. Stability analysis proves that the errors of all the signals in the system are uniformly ultimately bounded. Simulation results show the effectiveness of the proposed controller.     

复杂体制雷达辐射源信号特征的集对分析

为解决复杂体制雷达辐射源信号特征的评价问题,提出了基于集对分析理论的复杂体制雷达辐射源信号特征分析模型.首先对复杂体制雷达辐射源信号特征评价指标体系的指标权重作层次分析,再通过集对分析理论对复杂体制雷达辐射源信号特征评估的决策矩阵进行同一度分析,最后联合指标权重矩阵和决策同一度矩阵对复杂体制雷达辐射源信号特征进行综合评判.仿真结果表明,该模型是有效、可行的,能够更好地实现对复杂体制雷达辐射源信号特征的分析和评估.     

基于安全性能接口的调度和管理模型研究

以云计算效能提高为目的, 以研究Job调度和资源管理两大决定云计算环境能效的最重要因素为基础, 使用调度和管理对象对作为系统统计信息的参考指标进行采集的方式展开研究。性能代理和服务接口模式(PASI)已经从云环境中采集了原始数据, 通常情况下应用于云的安全技术属于被动防御模式, 如实时动态监控或者深度包检测模式(DPI), 其主要目的是实现动态检测和防御。提出了一个有效的框架以提高云计算中心的综合性能指标, 该架构的建立是基于PASI与DPI相结合的方式, 并且提出了一个基于安全PASI的Job调度和资源管理模型(JDRMSP)。实验结果表明, 该模型有效地提升了云环境的整体运作效能。     

苦参生物碱杀虫生物活性测定

以桃蚜等9种试虫为供试靶标，研究了苦参根提取物和苦参碱、氧化苦参碱、槐果碱、野靛碱的杀虫活性。试验结果表明：苦参生物碱具有一定的杀虫活性，9种试虫中，苦参根提取物对蚜虫的活性最高，其对蚕豆蚜的LC50为20．635mg／L；即使在最高剂量为4000mg/L时，也不能直接杀死粘虫、小菜蛾和棉铃虫。4种生物碱对朱砂叶螨活性均较低，LC50均大于2500mg／L。野靛碱是4种生物碱中杀虫活性最高的，对淡色库蚊、桃蚜、蚕豆蚜、褐飞虱和家蝇的LC50分别为172．431mg/L、207．667mg／L、85．212mg／L、266．179mg／L和763．224mg／L；而且对褐飞虱、桃蚜和家蝇的活性高于苦参根提取物，苦参碱对蚜虫的活性高于氧化苦参碱和槐果碱，槐果碱对淡色库蚊、褐飞虱和家蝇的活性高于苦参碱和氧化苦参碱。     

磁盘阵列环境下的取证目标系统重构

封存原始硬盘与业务系统服务的连续性是计算机取证中面临的一对矛盾。在独立硬盘环境中,问题的解决并不困难,但在磁盘阵列(RAID)环境下,目前还缺乏有效的解决办法。为此,为RAID环境下的取证目标系统的重构提出一套解决方案,并设计实现其中关键任务的处理软件。实验表明,该方法可适用于不同RAID等级、不同操作系统下的系统重构,使得用户感受不到重构得到的系统与原系统有任何差异。与数据同步方法相比,该方法可以有效地减少重构的时间开销,且不会破坏原始证据硬盘上的数据。     

云计算环境中高效可扩展的元数据管理方法

针对现有元数据管理方法存在可扩展性差或访问效率低的问题,提出一种高效可扩展的元数据管理方法.基于可扩展哈希方法实现元数据系统动态可扩展,使用并行定位方法实现元数据服务器高效定位,提出动态K叉树的元数据组织方法以提高元数据服务器扩展时选择迁移元数据的速度.实验结果表明,该方法具有近似线性扩展性能,其选择迁移元数据的时间几乎为零,有效解决了云计算环境中元数据管理系统的高效动态可扩展问题.     

NiCr薄膜微加热器在低温环境下的电学特性研究

设计了一种适用于深低温环境的微型加热器。使用AC磁控溅射技术将NiCr(80/20 at.%)合金沉积到SiO2/Si基底上,并采用微加工工艺实现薄膜图形化,作为加热器的加热元件。研究了NiCr薄膜的电学性能和晶体结构与退火条件之间的关系。实验表明:在450℃氮气环境下退火30min,可以获得深低温性能优良的NiCr加热器。该加热器在20K时的电阻温度系数(TCR)为80.80×10-6/K。X射线衍射(XRD)分析显示NiCr薄膜在450℃氮气环境下退火后,薄膜的结晶度增大,因此,退火条件对薄膜的电阻率和电阻温度系数有较大的影响。