论数学教育学的范畴

按照科学认识的一般发展顺序和哲学范畴构成的逻辑顺序构建了数学教育学的范畴存在层面范畴、认识层面范畴、实践层面范畴和价值层面范畴；并认为数学化、形式化与非形式化、知识的学术形态与教育形态、形式与实质、合情推理与演绎推理、数学地思考与数学建模等为数学教育学的基本范畴。     

用形式化和非形式化技术对VB程序逆向工程

研究了采用形式化和非形式化相结合的方法，为VB程序生成形式化规格说明的逆向工程技术。给出了VB语言基本结构的最强后件语义表示、模式匹配规则、抽象匹配规则以及产生规格说明的基于结构化分析的3阶段过程。在此基础上使用VB语言实现了原型工具BasicSpec。此工具首先为VB程序建立非形式化的抽象模型：窗体结构图和过程调用图；然后为关键模块生成形式化规格说明。生成的结果清晰明确，有助于软件工程师理解VB源程序。     

形式化开发若干组合数学问题的算法

计算机科学的核心内容是使用算法处理离散数据,组合数学的重要性日渐凸显.使用形式化方法PAR开发了两个组合数学问题的算法,形式化推导过程为问题求解提供了思路,自然地引进了算法程序中用到的变量,清晰地展示了算法程序的设计过程,最终可得到简洁、易理解、可靠性高的算法程序.对形式化方法开发组合算法做了积极的探索,有利于促进组合算法设计自动化的研究及形式化开发方法的推广应用.     

形式化方法在软件工程中的应用研究

探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价.     

硬件设计的形式化验证技术

形式化验证用数学可证明的方式来验证系统.硬件设计的形式化验证通常有三种方法：定理证明、等价性检验和模型检验.文章着重分析了这三种方法的优缺点，探讨了形式化验证技术所面临的挑战，以及目前形式化验证技术可能的一些研究方向.     

数学解题的形式化方法

对数学解题中一类规律进行了总结,重点通过齐次线性方程组的形式化解法说明了数学解题中形式化方法的应用,说明了应用此方法可以把许多复杂的数学问题的综合答案同时求出,从而收到事半功倍的效果.     

TOP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差,B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明,B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。     

关于形式化方法与软件可靠性的研究

形式化方法是一种基于数学的表示方法.它的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致,不明确或不完整,有助于增加软件开发人员对系统的理解,因此形式化表示方法是提高软件系统,特别是Safety-Critical系统的安全性与可靠性的重要手段.     

形式化与直观化：试论数学概念思想的两个基本原则

具体 数学概念的公理化倾向，符号化特点与演算化趋势，论述了数学２概念思维运动的形式化原则。在此基础上，进一步分析了抽象定义的直观解释，无限对象的结构表示和模式概念的能行构造，论述了数学概念思维活动的直观化原则。     

形式化方法在核事故评价系统中的应用

核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.     

论信息化与企业管理组织的变革

以信息技术和信息资源的广泛应用为基础的企业信息化正改变着传统的企业管理组织模式，使企业组织结构日益呈现集成化、扁平化、虚拟化的趋势。     

公共体育课程立体化教学资源的建设与应用

从公共体育课程立体化教学资源的内容、特征等方面进行阐述,提出了公共体育课程建设的具体方案和应用措施,为公共体育课程实现教学信息化提供了有力的保障.     

我国农业信息化建设的现状及存在的问题

2 1世纪是信息化时代 ,农业作为国民经济的基础产业 ,必将随同整个国民经济一道走向信息化。文章具体分析了我国当前农业信息化建设的现状及存在的问题和原因     

中心语驱动短语结构语法的形式化研究

简要评述了中心语驱动短语结构语法所采用的语言理论形式化方法。中心语驱动短语结构语法的形式化模型包含两个层面：一个层面采用模块化的,陈叙性的,基于归一的语言理论对语言现象和规律进行形式化描写;另一个层面则以类型化的特征结构为基础,对描写语言现象的语言原理论本身进行形式化,而对模型后一层面的理解,是深入了解该语法的运行机制以及正确有效地在计算机上实现该语法的基础。     

信息化校园浅探

信息化的浪潮正以汹涌澎湃之势冲击着整个人类社会,它的挑战是全方位的,是不以人们的意志为转移的.高等教育作为人类文明的前沿阵地,受信息化浪潮冲撞的力度、广度、深度是前所未有的.文章从信息化校园的趋势、模式、结构及合成实施诸方面叙述了作者的探索思路.     

UML状态机视图的RSL形式描述

使用RAISE规范语言RSL给出了UML状态机视图的形式描述.通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性.最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析.     

红三角经济圈农业发展的几点思考

红三角地区目前在农业发展方面还存着产业化水平低，结构不舍理，农产品加工的龙头企业少，农业信息化水平低等问题。要尽快实现红三角地区的农业现代化，必须进一步推进农业产业化，优化结构，壮大加工型龙头企业，提高信息化水平，发展绿色经济。     

基于约束的智能主体及其在自动协商中的应用

把Agent技术、ECA(Event Condition Action)规则和约束满足问题相结合,提出了一种基于约束的BDI(Belief-Desire-Intension)结构Agent.首先给出了协商问题的形式化描述,而后形式化定义CBDI-Agent(Constraint based BDI-Agent)的结构.基于该结构,提出了一个自动协商协议.最后给出了一个应用实例.     

有色Petri网在软件开发中的应用

为了提高软件开发的质量,尽量在编写代码和执行软件系统之前找出错误,减少软件开发的费用,在软件开发的过程中引入了既有形式化的描述方法又有图形表达能力的工具有色Petri网.在介绍了有色Petri网的形式化定义及其图形表示后,提出了引入有色Petri网后的软件开发框架,最后介绍了一个应用实例.     

基于LOTOS的动态模型的形式化研究

面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。