动态滤波反投影图像重建算法研究

图像重建算法是过程层析成像(Process Tomography,PT)中的关键技术之一.本文提出了一种动态滤波反投影算法(Active Filter Linear Back Projection,AFLBP),并进行了实验仿真.结果表明,采用AFLBP对ECT系统中图像进行重建,可使系统在保持快速成像的同时,较好地解决了敏感场的非均匀分布和固定灰度阈值造成的成像精度问题,大大提高了系统的成像精度.     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

基于超网络的舆论演化动态模型

针对舆论演化过程中的复杂动力学问题,提出了超网络视觉下的舆论演化动态模型,该模型包括节点的添加、重新连接链路、超边的添加以及节点的老化4个过程,其中节点代表关键词,超边代表关键词所构成的话题.其次,利用非均匀网络的演化机制,分别对该动态演化模型的超度、节点自身关注度与节点间影响力两个因素的超度进行了详细的理论分析,分析...     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

煤气储罐泄漏扩散模型及仿真

基于Fick扩散方程,建立了煤气储罐瞬间完全泄漏的无风情况下的动态扩散模型.根据气体储罐形状为圆柱,确定了介质瞬间完全泄漏后模型的初始条件和边界条件,然后通过坐标变换和傅立叶变换和适用于圆柱(Bessel)函数的Hankel变换,求出了此条件下扩散方程的解析解.根据风力对扩散过程的影响,在无风扩散方程的基础上建立了有风条件下的扩散模型并求取了解析解,然后以一50000m3(r=19m,h=40m)煤气储罐完全破裂后的气体扩散过程为例进行了模拟,模拟结果验证了模型的有效性.     

无可信中心的(t,k)门限RSA数字签名体制

提出了一种新的不需要可信中心的门限数字签名方案.在k个成员组成的群组中,只有t个或t个以上成员才能够代表群组签名,而少于t个成员则不能代表群组签名.方案基于Boneh等学者的分布式RSA密钥产生协议和Shamir秘密共享方案而构建.签名过程分为四个阶段:系统初始化、生成个体签名、生成群签名以及签名验证.在系统的初始化阶段不需要可信中心的参与,并且个体签名的生成、群签名的生成和验证都可以方便地实现.通过对方案的安全性分析显示,个体签名和群签名都是不可伪造的,并且在整个签名过程中都没有系统秘密信息的泄漏.     

基于规则的开发链智能化产品配置方法

介绍了基于产品配置的开发链产品实现过程;讨论了产品结构模型与配置的关系;研究了基于结构模型的产品配置过程;给出了智能化产品配置的实现步骤．模型配置规则用来约束产品结构模型中各功能组件以及零部件之间的关系,限制配置过程中零部件的选择．给出了变量配置规则、配置约束规则和有效性规则等．讨论了配置知识库的构建方法．     

动态环境下基于势场原理的避障方法

在保留传统人工势场法原理简单、易于实现优点的基础上,对其应用在具有移动障碍物的动态环境中所表现出的缺陷进行了改进,用碰撞时间参数代替相对位置参数并辅以碰撞角度约束来消除无渭的避碰运动,同时又引入障碍物作用于机器人、方向指向目标点的分力和局部波动函数,较好地解决了因局部最小以及障碍物与目标点相距太近造成的不能成功到达目标点的问题．仿真结果表明此方法能够使机器人在具有静态和移动障碍物的复杂环境中安全避障．     

一种可动态更新的高可用中间件框架

针对动态更新缺乏对分布式应用支持的缺陷,提出了一套可动态更新的高可用中间件框架,用于分布式环境中高可用服务的开发．它包含了一套灵活的动态插件管理框架,可完成单进程的动态更新,同时提供了一套分布式协作服务管理框架,来完成多进程协同服务的同步动态更新．通过实现服务可用性论坛提出的高可用应用接口规范,验证了该框架具有单进程及多进程同步动态更新的能力．     

基于动态部分缓存共享机制的改进RED算法

为了解决Internet中网络业务流量不断增长而引发的网络拥塞问题,采用部分缓存共享机制对随机早期检测算法进行改进。根据网络节点缓存资源实时使用情况模糊动态调整丢弃阈值,结合采用比例调度算法,提高了网络共享资源的使用效率,保证了不同网络业务的服务质量。仿真试验结果表明,改进RED算法可以提高网络节点的成功转发率,改善关键业务的延迟指标,具有更好的拥塞控制性能。