自主式移动机器人多任务的实现

如何提高自主式移动机器人对各种传感器信息的并发处理能力是一个关键技术问题.在机器人自身有限负重能力情况下,通过内嵌操作系统方式,借助操作系统多任务处理机制实现处理并发传感器信息成为一种可行方案.本文以一种轮式移动机器人作为控制平台,研究自主式移动机器人的多任务控制的实现.     

用π-演算描述网络考试系统

在分析了基于W eb的网络考试系统需求的基础上,针对其具有多进程并发通讯的特点,采用π-演算对系统进行结构和功能的描述;在简单介绍π-演算的语法和操作语义的基础上,用进程表达式对整个系统进行形式化的描述;最后,通过实际编程实现,表明用π-演算描述这一类系统是非常适合的.     

一种新的手机交互方式

目的解决手机多用户图形交互过程中的共享冲突问题,降低网络通信量,提高系统响应速度。方法分析基于手机的图形交互的特点,提出一个手机多用户共享电子白板并发控制算法MBC(Mod ify before comm it),并对该算法进行了冲突概率分析。结果分析结果证明应用MBC算法系统发生冲突的概率很小,能降低网络通信量,提高系统响应速度。结论初步实验表明所提出的这种手机交互方式现实可行,对手机环境下多用户图形交互提供了有效支持。     

基于视域剔除和图像缓存技术的复杂场景快速绘制方法

结合基于场景图构建的虚拟场景和仿真应用的特点,提出了一种基于视域剔除和图像缓存技术的复杂场景快速绘制方法。此方法能够有效地解决图像缓存算法中,由于未考虑视域不可见剔除,而造成的绘制元素复杂度计算偏差引起图像缓存误判断,从而降低绘制效率的问题。另外,通过对图像缓存有效性的判断,可以简化视域不可见剔除的判断,提高绘制效率。     

关于三点测交基因连锁作图的注记

就三点测交的计算方法进行了数学分析,提出了原有方法的不足,给出了修正方法中各估计值及标准误的计算公式,并就该方法进行了Fisher信息测度分析。     

基于通信顺序进程的并发DEDS的规范和证实

在实时通信顺序进程（TCSP）的基础上对离散事件动态系统（DEDS）进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果，根据离散事件的特点作了符号语义上的改进，就两个具体的例子——自动导引小车（AGV）和火车道口系统道口系统建立了TCSP模型，给出了它们需要满足的特性，并据此确立了控制方法和综合后的系统模型。     

SQL Server 分布式数据库的并发控制和故障恢复

MS SQL Server是专为分布式客户／服务器环境设计的数据库管理系统，它提供了一套系统的安全保护机制，具有高的安全性、完整性以及并发控制和故障恢复的数据控制能力。文章对其事务并发控制机制和故障恢复机制进行了深入的分析，并对实际应用中用户数据库恢复和MASTER数据库恢复的具体方法进行了讨论。     

开发多任务系统的一种方法：广义状态图方法

广义状态图方法包括广义状态图的设计方法和面向状态的过程设计方法两部分。广义状态图在传统状态图的基础上扩充了动作结点的概念，利用动作结点表示系统在状态转移过程中的动作，以及多任务之间的各种减产。顷向状态的过程设计方法以广义状态图的各元素与过程设计之间的相关关系为依据，直接由广义状态图生成多任务系统的过程设计。     

分布交互式仿真中的多分辨率模型并发运行问题研究

同一实体的不同分辨率模型的并发运行经常出现在分布交互式作战仿真中。研究了分布式仿真中不同分辨率模型并发运行时的若干关键技术。提出了同态属性和同态交互的概念；研究了多分辨率模型并发运行时的一致性维护问题，给出了多分辨率模型的一致性维护算法；研究了并发交互冲突的解决方法，包括：加锁方法、冲突检测法和面向模型的方法等；分析了同态交互对仿真结果的影响，给出了处理同态交互的基本原则。     

基于可编程GPU的红外场景仿真实现

针对以前红外仿真方法细节差、实时性不高等技术难点,提出了一种新的红外物理模型实现方法。该方法将物理信息与物体的几何模型顶点绑定,提高了对红外场景的描述细节。该方法对物理模型的计算在CPU与GPU之间进行了分配,充分利用了可编程GPU的强大运算能力,有效提高了红外场景生成的实时性。讨论了几种典型探测器效应的添加方法。使用仿真图像来说明所提出方法的有效性,同时分析了该方法的优缺点。