船载站测控通信网络微机在线检测系统

船载站测控通信网络微机在线检测系统是根据测控的特点以压远洋船局域网的布局情况而开发的检测软件。可以有针对性地检测测控通信网络微机的在线情况，是网络检查的辅助工兵，并为网络通信故障的排查提供压时、可靠的分析依据。     

基于CAN总线的电炉变压器微机测控保护系统

应用CAN现场总线技术，实现变压器保护测控装置与监控主机的多主通信，构筑一个全分布式的微机保护测控与监控系统，实现电炉变压器的运行参数实时监测，反时限电流保护与在线故障诊断等功能。     

IEC60870-5-103规约在35kV变电站微机测控保护装置中的实现

介绍了IEC60870-5-103通信规约的网络模型和传输帧格式,以及基于DSP+ARM的新型微机测控保护装置的设计方法,重点论述了103规约在微机保护装置的通信流程和各种功能的实现过程。     

库房温湿度测控系统的研究

介绍一个适用于库房的温湿度测控系统，利用单片机测控器对多个库房温湿度进行分散测控，由上位微机进行集中管理，实现库房温湿度的自动控制。另外，针对系统的要求．设计了一种具有通用接口的通信网络控制器，可完成上位微机和测控器之间的远距离通信。实践证明，该系统可用于对温湿度要求较高的库房及其他场合，具有经济实用、性能价格比高、安装方便、结构灵活等优点。     

在线故障检测技术在微机测控系统中的应用

介绍了在微机测控系统中故障检测实施方案的确定思路，重点阐述了在线故障检测技术在该系统中的具体实施方法。     

基于SIP架构的远程分布式无线测控系统

在异构网络环境中构建远程分布式无线测控系统,节点设备的在线管理、数据采集和协调控制行为会导致复杂的通信问题。为此,提出一种基于SIP架构的远程分布式无线测控系统,通过下一代网络核心控制协议SIP及其相关扩展的运用,实现Internet和短距离ZigBee无线传感器网络的融合。应用结果表明,该系统能够统一和简化系统中分布式测控节点的各种远程通信控制操作。     

高级分布式容错CMCM微机测控管理系统

科海测控工程公司与航空航天部五○一部合作,共同研究开发了新一代工业自动控制系统——分级分布式容错微机测控管理系统(CMCM)。该系统分为三级:生产管理层(厂级)可以是各种形式的微机局部网络,测控数据自动进入局网使测控与管理融为一体;过程监控层(车间级)采用自行研制的工业测控微机(CMCM-180)通过交叉支持形成高可靠的容错组合;现场测控层(生产现场)是由自行研制的现场测控单元(CMCM-FMCU)构成分布式系     

对等式令牌测控网络的设计与实现

设计一种可在线增加或删减测控点的"对等式"令牌测控网络,通过对系统结构的特殊设计,取消主机并采用令牌环总线的通信方式。与常用的主从式通信模式比较,该网络的优点是明显的:1)有效地解决了传统通迅网络中主机负担过重的问题,提高了通信效率;2)临时增加或删减测控节点能自动进行系统设置,减化了系统正常维护工作、使网络更灵活。该研究实现了在开放系统中站点"即插即用"并为网络自动设置提供了可能性,大大加强CAN系统的数据采集和处理的范围,提升了可靠性、安全性和灵活性。     

多微机自动测控系统通信软件设计

多微机自动测控系统正用于复杂功能的测控对象，其技术关键是确保各微处理机间的通信，使之协调运行。本文对某鱼雷全雷电气自动测控系统通信软件的实际设计作了较详细的论述。     

工矿物料微机现场总线网络的设计与实现

一、概述 在测控系统和工程应用中,常遇到若干工作同时进行的情况。因而分布式多微机控制成了一种常见的控制方式。 将微机应用于工业现场物料实时管理中,能大大提高物料计量的精度与称量的速度,同时还可完成各种信息报表的打印输出。本系统我们选择了研华工控IPC-286机作为分布式系统中的主、从控制单元,选择PCL-745通信卡作为网络中物理层,构成一个物料实时管理信息系统。该系统具有实时显示系统状态     

园区网终端安全管控系统的构建

从终端安全存在隐患入手,着眼什么人能上网、什么机器能上网、上网的人有权做什么以及上网的人都做了什么等问题,辨析了终端安全的管控目标,提出了园区网终端安全管控系统的设计构想,同时,从区域、接入控制网关、引流规则、客户端和检查策略等角度对系统进行规划部署,并对准入权限控制、终端健康检查和终端用户行为管理的技术实现进行了详细阐述,对园区网终端安全管控系统的构建提出了建议。     

