Formalization and specification for controlling process modularity in mobile computing

新的计算模式，普适计算和全局计算，正在作为高度分布式和移动计算的计算模式展现出来。这篇论文探讨了在抽象层面上支持这些新型计算模式的适合的形式化基础，关注在进程移动单位上的控制, 以便在分布式与移动计算环境下更好地协调进程的移动性。 论文的第一部分概述了针对分布式、移动计算的现有进程演算模型中的进程移动单元，并且设计了一种在此方面更优、更具弹性的进程框架。为了表示这种进程框架，我们提出了一种新的、针对移动和分布式系统的进程演算,这种进程演算的优点是动态、弹性的控制进程的移动单元；具体的思路就是扩展π- calculus以及其支持分布式和移动性的变体。我们把这种新的演算叫做Modular π-calculus。我们通过这种演算的提出来说明进程框架提供了一种针对移动进程更为合适的协调机制以及编程模型，例如移动的代理和动态组件载入的支持。之后，我们通过讨论互模拟的几种提法来具体说明能够反映演算设计的进程描述的关键，之后我们讨论了它们的具体性质。 本文的第二部分提出了一个对进程模型的行为和性质进行推理的规约框架。首先，提出了一个对Modularπ-calculus中进程的系统性质进行规约的模态逻辑。为了更好的理解该逻辑，文中对由这个逻辑推出的进程等价的特征进行了研究，并且证明了该逻辑的区分能力介于互模拟和结构一致之间。接下来关于这个规约框架的自动化，本文针对该逻辑和Modular π-calculus的有限控制子集，提出了模型检测算法，并且给出了算法正确性的证明。同时文中贯穿了一些实际且直观的例子，以展现本文提出的一组框架即演算、逻辑和模型算法的有效性。

基于Windows CE的HIRFL-CSR前端控制系统设计与实现

介绍了一个基于WindowsCE的嵌入式分布控制系统,系统基于以太网和现场总线连接,节点用嵌入式平板计算机实现。给出了系统的硬件组成和软件设计,该系统已应用于HIRFL-CSR前端控制系统。

在Windows下PC机作为半双工RS-485网络主机通信程序的设计

描述了一个以PC机作为半双工RS-485网络主机,工作于Windows平台上的通讯程序。该程序特点是通过使用异步通信WIN32API和多线程及多种同步量来实现半双工通信方式。

基于Windows系统的原油水气含量自动监测仪表远程控制系统的设计

本论文主要内容是一种应用于油田的工业用仪表的程序设计。程序体现了当今流行软件基本的设计思想，同时具有积极的现实意义。论文内容主要包括三大部分。第一部分简略地介绍仪表的总体的工作原理。从水含量，气含量两个方面进行了论述。第二部分介绍了仪表的工作过程中，涉及的硬件部分。简略的阐述了硬件部分的探测器结构部分，详细的介绍了第三部分软件编程中用到的计数卡和D／A转换板卡的原理，及编程控制的基本步骤。第三部分是仪表的软件部分，也是核心和重点部分。主要介绍了软件的总体框架，重点地说明了计数卡的驱动程序设计，数据采集，打印部分，数据库部分，实时性的实现方法。同时还有参数拟合功能中，涉及到的数理统计中参数回归法确定参数的具体方法。结合各个具体功能的说明，给出了具体的源代码。程序的其它必不可缺少，但实现起来难度相对较小的部分给出了简略的说明。该程序具有操作简单明了，界面友好，功能齐全等特点。通过对该工业仪表程序的设计，在计算机软件及硬件方面的理解，都能够得到一定水平的提高。特别是在计算机软件的设计方法，设计思想等各个方面都有深入的认识。

CAMAC Windows 2000驱动程序设计

