基于集合运算和组合式模糊条件的电力通信网故障定位

针对现代电力通信网规模大、结构复杂、故障发生率越来越高的特点,提出了一种电力通信网故障定位智能分析方法,采用交集运算进行设备故障的多类定位,采用组合式模糊运算进行故障的通信载体定位,能准确快速地将故障定位在网络中地点位置、物理设备、逻辑电路和通信业务上,提高了电力通信网运行维护管理水平。     

数字化变电站继电保护适应性探讨

本文分析了数字化变电站继电保护装置的具体结构,针对数字化变电站继电保护的适应性进行了详细地探究。     

数字化变电站继电保护适应性探讨

本文分析了数字化变电站继电保护装置的具体结构,针对数字化变电站继电保护的适应性进行了详细地探究。     

对变电站继电保护状态检修的分析

本文从变电站继电保护状态检测的重要性入手,分析了实现变电站继电保护状态检修的关键技术,力求为电力系统的正常运行保驾护航。     

关于10000TEU集装箱船精度控制关键点的讨论

精度控制技术正在船舶建造中扮演着越来越重要的角色，10000TEU集装箱船作为大型高附加值产品，对精度控制有着极为苛刻的要求。本文结合作者多年的船舶建造精度管理经验，将对10000TEU的精度控制关键点进行总结与分析。     

协同业务过程建模与行为验证

对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业务过程;其次,提出了行为约束的声明式模板,用于定义协同业务过程中的行为约束关系,并通过映射规则,将行为约束关系转换为LTL(Linear Temporal Logic)公式;最后,提出了行为验证框架,借助进程分析工具PAT,实现了对协同业务过程行为的自动验证。通过对电力突发公共事件应急处置系统的建模与行为验证,阐述了所提方法的可行性和有效性。     

一种保持编排与参与者间行为一致的映射方法

将编排映射为Peer（参与者）,是对编排进行可实现性分析的第1个步骤.现有文献提出的映射方法未考虑参与者中τ对行为的影响,无法确保编排与参与者间的行为一致性.以Petri网作为形式化基础,提出了一种能够保持编排与参与者间行为一致的映射方法,允许：（1）通过动作映射,将交互式Petri网定义的编排映射为带τ的交互式Petri网;（2）提出了4条τ删除规则,用以对带τ的交互式Petri网中的τ进行有选择的删除;（3）将编排与参与者间的行为一致性问题规约为检验两个交互式Petri间是否满足弱互模拟的问题,并证明了这4条τ删除规则的正确性.实验结果表明,该映射方法能够确保编排与参与者间的行为一致性.     

代理节点安全检测的MANET地址配置算法研究

为了提高移动自组织网络地址自动配置性能,提出了一种稳定安全的地址配置方案,核心思想是基于代理节点进行安全检测和地址配置。首先,按照地理位置对网络中的节点进行分组;然后,依据稳定性因子和信任度构建代理节点选择因子,从每一节点组合中选择一个代理节点;接着由代理节点和成员节点产生两组公钥/私钥对,用于加密和签名;最后,由代理节点进行地址配置,使用临时地址和永久地址对进行地址重复性检测,并在配置过程中通过加密和签名来抵御各种攻击。仿真实验结果表明,在受攻击的情况下,该方案的地址分配延迟和协议开销小,同时地址成功分配率高。     

基于EPMM的软件过程模型规范化研究

为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法。本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF。本文为建模高质量的软件过程模型提供了指南。     

页岩油中芳烃加氢集总反应动力学研究

基于对页岩油芳烃加氢过程的分析,建立了页岩油加氢八集总动力学模型和反应网络。根据不同温度和空速下的页岩油加氢小试实验数据,采用MATLAB优化算法回归得到加氢动力学模型参数。随后模型的验证结果表明计算值和实验值相吻合。在此基础上模型可有效用于加氢产品分布的预测及工艺条件的优化,该工作为页岩油加氢过程的设计提供了指导。