抽象状态机下认证协议新的语义模型

为了简洁而正确的表达一个密码协议，选择一个具有比较自然语义的模型是十分必要的。不仅如此，一个恰当的模型须便于安全性质的分析，因此，具有一定的表达能力是十分必要的。为了探讨适合的方法和工具，人们使用各种各样的形式化工具来表达、分析密码协议的安全性。目前主要的方法包括逻辑的方法，如BAN逻辑，SVO等；基于模型检测的方法，如FDR工具，基于定理证明的和代数方法等等。各种方法都具有自己的优势和缺陷。探讨不同的方法和工具对于密码协议的描述和分析具有重要的意义。并可借此发现和发明好的模型和方法。     

分形维数计算方法的研究

分形维数作为科学研究的重要工具之一，它是描述自然界和非线性系统中不光滑和不规则几何体的有效工具，其计算方法已经有多种，应用领域也是十分广泛。然而，各种方法各有不同，文中就此对常用分形维数计算方法进行了系统的综合与研究，主要包括圆规法、明科斯基方法、变换方法、盒子计算方法、周长一面积法、裂缝岛屿方法、分形布朗模型法，对每种方法的含义和模型及相关的应用领域进行了阐述，并给出了其方法的计算机实现算法。     

混合混沌优化方法及其在非线性规划问题中的应用

结合逐次优化、禁忌搜索和变尺度混沌优化方法的优点，提出了一种混合混沌优化方法。该方法具有逐次优化算法的隐性并行性和收敛性，禁忌搜索的智能性和变尺度混沌优化方法的快速性。仿真计算表明，该方法具有实现简单，优化效率高，鲁棒性强等特点。     

五个著名的面向对象开发方法的评估

近年来，从各个不同的背景提出了很多面向对象的分析和设计方法。比如，ＨＯＯＤ方法，Ｂｕｈｒ方法，Ｂｏｏｃｈ方法，Ｒｕｍｂａｕｇｈ方法和Ｗｉｒｆｓ－Ｂｒｏｃｋ方法。对每个方法按一组准则进行打分面对它们作出评估。评价的准则基于概念、模型、过程和实用性。其目的在于使实践者选择方法时有所依据。     

浅谈解决银行计算机2000年问题

简要分析了银行计算机２０００年问题的危害和起因，提出了解决银行计算机２０００年问题的方法，包括测试方法和修改方法，修改方法又包括适应程序修改方法和数据库模式修改方法。     

移动环境下一种基于日志的数据复制方法

乐观复制方法被广泛应用于移动环境中，提出了一种新的基于日志的数据复制方法，该方法使用相对较小的通信和存储开销，能更有效地记录数据更新以及进行数据同步，和传统的方法比，该方法更适用于小型的数据记录。     

生产调度理论和方法研究综述

生产调度理论与方法研究是非常困难的课题，但是对企业或行业提高生产效率和效益是至关重要的，特别是在当前市场经济时代，生产调度理论和方法的研究已经有50多年的历史，但是经典调度理论和实际调度问题之间仍然存在着鸿沟。针对这一特点，指出了当前实际生产调度存在的一些问题和需要考虑的各种因素，例举了主要的生产调度方法和典型应用，指出了各种方法的优缺点。最后，总结并提出了生产调度理论和方法的未来研究方向和今后工作的建议。     

信息融合及其智能化

以Ｃ＾３Ｉ系统为背景，论述了信息融合问题的处理原则，剖析了融合系统的结构，主要功能和实现方法，多面手探讨了信息智能融合的几条途径，包括物理符号系统方法，人工神经网络方法以及专家系统和神经网络相结合的方法。     

基于神经网络的智能故障诊断技术

归纳了神经网络在故障诊断中的运用方式，探讨了故障诊断的神经网络方法和专家系统方法的联系和区别，以及两种方法的结合方法；最后，给出了选择智能故障诊断方法的原则。     

线状纹理的一种属性关系图描述方法及其应用

纹理特征是图像分析的重要线索，纹理分析方法可以分为统计方法和结构方法，两者各有优劣，结合统计分析方法和结构分析方法两个方面的优点，提出了一种线状纹理的属性关系图（attributed relational graphs,ARG）描述方法，用属性关系图来描述图像纹理，并应用于图像检索中，属性关系图描述方法用图的结构直观地描述了图像的特征，具有很强的表达能力，提取直线段作为线状纹理的基元，并引入了基元间具有平移、旋转和伸缩不变性的关系属性，使纹理图像的识别和检索具有好的抗噪声能力，实验证明该方法取得了令人满意的识别和检索效果。     

紫金桥组态软件在大输液生产过程监控系统的应用

介绍了基于紫金桥组态软件的工业现场温度与液位的实时监控系统的设计,该系统以紫金桥组态软件作为上位机采集终端,对大输液生产中的配液罐进水量与温度数据进行实时的采集、存储与显示,实现实时监测。该系统的设计不仅可以用于大输液生产过程监控,也可以应用于流程工业的某些重要生产现场监控。     

