结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

VB管理Access数据库

ＶＢ（ＶｉｓｕａｌＢａｓｉｃ）能够存取和修改数据库中的数据,并且管理数据库对象及结构。访问数据库的技术有两种：数据控件和ＶＢ的数据访问对象的引擎技术,ＶＢ提供的数据库对象有工作区、数据库、表定义、索引、字段和记录集等对象,在这些相应的对象中填写代码,就能修改数据库中的数据和结构。     

系统可视性动态模拟软件平台的研究

对适用于社会经济系统可视性动态模拟的通用型软件平台进行了研究,提出了采用系统对象模型的建模方法。为了实现通用的可视化能力,文中对典型的计算机图形进行了抽象和分类,并介绍了自行设计的软件平台原型,包括语法协议、语法解释器流程和工作流程。     

凹面体散射近场的有限元—人工透射边界解法

采用有限元－人工透射边界法求出平面波在无限长圆柱上的散射近场,并与解析解进行比较,进而对几种凹面体电磁波散射近场求解。实际应用表明该方法具有图象清楚,过程简单,适应性强等优点,可有效解决分层介质,非均匀介质中各种复杂的散射问题,亦可广泛应用于声波等其他类波的散射问题。     

面向对象软件的回归测试策略

按照「１」「２」的方法进行了类测试及集成测试的面向对象软件,提出了一种回归测试的策略,并给重用且修改现存的测试例,产生新的测试例的方法     

当量齿轮

介绍了当量齿轮的概念和当量齿轮的应用．     

一类不确定时滞系统的鲁棒可靠控制

研究了在执行器发生故障的情形下,具有状态时滞的一类不确定系统的时滞依赖型鲁棒可靠镇定控制器的设计问题.基于二次可靠镇定的定义,通过构造双积分型Lyapunov函数,得出了系统鲁棒可靠镇定的充分条件,该方法减弱了控制器设计的保守性.最后通过仿真实例验证了所提方法的正确性和有效性.     

B值极限鞅差序列的Brunk型大数定律

分别对于取值于p-致光滑空间的极限鞅、概率极限鞅和L1极限鞅的差序列证明了Brunk型大数定律，推广了Woyczynski中关于鞅的相应结论。     

硬岩隧道锚喷支护施工过程非线性有限元分析

聚丙烯纤维喷混凝土作为隧道锚喷支护中的新型支护方式,具有施工便捷特点,并可以改善混凝土的性能和耐久性。文章采用非线性有限元法对东巨寺沟硬质围岩铁路隧道进行了大断面开挖-锚喷支护施工全过程分析,分析了施工过程中围岩的位移变形、应力、塑性区分布特征,验证了隧道支护后的围岩稳定性和支护效果。     

面向对象软件的度量方法

对于估算传统应用程序的规模和工作量，人们已经作了很多的研究。但对于面向对象软件的度量方法的研究还不是很多，本文将讨论面向对象软件的度量方法：以类的属性和方法为基础度量软件规模的OOFP方法和以功能、对象间交流的信息以及通过继承的重用来度量规模的POPs方法。