改进的最小割集生成算法与联锁系统模型的安全性测试*

为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。     

一种基于ACME的面向方面软件体系结构设计方法

软件体系结构对于控制软件系统复杂性、提高软件质量具有重要意义.随着对软件体系结构研究的不断深入,研究者们发现其中存在着横切现象.通过使用方面,AOP在代码层次很好地解决了横切问题.因此,根据现阶段研究成果,本文把AOP中方面的概念引入到软件体系结构设计过程中,提出了一种基于ACME的面向方面软件体系结构设计方法.ACME可以实现对面向方面软件体系结构设计过程的形式化验证.依据该方法,使用AcmeStudio设计了网上书店系统的体系结构.     

形式化方法Designware及其规约精化机理*

介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述.     

物联网中一种基于无线射频识别和传感器节点的信息收集协议

为有效收集传感器节点的信息,本文将无线射频识别标签与传感器节点进行结合,提出了2种数据收集协议。首先提出了基于被动式标签数据收集协议PTC,该协议采用分割时槽方法,将每个帧分割为若干个大小不同的时槽,有效缩短了执行时间。在此基础上,提出一种基于主动式标签的数据收集协议ATC,该协议采用预先分配时槽的方法,减少空时槽和冲突时槽的分配,使得执行时间达到下界。为使信息收集准确可靠,提出了有效检测丢失标签和收集未知标签算法ADMCU,为PTC和ATC协议执行的正确性提供保障。实验表明:本文提出的两种协议与其他流行协议相比执行时间更短,且无论收集信息量如何变化,ATC的执行时间始终最短;同时,所提出的ADMCU算法在相同准确率情况下,耗时更短。     

跨区域远洋航线空集装箱动态调运优化模型

由于海运业受世界经济不景气的影响,班轮企业竞争日益加剧。尽可能地降低营运成本是班轮企业生存和发展的关键因素。提出了跨区域远洋空集装箱动态调运优化模型（ECR-RDM）,该模型一方面针对传统模型（ECR-TM）基于港口间点到点空箱调运策略的缺陷,采用了基于港口集合到集合的空箱调运策略。另一方面,不同于传统模型解决空箱调运的静态分配特征,提出的模型可以根据实时需要动态分配空箱,一定程度上减少了由于调运计划和实际业务需求不同步性产生的各项成本。通过抽取实际业务中可能发生的六种情况,依次进行分析比较,验证了文中提出模型的有效性和可行性。同时,通过分析在可能的六种情况下租赁成本、存储成本、装卸成本在总调运成本中所占的比例,为班轮企业制定高效的运营策略提供决策依据。     

基于栈状态关系的动态软件水印算法

针对已有软件水印算法的不足,提出了一种基于栈状态关系的动态软件水印算法。算法通过控制程序运行过程中产生的栈状态转移关系隐藏软件水印,给出了栈状态转移图的概念,并对其满足的性质进行了阐述;给出了详细的嵌入和提取算法,并通过一个具体实例描述了软件水印嵌入过程。对该算法的安全性和效率的实验和分析表明,该算法有着良好的隐蔽性,并能有效抵抗多种攻击。     

面向管理实体对象的海量工程项目数据模型及实现

针对建立统一数据模型的PIP数据中心的需求,提出一种面向管理实体对象的数据基本模型,把工程项目数据按项目全生命周期过程分解为若干个基于工作流的可管理的实体对象,给出了项目工程数据概念层模型,利用该模型实现项目工程数据的自然表达和记录。进一步,基于文档型数据库MongoDB技术提出工程项目数据的组织方法,并设计了存储服务集群架构方案。实验表明,该存储方案具有高效的数据写入和查询性能,具有服务高可用性和存储能力的可扩展性等特点。     

一种基于文档拓扑的相似性搜索算法

从海量文档中快速有效地搜索到相似文档是一个重要且耗时的问题。现有的文档相似性搜索算法是先找出候选文档集,再对候选文档进行相关性排序,找出最相关的文档。提出了一种基于文档拓扑的相似性搜索算法——Hub-N,将文档相似性搜索问题转化为图搜索问题,应用相应的剪枝技术,缩小了扫描文档的范围,提高了搜索效率。通过实验验证了算法的有效性和可行性。     

有限时间收敛的滑模自适应控制器设计

针对一类非线性不确定系统不确定边界未知但有界的情况,提出一种设计滑模自适应控制器算法。利用几何齐次性理论和积分滑模面设计了滑模自适应控制器,使其能够在有限时间内镇定,并设计相应自适应律估计控制增益,利用Lyapunov理论分析证明了闭环系统能在有限时间镇定。最后,仿真实例验证了所设计的滑模自适应控制器在不确定的情况下具有鲁棒性和自适应性。     

基于物理的织物多相流体污染效果模拟

真实感织物材质渲染在虚拟现实、娱乐、工业等应用领域中是非常关键的研究方向.针对多种污渍在织物表面的扩散与污染效果,提出基于物理的与子像素采样及染色曲线相结合的计算方法,用于模拟多相溶剂在织物表面的扩散及污染效果.首先通过将复杂织物纱线结构进行体素化简化建模,其次通过计算流体之间的可互溶性进行流体扩散模拟,最后通过染色沉...