一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.     

空间机器人遥操作管理系统可靠性分析和建模

为提高空间机器人遥操作管理系统(SRTMS)的可靠性,分析了SRTMS系统的体系结构,采用随机回报网建立了SRTMS系统的可靠性模型,并对SRTMS系统中各模块对SRTMS系统可靠性的影响进行了分析.结果表明,指令检查模块是影响SRTMS系统整体可靠性的瓶颈.     

基于CPN的pub/sub系统中事件订阅的分析

提出了一种基于着色petri网（CPN）理论的pub／sub系统协议分析方法,并就一种p2p网络之上的pub／sub系统协议,用CPN对系统中的订阅事件的消息处理进行形式化描述和建模。用CPN Tools对模型进行模拟仿真,通过对模型的可达图进行分析,证明了协议具有活性、可达性和有界性等,验证了协议的可用性。     

网络安全中的蜜网技术应用研究

蜜网是一种高交互的蜜罐,能提供高度控制的网络环境,学习网络入侵者的手段、工具、方法和动机.文章引用了蜜罐及蜜网技术的定义,介绍了蜜网系统的功能构成、关键技术,分析了一种结合防火墙、入侵检测技术的蜜网系统,并对蜜罐及蜜网技术的最新发展方向做出了展望.     

混凝土折板式拱网壳动力特性的参数化分析

折板式拱网壳是由V形折板拱壳网格化而得的新型混凝土空间网格结构,本文采用有限元方法分析纵向两端开敞结构的动力特性,并了解结构整体刚度的主要影响因素。结果表明:屋盖的低阶振型以竖向振动为主,刚度薄弱位置出现在开敞处,因此横向矢高对结构整体刚度的影响较小,而V形密肋折板拱自身的矢高对结构整体刚度的影响较大;横向脊(谷)线拱作为屋盖的主要传力结构,增强其刚度可以明显提高结构的整体刚度;纵向脊线是结构的振动节线,其刚度变化对结构整体刚度影响不大;空腹桁架上弦作为V形密肋折板拱的拱脚边缘支承结构,提高其刚度几乎不改变屋盖结构的整体刚度;提高密肋梁的刚度会同时增大结构质量,因此密肋梁的刚度改变几乎不影响结构基频;由于有限元模型中屋面板中面与梁中面重合,板厚改变不影响结构的基频,屋面板可作为结构的刚度储备。     

兰州重离子医疗装置同步环安装控制网设计

介绍了兰州重离子医疗装置（HIMM）建造中准直安装方案里核心的测量控制网设计。同步环准直测量控制网是基于Leica AT401激光跟踪仪和综合测量软件SA建立的三维测量控制网,在控制网设计中采用9个基准柱和2个激光干涉测量得到的基准长度参考,以及Leica DNA03数字水准仪协同测量,使全局三维控制网设计精度达到0.04 mm,最终确保同步环四极磁铁安装精度达到0.10 mm的要求指标,为将来束流的稳定运行做好可靠的保证。     

ATM网络ABR流量的比例与滞后-超前控制

为了克服异步传输模式(ATM)网络不确定时延和饱和非线性的影响,基于比例控制和滞后超前控制方法研究可用比特率(ABR)服务流量控制器设计问题,给出了控制幅值约束和缓冲区容量约束下系统满足ABR流量控制要求的条件,提出了满足这些条件的比例控制器和滞后超前控制器的设计方法。该方法能使ABR流量控制系统在网络传输时延不确定时,有效控制网络中瓶颈节点缓冲区的队列长度,同时能够及时响应ABR可用带宽的变化,从而避免拥塞和丢包的发生,使链路带宽得以充分利用。     

基于Petri网的多机器人协作任务分配与导航研究

研究了基于Petri网理论的多移动机器人任务分配和导航策略问题.针对有限空间环境下的物科收集协作任务,提出了一种机器人路径选择方法,并建立了基本路口单元和工作空间的Petri网模型.通过任务分配模型实时规划物科仓库内的机器人,并对具有拐角特征的多机器人路径冲突给出了消解方法,建立了机器人冲突协调模型.通过分析任务冲突协调模型,避免了多机器人运动路径冲突.最后仿真实验验证了提出的多机器人任务规划方法的有效性.     

异构时空数据的转换机制研究

目前时空模型难以兼顾时空语义表达与计算机实现困难的现状,形成不同部门、不同应用、不同时期的时空数据在语义、模型、结构等方面的差异,阻碍了时空数据之间的相互转换,限制了历史数据在预测预报等领域重要作用的发挥.在总结时空数据模型特点的基础上,试图以一个崭新的视角分析时空模型的发展历程;在此基础上,采用图论这一通用数据结构与数学描述方法.构建具有完备性的时空数据描述模型;探讨由此引发的异构时空数据的转换机制.最后,在异构时空模型之间的转换机制中分析了该模型的特点.     

空间CB(-∞,+∞)中集合列紧性的判别法

把空间C [a,b] 中集合列紧性的判别法推广到在无穷区间（-∞,＋∞）上连续且有界的函数构成的空间CB（-∞,＋∞）中,得到空间CB（-∞,＋∞）中集合列紧性的一个充要条件.