机械故障诊断模拟实验系统的研制——监测系统的软件设计

故障诊断对于现代化大型机械的正常运转及经济效益有着极为重要的作用。为了方便机械故障诊断方面的科研实验,并辅助学院本科生及硕士的教学工作,培养学生综合实验的能力,研制了本旋转机械系统故障诊断的模拟系统。论文介绍了该系统监测部分软件的功能模块、设计原则、人机交互界面以及容错设计等,既可用于科研,也可用于教学实验。     

关于住宅坡屋顶的思考

对近几年各城市住宅建设中出现的坡屋顶热进行了分析，认为住宅设计中采用坡屋顶有其客观必然性和现实意义；⑴美化住宅造型，改善城市景观形象；⑵提高住宅屋顶的防水性能，增强住宅商品的耐久性；⑶有较好的保温隔热能力，利于建筑节能；⑷带动新型建材产业的发展。对住宅设计中采用坡屋顶形式、改善住宅整体功能和美化城市形象、实现人居环境的可持续发展等提出4点建议和意见。     

Slicing Software for Model Construction

Applying finite-state verification techniques (e.g., model checking) to software requires that program source code be translated to a finite-state transition system that safely models program behavior. Automatically checking such a transition system for a correctness property is typically very costly, thus it is necessary to reduce the size of the transition system as much as possible. In fact, it is often the case that much of a program's source code is irrelevant for verifying a given correctness property.In this paper, we apply program slicing techniques to remove automatically such irrelevant code and thus reduce the size of the corresponding transition system models. We give a simple extension of the classical slicing definition, and prove its safety with respect to model checking of linear temporal logic (LTL) formulae. We discuss how this slicing strategy fits into a general methodology for deriving effective software models using abstraction-based program specialization.     

网上招聘系统的设计与开发

运用软件工程的开发原理开发了网上招聘系统,描述了系统的整体结构、用例设计和模块设计。企业工作人员通过这个招聘系统可以统计整理应聘者的简历,并提取出需要面试的人员。提高了企业的工作效率,同时及时招聘到满意的人才     

递归Prolog程序的正确性证明

本文提出了一种称为Ｐｒｏ图的图形方法,并用该图形方法进行了递归Ｐｒｏｌｏｇ程序的正确性证明,文中包括Ｐｒｏ图的基本概念及生成规则,Ｐｒｏ图上各节点的的关系,Ｐｒｏ图的激活过程,并给出了着急递归程序正确性证明的公理和定理。     

Software development for the 8052AH-basic microcontroller

Application software for Intel's 8052AH-basic microcontroller can be developed in MCS basic-52, an enhanced version of basic, using the onchip basic interpreter. The paper explores the 8052AH-basic device and its language in comparison with the standard Microsoft basic and presents some software routines and other guidelines for programmers. Control-oriented applications, as opposed to conventional number-crunching applications, are emphasized. The paper also discusses how the resources of the Intellec development system can be used to facilitate the development of application software.     

基于超级计算机的通用并行雷达信号处理

本文所讨论的软件平台在一个采用超级计算机结构的高速实时通用雷达信号处理系统样机上实现。该软件平台通过友好的交互界面、编译器和操作系统,并行调度自行开发的底层通用雷达信号处理函数库,可灵活实现多种雷达信号处理系统。本文从系统高层结构和底层模块实现这两个方面,介绍了软件平台上雷达信号处理函数库的通用化设计与实现方案。     

PCI运动控制卡的访问方法

利用PCI总线协议和双向FIFO缓冲器,开发一种高速运动控制卡,实现处理机与控制卡之间高速双向并行通信,介绍了其硬件结构,讨论了利用Windriver时PCI卡的访问方法。