基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

银行风险传染的集合种群模型——基于元胞自动机的动态模拟

首先借助生物学集合种群理论构建了银行风险传染的模型;然后基于元胞自动机方法对银行风险传染的时间和空间的动态过程进行模拟,得出了影响银行风险传染的特征,提出了影响银行脆弱性传染速度的因素;最后, 在具有相同的传染率和灭绝率下, 对比了单点传染和三点传染到达稳定状态的时间步长. 对控制银行风险传染,保持银行稳定性具有重大意义. 此外,该模型不仅可以对银行系统脆弱性传染过程进行模拟和动态分析, 同样也适用于研究金融系统中其他金融机构间的风险传染问题.     

混合Jobshop炼钢-连铸重调度方法及其应用

炼钢-连铸生产过程中加工设备起、停时间经常会出现严重延迟,导致调度计划不可行. 目前人工调整,存在响应速度慢和调整结果不优化的问题. 对炼钢-连铸混合Jobshop重调度问题进行了分析,提出了正在作业炉次已分配设备不变的重调度方法. 并提出了求解策略,将原调度分解为两个子调度问题. 引入炉次操作状态参数β,建立了正在作业炉次的时间修正模型,构造了启发式方法进行求解.对于未作业炉次,建立了多目标非线性0-1 整数规划模型,构造了并行逆推启发式算法进行设备指派,采用线性规划求解各操作的开工时间.基于上述方法开发了动态调度软件应用于国内某大型钢铁企业,在缩短动态调度时间、减少钢水冗余等待时间方面取得了显著成效.     

基于层次线路优选法的公交线网仿真设计

针对交通路网布设方案的不可实验性,为提高公交线网设计优化性能,提出了基于"层次线路优选法"的仿真设计思路,对公交线网进行层次划分,并分层进行线路优选,组合成网,突出发挥不同层次线路的功能,消除了传统"线路优选法"忽略公交网设计不同层次线路需求的缺点。阐述了"层次线路优选法"的基本原理,给出了"层次线路优选法"的基本实现步骤,并着重描述了层次选择模型的构建、公交线路选择的遗传算法。采用经典算例对线网的仿真设计方法进行验证。结果表明,与其它研究成果相比,此方法得出的线网设计结果方案在满足单次出行换乘次数低、无公交盲点的前提下,具有线路负载均衡、线路弯曲度小、高线网覆盖率、低线网重复系数、线段最大重复次数少的特点,满足了公交线网设计的基本功能要求。     

城市环境质量的未确知测度评价

在未确知测度空间基础上,建立未确知测度评价模型并用于城市环境质量评价; 与模糊综合评判、灰色聚类分析、物元分析、ＢＰ人工神经网络等评价方法比较,未确知测度评价模型严谨,评价结果合理、精细、分辨率高,更适合于环境质量评价;     

突发污染源散发特性辨识与仿真研究（英文）

在载人航天器、潜艇、飞机等密闭微环境中,如果发现有污染源存在,确定污染源的位置及其散发特性具有重要意义。笔者提出一种新型的浓度离散随机模型,在采用敏感性分析方法实现污染源定位后,利用隐式与显式卡尔曼滤波相结合的方法实现污染源散发特性的动态辨识与预测,同时完成空气污染物浓度预测。笔者采用蒙特卡罗仿真实验方法对一密闭空间进行了动态仿真研究,仿真结果表明提出的方法可以实现污染源散发特性的快速准确辨识,具有重要的应用价值。

Abstract：

In case of contaminants appear in enclosed spaces such as spacecraft,submarine,aircraft and so on,it is useful to find the contaminant source. A novel algorithm was proposed to identify contaminant source strength based on finite sensors. After having identified the source location by using the Sensitivity Analysis Algorithm （SAA）,this method built a new discrete concentration stochastic model,and combined implicit and explicit Kalman filter. Monte Carlo simulation was used in our experiment. The simulation results show that the new method could track and predict the source strength dynamically; meanwhile,it also could predict the distribution of contaminant concentration.     

虚拟维修中的虚拟人移动仿真

虚拟维修是近年来提出的一个新概念,并在维修性分析、维修训练等领域得到广泛的应用。为了解决维修过程仿真中的维修人员仿真问题,提出了一个分阶段的虚拟人移动仿真方法,采用随机运动规划方法生成虚拟人躯干及头部的无碰撞路径,利用运动捕获数据和运动变形来实现对四肢运动的仿真。在运动规划中引入了姿态转移图的概念,实现了虚拟人移动过程中多种姿势之间的自然转化。采用基于运动变形的方法消除了虚拟人上肢和环境中其他物体的碰撞现象,提高了仿真真实性。

Abstract：

Virtual maintenance is a new concept introduced in the last few years,and has been broadly used in maintainability analysis and maintenance training.In order to solve the virtual human simulation in maintenance process simulation,a multi-stage virtual human locomotion simulation method was proposed.The free collision path of virtual human torso and head was planned by a probabilistic motion planner.And the motion of arms and legs was simulated using motion captured data and motion warping.A new concept of pose transition graph was introduced in order to implement natural pose transition in locomotion simulation.In motion optimization,a method based on motion warping was proposed to avoid the possible collision between virtual human arms and other objects in the environment.     

基于有限反馈的多用户MIMO系统下行调度算法研究

基于预编码技术的调度方案可以提高频谱效率和系统公平性,但较少考虑QoS需求的满足.提出了一种适用于有限反馈多用户MIMO系统的下行调度算法.根据预编码矩阵选择数据流,以最大化系统容量并降低同信道干扰.先后为主数据流和次数据流执行多用户调度,有效扩大了空间复用增益.仿真结果表明,该算法可以获得更高的频谱效率,并保证业务的QoS需求.     

分布式虚拟环境下的环境管理器及环境描述语言

介绍了面向动态实体的虚拟现实系统的开发过程,给出了一个虚拟环境描述语言ＶＥＤＬ及其主要部分的形式化描述。ＶＥＤＬ可以描述分布式虚拟环境下统一的时间推演、空间位置及环境中的各种实体信息。基于ＶＥＤＬ可效系统需求转化为环境脚本。根据用ＶＥＤＬ书写的这一环境脚本,环境管理器可以动态生成整个系统的各种配置并对动态实体在虚拟环境中的行为进行预规划,随后分发到各个仿真节点从而生成一个虚拟现实系统。     

个人资产合理化的灰色层次关联评判模型及其应用

本文以层次分析法和灰色关联分析理论为基础 ,提出灰色层次关联分析法 .用来研究人在各个不同的生命周期 ,在进行个人资产组合时 ,对安全性、流动性和收益性的要求程度及其优先次序的安排 .分析了人在不同的生命周期 ,其投资方式的选择和组合以及如何实现个人资产结构的合理化 .本文还建立了个人资产合理化的灰色层次关联评判模型 ,该模型实用性强 ,操作简便 ,可程序化 .