一种构造时间Petri网状态类的方法

提出一种基于全局时间的时间Petri网状态类构造方法——扩展时间戳状态类方法。该方法通过添加变迁的同步使能信息到时间戳状态类,并修改可实施条件和实施规则,解决了时间戳状态类方法中同步使能变迁的可实施性问题。     

柔性化的产品开发工作流模型的研究

现有的工作流模型在支持非确定型业务和意外情况上存在着不同程度的局限性,为了提高产品开发工作流系统的动态适应性,提出了一种新的柔性化工作流模型ASD。文章给出了ASD的形式化定义,并在此基础上介绍了工作流系统的动态过程修改策略和工作流模型执行算法。     

基于ADO技术的SCADA数据库开发

SCADA系统需要处理大量不同类型的数据,为提高系统性能,需要应用数据库时其数据进行管理.本文首先介绍了SCADA系统数据库的设计;然后探讨了在Vc 6.0环境下,通过动态链接库实现SCADA系统与数据库之间通信的方法,以及在动态链接库中如何使用ADO技术实现SCADA系统对数据库的访问.     

人-服务机器人交互中自然语言理解研究

针对与服务机器人交互过程中不受限的自然语言指令,提出了一种基于语料库的最大熵分类及理解算法。首先,通过收集家庭服务领域内的机器人控制语料,设计了一套有效的机器人控制指令体系。然后,对语料库进行对应控制指令的类别标注,从而把自然语言指令理解问题转化为分类问题。其次,通过对库中文本特征的提取和附加权重,建立最大熵分类器求解分类问题。最后,通过在所建控制指令语料库上进行多重交叉训练测试,控制指令理解的准确率可以达到90%以上。     

Ⅰ型甲烷水合物晶体稳定性的分子动力学模拟

采用分子动力学方法,模拟了晶穴占有率和温度变化对I型甲烷水合物晶体稳定性的影响。通过考察晶体破坏过程中最终构象、均方位移、扩散系数、径向分布函数等分子的动力学和结构性质的变化,分析了分子动力学模拟中晶体结构失稳的微观特征,并提出了判断甲烷水合物晶体结构失稳的依据,这对水合物形成和分解过程的研究具有重要的参考价值。     

MAX197芯片在现场总线智能从站开发中的应用

介绍一种PROFIBUS-DP智能从站的设计方案,应用MAX197实现8路A／D转换。由于MAX197占用较少的CPU资源,因此,该智能从站采用此芯片作为前端的信号采集和数据处理部分。     

基于遗传神经网络的超混沌时间序列预测

研究了超混沌系统的预测问题。通过分析混沌时间序列,建立具有多个隐节点的3层前馈网络,基于泛化性考虑采用剪枝算法训练,在保证预测精度的基础上消去部分隐节点以降低网络复杂性,利用遗传算法具有的全局寻优能力重新训练网络,利用具有局部寻优能力BP算法再次训练该网络。对Mackey-Glass时滞混沌系统预测实验结果表明,改进算法的泛化性能优于经典BP网络,归一化预测精度提高10倍多,能够较好地解决超混沌系统的预测问题。     

Distributed consensus tracking for multi‐agent systems under two types of attacks

This paper studies a distributed coordinated control problem for a class of linear multi‐agent systems subject to two types of attacks. The problem boils down to how to achieve secure consensus tracking for multi‐agent systems with connected and disconnected (paralyzed) directed switching topologies caused by two types of attacks. The attacks on the edges instead of nodes lead to the loss of security performance. Two cases are studied in this paper. First, under only a class of connectivity‐maintained attacks, sufficient conditions are derived to achieve secure consensus tracking in mean‐square. Second, when the multi‐agent systems are further subject to a class of connectivity‐broken attacks, novel sufficient conditions are further obtained to ensure secure consensus tracking with a specified convergence rate by virtue of the idea of average dwell time switching between some stable and unstable subsystems. Three numerical simulations are finally given to illustrate the theoretical analysis. Copyright © 2015 John Wiley & Sons, Ltd.     

Q的线性密码分析

对NESSIE公布的17个分组密码之一的Q进行了线性密码分析，攻击所需的数据复杂不大于2^118(相应的成功率为0．785），空间复杂度不大于2^33 2^19 2^18 2^12 2^11 2^10。此结果显示Q对线性密码分析是不免疫的。     

Multiparty quantum key agreement with single particles

Two conditions must be satisfied in a secure quantum key agreement (QKA) protocol: (1) outside eavesdroppers cannot gain the generated key without introducing any error; (2) the generated key cannot be determined by any non-trivial subset of the participants. That is, a secure QKA protocol can not only prevent the outside attackers from stealing the key, but also resist the attack from inside participants, i.e. some dishonest participants determine the key alone by illegal means. How to resist participant attack is an aporia in the design of QKA protocols, especially the multi-party ones. In this paper we present the first secure multiparty QKA protocol against both outside and participant attacks. Further more, we have proved its security in detail.