复杂配位平衡处理程序（CCCS）的开发

以VB为工具开发了复杂配位平衡处理程序．该程序提供了配位-氧化还原平衡计算、配位-沉淀溶解平衡计算、配位反应方向判断和配位平衡中配离子浓度、副反应系数计算，以及配合物稳定常数、标准电极电势、溶度积和酸常数查询等功能．程序中还设计了ActiveX自动化功能调用MATLAB绘制图形的功能，可以利用MATLAB绘制相关图形．     

一类试卷诊断模糊聚类模型

基于截集水平的最小偏差平方和，给出了一类最优模糊聚类的方法，并建立了试卷诊断分类模型，进一步得到了每一类中各样本的主要共同特性，最后给出了一个通过Matlab程序实现的实例。     

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.     

论广义建设程序

论述了建设程序的重要作用、发展状况和基本内容，提出广义建设程序的概念，把环境保护管理程序和后评价制度列为建设程序的重要组成部分，分析了环境管理程序和后评价工作程序的各项内容。     

试谈以学生为中心的化学教学设计

对以学生为中心的化学教学设计的内涵和特征作了初步的探讨，并分析盐类水解的化学程序启发教学设计，是如何充分体现了以学生为中心。     

-S控制图的多功能程序系统

本文讨论了—S控制图的统计原理及其多功能程序系统.介绍了该程序系统的结构、功能、程序主框图和使用特点,并提供了一个应用实例。     

传统学术研究方法的近代转型--兼及严复对传统学术研究方法近代转型的贡献

19～20世纪之交,中国传统学术研究方法面临着极大挑战;当时的思想家表现出了较积极的态度：吸纳西学方法并推动了中国学术研究方法的近代转型;传统学术研究方法的近代转型主要表现在：研究内容由“虚”到“实”的转变、研究程序由臆测到实证的转变、研究品格由依附到独立的转变等。严复在这一重大学术事件中扮演了重要角色。     

A components library system model and the support tool

Component-based development needs a well-designed components library and a set of support tools. This paper presents the design and implementation of a components library system model and its support tool UMLCASE. A set of practical CASE tools is constructed. UMLCASE can use UML to design Use Case Diagram. Class Diagram etc. And it integrates with components library system.     

分布式PowerBuilder应用程序的调试策略和方法

由于分布式应用的独特性,使得分布式应用程序的调试远比单机应用程序的调试复杂得多。文中对分布式应用程序提出一种“先单机单机程调试,次单机多进程调试,最后再多机远程调试”的调试策略,给出在PowerBuilder开发环境下的实施方法,并对分布式PB应用程序的常用调试工具、技术和调试中应注意的问题进行探讨。所述策略和方法知开发《广西变通高校计算机等级考试管理系统MCT》网络版中得到成功使用,证明是正确可行的。     

“引导探索法”在《原电池》教学中的应用

"引导探索法"就是在教师的指导下,让学生发现知识、探索规律、解决问题的一种教学方法.该方法要求教师在教学时依据教学目标和学生认知规律,设计探索方案,引导学生通过观察、实验、阅读、讨论、练习等多种活动,探索化学知识,发展各种能力,从而完成教学任务.笔者结合自己的教学实践,现就中专化学<原电池>一节教学中应用该教法谈谈如下认识.