通风控制技术的未来及最适宜的气体测量方法

本文所讨论观点的形成得益于作者近年来对与通风控制系统有关的气体测量方法，相关的敏感技术及实际市场情况的调查与研究。包括对一些商业上可行产品的研究与实验。本文旨在强调技术及经济条件的限制将对与通风控制系统有关的气体测量方法的选择起决定性的作用。     

一种基于事件通道的分布交互仿真技术

采用CORBA构造分布交互仿真系统是目前比较流行的方法，但存在容易死锁，编程困难等问题。针对这些问题，我们提出了一种基于事件通道的分布交互设计方案，并以机群系统为仿真平台，在Orbix上实现了该技术，该方案可有效地避免死锁，保证了系统的实时性和可靠性，并简化编程。     

正确测量环境湿度的方法

本文说明了湿度测量在工业生产中的重要意义,指出了正确的选择测湿仪器的标准,叙述了只有选择正确的安装方法、安装位置、注意温度的变化、及时对传感器进行校准和维修,才能实现对湿度的精准测量。     

基于RFID与C/S技术的井下人员定位系统的研究

为了实时掌握井下人员的分布及作业情况,通过利用Wi-Fi无线通信技术,提出了定位系统的总体设计方案和软件设计方案,实现了对井下人员的实时定位、考勤、轨迹跟踪、查询等功能。该系统的运用可以保障井下井上的信息及时准确沟通,精确定位井下人员位置,对煤矿安全生产发挥有重要作用。     

程序自动并行化过程中的任务划分

任务划分是程序并行化过程中的重要一环,它的优劣直接影响并行程序的正确性。本以基于数组元素局部相关的基础,讨论了将串行程序所描述的任务划分为多个子任务的方法,提出了编译程序静态识别与并行程序动态判断相结合的方法,成功地实现了对多个串行程序的正确并行化,该方法降低了对串行程序书写格式的要求,提高了程序自动化并行化的程度。     

松弛隔离性下的事务性网构应用并发控制研究

网构软件是指导Internet环境下协作式软件开发的一种新的软件范型,网构应用可以通过组合Internet上已有的web服务来方便地进行构造。事务机制是保障网构应用可靠性的重要技术。web服务的自治性及网构应用的长时间运行特性使得事务间的隔离性必须被放松,因而必须研究如何保障事务性网构应用在松弛隔离性下并发执行时的正确性。针对这一问题,提出了一种新的并发控制方法TSCM-CC(事务性服务复合模型-并发控制)来协调并发事务的相互影响。首先,根据依赖双方服务的事务特征对事务间依赖的类型进行细分;然后,提出了一系列的规则来限制依赖的动态形成,并证明了这些规则的正确性;最后,给出了这些规则的一个分布式的协调协议的实现机制。此方法的最大特色在于能够在保持各个事务性网构应用松弛原子性的同时保证松弛隔离性下并发执行的正确性。     

J2EE平台的扩展事务模型支持框架

随着Internet和分布计算的发展,应用趋向于分布、松耦合和复杂化,平面事务模型已经越来越不适应于这些新型的应用,因此出现了多种扩展事务模型.但目前的研究多关注于特定应用环境的模型的提出和分析,同时由于受数据源接口的限制,难以实现事务模型的一些扩展原语,所以真正实现扩展事务模型的系统很少.提出了一种J2EE平台下的扩展事务模型支持框架,通过增强事务管理器的数据并发控制,实现了对常见扩展事务模型的支持.     

镜像分解技术实现CFD程序自相关循环并行化的研究

针对CFD(Computational Fluid Dynamics)序中常见的自相关循环结构，分析了波前并行技术不能对其进行并行化的原因，针对其相关实质j提出了自相关循环的镜像分解技术，通过消除跨迭代的反相关，实现自相关循环结构的波前并行，完成自相关循环的并行化。     

面向CFD的交互式并行化系统Paractive

该文介绍了面向计算流体力学(CFD)的交互式并行化系统Paractive以及Paractive系统实现时所采用的关键技术。该文根据CFD程序及其并行化的特点提出了CFD程序并行化的区域计算模型以及区域相关的概念。区域计算模型将CFD程序看成区域操作的有序组合,区域相关则以区域操作为基本单位,区域操作本身所具有的对大块数据进行整体操作的特点,使得区域计算模型和区域相关非常适合开发CFD程序中蕴含的数据并行性。另外,该文还介绍了基于程序对象树的增量分析技术以及CFD程序并行化的静态性能预测技术,并在最后给出了使用Paractive并行化CFD实际算例的测试数据。     

高稳定性的湿度发生器——双压法湿度发生器的工作原理及特性简介

本文重点讨论了双压法湿度发生器的工作原理及奥地利益加义公司（E＋E Elektronik）生产的HUMOR10型湿度发生器的特性。[编者按]