程序可视化系统ProVS的设计和实现

本文研究程序代码可视化技术，即从现存的程序生成某种可视化表示，增强程序的易读性、易理解性和易维护性。首先介绍ＰｒｏＶＳ的设计思想和实现技术，然后给出输出例子。     

基于图像的计算机辅助数控编程软件研究

研究了基于图像的数控自动编程方法，包括影响自动编程、图像骨架自动编程和轮廓自动编程方法，并实现了使用该方法的计算机辅助数控编程软件。     

An Effective Software Pipelining Algorithm for Clustered Embedded VLIW Processors

This paper proposes a software pipelining framework, CALiBeR (ClusterAware Load Balancing Retiming Algorithm), suitable for compilers targetingclustered embedded VLIW processors. CALiBeR can be used by embedded systemdesigners to explore different code optimization alternatives, that is, high-qualitycustomized retiming solutions for desired throughput and program memory sizerequirements, while minimizing register pressure. An extensive set of experimentalresults is presented, demonstrating that our algorithm compares favorablywith one of the best state-of-the-art algorithms, achieving up to 50% improvementin performance and up to 47% improvement in register requirements. In orderto empirically assess the effectiveness of clustering for high ILP applications,additional experiments are presented contrasting the performance achievedby software pipelined kernels executing on clustered and on centralized machines.     

水蒸汽喷射泵系统实用设计软件的开发

本文在Turboc环境下开发了多级蒸汽喷射泵系统的设计软件，该软件包括了压缩比优化分配、单级喷射泵结构尺寸设计和冷凝器的结构尺寸设计等内容，使设计人员能够根据具体的工艺条件，快速地完成多级喷射泵系统的设计，对于提高多级喷射泵系统的工作稳定性、节省能源具有实际意义。     

真空冻干生产线模糊控制系统

介绍了采用模糊控制技术解决真空冻干生产线控制中大超调量、大滞后等问题的方法 ,详述了模糊控制系统的构成、主要功能和实现方法     

WTO与财务软件国际化

介绍财务软件国际化的特点，指出我国财务软件要适应加入WTO的需要，必须使我国的会计准则与国际会计准则接轨，能提供符合世界上通用的国际商法、财务惯例的财务报告，具有“国际可比性”的财会信息；当前应能输出国内企业到国际资本市场融资、进行国际贸易、搞跨国投资所需的符合国际会计准则的财务报表；强调传统财务管理软件已无法适应企业管理的国际化和现代化要求，对财务软件国际化势在必行。     

浅析嵌入式电脑及其发展趋势

主要介绍嵌入式电脑的构成特点、应用与发展前景。