代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

基于C++STL的Z规格说明数据类型的表示

介绍了Z规格说明的数据类型和它们的分类,从定义出发,阐述了这些数据类型派生的派生与继承关系．以Z规格说明向可执行代码的自动转换为目的,结合C 语言中STL模板库对数据结构和通用算法的强大支持功能,提出了用STL中的容器表示Z规格说明数据类型的方法。     

Z规格说明的系统不变式及其抽取

系统状态转换空间的系统不变式是整个系统状态转换空间中保持不变的状态属性,系统不变式的精确描述及其抽取使规格说明简洁,合理且可读性更强,同时可以使规格说明到可执行软件代码的转换容易实践,本文在讨论系统不变式的描述的基础上,提出一种新的系统不变式抽取的方法.     

基于XML的用例规格说明实现

将XML技术应用到用例规格说明描述中,提出了基于XML的用例规格说明实现方法.使用XML Schema定义用例规格说明模板,并在此基础上产生用例规格说明的XML文件.实践证明,这样的描述方式具有规范和统一的特点,并能够自动检查语法.     

Object-Z规格说明的结构模拟动画技术

形式化方法让软件需求的规格说明变得更加简洁精确,但是它的抽象难懂让用户难以确定形式规格说明中所叙述的用户需求就是他们所期望的.另外,大多的规格说明语言都是不可执行的,因此人们采用一种动画模拟的方式,将形式规格说明转换成一种可模拟执行的形式,从而帮助用户和规格说明者确认形式规格说明是否与用户的非形式化需求相一致.通过分析比较形式规格说明的两种动画策略———形式化程序合成和结构模拟的优缺点,决定使用结构模拟技术将Object-Z规格说明转换成SICStus Prolog可执行程序并加以执行,从而实现对Object-Z规格说明的确认.     

关于功能规格说明的几个问题

本文从软件开发的瀑布式模型出发讨论了软件系统的功能规格说明的形式化问题,原型技术问题和功能规格说明语言应具有的特点,并给出若干实列.     

微机系统仿真软件的设计

讨论了微机仿真软件开发中的若干基本问题，论述了使用形式化方法进行规格说明的基本原则以及面向对象的方法和UML在设计中的应用．重点论述了微机仿真系统中采用形式化方法进行需求描述的特点和关键问题，并在系统状态分析的基础上，提出了相关解决方案。     

从测试规格说明到测试用例的自动生成方法

讨论了使用域测试策略生成测试用例的过程 :将测试规格说明 ,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词 ,变换成不等式组 ,然后对每一个不等式组利用 1× 1域测试策略生成域测试矩阵 ,最终得到测试用例包 .提出了一种应用 1× 1域测试策略和线性不等式值转换器来构成一个从测试规格说明生成测试用例的方法 .最后通过一个实例说明如何使用 1× 1域测试策略来实现从测试规格说明到测试用例的自动生成 .     

Microsoft组件对象模型的形式化描述

基于组件的软件开发(CBD)是一种较为理想的软件开发方法,它根据组件标准,将独立开发的软件组件组合成应用.组件对象模型(COM)是目前最为流行的实现级组件软件协议,它是Microsoft关于如何建立组件和如何根据组件构造应用的一个规范,1995年公布的COM规格说明详细地定义了建立和使用COM组件应遵循的规则.然而该规格说明是非形式化的,这使得它缺乏逻辑的严密性,容易引起歧义.本文根据COM规格说明定义的规则,为其建立一个形式化的组件模型,模型反映了COM组件的本质,但省略了一些具体细节. 模型采用规格说明语言Z进行描述.     

微机仿真系统中形式化方法的应用

Z语言是一种广泛应用的形式化语言，适合于仿真实时软件系统的需求规格说明．通过微机系统仿真软件的Z规格说明，讨论了Z语言在实时系统开发中使用的一些方法、对典型问题的处理原则以及操作同时序关系的描述．     

基于规则的网状结构目标识别研究

在分析ＥＤＧ图的基础上，针对拱桥图像的网状结构，提出了以有向边缘为属性的ｅｄＮＬＣ图文法及其产生式规则，导出了该类网状结构目标的自上而下的识别算法，模拟实验的结果表明，本算法对网状结构的识别是有效的．     

高职高专学生创业素质及其培养

创业素质是经济社会人才素质的重要内容。创业素质包括创业意识、创业知识、创业能力和创业品质四个要素,它们相互联系,共同在创业实践活动中制约着创业的成败。因此,高职高专院校应该紧跟“全员创业”的时代步划,大胆进行教学改革,充分利用有效资源,多渠道多方式开展创业教育,把培养具有较高创业素质的学生列为学校主要培养目标之一。     

G‘〈G的内—FC群的几个等价条件

给出了内-IN群和内-IA群的基本分类,并得到了G’相似文献   

三角范畴中八面体公理的几个等价命题

三角范畴是一个带有自同构(称为平移)的加法范畴,并且满足4条公理,其中的一条重要公理是八面体公理.作者结合一个自同构T定义了quasi-pushout与pushout,证明了在三角范畴中其它三条公理满足之下,quasi-pushout或pushout与八面体公理等价.     

动名词还是不定式

本文追溯了动名词和动词不定式的发展过程,从意义、时间、体和语气四个方面探讨了可出现在相同结构中的动名词和不定式的区别。指出:动名词的意义比较概括,有完成的意味,所表示的动作一般先于谓语的动作,并有延续、进行、主观性及重复的含意,语气上还有一定的感情色彩;不定式则意义比较具体,有尚待完成的意味,所表示的动作往往后于谓语动作,语气上有假设和条件的含意。     

北京地区图书情报专业同等学力研究生教育浅析

介绍了北京地区图书情报专业同等学力研究生教育的现状,在对同等学力研究生发展需求状况进行分析的基础上,重点探讨了加强图书情报专业同等学力研究生教育的发展思路。     

"可以"用法浅探

“可以”具有助动词和形容词两种用法:做助动词时一般能和除能愿动词以外的大多数动词搭配,还能和一些单音词形成较为固定的搭配;做形容词既可表示程度高,也可表示程度不高,其被动和消极色彩较浓。     

光触发晶闸管光开启特性的研究

本文对大功率直接光触发晶闸管的开通特性进行了测试分析。实验表明,随着光脉冲宽度的增加,临界光脉冲幅值有所降低;在脉宽不变时,延迟时间t_d随光脉冲幅值的增加近似成双曲函数下降,在光脉冲宽度和幅值都不变时,上升时间t_r随阳极电流I_A增加而增加,t_d基本不变。t_r和t_d都随阳极电压V_A的增加而减小。     

45#钢裂纹尖端塑性损伤的超声评估

超声衰减系数是超声传播特性中的一个重要参数 ,实验表明根据超声衰减系数的变化可以评估 4 5# 钢的塑性损伤 .结果还表明 ,随着载荷的不断增加 ,裂纹尖端塑性区扩展到探测区内的面积不断增加 ,超声衰减系数将随之有规律地增加 ,并据此可以预报裂纹的扩展 .     

含有椭圆孔的各向异性体平面问题的通解

应用复变函数方法,给出了在椭圆孔外任一点作用任意一个集中力和集中力偶时的Green应力函数,即应力函数基本解.通过基本解的迭加,首次得到了在椭圆孔周围作用任意集中载荷或分布载荷时表达简洁的通解.为了验证该解的正确性并说明其应用,给出了当孔周作用一对平衡的集中力或均匀的分布力时的解,其结果与前人所得的结果一致.