兰州重离子加速器（HIRFL, Heavy Ion Research Facility at Lanzhou）是中国最大的、在国际上享有较高知名度的中、低能量重离子物理基础及其应用研究装置，HIRFL控制系统是这一大型研究装置的重要组成部分。CAMAC是HIRFL控制系统最重要的硬件接口设备，Windows 2000是HIRFL控制系统最理想的软件运行平台，所以设计一个标准的CAMAC Windows 2000驱动程序对HIRFL控制系统有着重要的意义。本文首先介绍了Windows 2000的系统总体结构以及与驱动程序编写密切相关的内核模式I/O组件。在硬件环境方面，简要叙述了CAMAC接口和EISA总线的知识。内核模式I/O处理是编写驱动程序最重要的知识，文章对此作了详细的阐述。驱动程序的各个内核模式对象是驱动程序开发的基本数据结构，是驱动程序的生命线，这部分内容在论文中占有一定的比重。在实际的驱动程序代码中，有很多类和例程，本文就几个关键的类和例程进行了剖析。最后就如何构造和安装驱动程序作了说明。作者用Microsoft Visual C++ 6.0和Windows 2000 DDK作为工具，成功地开发了CAMAC Windows 2000内核模式驱动程序并制作了最终安装版本，取得了比较满意的结果。它的完成，将会对HIRFL控制系统性能以及HIRFL的运行效率产生积极的影响。

基于Ms Windows的微机#gamma#谱程序设计

这篇论文里，我们对基于ms Windows的微机γ谱分析程序的数学原理，算法及程序设计进行了阐述；同时，我们也介绍了测试结果，此结果表明了拟合过程的高效性，高稳定性与准确性，并且，程序计算出的峰面积也是可接受的。 在第一部分里，全面阐述了数学原理与算法，包括由M. A. Mariscotti设计且已衍生出许多新算法的叫作DIFDIF的找峰算法，由BFGS方法实现的以χ2为拟合优值的拟合过程，在求峰下净面积及进行系统刻度中需要使用的公式等等。这些内客构成了γ谱分析程序设计哲学的核心，也是本论文的重点。 第二章里，我们一方面概括地介绍了基于面向对象思想的从系统分析到设计整个过程的系统开发文档；另一方面，我们也介绍了一些有用的程序片段，它们或者关于C++或MS Windows程序设计方法，或者关于运行时间错的处理。

Windows编程中高精度定时的实现

介绍了Windows编程中两种高精度时钟控制的实现方法,可达到毫秒级的时间分辨率,给出了较为完整的例子,完全能应用于实际编程中。

Information system for ICP-AES in Windows environment

An information system for inductively coupled plasma atomic emission spectrometry (TCP-BES) in MS Windows environment was developed based on the previous work in the laboratory. The system contains the data of about 28 000 spectral lines and a function of ICP spectral simulation,so it would be very helpful for line selection. The system also contains the Kalman filter and factor analysis programmes written with MS Visual Basic(version 4.0), which can be used for spectral interference correction and peak position optimization. A large amount of real spectral scanning data of rare earth elements were included in the system for user's references. All these characteristics made the system more useful and practical.

一种多目标快速识别的自适应灰度量化方法研究

针对实时序列图像多目标识别问题提出了一种快速图像处理方法。该方法依据一定的先验知识和准则，对复杂背景图像进行窗口化，对每一个窗口独立进行自适应快速中值滤波，及基于局部图像灰度信息的自适应重新量化和最大熵分割处理，实现了对全景视场内预定目标的快速准确提取和识别。为动态环境中多目标条件下移动机器人的视觉定位、导航和目标跟踪所需图像处理技术提供了一种新的方法。

基于Windows NT的开放式机器人控制系统

本文介绍了一个在WindowsNT平台上开发的工业机器人控制系统，该系统可在通用的工业计算机上运行，系统运行环境为WindowsNT加RTX实时扩展，可保证良好的实时性，该系统硬件平台为标准的PC硬件平台，控制软件采用模块化设计，具有良好的开放性和可扩展性。

An Obstacle Cluster Based Data Fusion Method for Mobile Robot

首先给出了一种通过融合多个超声波传感器和一台激光全局定位系统的数据建立机器人环境地图的方法 ,并在此基础上 ,首次提出了机器人在非结构环境下识别障碍物的一种新方法 ,即基于障碍物群的方法 .该方法的最大特点在于它可以更加简洁、有效地提取和描述机器人的环境特征 ,这对于较好地实现机器人的导航、避障 ,提高系统的自主性和实时性是至关重要的 .大量的实验结果表明了该方法的有效性 .

基于Windows平台的开放式并联机床数控系统

以5坐标并联机床为依托,面向不同构型并联机床,采用“PMAC+IPC”双CPU为硬件平台、VisualC++6.0为软件平台,开发了基于Windows操作平台的开放式并联机床数控系统。本文介绍了本数控系统的硬件结构、软件构成,并对数控软件开发的关键技术进行了阐述。