基于移动Agent机制的可控树状结构秘密共享方案

基于树状结构和移动Agent机制设计了一种新的秘密共事方案.分享者按其所在层次进行分组,每一组分享者可依据其持有的碎片恢复该组所共享的秘密.当每一组分享者均恢复出他们的秘密之后,这些新的秘密又可作为上一层分享者所持有的新的碎片,构成新一轮的秘密共享,由此形成秘密共享的树状结构.移动Agent机制将该结构动态化,从而使得秘密分享者在秘密恢复之前并不知道自己确切的分组,在更大程度上避免共享者的合谋,实现更安全的多阶段秘密共享.     

层次型传感器网络簇内密钥协商方法

基于Shamir的秘密共享技术, 为层次型无线传感器网络提出了一种新颖的密钥预分配方案,以解决簇内密钥协商问题,即建立簇头与簇成员之间的共享密钥对。通过理论分析与实验证明,该方案与其他方案相比具有节点抗俘获性强、存储最优、计算和通信开销低的优点,并能保证簇内全连通。     

基于双线性对的Ad hoc网络主动秘密共享方案

针对现有的基于双线性对的安全机制都假设在整个Ad hoc网络生存期内系统都是安全的,而基于该假设的Ad hoc网络并不安全的问题。重新定义了Ad hoc网络的攻击者模型,对传统的主动秘密共享方案进行了扩充,提出了基于双线性对的Ad hoc网络主动秘密共享方案,周期性地更新系统私钥的影子和网络节点的私钥,以提高网络安全机制的安全性和鲁棒性,并对其安全性和鲁棒性进行证明。结论表明,基于双线性对的密码体制非常适合建立实用的、轻量级的Ad hoc网络的安全机制。     

一种安全的分布式会议密钥分配方案及其实现

结合基于可验证秘密共享技术的安全多方计算和知识证明,提出了一种计算安全的分布式会议密钥分配方案,该方案具有结构简单、安全性强等特点。分析表明,即使方案中实施密钥分配的服务器组中有部分服务器为入侵者成功控制,会议的所有诚实用户仍可得到关于会议的正确的密钥;在Diffie HellmenDecisional问题假设下,任何窃听者均无法得到有关会议密钥的任何信息,在随机Oracle模型下,主动攻击者也无法成功进行任何假冒。实验表明,该方案效率较高,有着较强的实用性。     

分布式环境下一种实用的先应式秘密共享方法

针对不具有同步时钟模型且主机间不存在可靠通信通道的现实的分布式网络应用场合,通过引入可由协议事件和系统中各主机本地时钟双重驱动的时间片的概念,定义了异步模型下先应式秘密共享的运行状态及其转换过程,给出了异步环境中一种实用有效的先应式秘密共享方法.同时基于消息的冗余传输机制和认证应答机制,设计了一个消息可靠传输协议,用于在主动链路攻击存在的情况下保证协议参与方之间消息的正确传输.分析表明,提出的方法是正确完善的,且具有较高的通信性能和计算性能.     

作战计划拟制中行动方案的形式化建模

作战计划拟制是一个复杂、多标准的决策过程,带有高度的不确定性,如何辅助作战计划拟制的进行是军方面对的一个重要的问题.将作战计划拟制过程视为一个系统,对其中的关键性要素之间的关系进行分析,并讨论在状态空间中行动方案的开发与分析,最后提出一种形式化建模的方法,采用有限自动机和形式化语言来解决行动方案的逻辑特征以及定量特征问题.     

某突击步枪自动机数值仿真研究

枪械自动机是枪械主要组成部分,其动力学特性分析是自动机设计的关键技术。将Solidworks和ADAMS软件联合构建一个虚拟样机平台,建立了某突击步枪自动机多体动力学仿真模型,进行了数值仿真分析,仿真分析的结果与实验结果相比吻合很好,表明了该平台的正确性。构建的平台与方法可以得到自动机中任意构件的运动学和动力学特性,大大缩短了枪械设计周期并提高了设计准确性,为枪械自动机设计提供了定量依据,为枪械的研制提供了新的分析方法。     

存在车辆租赁及共享且有时间窗的多配送中心开环VRP

针对企业自身运力有限以及旗下多个配送中心在各决策周期运力不均衡的情况,提出了一类具有多个配送中心、需要进行车辆租赁和车辆共享、有时间窗限制、开环的VRP, 建立了相应的混合整数规划模型.通过引入一个虚拟配送中心,将多配送中心VRP 转化为单配送中心VRP, 并设计了一种结合扫描算法和C-W节约算法、对车辆路径和车辆调度统筹优化的混合遗传算法.最后,以重庆天友乳业物流分公司的业务数据对该模型的可行性和有效性进行了验证, 结果表明本文所提方法与该企业现有的配送方案相比,在配送总里程、配送总成本和车辆在途时间等方面均有明显改进.此外,进行了模型参数的灵敏度分析和算法的收敛性分析, 结果表明该算法具有较好的性能.     

基于Petri网共享合成的网格计算资源调度方案

网格计算资源具有分布、异构、动态、自治等特点,一方面需要一个有效的资源调度方案,另一方面需要强有力的图形与数学工具对其进行建模与分析.通过对现有方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点.为不同层次的调度者构造了不同的有色时延Petri网模型,并利用Petri网的共享合成得到整个系统的Petri网模型.通过对Petri网可达性的分析,获得如吞吐量、负载平衡、调度时间等资源调度的一些重要特性.     

项目团队知识共享水平的多层次模糊评价与应用

