C/C + +源代码风格检测工具的实现

文中给出了评价C／C 源代码风格的规则分类和检查工具的总体结构，阐述了代码检查工具的核心技术——扩展词法分析和扩展语法分析，给出了代码检测工具的应用实例。     

A polynomial dynamic system approach to software design for attractivity requirement

Because of the widespread increasing application of Web services and autonomic computing, self-adaptive software is an area gaining increasing importance. Control theory provides a theoretical foundation for self-adaptive software. In this paper, we propose the use of the supervisory control theory of discrete event dynamic systems (DEDS) to provide a rigorous foundation for designing software for reactive systems. This paper focuses in particular on design of software with an attractivity requirement. It studies this problem using the polynomial dynamic system (PDS) model of DEDS. A necessary and sufficient condition for software existence and two algorithms for such software design are presented.     

基于LabWindows/CVI的多线程测控软件设计技术

多线程技术是W in32操作系统的一项重要软件技术。CVI 6.0及其以后版本提供了线程池和异步定时器两种多线程运行机制,为测控软件的设计开发带来了一次技术飞跃。文中结合测控软件设计实例,详细介绍了在CVI平台下多线程编程技术的应用方法。     

OPC技术在过程控制中的应用

在简要介绍OPC技术原理的基础上,对OPC技术在罗克韦尔PLC5系列PLC及其相关软件与VB程序通信中的应用进行了研究,并通过实例说明了OPC服务器的配置方式及OPC客户端程序的实现方法。     

微型集散系统通用过程控制软件包

本文给出一种新的基于ＭＣＳ－５１单片机集散系统通用过程控制软件包的设计原理及其实施方法。文中重点地阐述了微型集散系统的构在民，通用过程控制软件的自动生成，主要数据结构与程序结构，实现方法及关键技术等。本软件包是采用ＴＵＲＢＯＣ２．０版本和ＭＣＳ－５１泄编语言编程的，并通过了ＭＣＳ－５１组合软件的编译，形成了可用的目标码程序系统。     

On the notation of CALM — common assembly language for microprocessors

Common Assembly Language for Microprocessors (CALM) is a set of notations, independent of any manufacturer but strongly inspired by the best existing assemblers.

The paper contains a discussion of assembler addressing modes and their expressions in CALM. A program example of the Bubble Sort subroutine written for 4 processors (hypothetical, 8085, 8086, 68000) gives an idea of CALM programs.     

炼钢厂钢水温度—时间优化匹配系统开发

根据软件开发的基本原则，提出了炼钢厂的钢水温度－时间优化匹配系统开发总则和结构设计，并闻相应的软，硬件系统。     

Software‐processed edge‐ and level‐adaptive overdrive (SELAO) method for high‐quality motion pictures

Abstract— In this paper, a software‐processed edge‐ and level‐adaptive overdrive (SELAO) method, which is a novel overdrive technique that utilizes not only a temporal change of gray levels but also a spatial edge intensity of motion pictures, is proposed. The SELAO method is a software video‐processing technology to improve motion‐picture quality rendered on LCDs more than is possible with a conventional SLAO method without edge‐adaptive overdrive, and it works in real time on commonly used personal computers (PCs).     

A process-control and diagnostic tool based on continuous fuzzy Petri nets

The use of Petri nets and fuzzy logic in intelligent process control has caught the attention of many researchers. In this paper, a Continuous Fuzzy Petri Net (CFPN) tool which integrates the three technologies of fuzzy control, Petri nets and real-time expert systems is presented. The CFPN approach can deal with real-time continuous inferencing, for the purpose of process monitoring and diagnostics, at a high level in the presence of uncertainty. This tool has been implemented in the G2 real-time expert-system environment and is currently being used by ESSO Canada.