面向对象编译类库构造

通过对编译系统进行面向对象分析,探讨了基于类库的编译器构造方法.在抽取语言文法基本结构的基础上,构造了可复用的编译基本类.编译基本类模型以语法单元为单位,集编译过程中词法分析、语法分析、语义处理、优化和执行等操作与一体,打破了传统编译器中各个编译阶段的空间分割.在基于类库构造的编译器中,对符号表做了类化处理并采用了动态的多级结构,同时将语言语法和语义的处理相分离.提高了编译成份的可扩展性、可复用性和可维护性.     

基于本体的工作流抽象模型

基于本体的抽象模型框架, 提出一种工作流的感知建模方法, 通过感知特定领域中实际运行的具体工作流获得构建该领域工作流抽象模型的知识, 既可为工作流模型的设计提供共享和重用机制, 也可直接构造该领域的工作流抽象模性, 实现工作流的部分或全部自动化运行. 并给出了工作流行为本体类和行为关系本体类的定义,  形式化地描述了两个本体类的动态构建和扩展过程, 同时给出了在基于本体抽象模型框架下的工作流抽象建模过程.     

基于时间自动机的UML模型转换与验证研究

针对无法对UML模型进行形式化验证的问题,提出在元模型层将UML模型转换为时间自动机模型并进行验证的方法.形式化UML状态机的结构,抽象出UML和时间自动机的元模型,利用模型转换语言ATL对UML元模型和时间自动机元模型构造映射规则,实现UML模型到时间自动机模型的转换,在模型验证工具Uppaal中对转换结果进行形式化验证.最后进行实例研究,结果表明了此方法的有效性和先进性.     

支持业务流程管理的组织建模及约束描述

针对业务流程管理框架中组织视图的描述需求,提出一种面向对象的组织元模型,利用统一建模语言的类视图对企业中的功能型组织结构和项目型组织结构进行建模、为了保证组织结构的合法性,利用对象约束语言对各类组织约束进行形式化描述,这些约束包括基本约束、针对团队模板的约束和针对团队的约束三类．给出了业务流程过程模型和组织元模型的集成实现过程,从而有利于描述和分析工作流驱动的动态组织行为．     

一种模型驱动的原型生成方法研究实现

随着模型驱动技术的重要性与日俱增，一系列基于模型的软件开发策略也日益被提出．提出一种模型驱动的原型生成方法，即从包含类模型与形式化约束的UML模型自动生成原型．该方法基于UML模型与OCL约束的形式化表示，对UML模型特别是静态结构部分作出形式化表示，并通过示例给予分析．基于类模型及形式化约束，原型按以下步骤生成：首先从类模型中生成实体对象集合（entity object set，EOS）；然后从类模型中生成包含操作按钮的原型界面；最后生成操作及约束的处理程序．为生成原型，须将类模型及约束条件转换成可执行的原子操作代码．这些原子操作用来创建、删除或更新对象，或者用来创建、删除对象间的关联关系．基于Java语言开发出一个从UML模型生成原型的支持工具，并通过一个简单的示例论证该方法的可行性．     

用AI方法编制铁路编组站日班计划的研究

铁路编组站日班计划长期以来由站长根据经验编制,本文论述了编制该计划所需的领域知识,构造了此问题的形式化模型,在此基础上用Turbo Prolog语言给出了该问题的知识表达以及推理机制.     

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

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

基于矩阵理论的UML类图形式化描述与检测

针对UML缺少形式化语义,使得开发UML自动检测工具变得困难的问题,提出了一种基于矩阵理论的UML类图形式化描述和自动检测方法.首先,分别给出了基于二元关系和基于矩阵的类图形式化描述规则;然后,讨论了UML类图的自动检测;最后,用一个实例说明了该方法的有效性.实验结果表明:该方法可以对UML类图进行形式化描述,且可以通过数学方法找出模型中存在的错误.     

P2P系统自组织性研究

分析了P2P自组织系统基本特征,给出自组织系统的形式化定义,在此基础上,以非结构化Gnutella网络和结构化P-Grid网络为例,分别讨论了Gnutella网络节点度的幂律分布,利用幂律度分布在自组织过程中产生一个全局结构化特征,使网络构造过程中系统处于动态平衡之中.同时,分析了P-Grid网络自组织过程中的启动问题和路由维护问题,在讨论P-Grid网络结构的基础上,给出解决启动问题的算法和马尔科夫模型,获得两个负载均衡性属性,并在物理网络变化过程中,通过路由维护机制以保障重叠网的结构化属性的完整.     

含时间窗的司售员调度模型及多邻域结构设计

形式化定义了司售员调度中的关键因素:车辆运营工作、调度方案、劳动法规和调度目标,建立了一个能够准确反映实际问题的模型.设计出能够有效处理时间窗的多邻域结构,为应用基于邻域搜索的各种算法求解该模型奠定了基础.最后将其应用于基于禁忌搜索的构造式方法——启发式自动司售员调度(HACS)中.实验表明:应用该模型及多领域结构改进了HACS,有效解决了含时间窗的司售员调度问题并得到更优解,对大规模问题,解的改进更加明显.     

浅谈高校辅导员如何加强班级管理

高校教育管理工作的最基本的单位是班级.班级建设的好坏是衡量高校教育质量和管理水平的重要标准.因此,高校辅导员应当以班级作为思想政治教育工作的主要阵地,提高班级管理水平.该文在分析班级管理存在的主要问题的基础上,提出加强班级管理工作应从关心了解学生、建立工作队伍、完善班级制度、构建班级文化四个方面开展.     

新的单调类定理

证明了由半集代数生成的正规类等于半集代数生成的σ代数，并提出一个新的集类：仿正规类．证明了这种仿正规类的单调类定理：由半集代数生成的仿正规类也等于半集代数生成的σ代数．     

一个新的单调类定理

定义了集类的ｗ类的概念,给出了ｗ类的单调类定理．     

体育课备课方法研究

备课是体育教学工作中的重要环节,是搞好教学工作的先决条件.笔者在总结多年教学实践经验的基础上对体育课前的备课方法进行了研究.     

销售合同管理系统的设计

介绍了销售合同管理系统的开发及设计思路,并详细说明了该系统的结构及功能.该系统采用面向对象的编程技术,利用VFP6.0程序设计语言实现.     

有限全变换半群Tn的D-类Dr的一些特殊子集的极大子半群

主要讨论了全变换半群Tn的D-类Dr上的R-类,L-类的极大子半群结构,并且证明了这些极大子半群也是Dr的极大子半群.     

听力教学中教师的角色

Language teaching is a double-sided activity,it requires the active participation of both teachers and students.This paper focuses on the teachers‘side and discussec teachers‘roles in teaching listening at different stages of pre-class,in-class asnd after-class teaching.     

VC中显示点位图的方法

BMP图像格式是Windows中位图数据的一种标准,本文着重介绍了如何利用Visual C++中CDC类和CBitmap类的成员函数装入点位图的步骤和显示点位图的方法。     

构建生命化英语课堂

传统的课堂教学存在着种种缺陷,表现为人的边缘化、课堂时空单一化、教学程序刻板化。生命化课堂教学的本质特征主要表现有人文性、多元性、体验性和动态性。课堂上我们要以学生的全面发展为本,紧密结合学生的现实生活,建立多元的评价体制和和谐的师生关系,让英语课堂充满生命从而促进完整的人的生成与成长。     

关于次极大类p群(p是奇素数)

本文讨论了次极大类 p 群的下中心序列,并对不是二元生成的次极大类 p 群给出其结构定理.