实验设备管理软件形式化描述方法研究

针对常规的软件描述方法不够严谨,本文介绍了软件形式化方法的特点和技术类别,介绍了Z语言的表达方式及其各自的特点。然后本文使用Z语言分析了实验设备管理软件,给出了部分形式化分析结果。结果表明,Z语言能够将数理逻辑完备用于的描述软件的功能,有效避免描述的模糊性。     

面向行为可信的大数据安全系统形式化描述

大数据的存储和分析通常是在云计算环境下利用Hadoop计算框架进行处理,而基于云的大数据安全风险来源于云计算服务商以及远程数据应用者对未授权文件及内容的越权操作。针对云中大数据应用的安全问题,提出了面向行为可信的大数据服务系统。采用Z形式化方法对该系统进行描述,给出了读取、更新、添加及删除操作的抽象行为定义。根据模型中的抽象行为,划分可信行为与恶意行为,并给出了各个操作的安全分析。最后通过Z/EVES工具对该系统描述的正确性进行了证明和验证。     

浅析用电信息采集系统采集率问题与对策

随着社会电力使用量的增多,电力已经被应用到了各行各业当中,成为我国社会生产生活总不可缺少的重要的能源。而用电信息采集系统就是对整个社会中生产生活中的用电量,以及相关的用电信息进行合理的采集。本文就用电信息采集系统采集率方面出现的问题以及相应的解决办法进行了分析。     

SIP协议系统模型的形式化研究

通信协议形式化是提高其可靠性和正确性的重要手段.会话初始协议SIP是软交换的一个主要协议,应用形式化方法研究了SIP协议的结构及系统模型,主要从系统级和功能级上使用形式化规格描述语言SDL和消息顺序图MSC对SIP协议主要系统组件进行形式化描述,得到了SIP协议的形式化规范,并应用形式化方法进行了验证.为SIP协议部件库研究开发提供形式化技术基础.     

用例模型的Z语言形式化描述方法

以UML用例模型为主要研究对象,通过对UML用例模型概念和Z抽象符号的分析,采用Z形式化语言对用例模型建模元素的抽象语法和语义进行形式化的描述,提出了用例模型到Z形式语言的映射规约,并建立了UML用例模型图到Z形式规约的映射与转换机制。     

汽车分队车辆信息采集系统的管理应用

随着信息化建设的推进,越来越多的高新设备装备部队,部队信息的资源化正在逐步形成。作为现代化后勤建设的重点,车辆信息管理的建设,是车辆管理中的一项重要工作。本文从车辆信息的种类入手,从收集方法、途径、技术等方面介绍了车辆信息管理活动在汽车运输分队中的应用。     

基于用电信息采集系统的线损管理分析

国家对电力企业进行考核最为重要的一项经济指标在于线损率的大小,且也是电力系统在实际规划、生产运营过程中体现企业管理水平的一项综合性较强的技术经济指标.电力体制改革不断深化,减少线损率也变的越来越重要,因此,本文就对用电信息采集系统中以及线损管理进行了简要的分析,并就简单的工程案例指出用电信息采集系统线损管理存在的问题,并提出了相应的管理措施,以期为相关人员提供一定的参考.     

探析用电信息采集系统的应用及发展

近年来,随着用电量需求的逐步增长,国家加大了智能电网的建设,用电信息采集系统作为智能电网建设的必要内容,对促进用电管理和监控的智能化具有重要作用。本文首先概述了用电信息采集系统,分析了用电信息采集系统的具体应用,并对用电信息采集系统的发展方向进行了展望,希望对业内人士有一定的借鉴价值。     

电力用户用电信息采集系统中云计算的应用分析

随着国家基础设施建设完善程度的提高,电力用户信息采集工作也变得越来越智能化。传统的电力数据信心处理能力对于当前的庞大数据量,已经无法有效的实现电表计量、质量管理和设备运行监控等等工作。云计算的快速发展使得互联网技术得到更加迅猛的发展,对于电力用户信息的采集和处理工作也有着非常重要的作用,能够使得电采系统真正的实现高效化、准确化和智能化。本文对电力用户用电信息采集系统中云计算的应用进行简要分析。     

公开情报信息搜集分析系统总体设计

公开情报信息的特点是数量大、内容广、获得容易以及实用性强,因而在情报信息应用中所占的比例越来越大。提出了一种公开情报信息搜集分析系统的总体组成,描述了由网络与外部设备接口、基础运行环境、应用支撑与共性服务以及应用软件构成的技术体系结构,提出了基于SOA的系统应用架构,对互联网信息挖掘的关键技术问题进行了探讨,并给出了组建物理系统的实例。     

