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

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

上市公司财务状况的动态多指标综合评价方法

针对上市公司财务状况的动态多指标综合评价问题 ,首先建立了评价指标体系 ,并在此基础上 ,综合考虑评价指标的好坏程度和增长程度两种情况 ,提出了一种适用于动态多指标综合评价的理想矩阵法 ,最后给出了一个实际应用算例.     

NS—2网络仿真器中动态路由算法的动画仿真研究

研究了基于Unix系统的大型离散事件可视化网络仿真器NS—2(Network Simulator V.2)，分析了基本网络模型C 类的设计原理，Tcl仿真脚本文件的Otcl语言建立方法，局域网模型拓扑描述，路由策略与协议算法，组件的编译等。着重剖析了分布式Bellman—Ford(或距离向量DV)路由算法，以及动态网络拓扑变化的仿真机制。设计了一个7结点的令牌环形网的动态路由仿真实例。利用Nam工具仿真实现了动态路由DV算法的动画效果，利用Xgraph工具描绘出通路上的数据流量曲线，实验结论验证了在DV路由算法下网络的通畅性，以及实际通信中数据包的抛弃、丢失和网络阻塞干扰等现象的客观存在。     

倾斜导轨上二级倒立摆的控制

本文在已有的倾斜导轨上二级倒立摆数学模型的基础上,采用极点配置方法和线性二次型最优控制器对导轨倾斜45o时的二级倒立摆进行了控制,并用MATLAB进行了控制结果仿真,仿真结果表明,控制效果较好。     

无线传感器网络数据传输协议的研究

通过对无线传感器网络典型应用结构及现有协议的分析，本文给出了一种较为简单的适用于小型无线传感器网络的通信协议，对通信数据格式及数据传输流程进行了较为详细的定义。为进一步验证协议性能，设计了一个小型的无线传感器网络实验系统，并在此系统上完成了对所堡过通信协蠼的验证，实验结果表明了本文所给出协议的有效性。     

非流分灌溉制度的求解方法

根据农田水量平衡原理以及作物腾发与产量相乘模型，分析了非充分灌溉制度的动态规划求解方法，并编制了相应的电算程度。该程序给出了全生育期不同灌溉定额情况下最优灌溉制度和最优产量比，并给出了各生育阶段实际腾发量和计划湿润土层含水量动态变化过程。通过算例表明，该程序操作方便，设计合理，是灌区灌溉管理及高产增收的实用计算机软件。     

Authorware中媒体的动态展示

Authorware以其独特的展示功能和良好的交互性日益受到广大教育工作者的青睐．针对在Authorware中动态的加载、媒体信息展示、动态添加过渡效果以及界面皮肤的选择所涉及的方法进行了论述．     

MIS系统通用插入组件的设计与实现

论述了数据字典是实现通用插入功能的关键，并描述了利用Grid控件实现通用插入组件的一般方法，着重讲述了依据数据字典动态生成界面，动态消息响应的处理过程，有很大的应用价值。     

大位移井钻柱的动态分析

分析了大位移井旋转钻柱的受力变形特点及钻柱与井壁接触机理.根据动力学原理引入碰撞恢复系数并完善和简化了钻柱与井壁动态摩擦接触模型.采用有限元理论,将威尔逊θ法、牛顿拉裴逊法和放松约束试算法相结合,解决了大位移井钻柱动力学问题及钻柱动态接触边界待定问题.计算及分析结果表明,所建理论模型是合理的和简便的.在钻柱旋转过程中,碰撞或连续接触可能交替存在或并存,这与井眼条件和转速有关,对钻柱与井壁接触形式的任何假设都可能是误差产生的根源.动态响应均值的非线性效应与静态分析结果表明,一般井眼曲率大于5°/(30 m)时,线性动态分析的误差不容忽视,转速较高(大于70 r/min)时,须考虑动态因素的影响,在一般工况条件下影响不大.     

基于语音卡的呼叫中心系统设计和实现

针对目前CTI应用中比较广泛的呼叫中心，利用分层设计的思想和数据库、动态链接库技术，设计出基于语音卡的呼叫中心的一个通用程序架构，适用于广大中小规模呼叫中心的建设，能有效缩短呼叫中心建设周期和提高软件开发效率．