面向对象建模语言AML的设计与实现

ＡＭＬ语言吸取了Ａｄａ９５ 基本原理和思想,引进它的基本数据类型、语句等设施,对其作更高层次的抽象和扩充．用３ 种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型,提高了系统的完整性和一致性;同时运用二级并发模型和限制设施,详述了系统的并发性和不确定性的描述问题．     

基于规格说明的面向对象软件原型开发

提出了一种基于规格说明的面向对象软件原型开发方法．规格说明分为结构部分和行为部分．结构部分利用了面向对象开发方法ＯＭＴ的直观可视的表示和分析设计规程；行为部分利用类ＣＣＳ的表示文法和形式验证机制，使得规格说明及其求精结果由一致的语言表示，且在同一的形式框架构成的原型上进行行为分析．并且通过一个实例说明了此方法的特点     

基于Visual Basic 的面向对象的编程方法

本文从作为可视化编程和对象技术的Ｖｉｓｕａｌ Ｂａｓｉｃ语言的核心－对象着手,着重讨论了各种对象的特点,创建各种对象所采用的方法以及使用的场合,探讨了基于Ｖｉｓｕａｌ Ｂａｓｉｃ的面向对象的编程方法。     

面向对象程序流程框图方法的研究

在传统的结构程序设计方法和理论的基础上，分析了面向对象程序设计（OOP）技术的优点和缺点，提出了一种面向对象程序流框图的新方法，并定义了一套符合体系，用以说明面向对象程序结构，提高面向对象程序的可读性及可描述性。     

面向对象软件设计方法的研究

近１０多年来，人们对ＯＯＭ（ｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｍｅｔｈｏｄ）给予了极高的评价，它的起源可追溯到１９６７年提出的ＳＩＭＵＬＡ语言，本文将ＯＯＭ同传统的结构化方法、面向数据的设计法等作了对比与分析．从ＯＯＭ的历史和发展现状探讨这一方法对软件开发方法学产生的影响．     

面向对象的软件原型化可操作模型OPM

基于OMT(Object Modeling Technique),面向软件原型化领域,提出了可操作模型OPM(Object-Oriented Prototyping Modeling)。OPM是在对象模型OM(Object-Model)之上的一种二维的模型化方法,纵向,功能对象的APO抽象与继承的自顶向下模型化机制;横向,功能对象的有穷状态机中,状态对象的AKO抽象与继承的逐步细化的模型化机制。OPM通过当前状态对象的转换、消息授受来描述系统行为,原型化深度通过上述二维的对象模型化粒度来刻划,并给出了OPM应用的具体例子。     

基于面向对象技术的多媒体CAI素材库系统

建立实用、高效的多媒体ＣＡＩ素材库是高效率、高质量开发ＣＡＩ软件的基础和关键．本文从数据模型、面向对象分析和存储模式三方面入手,提出一种支撑ＣＡＩ制作工具的素材库体系结构,并讨论该体系结构的特性和进一步研究的问题．     

面向对象的微机地理信息系统(MGIS)设计与实现技术

提出了一种不同于工作站的微机地理信息系统的体系与对象结构设计方法，对象存储技术及拓朴关系的实现。同时探讨了一些面向对象信息的管理策略。     

面向对象多层分布并行逻辑语言MDP－PROLOG~（＋＋）的设计

本文探讨了逻辑、面向对象、多层并发等方法的融合，介绍了一个较规范、较通用的面向对象多层分布并行逻辑语言ＭＤＰ－ＰＲＯＬＯＧ＋＋，论述了该语言面向对象设施和并发执行设施的设计．该语言不仅可在多层分布并行系统上实现，也可在小规模粗粒度的并行系统上实现．     

基于系统调用和进程代数CCS的行为建模方法

软件动态行为可信度量是可信计算必须要解决的关键问题之一.对该问题的关键一环,软件动态行为建模理论和方法,进行了研究：以系统调用为建模对象,从软件行为学的观点出发,将软件动态行为刻画为进程代数CCS（calculus of communication system）动作的形式.在此基础上,提出了软件动态行为模型的形式化表达DBMS={SCSS,E},其中,SCSS是整个系统的系统调用序列,E是一套基于CCS的行为变换操作符,结合SCSS和E,能够表达系统内任意软件的任意行为.进一步地,提出了一种分布式软件动态行为度量架构,利用该架构能够增强软件动态行为度量的准确性,并提高度量效率.     

基于OWL元模型的本体建模研究

采用UML(Unified Modeling Language)的Profile扩展技术作为消除OWL(Web Ontology Language)复杂符号体系与本体建模易操作性需求之间的矛盾的关键技术，制定了UML建模元素与OWL Lite语法元素之间的映射关系,建立了OWL Lite的UML Profile元模型，并且通过一个具体的示例说明使用OWL的UML Profile能够直观、清晰地进行OWL本体建模，促进OWL本体建立的易操作性．     

数字化语言实验室在外语教学中的应用

介绍了数字化语言实验室的分类及特点，探讨了数字化语言实验室在外语教学中的应用．通过教学实例可以看出，数字化语言实验室各项功能不仅帮助教师在课堂教学中取得良好的教学效果，而且帮助学生进行自主学习、自我测试，大大提高了学生学习外语的浓厚兴趣和积极性，促进了学生个性化学习方法的形成和自主学习能力的发展．     

多语言编程技术在软件开发中的应用

在地球物理资料综合处理解释系统的开发过程中，如何利用多种语言混合编程技术解决用不同编程语言开发的程序的相互联接问题，并简述了AFORTRN语言与C＋＋语言的部分联接过程。     

偏微分方程的演化建模方法

考虑抛物型方程的参数反演问题,给出了一类偏微分方程的演化建模方法．根据样条插值理论,把无穷维空间上的反问题转化成有限维空间上的反问题来近似,利用演化算法来估计参数的反演值,数值结果证明了此方法的有效性．     

信息处理维吾尔语词语分类体系及标记研究（I）

维吾尔语词性标注研究,是面向信息处理的维吾尔语语法分析的核心内容．本文提出面向信息处理的现代维吾尔语词语分类体系及其标记集,并且对分类体系中的12个词类的分布特征从形态变化、句子成分功能和短语组合功能等方面进行了描述．     

数字专用集成电路设计中的SystemC 建模验证方法

针对当前数字专用集成电路中的验证瓶颈，提出了一种基于SystemC电路行为建模与测试控制技术的专用集成电路验证方法，应用到网络调度芯片的具体验证实验中，实验数据表明：由于用软件建模与控制技术，该方法在缩短验证周期、提高验证可靠性、精确判断验证程序以及有效集成各类验证环境等方面均明显优于传统RTL验证方法。     

基于VC++语言设计的设备通讯软件

研究了在Windows环境下汇编语言调用问题，通过用VC＋＋嵌入汇编语言技术，为自主开发的通讯接口卡设计设备驱动软件，编写了通讯类的汇编成员函数，实现了上位机与下位机的通讯。     

常微分方程组的演化建模新算法

提出了常微分方程组的演化建模的一种新算法 ,新算法在 3个方面改进了作者原有的算法 :(1)采用新的适应值评估方式 ;(2 )采用一种基于子空间搜索的遗传算法来优化模型的参数 ;(3)将传统的遗传程序设计方法与局部搜索技术相结合来优化模型的结构 .将新算法分别应用于人口增长与化学反应模型的自动建模 ,并比较两种算法的实验结果 ,表明新算法发现的模型更稳定、精确度更高 .