一个并发对象演算

由于缺乏一个为人们接受的描述并发对象系统语义的形式化模型,开发面向对象程序设计语言的开发受到了很大的制约,为了给并发面向对象程序设计定义一个公共的语义框架,人们分别以π演算和ａｃｔｏｒ模型为基础进行了研究。     

对象演算Ⅱ

文章应用Goguen等人的结论证明并得到了几个结构化对象演算的基本定理.一方面,这些定理保证了该文可由现有对象的描述构造新对象的描述,并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理.另一方面,文章还讨论了基于封装性的对象精化.于是得到一个结构化的对象演算系统.     

对象演算Ⅰ

对象演算是一个面向对象的逻辑演算系统,它建立在描述具有内部状态的动态演变实体的Trace演算之上.对象比一般意义下的动态实体具有更多和更好的特性,特别是封装性.为此,文章引入有效动作的概念,通过对象的有效动作来刻画对象的封装性,即只有对象的有效动作才能访问或修改对象的属性值,从而对Trace演算的语义模型加以限制,得到对象语义解释模型.作为逻辑系统,文章还讨论了对象演算的公理化,它是Trace演算公理系统的扩充.作为应用,文章结合实例给出了对象语义的描述及特性推理.     

一种高性能对象存储系统

当大量用户并行访问对象存储设备(OSD)时,OSD可能成为限制系统性能的瓶颈。该文提出一种基于网络磁盘阵列的对象存储系统,网络磁盘阵列包括外设和网络2个通道,可直接与客户端进行数据传输。该系统具有基于对象存储系统的特点,且系统容量可扩展性和整体性能较高。     

一种基于并行对象的可视化描述

一、前言随着并行计算机应用的深入,人们对并行程序的开发需求不断增加。相对于串行程序而言,并行程序必须考虑同步、互斥、通信等问题,使得并行程序设计难度较大,要求科技研究人员具备编写高效的并行程序的能力,影响了并行机的应用水平。将并行机制引入面向对象语言构成并行面向对象语言已成为当前面向对象技术的一个重要研究方向。利用面向对象的特点来有效实现并行任务的划分、数据的分配、并行进程间的通信和同步,可以降低并行程序设计难度。我们设计的适用于MPP机或集群系统的并行C~++语言(SPC~++),是一个面向对象的并行程序设计语言,充分体现了C~++语言面向对象的程序设计思想和特点,将对象机制和并行机制有机结合起来,大大降低并行程序设计难度。SPC~++利用了C~++语言的对象封装性、函数重载、操作符重载等功能对对象消息传递模型进行抽象,简化消息函数的使用。     

多媒体层次模型的对象定义与事件演算

ＰＥＤＡ是我们提出的一种引入知识代理系统的多媒体应用系统的三层模型。本文主要讨论ＰＥＤＡ的对象定义层和事件演算层。     

一种C++程序中无用对象的检测方法

面向对象程序中无用对象的存在降低了程序的可读性,浪费了系统的存储空间,在运行时又降低了程序的运行速度,本文通过对Ｃ＋＋程序中对象是进行分析,提出了一个利用可达性分析来检测程序中无用对象的方法。     

一种支持对象并行的程序设计语言：CompositionalC＋＋

本文首先介绍了ＣｏｍｐｏｓｉｔｉｏｎａｌＣ＋＋并行扩展语言的结构、特点和相关实现机制。然后给出了一个具体的程序实例,对对象并行方面该语言颇具借鉴意义。     

对象式Lambda演算的自作用部分计值

讨论了一个对象式Lambda演算的部分计值器.对象式Lambda演算在Lambda演算的基础上添加了对象机制.部分计值器的构造是采用传统的三步法,首先定义对象式Lambda演算的元解释器;然后提出对象式Lambda演算的约束时间分析方法(binding-timeanalysis),约束时间分析决定哪些计算可以在编译时完成,哪些计算需留在运行时执行;最后定义部分计值器,同时,给出了元解释器和部分计值器的正确性证明.     

面向对象的型法相结合的一种软件开发方法

用传统的瀑布式方法开发软件存在着两大问题：不易克服语义断层及不易适应需求变化。比较新潮的面向对象法和原型法可以克服以上问题。面向对象法对前者有绝对优势,原型法对后者有优势。如果用某种手段把两者结合起来,充分发挥各自的长处,就能大大提高开发效率和质量。鉴于此,本文在对面向对象方法及原型法分析的基础上,提出了一种使这两种方法相结合的模式,满足了这种要求。     

