一种室温远程监控系统的设计应用

本文设计了一种基于DS18B20温度采集和MG323模块的GPRS网络应用的室内温度远程监控系统。该系统采用DS18B20及MSP430f149单片机进行室温采集与处理;通过GPRS无线传输,配合服务器及上位机构建了一种基于GPRS网络的远程室温监控方案。     

基于MSP430单片机的室内温湿度监测系统设计

设计了一种以高性能、低功耗的MSP430单片机为控制核心,与外围器件HS1101湿度传感器、数字温度传感器DS18B20、LCD12684、加热器、加湿器、风扇、按键共同构成的温湿度监测系统。该系统能实时监测室内环境温湿度并进行显示,当实测温湿度值偏离设定温湿度值时,单片机驱动继电器工作,启动相应的设备,对房间温湿度进行调节。     

基于MSP430的智能温度检测系统设计

论述了一种以16位单片机MSP430F149为控制核心,利用数字化温度传感器DS18B20实现温度测量的智能温度检测系统.详细论述了该系统的硬件组成和软件设计,给出了关键部分的电路图及相应的MSP430F149单片机温度测量程序.实验结果表明,该智能温度检测系统具有低成本、可靠性高、结构简单、性能稳定、经济实用等特点,可根据不同需要应用于多种工农业温度检测领域.     

砼标养室监控系统设计

介绍了一种基于单总线数字温度传感器DS18B20的砼标养室温湿度监控系统,重点阐述了该DS18B20数字测温的优点,设计了基于MCS—51单片机的C程序和Visual Basic 6.0环境下用MsComm控件的串行通信程序。通过软件界面实现了温度、湿度测量数据采集,并对测量数据实现动态监控显示、存储和打印。     

基于MSP430单片机和DS18B20的小型测温系统

介绍了超低功耗16位单片机MSP430F1121和数字温度传感器DS18B20的基本特性,结合4位段型液晶显示模块LCM046和升压型DC-DC变换器MAX1674,设计了一个小型测温系统。并基于集成开发环境IARWorkbench给出了主要的C430函数。利用MSP430单片机的超低功耗以及DS18B20的单线接口方式,实现了整个系统的低功耗,结构简单,性能稳定,经济实用。     

基于MLX90614的无线温度采集系统设计

在医疗设备研发制造等领域,为了实现人体体温附近范围内高精度的温度测量,设计了一种基于低功耗单片机MSP430、非接触式红外温度传感器MLX90614以及蓝牙传输技术的无线温度监控系统,采集发送模块以超低功耗单片机MSP430为控制核心,通过SMBus协议读取MLX90614所采集到的目标温度值,利用蓝牙透传模块将数据上传.MSP430单片机的使用极大地降低了系统功耗,MLX90614非接触测量方式满足了医疗设备研发污染隔离的特殊需求,具有较高的测量分辨率和精度,蓝牙透传模块的使用使得系统易于实现数字化、网络化和集散化管理.实验表明:该系统在32 ～42℃温度范围内,测量精度达±0.2℃,并实现了测量结果的无线传输,在医疗设备研制领域有广泛的应用前景.     

基于单总线-RS485总线测温复合网关的设计与实现

介绍一种基于单总线和RS485总线的数字测温复合网关的设计方法,通过该复合网关把数字温度传感器DS18B20采集的温度传输到上位机,实现了温度采集的网络化.设计的复合网关系统应用于煤矿井下大型连续运转的机电设备的温度监控,通过频率测量功能的扩展,也可接入其它煤矿用传感器,实现网络化安全监控.     

基于MSP430的低功耗无线温度测量技术研究

以低功耗为出发点,系统选用MSP430G2xx系列超低功耗单片机作为核心控制器,采集1-Wire器件DS18B20数字温度传感器的温度,并通过单片射频收发芯片nRF2401将温度数据无线发送给接收系统。整个系统均采用低功耗芯片设计,有效降低了无线温度测量系统的功耗,测量温度范围从-40℃到125℃,最高精度可达0.5℃,可靠无线数据传输距离50米以上。     

基于NRF24L01的多点无线温湿度采集系统设计与实现

设计了一种基于无线传输的多点温湿度采集系统。采用ST89C52单片机作为核心控制芯片,通过DS18B20数字温度传感器和DHT11温湿度传感器采集温湿度信号,使用NRF24L01无线通讯模块通讯,将PL2303串口与上位机连接并显示温湿度信息,实现了温湿度采集、多点测量和上位机显示。实验证明,系统具有较好的实时性和准确度,具有一定的实用和推广价值。     

基于单片机的家庭多点即时测温系统

本文介绍了一种基于单片机MSP430F149和数字温度传感器DS18B20来进行多点即时测温的家庭用智能测温系统,并详细阐述了该系统的硬件结构和相应的软件实现方案。该系统实现了民居室内外多点即时测温,为单片机在测温系统的应用上提供了一个新的思路。     

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.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。