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

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

VB管理Access数据库

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

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

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

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

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

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

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

面向对象软件的度量方法

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

跳水运动中"水花"成形机理及"压水花"技术的探讨--跳水"压水花"技术研究系列论文之二

在对人、水碰撞过程进行计算机模拟方面已经取得阶段性成果的基础上,根据有关流体力学理论和力学原理,重点对“水花”形成的机理进行进一步的分析.把运动员两手臂上举,两手合掌成尖锐状的入水动作简化为“楔形体”、把两手臂上举,顶肩翻掌以手掌平面撞入水面的动作简化为“方形体”,把具有翻转速度平掌撞水的动作简化为“翻转方形体”,分别探讨和总结出不同形状固体、在不同条件下撞击水面时“水花”形成的规律,根据这个规律,对“压水花”技术进行生物力学研究,提出了撞、揉结合的“压水花”理论.     

论当代中国美学的生命转向

实践美学源于马克思主义实践观并具有认识论倾向，它对人的本质力量的对象化直观有其价值所在，但它的局限在于对生命的狭隘化理解。生命美学的审美基点在于人的生命体验，审美就是生命自由的实现展开、对世界的生存性领悟与具体感受。其理论源头在于传统文化，而其对于西方哲学与美学的借鉴，成就了其现代性品格。     

VB中基于AD0的数据库编程技术

介绍ADO(ActivateX Data 0bject)模型中对象的层次结构及其作用，并结合系统开发的实际应用讨论了利用ADO对象编程访问数据库的技术和方法，给出了部分实例代码，比较了ADO Data控件方式与ADO编程方式访问数据库的不同。     

WEB数据库缓存的一种实现

组件对象模型(COM)是创建软件组件的双态标准，它为软件提供了统一的、面向对象的、可扩充的通讯协议．首先讨论了基于组件的三层式数据库应用模型和利用COM开发软件的优势，然后通过一个实例，展现了COM技术在构造WEB数据库的缓存组件中的应用．