Real-time verification of wireless home networks using bigraphs with sharing

Home wireless networks are difficult to manage and comprehend because of evolving locality, co-locality, connectivity and interaction. We define formal models of home wireless network infrastructure and policies and investigate how they can be used in a network management system designed to provide user-oriented support. We model spatial and temporal behaviour of network interactions and user-initiated network policies and define an online framework for generation of models from network and user-initiated events. The models are expressed in an extension to Milnerʼs bigraphical reactive systems. Analysis of the models is carried out in real-time by a bespoke bigraph reasoning system based on checking predicates, which is encoded as bigraph matching. Real-time model generation and analysis is implemented on the experimental Homework system router and trialled with synthetic and actual network data.     

煤矿安全监控系统中传感器的在线调校标记方法

文章介绍了一种新型的煤矿安全监控系统中传感器的在线调校标记方法。在线标校某个传感器前,传感器调校人员通过传感器、分站、主机进行标校设置,使系统自动识别该传感器处于标校状态,即之后发生的传感器测量值是调校值,而非实际值;标校结束后,传感器调校人员即可通过传感器、分站、主机进行解除标校设置,使系统尽快地恢复正常工作状态。     

Introduction to the special section on runtime verification

Runtime verification is a relatively recent area of research that concentrates on checking system execution against formally specified behavioral properties. Primary research directions in runtime verification include logics for monitoring, online checking algorithms, extraction of observations necessary for checking, and reduction of checking overhead. This article gives a brief overview of runtime verification research.     

网络指纹考勤系统的设计与实现

针对现有课堂考勤方式的不足,如手工工作量大、代人考勤难以检测,以及数据统计难以及时、准确等缺点,提出一种基于指纹识别的网络考勤系统。对指纹识别原理进行了简要的介绍,并探讨了网络指纹考勤系统的软件设计及其实现。实验结果表明,网络指纹考勤系统比传统的考勤系统具有更好的效率和实用性。     

基于随机模型检验的社交网络隐私保护研究

针对现有社交网络所提供静态隐私策略的隐私设置不够灵活且难以定量验证问题,提出一种动态隐私保护框架,将社交网络建模为离散时间马尔科夫链模型,通过设置触发条件实现用户动态隐私规约并将其转化为概率计算树逻辑公式,同时结合随机模型检验和运行时验证中的参数化与监控技术,保护社交网络发生随机故障情况下的用户动态隐私信息。在Diaspora开源社交网络上的实验结果表明,与静态隐私保护框架相比,动态隐私保护框架具有更高的安全性和灵活性,能较好满足用户的隐私保护需求。     

Requirements for a Practical Network Event Recognition Language

We propose a run-time monitoring and checking architecture for network protocols called Network Event Recognition. Our framework is based on passively monitoring the packet trace produced by a protocol implementation and checking it for properties written in a formal specification language, NERL. In this paper, we describe the design requirements for NERL. We show how the unique requirements of network protocol monitoring impact design and implementation options. Finally we outline our prototype implementation of NERL and discuss two case studies: checking the correctness of network protocol simulations and privacy issues in packet-mode surveillance.     

设计与实现安全的广播电台自动化播出系统

基于数字音频技术、计算机网络技术和多媒体技术的自动化播出系统改变了广播电台传统的广播节目制作、管理和播出模式，实现节目的制作、播出数字化和自动化。该文阐述了当前广播电台自动化播出系统发展的现状，介绍了数字音频压缩编码技术，从软、硬件技术两个方面对自动化播出系统的安全播出机制进行了有益的探讨和积极地尝试，提出了待播出节目锁定、节目自动预载、播出站数据库多指向技术和网络状态智能判断等技术，设计实现了用于广播电台的一套安全的自动化播出系统，希望藉此对这种新兴的广播技术的系统安全机制进一步完善，从而达到对播出节目内容进行安全管理和播出节目进行安全播出的目的，使节目的录制、编辑和播出数字化、自动化、安全化，并可支持对节目的审听以及提供音频资料在线访问和音频节目数据库的管理。     

基于移动智能体的文件完整性检查及其实现

该文提出了基于移动智能体的文件完整性检查的概念和方法,并且实现了一个原型系统。该原型系统能够对网络中各个主机上的文件进行完整性检查。和传统的完整性检查工具相比,该原型系统具有更强的适应性、灵活性和安全性。