一种支持对象联系的有效方法

本文提出了一种在面向对象模型中有效支持联系的实现方法－反向属性方法。与传统的面向对象模型相比，该方法能更方便地描述对象间的联系，显著改善联系操作的性能而保持复杂对象的ＤＡＧ结构不变。在支持特殊的联系方面，本文引入了一些成员对象的插入／删除限制，从而增强了模型的活性。将这些插入／删除限制和反向属性方法联合应用可简洁地描述引用完整性约束和分属联系。     

一种从Z到精化演算的软件开发方法

一、引言形式化方法的研究和应用已有二十多年的历史,源于Dijkstra和Hoare的程序验证以及Scott、stratchey等人的程序语义研究,指为保证复杂系统的可靠性,以数学为基础对其进行精确描述和验证的语言、技术和工具。形式化方法的关键在于形式规约语言。通过语法和语义有严格数学定义的形式规约语言对系统及其各方面性能的描述,产生系统的形式规约,可以帮助开发者获得对所描述系统的深刻理解,并通     

一种基于Z和精化演算的形式化开发方法

通过分析Z和精化演算各自的特点,本文提出了一种使两者无缝集成的形式化开发方法。该方法利用Z良好的描述特性和扩充的类机制,将系统规约直妆定义成精化演算中的抽象程序,然后用精化规则对抽象程序逐步精化,直到可执行程序。最后给出了一个简单例子。     

一种从面向对象Z规约到代码的精化演算方法

COOZ(complete object-oriented Z)的优势在于精确描述大型程序的规约.COOZ本身的结构 不支持精化演算,这限制了COOZ的应用能力,使COOZ难以作为完整的方法应用于软件的开发. 将精化演算引入COOZ,弥补了COOZ在设计和实现阶段的不足,同时也消除了规约与实现之间在 结构和表示方法上的完全分离,使程序开发在一个完整的框架下平滑进行.该文提出了基于CO OZ和精化演算的软件开发模型,通过实例讨论了数据精化和操作精化问题.在精化演算实现技 术方面构造了一种数据精化算子,提出一     

深入浅出JavaScript对象模型

JavaScript中的对象ECMA262规范一直在强调,“ECMAScript是一种基于对象(Object-Based)的语言,而不是传统的面向对象(Object- Oriented)的语言”。相信绝大多数人不会清楚这句话是什么意思。我想我们可以把它简化一下:你可以把对象看做是存放数据的大的数组,每个对象都有一个属于自己的属性列表,里面存放了对象的所有的attributes和methods。(图1)。     

一种将设计模式用于程序精化演算的并行程序设计方法研究

并行程序设计是并行计算的难点之一。提出了一种将设计模式用于程序精化演算的并行程序设计方法。它通过在Z语言的Schema演算体系中扩充并行的概念和表示，使用设计模式，将问题求解和并行开发的知识进行形式化的定义与描述，通过扩充的Schema演算将其与模型规范进行复合，逐步精化得到抽象并行程序。通过实例对这一方法进行了详细的描述。     

并发对象的一种描述机制

面向对象模型潜在的并发计算能力为并发程序设计提供了更高层次的解决方案。为了充分利用这种潜在的并发招行能力,必须在对象模型中显式地给出并发控制。本文给出了一种描述并发对象的机制,即：把对象的并发控制作为对象的单独属性进行描述,在定义子类时,把对象的并发描述与对象的方法分开进行继承。我们的目标是使得引进的并发机制尽量少地与对象模型的各个重要特性相冲突,减轻继承异常。另外,我们提出的并发模型允许对象内部的并发。     

对象模型简易建立方法的探讨

文章就面向对象方法学中对象模型进行了讨论,然后,就对象模型的建立根据实践提出了一种简单、快速、实用的方法。     

一种监控环境下的基于对象的比特分配算法

提出了基于对象的监控应用中的编码比特分配算法。算法依据观看者的兴趣将视频对象分成4个等级，针对编码缓冲区的当前情况，给不同的视频对象分配不同的比特，对等级高的对象提高分配的比特数。     

一种基于可扩展对象的程序设计方法

在对可视化程序设计实现机制研究的基础上，结合面向对象程序设计提出了一种可扩展对象程序设计方法。以窗体对象研究为出发点，叙述了采用复杂对象模块以及存储管理器实现子复杂对象生成的方法，对大型系统的开发具有一定的现实指导意义。