1996, 7(2):65-72.
摘要:分布式系统中移动计算机的引入带来了一系列新的问题.传统的路径算法已不能适应这类系统.本文提出了一种移动系统通信的路径算法,该方法具有高效、坚定及可扩充等特征.
1996, 7(2):73-82.
摘要:多媒体智能数据库系统MIDS(multimediaintelligentdatabasesystem)是一个对象数据库管理系统.它的数据库编程语言是P++,P++个语言是一种基于C++的语言.作者在P++的实现过程中遇到了以下问题:首先,C++的指针有二义性,它无法在语义上区分成员指针和引用指针,以及易失性指针和持久性指针,从而给事务管理中的对象加锁及其它方面带来问题.其次,具有虚拟函数或虚拟基类的对象中含有指向内存中的指针,而这些指针不是由程序员定义的.如果C+个对象被持久化,这些指针在不同的程序调用中有可能无效.最后,如果作者用文件系统调用来存储对象,那么必须要设计复杂的Cache系统和做大量对象的格式转化工作,这需要大量的空间和时间,所以他们采用了另外的一种方法──基于虚拟内存空间映射的存储方案.
1996, 7(2):83-89.
摘要:用面向对象方法管理框架系统中的工程和设计数据已成为大多数人的共识.本文对该系统中的Server/Client结构和并发控制、长事务管理、网络上的对象版本管理等进行了论述,提出了想法和实现.该系统已应用到电子CAD框架系统中.
1996, 7(2):90-99.
摘要:清华图纸自动输入及管理系统TH-DAIMS2.0是一个面向图纸复用和图纸档案管理的软件产品,采用纯图象处理方法.在2.0版本中,线条拾取技术缩短了用户交互修改和设计图纸的时间;线条光滑技术,改善了图纸的质量;内存空间动态映象技术,提高了处理大幅面高精度图纸的能力;合理的图纸数据库系统结构,方便了用户的使用和维护;中文用户界面,更适合我国的广大用户;多样化系统构成,适合大中小各种工矿企业.文章先简要介绍TH-DAIMS2.0的功能和特点,再着重叙述2.0版采用的一些新技术.
1996, 7(2):100-105.
摘要:本文简要介绍用于安全计算机系统的Bell-LaPadula模型.针对数据库系统中授权的可传递性,提出了一个基于Bell-LaPadula模型的改进模型.改进模型对原模型的元素进行了扩充,对原模型的系统状态、公理及状态转换规则进行了改造,并给出和证明了其主要的结论.
1996, 7(2):106-110.
摘要:定性仿真在定性推理中起着核心作用.本文将介绍基于定性模型的定性仿真法的基本内容,讨论支持其走向实用的主要方法和技术,并展示其在若干领域中的应用.
1996, 7(2):111-118.
摘要:人工神经网络模型的软件模拟,其并行算法的设计、实现及性能评价对于神经网络计算机和各种专用神经网络VLSI芯片的研制具有十分重要的意义.本文首先构造了一个分布式存储器、信息传递方式的多机系统作为软件模拟人工神经网络的平台,并用一个环拓扑结构的多Transputer网络予以实现.接着提出并实现了一个适用于动态环拓扑形式的DBP并行计算模型,它主要包括神经元的划分和映射策略;DBP中活性值、误差反向传播及权值修改的多机并行算法.然后讨论该DBP算法的时间复杂度和加速比.
1996, 7(2):119-127.
摘要:本文提出了时态逼近关系,并给出了命题不确定性时态关系的一种分类,在Shoham的时态逻辑基础上,对命题和一阶两种情况,提出了能描述不确定性时态关系,基于时间点和(点对构成的)时间区间的时态逻辑(定性与定量相结合).此外,还给出了在非确定性时态关系下用于描述命题类型的一些命题时态性质.