信息系统动态复杂性分析及运维策略设计

为设计动态的信息系统运维服务策略,首先提出基于范围和波动两个维度建立信息系统应用过程的动态复杂性模型,然后引入基于信息熵的数据复杂性计算方法度量并分析信息系统的动态复杂性,并以此为依据设计相应的动态运维策略,最后通过三家样本企业进行了应用实证.结果表明:企业信息系统的动态复杂性能较为综合反映系统的应用特征和规律,基于分析结果制定的信息系统运维策略能够提高信息系统运维服务的效率.研究信息系统动态复杂性及其运维策略有助于指导企业推动IT与业务相融合的运维服务实践.     

ERP分步云化的选择方法:信息强度视角

ERP(enterprise resource planning,企业资源计划)系统的分步云化是降低ERP云化风险的有效手段,而选择出ERP中优先云化的功能是实现ERP系统分步云化的前提.首先基于信息强度理论,从传统ERP使用角度提出了测量信息强度的指标;然后基于二分网络方法建立用户-功能网络模型,定义了企业业务域的信息绝对强度和信息关联强度,提出了基于信息强度的ERP分步云化的选择方法;最后利用一家大型船舶制造企业ERP日志数据进行了实例分析,验证了该方法的有效性.     

基于固态变压器逆变级并联的环流抑制控制策略

作为能源路由器的固态变压器是能源互联网中的关键电气设备。为了解决高比例、大功率的含固态变压器的分布式电源并网问题,本文提出了固态变压器输出级逆变器并联的解决方案。而固态变压器输出级并联会产生子系统间的零序环流。针对这个问题,本文将反步控制运用在空间矢量脉宽调制(space vector pulse width modulation,SVPWM)中的控制策略中调整SVPWM零矢量分配,从而达到减小零序环流的目的。仿真结果表明采用的控制策略能够有效减小逆变器并联所产生的子系统间零序环流,从而可以提高固态变压器并网容量。     

控制输入跟踪算法和测试衍生算法

以组合电路的满足性测试生成算法为基础，提出了控制输入跟踪算法和测试衍生算法。控制输入跟踪算法从源输出开始，根据一定的指导策略，向源输入搜索，在搜索过程中生成一条临界路径，该路径中全部的故障可以用满足临界条件的输入向量来测试。测试衍生则利用一个测试的信息，通过临界路径变换衍生一系列新的测试。这两种算法嵌入测试生成的满足性算法中，大大减少了故障，压缩了CNF的构成时间和搜索空间。     

烃类液相催化氧化技术的研究与展望

介绍了烃类催化氧化反应中活化氧分子和活化C-H键的两条路线,结合作者所在研究小组的研究成果,对这两条路线在环己烷、甲苯、乙苯等烃类氧化反应中的应用进行了介绍,并展望了这些方法的应用前景.     

一种高效催化氧化四氢化萘合成α-四氢萘酮的新方法

开发了一种高效、高选择性合成α-四氢萘酮的新方法。在温和条件下，以氧气为氧化剂，NHPI与DADCAQ所组成的非金属有机催化体系能有效催化氧化四氢化萘合成α-四氢萘酮，转化率达88．3％，选择性达86．6％。     

基于划分软件安全Petri网的需求形式化验证

为了解决Petri网对复杂软件系统进行形式化验证时在安全性描述、自动化程度和验证效率方面存在的不足,提出一种软件安全Petri网。扩展了库所定义,提出了安全距离及其计算方法,以增强Petri网对软件安全性的描述能力。设计了自动划分子网结合库所安全定级的递归算法,仅对与被验证需求性质相关的划分子模型进行验证以提高验证效率,同时实现库所的安全定级。设计并实现了软件安全性需求自动化建模和验证工具原型,最后给出了在典型安全关键软件--机载除冰软件系统上的应用以说明方法和工具原型的有效性。     

本体支持下的企业数据模型构建

为解决企业级建模缺乏标准稳定的数据环境的问题,该文根据本体论思想、统一建模语言(UM L)和关系数据模型三者间的一致性,提出了本体支持下的企业数据模型构建方法。划分了三类本体,形成了需求分析的新框架;本体中六元组定义和情景演算方法首先从概念语义层面上分静态和动态建立了企业领域中的概念模型,奠定了逻辑基础;借助UM L及其建模工具进行图形化的直观表达,获得业务逻辑模型,并易于转换为面向关系数据库的数据模型。此外,该文同时应用本体的求解过程对模型的评价和维护作了尝试。