信息系统中对象之间相似性度量的研究

本文系统全面地对信息系统中属性值间的相似性及对象之间的相似性进行了度量研究，提出了对象间的相似性度量方法。该方法简单、有效，有助于系统研究信息系统中数据的聚类分析和不确定性推理等问题。     

基于用电信息采集系统的通信技术

用电信息采集系统是对电力用户的用电信息进行采集、处理和实时监控,是利用通信、计算机和自动控制技术实现用电信息的自动采集、负荷控制和自动抄表等功能。其中,通信技术在用电信息采集系统中起着重要作用,是推动电力系统自动化发展的关键。文中主要从本地通信、远程通信和通信协议3方面介绍了通信技术在用电信息采集系统中的应用,并对不同的通信方式进行了研究与分析。     

BT客户端信息采集系统的设计和实现

为了实时获取BT客户端的信息,为分析BT客户端的下载行为提供数据,设计了一个BT客户端下载信息自动获取系统。系统采用了窃取BT进程内存数据的技术和自动控制BT客户端的技术来获取下载信息和控制BT客户端,通过写入远程数据库实现数据的汇总。     

射频识别的仓储信息采集及管理系统设计

射频识别技术(Radio Frequency Identification ,RFID),是一种非接触式的自动识别技术.它利用无线电磁波传输数据,并可根据不同的场景使用低频、高频、超高频、微波等不同的频率,发挥它们各自的优点,实现信息快速采集的目的,此外RFID标签还具有不怕脏污与可重复使用等优点,RFID技术应用越来越广泛.本文根据仓储管理信息模型,设计了基于RFID技术的仓储管理系统,并对其子系统进行详细分析,根据实际的仓储环境确定阅读器、天线以及射频标签的选用原则.通过在仓储管理中引入RFID技术,解决原有仓库盘点工作作业量大,周期长,效率低下等不足,最后达到简化作业流程、改善盘点质量、降低运作成本的效果.测试表明本系统既提高了仓储信息的精度,又实现了仓储管理的实时自动化,非常适合应用于中小型仓库的仓储管理.     

基于无线传感器网络的交通信息采集系统研究

实现了一种基于无线传感器网络的交通信息采集系统,采用磁阻传感器,通过测量地磁的变化来检测车辆信息,用无线传感器网络传输数据,该系统不需要大规模挖开路面铺设车辆检测器,具有安装简易,维修方便等优点。同时采用B／S结构实现了交通信息的管理,用户可以在远程终端利用浏览器在线监测,实时分析交通信息数据,并进行网络监控和维护。     

基于开源信息的情报分析系统

开源信息指的是能够从公开或半公开渠道获得的信息。随着信息技术和网络技术的不断普及,开源信息的数量有了爆炸性增长,开源信息的获取也变得方便快捷。描述了开源信息情报分析系统的概念,介绍了近年来美国研制和使用开源信息情报分析系统的情况,并详细论述了各个系统的应用情况。在分析开源系统构成的基础上,提出了一个开源信息情报分析系统的原理模型。     

一种开放式地理信息系统开发平台的设计

为了便于大量动态目标实时地理信息系统的开发,基于开放式地理信息系统,通过系统体系结构和数据处理2方面的设计,给出一种跨操作系统的开放式地理信息系统开发平台的设计方案。该方案所设计的开发平台具有良好的后台数据处理能力和动态刷新性能,同时具有较强的可靠性、开放性和一定的实用价值。     

基于模糊控制的远程康复信息采集系统设计

介绍了基于模糊控制的远程康复信息采集系统的设计方法。以信息采集系统速度控制为例,对模糊控制器的构造以及控制规则的建立做了重点分析和设计,实现了远程康复信息采集系统的智能控制。解决或缓解康复资源分布的不平衡性所造成的康复服务成本上升,使康复专家能够克服时间和空间的限制,更准确、全面、及时地掌握残疾人的康复数据和需求,从而提供更加优良的康复服务。     

未来社区网络化安防信息采集系统的研究

网络技术在给人们带来了便捷的同时,也极大地提高了社区安防要求,因此,网络化安防信息采集系统是必然的趋势,网络化系统的基础是计算机技术,通信技术以及控制技术,可以给小区的住户提供一个更加安全、更加智能、更加便捷、更加信息化的生活空间。