面向对象程序设计语言的多态性探究

本文分析了多态性的分类及特征，对多态性的现实方式和采用的高新技术进行了详细的阐述，并简述了多态性在程度设计中的应用。     

单片微型计算机与PC机串行通信的研究

通过对MCS－51系列单片机微型计算机及IBM－PC计算机通信接口的研究，讨论了RS－232C串行通信的接口电气规范、数据通信格式、通信波特率的设定，并且介绍了一种实用的串行通信电平转换接口电路。研究结果表明，此方法具有一定的经济和实用价值。     

基于软件内建自测试的模板和基准程序设计

论述了软件内建自测试项目中“模板”模块的设计方法，利用硬件测试中所使用的基准电路的思想，研究并开发了一种基准程序，使用这种基准程序，可以较为方便地对所生成的测试用例进行测试，最后给出了一个基准程序实例。     

MCGS在多媒体教学中的应用

MCGS为一套工控组态软件系统,用于多媒体教学比较方便。本文以电机控制线路和车床控制线路为例,对MCGS多媒体课件设计给出说明。     

高校助学金分配机制改革探讨

<正>一、我国高校助学金分配机制评定现状在助学金工作中,公平和效率是两个最为重要的问题。助学金以公平和效率为实现原则,其设立体现了党和政府对大学生,特别是贫困大学生的关怀和帮助,体现了国家对高等教育的重视,影响着受助大学生的学习和生活。高校奖助学金评定     

面向对象语言Transframe及其环境MagicFrame

论述了目前的软件开发中存在的两个问题：①现有的高级语言对各种高级计算模型支持的不足;②快速原型开发和高质量产品开发之间的矛盾,针对上问题,设计了一种新的面向对象语言Ｔｒａｎｓｆｒａｍｅ并研制了它的开发环境ＭａｇｉｃＦｒａｍｅ．Ｔｒａｎｓｆｒａｍｅ语言具有的参数化的动态类、名的一般模型、类与函数概念的统一、成员类继承和代理等多种机制为构造各种领域模型提供了有力的支持。基于Ｔｒａｎｓｆｒａｍｅ的开发环     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.     

基于AJAX和VML的实时监测系统

介绍了AJAX的基本原理和VML的功能,并给出了使AJAX和VML相结合来实现web实时监测的服务器及客户端程序的实现方法.这种方法不仅可以减轻服务器的负担而且可以节省网络带宽,是基于web方式进行实时数据监测方法中一种高效而简便的方法.     

分布式数据库系统中Web Services的设计

结合实际应用经验,提出适合分布式数据库系统中的Web Services设计原则与提高Web Services系统扩展性能的方法.通过在实例中的应用,说明其可以有效地增强分布式数据库系统的访问效率、可扩展性与可靠性.     

广义部分求值循环展开的中止条件

循环展开问题一直是过程式语言部分求值和广义部分求值的一个难题。笔者基于数据流分析技术,提出一个部分求值或广义部分求值的循环展开中止条件,利用该中止条件能有效地解决这一难题。