概念设计在建筑物加层改造中的应用

本文介绍了概念设计在建筑物加层改造中的具体应用。     

基于嵌套树模型检测的研究

文章针对软件验证过程中的结构抽象表示问题,考虑到结构程序的顺序结构、调用返回关系,给出了嵌套树以及嵌套状态机的定义。在该数据结构及μ演算的基础上,定义了嵌套树的μ演算(NT-μ)。NT-μ的公式语法是基于概要的,在嵌套状态机上提出基于概要类的模型检测。嵌套状态机的结点是有限的,且嵌套状态机有限的概要类对应于嵌套树中的无限的概要,因此该方法能提高检测的效率。     

测控技术中含有"X"值的验证

利用模型检验技术来验证具有“X” （未知）值的属性.给出了三值（真、假、未知）逻辑公式的模型检验算法,此算法与二值逻辑模型检验算法相比,并没有增加时间复杂度.通过实例说明三值逻辑模型检验算法的应用.     

DF3211通信管理机故障检查及调试探讨

对DF3211通信管理机在故障检查及调试过程中遇到的各种问题进行了详细的分析,并针对存在的问题提出了解决的方法。     

基于三层C／S模式的公安旅店业信息管理系统

三层Ｃ／Ｓ模式是基于Ｗｅｂ的ＤＢＭＳ服务，与常规的Ｃ／Ｓ模式相比，具有简便性，灵活性和瘦客户等特点，是信息系统建设的发展方向。本文提出了基于三层Ｃ／Ｓ模式的公安旅店业管理系统，详细讨论了系统设计与实现方法，包括数据库设计，三层Ｃ／Ｓ模式的实现以及图像采集与处理，数据实时归并，动态查控等功能模块的设计与实现，本系统已投入使用。     

基于MCS51单片机纵横奇偶校验法的软件实现

在工业现场控制领域,干扰因素的存在使得单片机系统通信信息检测成为该系统的重要环节,本文针对某些片内没有硬件奇偶校验电路的单片机系统,提出软件实现纵横奇偶校验的方法,讨论具体实现要注意的一些问题,并给出了相应的源代码.     

关于中文图书采购中重购与漏购图书的探讨

从图书编目查重中遇到的问题入手,分析了图书采购中重购与漏购图书的原因,提出了避免重购与漏购图书的建议和对策.     

铁路运输企业推行目标成本管理的探讨

阐述了铁路运输企业实行目标成本管理的意义和主要步骤，着重就目标成本测定的方法和程序、目标成本的三维分解方法、目标成本管理责任制建立的难点问题及目标成本的考核方法进行了探讨。     

列车超速防护系统中主机自诊断方法

分析了 CPU,ROM,RAM 的几种故障检测方法,针对列车超速防护系统主机工作的特点,实现了系统开机时完备的主机功能级自诊断(包括关键 I/O 口)和工作中短时问的周期自检.利用主机中双 CPU 工作的特点,通过双口 RAM 通道,完成双机互检.能监视程序执行行为特征,发现单 CPU 故障或程序跑飞,并对 CPU 的执行结果进行合理性检测,提高了整个系统的故障检测覆盖率.还对故障检测覆盖平及检测代价做了评估.     

高压电气设备状态在线监测系统的核查方法

通过总结和分析武汉供电局第二运行分部某变电站在线监测系统试运行半年的各项试验结果，探讨了核查高压电气设备状态在线监测类产品性能的有效方法。