1998, 9(3):169-173.
摘要:为了使群体能够协同完成任务,CSCW(computer supported cooperative work)系统不仅要解决各种分布性、处理应用领域的特殊性,而且要提供面向用户的协作支持,从而使其行为异常复杂.然而对系统行为进行形式化的描述是构造软件系统的必经阶段.为了清晰地描述CSCW系统的行为,使其特定性质的验证成为可能,本文在时序逻辑的基础上,建立了CSCW系统行为的抽象描述模型.在此模型中,CSCW系统由分布运行实体和信息对象组成,系统的主要行为表现为用时序逻辑语言XYZ/E描述的实体间的交互.此模型可较好地对系统的分析和构造进行指导.
1998, 9(3):174-180.
摘要:本文使用并行数据流技术优化和处理并行数据库查询的方法,提出了一整套相关算法,并给出了一个基于并行数据流方法的并行数据库查询优化处理器的完整设计.这些算法和相应的查询优化处理器已经用于作者自行设计的并行数据库管理系统原型.实践证明,并行数据流方法不仅能够快速有效地实现并行数据库管理系统,也能够有效地进行并行数据库查询的优化处理.
1998, 9(3):181-185.
摘要:本文改进了布尔函数的代数因子分解算法ALG_DIV和QF,采用“分治”方式降低了分解过程的计算时间复杂性,提高了多级逻辑函数分解的效率,能获得近似优化的多级逻辑分解结果.
1998, 9(3):186-189.
摘要:数据模型的研究是设计按内容检索的图象数据库系统的基础.本文在超语义数据模型的基础上,提出了一种新的图象数据库系统模型.该模型融合了面向对象的数据模型、语义数据模型和知识模型的特点,并根据图象信息的特点,增加了若干对象类型构造子,使得该模型能较好地支持按内容检索的图象数据库系统建模.
1998, 9(3):190-193.
摘要:方法和方法继承是面向对象的核心概念.本文介绍了约束演绎对象语言CDOL(constraint deductive object language)中方法的概念及定义,方法是作为规则定义的,它既可作为对象的接口,又可用来实现计算的抽象与共享,方法的继承和多态是通过类型机制和合一机制来实现的.
1998, 9(3):194-199.
摘要:本文从Ideal的基本概念出发,研究了Ideal作为类型的语义模型所具有的性质.在类型的Ideal模型下,讨论了Garment中参数化多态类型和约束多态类型的语义.并在此基础上,证明了Garment中类型规则的语义可靠性.
1998, 9(3):200-205.
摘要:空间布局的自动化是智能CAD领域的研究方向之一,旨在为设计师提供智能辅助工具,用于求解在建筑、厂房设备、大规模集成电路以及产品包装等等若干领域出现的布局问题.图论方法是空间布局研究的主要途径之一.以往的布局模型由于难以充分表达知识与约束,使得设计过程与结果难以控制.本文提出一种可应用于2D及3D布局的规范约束图及层次约束图模型,给出了约束图解的存在条件.该模型可以表示精细的布局知识与约束,在一定程度上克服了以往图模型不能充分表达布局知识与约束的不足.本文还给出了基于约束图的布局生成算法.
1998, 9(3):206-212.
摘要:本文在hB树基础上提出多属性索引方法——hB*树.hB*树索引结点溢出时先寻求避免分裂,以期得到较好的空间利用率;通过避免和消除多父结点,使hB*树成为严格的树形结构.本文表明hB*树提高了空间利用率,树形化的代价也不高.
1998, 9(3):213-216.
摘要:本文提出了一个离散型Hopfield网联想记忆学习算法,该算法增加了训练样本的维数,因而能存储任意给定的训练模式集.实验结果也证明了该方法的有效性.
1998, 9(3):217-221.
摘要:本文提出了前馈神经网络学习的一种新理论——区间小波神经网络,不同于以往工作的是本工作的主要特点有:(1) 采用区间小波空间作为神经网络的学习基底空间,克服了以往神经网络基空间与被学习信号所属空间不匹配问题;(2) 由于采用区间小波理论,克服了原来被学习信号为适应神经网基空间而延拓所带来的不光滑性,使神经元数目得以节约,这在高维学习情形效果极为显著;(3) 神经单元所用活性函数不再为同一个函数.
1998, 9(3):222-226.
摘要:“远程医疗”是计算机通信技术和医学工程技术高度发展的产物.进入网络信息时代,网络化多媒体技术的发展更是推动了“远程医疗系统”的研究和实现.本文根据作者在上海医科大学所进行的一些工作,阐述了作者在国内首家实现的上海医科大学“远程医疗系统”模型分布式、开放性的技术特点和实施过程中的一些技术细节,并对远程医疗系统在我国的开展和推广进行了一些研究和展望.
1998, 9(3):227-230.
摘要:本文通过建立分布式实时数据库系统中的一个网络通讯延迟模型,对它的时间开销进行了分析,指出实现实时通讯的可行性.同时给出了通讯协议ECSMA/CD(extend carrier sense multiple access/collission detection)的算法,为数据或消息的实时传送提供了一种机制.
1998, 9(3):231-235.
摘要:本文分析了变型标准遗传算法VCGA(variants of canonical genetic algorithms)有时会产生早熟收敛的机理,提出了混合法HVCSDA(hybrid VCGA combined with steepest descent approach),并进行了推广.该方法可使最优保存的超级个体时间序列离开早熟收敛状态而继续接近全局最优解.仿真实例表明了本文算法的有效性.在30城市TSP(traveling salesman problem)的基准测试问题中,本文得到了路径为6.82的结果,它好于用新的现代的启发式搜索方法——TABU搜索法得到的6.99的结果.
1998, 9(3):236-240.
摘要:有归纳类型的马丁洛夫类型理论在经典集合论中有一简单的模型.构造演算不存在经典集合论模型,但在构造集合论中有模型.本文刻画了构造演算中归纳类型的构造集语义.