矿用救生舱环境监控系统软件的研究

给出了矿用救生舱环境监控系统的组成,主要介绍了该系统软件的功能设计、总体架构及界面设计方案。该系统软件可实时显示各传感器的运行状态和检测数据、舱内气体余量、电源电量、照明灯状态、空气净化状态、自动控制状态、舱门状态等,人机交互界面友好,操作简便。该软件经长期连续运行实验,工作正常,达到了设计要求。     

移动位置的信息服务系统研究

随着移动通信技术的发展,无线网的覆盖面越来越广,移动电话发起的紧急呼叫数量在全部紧急呼叫中所占的比例也随之上升。现有的无线网能为移动电话紧急呼叫提供的辅助决策信息非常少。研究的目标是设计一种精确安全的报警系统,使得市民可以便捷并安全地将案情报告给指挥中心,而且指挥中心能够根据案发地点找出最近的警力及时赶往现场,第一时间处理案情。研究表明,系统能够实现报警电话快速定位的功能,并通过地图或文字描述等方式展示位置信息,达到接警、处警对位置信息的要求。     

Analysis of information exchange activities to actualize and validate situation awareness during shift changeovers in nuclear power plants

Shift work situations occur in almost all safety‐critical organizations, and the investigations of some catastrophes like Chernobyl, Exxon Valdez, and the Gol/Legacy mid‐air collision indicated that shift work information exchange played an important role during the evolution of the situation before the accidents. Inadequate communications during shift changeovers challenged operators' work in the moments that preceded these accidents, because they got inadequate information about the current situation. Our research focuses on the information exchange activities (verbal, written, and nonverbal) of nuclear power plant control operators during shift changeovers. Our aim is to investigate how verbal exchanges and other representations enable operator crews to share information regarding the events that occurred in the previous shift to achieve adequate situation awareness. Our findings indicated the importance and richness of the information exchange during the shift changeover process to update and validate individual and collective situation awareness, showing that information adequately shared enables the ad hoc configurations of regulation loops and a safer use of simplified strategies that can be understood and be validated by other operators, reducing the occurrence of cognitive overloads and contributing to the construction of a common cognitive ground that enhances system resilience. © 2010 Wiley Periodicals, Inc.     

From ethnographic record to system design

This paper explores the issues involved in moving from ethnographic explorations of work in context to a practical contribution to system design. It does so using the example of an interdisciplinary research project involving sociologists and computer scientists in the domain of air traffic control systems. It forms a pair with another paper (Sommerville et al., 1992) exploring these questions from the perspective of our computer science partners. We characterise ethnography as a research method, and consider the differences between undertaking it for strictly sociological or anthropological purposes by contrast with interdisciplinary and design purposes. We summarise some of our results in ethnographic explications of the work of air traffic controllers, and the sociality which it manifests. We describe the dialogues involved in rendering these observations informative for systems design, and the mutual translations implied in attempting to reconcile sociological with software engineering questions about supporting the work. We conclude by specifying some features of cooperative work which an engineering approach is in danger of overlooking; the ways, and limits, in which ethnographers can form a bridge between users and designers; and some of the conflicts of interest entrained in generating technical change.The research is funded by the UK MRC/SERC/ESRC Cognitive Science/HCI Initiative with the title Social Analysis of Control Systems for HCI Design, grant number SPG 8931598. The computer science partners are Professor Ian Sommerville, Dr Tom Rodden, Dr Pete Sawyer and Mr Richard Bentley. Thanks are due to Val King, Kjeldt Schmidt, Ian Sommerville and Tom Rodden for very helpful comments on earlier drafts of this paper.     

HTML5在移动互联网中的应用

随着移动通信技术的革新及互联网产业的迅猛发展,以移动互联网为代表的移动数据业务呈现出快速增长的势头,HTML5的出现给移动互联网带来了新的变革。本文首先介绍了移动互联网的发展现状、业务模式,HTML5的发展与技术特点,然后对HTML5在移动互联网中的应用进行了阐述,并列举了部分案例。     

档案网站建设文献统计计量分析

档案网站建设是新世纪档案工作新媒介和新事物。文章从多个方面对2000年以来,有关档案网站建设研究期刊文献进行了统计与分析。     

未知环境下基于约束点的移动机器人路径规划

针对未知环境中障碍物种类多样性和位置不确定性的特点,提出了基于约束点的路径规划方法。首先对机器人在未知环境中检测到的局部障碍物信息进行分类和几何特征属性描述,得其约束点信息,然后引入改进后的A*算法,将其搜索范围局限于约束点上,计算约束点的评价函数值后得到子目标点,机器人到达子目标点后,若陷入死区,则采取回溯路径策略,重新选择子目标点,否则根据该点所属的障碍物种类采取跨越或绕行避障策略,最后移动机器人在未知环境中顺利到达目标点。仿真研究说明本文提出的路径规划方法具有可行性和有效性。     

基于组播源移动的组播树修改过程研究

特定源组播(SSM)是现在应用最广泛的组播模型。随着无线网络的快速发展,移动用户不断增加,移动环境为越来越多的用户提供有限的、共享的带宽,这样的现实更加重了网络对组播服务的需要。然而,特定源组播(SSM)对组播源移动的支持仍然是一个有待解决的问题。本文将针对组播树修改协议(TM)进行分析和改进,进一步完善组播树修改协议过程。     

Parallel depth first search. Part II. Analysis

This paper presents the analysis of a parallel formulation of depth-first search. At the heart of this parallel formulation is a dynamic work-distribution scheme that divides the work between different processors. The effectiveness of the parallel formulation is strongly influenced by the work-distribution scheme and the target architecture. We introduce the concept of isoefficiency function to characterize the effectiveness of different architectures and work-distribution schemes. Many researchers considered the ring architecture to be quite suitable for parallel depth-first search. Our analytical and experimental results show that hypercube and shared-memory architectures are significantly better. The analysis of previously known work-distribution schemes motivated the design of substantially improved schemes for ring and shared-memory architectures. In particular, we present a work-distribution algorithm that guarantees close to optimal performance on a shared-memory/-network-with-message-combining architecture (e.g. RP3). Much of the analysis presented in this paper is applicable to other parallel algorithms in which work is dynamically shared between different processors (e.g., parallel divide-and-conquer algorithms). The concept of isoefficiency is useful in characterizing the scalability of a variety of parallel algorithms.This work was supported by Army Research Office Grant No. DAAG29-84-K-0060 to the Artificial Intelligence Laboratory, and Office of Naval Research Grant N00014-86-K-0763 to the Computer Science Department at the University of Texas at Austin.     

NDN数据提供者移动支持策略能耗建模与分析

基于数据提供者的移动节点在网络中的不同位置及不同移动速度,结合命名数据网络（NDN）请求者驱动的数据传输模式,提出了3类NDN移动支持策略的网络能耗解析表达式,为NDN移动网络的研究提供了形式化的建模方法.对这3类移动支持策略在不同场景下能耗的分析与比较结果表明,数据流行度分布、移动节点所处位置及移动速度对策略的能耗影响不尽相同,为后续探求最优能效的移动支持策略提供了理论参考.