基于LabVIEW 7.1的PID温控系统设计

以NI公司M系列数据采集卡PCI-6221为硬件，以LabVIEW 7．1和PID工具包为软件开发平台．设计了一个具有实时温度控制系统。该系统通过数据采集卡对现场的温度进行实时采集，并由开发的软件平台对采集的信号进行分析与处理，使当前温度值逼近设定值，从而实现温度的实时控制。同时将采集的数据存盘，以备系统运行时随时查阅和分析。调试结果表明。该系统具有界面友好、测量精度高、安全可靠、易于操作等特点。     

基于DSP的多路温度采集系统硬件电路设计

设计了一种基于DSP的多路温度采集系统,用于采集和处理多路温度数据。系统采用了温度传感器LM35和DSP芯片,并结合相关的程序和软件,实现了多路温度数据采集和处理。该系统硬件电路简单,同时相对于单片机的数据采集系统更能满足系统在精确度和实时性方面的要求。实验证明,系统具有较好的实时性、方便性和安全性,可用于大多数工农业领域的实时温度采集。     

用于纳米通道单分子检测的数据采集系统的设计与实现[BT)]

针对纳米通道单分子检测系统的信号特点和对数据采集的采样精度、采样速率及实时性等要求,设计并实现了基于FPGA和USB2.0接口的数据采集系统;该系统以FPGA作为控制核心,包括数据采集模块、电压输出模块和USB接口电路模块;通过USB2.0接口与计算机连接,实现数据的实时采样和参数的在线配置;此外本系统还采取了低噪声设计;经过相关试验表明,该系统引入的噪声在1 mV内,能够稳定进行数据采集,且采集信号与电压输出信号同步传输,证明该系统能够满足纳米通道单分子检测系统对数据采集的要求.     

基于Arduino的智能环境监控系统设计

针对实时环境状况监测,设计了一种基于Arduino的环境状况监测系统。该系统以Arduino UNO和各类传感器为核心,设计并编写了Arduino UNO程序,实现实时、便捷地监测周围环境的温度、湿度、光照及噪音变化情况,并采集传感器数据上传到监测平台。实践表明,该设计能够经济、高效地实现数据采集,可用于实时环境状况的快速监测。     

基于CDMA 1X网络的主通风机远程数据采集系统的设计

针对现有通风机数据采集系统存在的问题,提出了一种基于CDMA 1X网络的主通风机远程数据采集系统的设计方案,详细介绍了系统的组成结构及系统数据采集、数据传输和监控中心的设计实现。该系统以PLC为核心,通过采集系统采集温度、风量、风压等参数,再经CDMA数据终端单元、CDMA 1X网络传输采集数据,在监控中心对各数据进行集中显示,实现了风机的实时监控。实际运行结果表明,该系统能够及时监测风机的实时信息,为煤矿通风机的安全运行提供了保障。     

基于MCGS和iCAN的分布式监控系统

针对一个小型过程控制实验装置,设计开发了基于MCGS和iCAN的分布式监控系统.系统上位监控软件采用MCGS.下位采用周立功公司的iCAN系统进行现场数据的采集.该系统实现了对该装置的温度、压力、流量、液位等四大热工参数的实时数据采集和装置锅炉温度、锅炉液位的实时控制.     

基于多线程的USB接口流速测量系统

设计基于USB接口的流速测量系统.硬件上使用USB接口芯片实现采集设备与计算机的实时通讯,提供简洁易用的操作接口;软件方面,在Visuall Basic6.0开发环境下,运用多线程技术解决实时数据采集和图形显示等问题.经测试和实际运行表明,系统已达到流速测量预定的技术指标,具有良好的实时性和可靠性.     

基于LabVIEW的串口数据采集的应用

结合FAST健康监测数据的内容和特点,介绍了利用LabVIEW实现串口数据采集的方法,并采用该方法实现了风速实时监测系统的设计。该系统能够实现数据的自动采集和在线实时监测,在工程实际中具有广阔的应用前景。     

基于LabVIEW的温度采集系统设计

文章针对日常生活中温度这一基本环境参数,设计并开发了一套基于LabVIEW的温度采集系统。该系统利用温度传感器DS18B20进行温度数据采集,采用LabVIEW上位机软件实现温度显示、数据分析处理与存储等功能。该系统有适应性较强、液晶显示等优点,具有温度信息实时监控、响应速度快、温度检测范围为-55～125℃等特点。     

基于组态王和ADAM5510的分布式监控系统

针对一个小型过程控制实验装置,设计开发了基于组态王和ADAM5510的分布式监控系统。系统上位监控软件采用组态王,采用研华的ADAM5510可编程控制器进行现场数据的采集。该系统实现了对过程控制装置的温度、压力、流量、液位等四大热工参数的实时数据采集和装置锅炉温度、锅炉液位的实时控制。该系统具有一定的实用性。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.     

Rank and select revisited and extended

The deep connection between the Burrows–Wheeler transform (BWT) and the so-called rank and select data structures for symbol sequences is the basis of most successful approaches to compressed text indexing. Rank of a symbol at a given position equals the number of times the symbol appears in the corresponding prefix of the sequence. Select is the inverse, retrieving the positions of the symbol occurrences. It has been shown that improvements to rank/select algorithms, in combination with the BWT, turn into improved compressed text indexes.