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

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

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

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

粉煤灰基混凝剂的制备及在大麻废水中的应用

采用酸溶法以粉煤灰为基础原料 ,通过添加一定量的硫铁矿烧渣 ,制备成粉煤灰基复合混凝剂 ,确定了最佳工艺条件 .实验结果表明 ,影响混凝剂制备的主要因素是粉煤灰与硫铁矿渣的质量比、酸用量、浸取时间和温度 .此混凝剂对大麻废水中 CODcr去除率达 88% ,色度去除率可达 96.6%以上 ,具有沉淀快和污泥体积小等优点 .     

5—烃基—2,3—二甲基吡嗪的合成

2,3-二基-5,6-二氢吡嗪与醛或酮在氢氧化钠的乙醇溶液中反应制得16种5-烃基-2,3-二甲基吡嗪。产率66%～90%。其中6种为新合成的化合物。产率17%～87.9%。     

凹凸棒粘土用作高水速凝注浆悬浮剂

以凹凸棒粘土作为高水速凝固化充填材料的悬浮稳定剂，考察了不同制浆机械对凹凸棒粘土制浆率的影响。采用高剪切混合乳化机预制的1％凹凸棒粘土浆配制高水速凝固化充填材料甲、已料单浆可获得满意的悬浮稳定效果。其充填体结石抗压强度早期发展迅速，后期持续增长。采用此工艺，注浆料的材料成本仅增加2％。     

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；而且对褐飞虱、桃蚜和家蝇的活性高于苦参根提取物，苦参碱对蚜虫的活性高于氧化苦参碱和槐果碱，槐果碱对淡色库蚊、褐飞虱和家蝇的活性高于苦参碱和氧化苦参碱。