基于WiFi网络的家庭环境远程监测系统设计

利用物联网思想和WiFi网络传输技术,设计完成了一种基于WiFi网络的家庭环境远程实时监测系统.采用STM32F103硬件平台搭载传感器采集环境数据,通过WiFi模组与云服务器建立连接并传输数据,利用Android手机APP与服务器通信获取数据以达到远程实时监测的目的.此外,还能在室内烟雾或天然气浓度超标时通过短信网关技术发送报警短信提醒用户及时处理.经测试,系统运行稳定,具有功耗小、实时性好、成本低、方便部署等优点.     

基于MSP430的甲醛浓度实时监测系统设计

为解决现有的甲醛测量方法和测量仪器实时性差、测量步骤繁琐以及互联性弱的缺陷,以电化学传感器原理等理论为基础,基于电化学气体传感器,无线局域网(WiFi)模块和MSP430F149单片机提出了一种甲醛浓度实时监测系统设计方法.该系统能精确测量环境甲醛浓度并进行实时提醒,对传感器响应电流分辨率可达0.6nA.并且系统具有远程数据传输的能力,实用性强.测试结果表明:系统实现了预期功能,稍加拓展还可以应用于其他相关场合.     

基于传感器技术的鱼菜共生系统的研究与实现

为了实现资源的循环再利用,文章设计出一种基于传感器技术的低功耗的鱼菜共生系统,该系统主要是采用体积小,价格合理的小型传感器获取生态系统的水温、pH值等数据,实现对些共享系统的部分参数进行远程监测.数据的传输采用的是远程WiFi传输,做到蔬菜共生系统全程监测过程的智能化.实验结果表明此系统运行稳定、测量准确可靠,通过应用此系统,一方面实现蔬菜共生系统在环境上的智能化控制,另一方面可以在资源利用上达到节约用水的目的,为可持续农业的发展提供技术支撑.     

基于蓝牙4.0的教室人数监测智能系统设计

为了能实时监测教室人数,方便各大高校的日常教学及管理活动,提出了一种基于蓝牙4.0技术、用于统计教室人数的智能系统。本系统以基于蓝牙低功耗技术的 CC2540射频单片机为核心,通过控制红外光电传感器和温湿度传感器进行数据的采集,并通过 WiFi 模块将采集到的数据传输给远程上位机、手机等终端设备,也可以通过 WiFi 模块查询教室的信息。实际测试结果表明,该设计可靠性高、功耗低、准确度高,可广泛应用于各大高校的日常教学活动中。     

基于WiFi的生鲜农产品仓储温湿度监测系统设计

针对生鲜农产品仓储温湿度监测的需求,提出一种基于WiFi的生鲜农产品仓储温湿度监测系统.该设计的主要特点为在监测网络的构建中引入WiFi无线通信技术,并设计了WiFi温湿度监测装置和基于C#的上位机程序.系统试验与分析结果表明,所设计的系统能实现生鲜农产品仓储温湿度监测需要的各种功能,运行效果良好.     

基于无线传感器网络的信息采集监测系统设计

基于B/s架构的无线传感器网络远程信息采集系统存在着实时性差、安全性差等特点,特别是在数据传输量大的情况下尤其突出.设计并实现了一种基于C/S架构的无线传感器网络信息采集监测系统.该系统采用自主研发的Node433TM无线传感器网络通信协议栈和基于ARM9的无线传感器网络嵌入式网关.系统具有实时响应性强,可靠性高的特点,可应用于数据传输量大的传感器网络数据采集与监测.     

基于机智云平台的滚动轴承在线监测系统

设计了一种基于云平台的滚动轴承在线监测系统,信号采集模块将振动传感器输出的振动信号进行变换,再通过有源滤波模块处理后交给控制器,控制器内部进行A/D采样,随后处理器对A/D采样后的信号进行参数的运算,最后将参数通过云平台传输协议模块,在利用WiFi转发给远程机智云平台服务器.该系统为滚动轴承的监测提供了一个平台,在这个平台上工程人员可以通过远程的云服务器和APP终端对滚动轴承的状态进行了解,很大程度上减少了工程人员的工作量,提高了对滚动轴承监测的效率.     

基于无线传感器网络的水质监测系统设计

在研究无线传感器网络及Zigbee协议标准的基础上,对远程实时水质监测系统进行了分析.提出了基于Zigbee无线传感器网络与互联网结合的远程实时水质监测系统架构.设计了基于无线传感器的水质监测网络体系结构,实现了水质监测参数的荻取及传输.     

用于水质监测的无线传感器网络节点设计

针对目前水质监测采用的实验室手工分析方法实时性差等问题,提出一种基于无线传感器网络的远程水质监测系统方案.详细地给出了无线传感器网络节点的设计方案,实验结果表明,该系统稳定可靠,可满足水环境远程实时监测的要求,具有广泛的应用前景.     

传感器驱动下远程图像采集系统设计

远程图像采集是物联网中获取控制节点信息的重要手段.以嵌入式STM32F407处理器为核心,设计了一种在震动传感器和人体红外传感器驱动下的远程图像采集系统.该系统不仅具有远程图像的主动式和交互式采集功能,而且具有GSM,WiFi和MMS三种远程数据传输方式,同时支持智能手机和PC作为远程图像采集的控制中心.系统满足了不同环境下对远程图像采集的要求,具有较好的实际应用前景.     

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.     

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.     

高等院校行政分析与决策系统的设计与实现

为提高高等院校的管理水平和决策水平,充分利用校园网资 源,开发了高等院校行政财政分析与决策系统。解决了诸如数据的动态查询、自动生成报表 、网络环境下数据共享等技术问题,具有网上数据共享、图形界面友好和安全的保密措施等 特点。