在对项目团队知识共享水平评价方法广泛研究的基础上,针对其复杂性和局限性,建立项目团队知识共享水平评价的模糊层次分析模型.该模型在建立评价指标体系的基础上,将层次分析法和模糊数学理论结合起来,运用层次分析法确定评价指标的权重,采用模糊数学方法对项目团队知识共享水平进行综合评价,得出评价结论.同时,应用该评价模型对某项目团队中的知识共享水平进行分析评价,验证模型的正确性.结果表明,使用该模型可以使项目团队知识共享水平评价更全面、更科学、更符合实际,该方法简便可行,结论可靠,具有一定的优越性,为决策者提供有力的参考和支持.     

基于组合规则熵的一维二值元胞自动机行为研究

为在Langton参数的基础上对一维二值元胞自动机的性质及其动力学行为进行更细致的分析,提出了用组合规则熵刻画元胞自动机规则的方法并证明了一维二值元胞自动机组合规则熵的最大值和最小值定理.实验还进一步表明组合规则熵能够在Langton参数的基础上对元胞自动机的规则进行更细致的刻画,有利于对元胞自动机动力学行为的分析和提...     

局部车道缩减的双车道元胞自动机交通流模型研究

针对道路使用过程中可能发生的意外,考虑双车道有一条车道出现局部维护,车辆需要绕行的情况,在一维对称双车道元胞自动机模型的基础上,建立一种有局部车道缩减的双车道元胞自动机模型,结合实际交通情况给出计算机数值仿真的流量-密度图,分析受堵车道上的交通状况,并给出受堵车道的时空斑图。数值仿真结果显示,对于不同的延迟概率,整个路段都有相应的瓶颈流量,对受堵车道上的换道规则的调整有助于增加该车道上的换道车辆数,减少车辆的滞留。     

基于元胞自动机的复杂系统脆性仿真

复杂系统研究是当前的热点,脆性是复杂系统的一个基本属性．在一个复杂系统中,当一个子系统遭受足够大的打击而崩溃时,整个系统将会崩溃．元胞自动机是一个离散的动力学系统,它可以用来仿真复杂系统的行为．文章应用元胞自动机对复杂社会系统的脆性进行仿真．仿真结果说明传染病扩散对其它社会子系统具有很大的影响．作为复杂系统的一个子系统,传染病的大规模扩散会使社会混乱,进而得出它具有脆性的结论．     

混入智能网联车队的混合交通流元胞自动机模型

针对现有自动-手动驾驶混合交通流元胞自动机模型未考虑智能网联车队队列行为,提出了考虑智能网联车队的混合交通流元胞自动机模型,研究混入智能网联汽车车队的混合交通流特征。对混合交通流中的跟驰行为进行了分析,基于跟驰行为的特征,分别构建人工驾驶跟驰模式、自适应巡航模式、协同自适应巡航车队模式的元胞自动机规则,基于数值仿真实验对不同智能网联车渗透率下的混合交通流特性及拥堵情况进行了分析。结果表明：智能网联汽车的应用可显著提高道路通行能力和车辆平均速度,进而有效地缓解交通拥堵。     

行人运动仿真研究综述

行人运动仿真是近年来仿真领域研究的热点之一。从行人运动仿真的研究意义和研究内容出发,介绍了国内外行人运动仿真研究发展历程和研究现状,论述了行人运动仿真模型的三种类型,分析了成本效益元胞模型、元胞自动机模型、磁场力学模型、社会力学模型、排队网络模型五种典型的行人运动仿真模型的原理和适用条件。最后探讨了目前行人运动仿真研究中存在的问题及未来的发展前景。     

元胞自动机与经济学应用

元胞自动机开创了复杂性研究的新途径。本文介绍其基本概念和在经济学领域的应用，讨论经济学研究的一些基本原理及其元胞自动机模拟的方法和研究方向。     

THE RELATIONSHIPS OF THREE ELEMENTARY CELLULAR AUTOMATA

Limit language complexity of cellular automata which is first posed by S. Wolfram has become a new branch of cellular automata. In this paper, we obtain two interesting relationships between elementary cellular automata of rules 126, 146（182） and 18, and prove that if the limit language of rule. 18 is not regular, nor are the limit languages of rules 126 and 146（182）.     

二维细胞自动机伪随机序列发生方法研究

首先介绍了细胞自动机的基本概念。根据具有输入的细胞自动机的转移特征方程推导出了具有梯形结构的二维垂直邻居受限细胞自动机周期等统计特性。根据这些特性提出了一种二维细胞自动机伪随机序列发生方法。计算机模拟表明 ,具有梯形结构的二维垂直邻居受限细胞自动机伪随机序列发生器实现简单 ,产生的序列具有速度高、周期长和统计特性好等优点。     

基于演化熵的一维二值元胞自动机行为度量

为实现计算机自动识别和搜索特定类型的一维二值元胞自动机,通过计算其演化熵,实现了对一维二值元胞自动机动力学行为描述的度量,并给出了演化熵平面类型域与其不同动力学行为之间的对应关系,最后结合演化熵分析了不同的Langton参数下一维二值元胞自动机动力学行为的分布情况,发现一维二值元胞自动机的Langton参数在刻画其动力学行为时与普适规律不符,而具有以参数0.5为中心的对称性。     

基于演化博弈理论的疏散动力学研究

为了研究个体合作行为对行人整体疏散效率的影响,结合元胞自动机与社会力模型对疏散系统动力学与“合作行为”的共演化进行了研究,提出了基于演化博弈理论的疏散动力学研究方法。采用元胞自动机模型为基础仿真框架,利用社会力模型来表征行人间的心理斥力,通过演化博弈实现疏散个体策略更新。仿真实验结果表明：当博弈增益系数超过一定阈值时群体的稳定合作比率会急剧上升,且合作行为能有效促进疏散效率。