焙烧炉燃烧站控制系统应用及维护

燃烧站在氧化铝焙烧炉生产中起着举足轻重的作用，没有燃烧站的正常运行，焙烧炉就无法投入生产，而燃烧站的启动和停止都是由S5—95U小型PLC自动控制系统来完成，自动控制系统的运行情况直接关系到燃烧站的工作，因此，对系统结构、工作过程及程序的理解及对输A／,输出硬件的维护就显得极为重要。为此，本文针对这一自动控制系统的重要性，介绍了SIEMENS S5—9UPLC控制系统的组成、控制过程原理、控制功能及硬件组成，介绍了该PLC自动控制技术在焙烧炉燃烧站自动控制系统中的应用情况以及系统维护的经验。     

电量采集与分析系统的性能优化

分析了影响系统性能的若干因素，介绍了系统性能优化的方法。通过实际的电量采集与分析系统说明如何通过数据库设计、查询结构、并行处理、客户／服务器模式、应用编程等方面优化的工作来提高应用程序的性能。     

MPP系统中的MP通信及其实现

论述了ＭＰＰ系统中节点机的通信结构，以及在主控机与节点机之间实现的Ｍｅｓｓａｇｅ Ｐａｓｓｉｎｇ通信及其通信协议。     

BOAR: an advanced HW/SW coemulation environment for DSP system development

The BOAR emulation system is targeted to hardware/software (HW/SW) codevelopment of advanced embedded DSP and telecom systems. The challenge of the BOAR system is efficient customization of programmable hardware, and dedicated partitioning routine to target applications and structures, which allows quite high overall system performance. The system allows multiple configurations for communication between processors and field programmable gate arrays (FPGAs) making the BOAR system an efficient tool for real-time HW/SW coverification. The reprogrammable hardware of the emulation tool is based on four Xilinx 4000-series devices, two Texas TMS320C50 signal processors and one Motorola MC68302 microcontroller. With current devices the BOAR hardware provides approximately 40–70 kgates of logic capacity in DSP applications. The emulation capacity can be expanded by connecting several similar boards in chain. The system has also a versatile internal reprogrammable test environment for test bench development, performance evaluations and design debugging. The logic development environment is based on the Synopsys synthesis tools and an automatic design management software, which performs resource mapping and performance-driven design partitioning between FPGAs. The emulation hardware is currently connected to logic and software development environments via an RS-232C bus. The BOAR emulation system has been found a very efficient platform for real-life prototyping of different types of DSP algorithms and systems, and validating correct functionality of a VHDL macro library.     

连续流动体系仿真程序的形式化确定

以一个基本的连续流动体系为对象，讨论了传统的仿真建模过程在程序模型选择方面存在的不足，并以程序正确性断言理论方法处理了该体系的程序模型选择问题，导出了必要的程序前置断言，不变式和循环界函数，从而给出了一个具体的规范描述和一个正确的程序实现。最后，所使用的过程抽象为一个仿真程序模型的形式化确定方法。该方法可以作为仿真程序模型形式化确定方法学的一部份。进而在程序模型一级为保证仿真建模的正确性提供了途径。     

软件执行路径的高层次可视化表示

软件的主要特征信息，如功能性信息，常常隐藏在它的结构里面，仅仅分析软件系统的结构不足以揭示它们，只能在对软件的各条执行路径的确认过程中获得，对软件执地路长的分析是软件理解过程是一个必可少的辅助手段，程序执行路径（ＥｘｅｃｕｔｉｏｎＰａｈｔ，ＥＰ）概念和它在程序测试，排障（纠错）和理解等方面的用途是大家所知晓的并已有记录，本文给出了一种系统性的方法，可根据从程序设计语言的说明规程产生的结构模型，自动     

钥匙牙花号数学模型的建立及自动筛选程序设计

通过建立钥匙牙花的数学模型设计了自动筛选牙花号的程序，它为钥匙的牙花设计、降低互开率及钥匙的自动加工开辟了新的途径。     

医疗档案的多条件随机组合查询

介绍一种医疗档案管理系统中的多条件随机组合查询程序的设计方法。     

Windows应用程序界面设计的若干问题

界面设计是软件开发的重要组成部分，本文论述了实现美观、实用的用户界面必须注意的几个问题，如界面设计的美学原则、可用性设计的概念、当用户或系统出错时的用户交互形式、帮助使用的用户辅助模式以及为使应用程序运行于不同计算机的显示类型设计。     

基于Pro/Engineer的三维机械零件库参数化设计

介绍了利用Pro/Engineer建立机械零件库的簇表(Family Table)和Pro/Program两种方法,并作简要比较,以实例实现了零件库的参数化设计.