输电线路巡检机器人覆冰厚度测量装置的研究

结合在电力行业的实际应用,针对当前输电线路导线覆冰实时监测装置存在的问题,提出了安装在输电线路巡检机器人平台上使用的一种直接接触测试式的输电线路覆冰厚度测量装置。详细介绍了输电线路覆冰厚度测量装置的传感器选择、结构设计、测量原理,相应的电子电路部分以及数据处理方法。该装置的优势在于不改变原有线路,测量方式可靠,测量结果准确,可以对档距内的线路进行全程测量,较好地解决了当前存在的不足。为进一步进行性能测试打下了基础,为解决输电线路覆冰测量提供了新的解决方案。     

Sensor-Ball system based on IEEE 1451 for monitoring the condition of power transmission lines

The energy industry is developing it safety methods so that it can prevent accidents, diagnose the conditions of power utilities and identify any problems that might arise. In other words, the industry is trying to increase the reliability of power utilities and improve the quality of power utilities by conducting monitoring and diagnosis tasks in real-time by building a sensor network in order to monitor the status of power utilities. This study has applied IEEE 1451, an interface standard of sensor network, for the diagnosis, information exchange and compatibility of the Sensor-Ball, which is a sensor unit that constructs a sensor network for the status monitoring of power transmission lines. In order to accomplish these objectives, we applied IEEE 1451.0 and IEEE 1451.5 to the Sensor-Ball, suggested a reference model, and represented the characteristic information of the Sensor-Ball by use of IEEE 1451 TEDS (Transducer Electronic Data Sheet). By constructing a Sensor-Ball system that has a connected sensor for measuring the atmospheric temperature and line slope, we have identified the operational status and sensor data of TEDS applied through a monitoring program.     

基于ZigBee的煤矿巷道压力监测系统设计

针对传统的巷道压力监测方法存在测量精度低、可靠性差、节点扩展性差、测量结果无法自动上传、分析和处理等问题,设计了一种基于ZigBee的煤矿巷道压力监测系统。该系统利用传感器节点实现巷道压力的精确测量,测量结果以无线通信方式传送给汇聚节点,并由汇聚节点上传地面监控计算机,实现巷道压力的实时、可靠监测。测试结果表明,该系统可实现锚杆受力大小的精密测量,并可实时上传测量结果。     

用于斜拉桥索力在线监测的新型传感技术

分析了斜拉桥结构索力在线监测技术的基本原理、性能特点和应用范围,并对比了这几种监测技术的测量精度、测量方式和适用对象等特点。最后,指出未来桥梁拉索索力监测的发展趋势。     

Delphi在工业测控中的应用

主要介绍了在Delphi环境下如何开发工业测控软件的技巧和方法,结合电力机车硅机组均流均压测试软件设计的实例,叙述面向对象的程序设计方法和常用组件的应用。     

基于铂电阻传感器的高精度温度检测系统设计

介绍了一种基于铂电阻传感器的高精度温度检测系统,用于星载微波辐射计定标源的精密测温,测温精度为±0.1℃。针对铂电阻引线带来的测量误差这一缺点,设计了四线制恒流源温度测量电路,同时对铂电阻传感器温度检测电路的测量误差进行了分析。系统具有精度高、可靠性高,使用方便的特点,当温度范围在-200℃~650℃之间,误差小于±0.1℃时,也可用于其它工业测温以及航空航天精密温度检测领域。     

基于B／S结构的工业生产数据监测系统的实现

通过比较Browser／Server模式和Client／Server模式的特点，提出一种基于Browser／Server的过程工业生产数据监测系统，并简要介绍了各模块设计。系统采用3层结构模式，实现了通过Intemet/Intranet对过程工业生产数据的实时监测和历史记录，是一个值得各企业参考的工业生产数据监测模型。     

基B/S结构的工业生产数据监测系统的实现

通过比较Browser/Server模式和Client/Server模式的特点,提出一种基于Browser/Server的过程工业生产数据监测系统,并简要介绍了各模块设计。系统采用3层结构模式,实现了通过Interne/Intranet对过程工业生产数据的实时监测和历史记录,是一个值得各企业参考的工业生产数据监测模型。     

基于普通摄像头的心率测量方法研究

心率测量是一种监测人体生理状态和身体状态的重要手段。提出了一种基于摄像头的非接触式心率测量方法。基于光电容积描记原理（PPG）,从普通摄像头拍摄到的人脸彩色图像序列中提取出含有脉搏成分的信号,并利用小波滤波得到血液容积脉搏波;用傅里叶变换进行能量谱分析并计算心率值。实验结果证明该方法测量准确度高且能够满足医药行业标准要求。由于无创,非接触,操作方便,成本低,该方法在家庭保健的普及方面有着了巨大的应用前景,也为生物医学实验提供了一项有利的工具。