1997, 8(2):81-86.
摘要:本文针对分布共享存储器中存在的远地访问大延迟问题,提出了基于弱序一致性模型的存储访问优化策略,主要是利用并行程序中同步操作提供的信息,在同步点成块预取将要被使用的数据.该方法能够有效地掩盖远地存储访问的大延迟.
1997, 8(2):93-98.
摘要:本文简述了主题数据库的概念,给出了企业的抽象描述,实体的相关度、实体的紧密度的概念和企业主题数据库规划估计的数学计算公式.文中还给出了一些验证主题数据库规划估计的例子.
1997, 8(2):99-106.
摘要:本文描述基于微核心设计思想的国产操作系统COSIXV2.0的安全性设计.通过对基于微核心的多服务器体系结构的讨论,确立了系统安全性的设计方案.最后,是对一些值得探索的问题的简述.
1997, 8(2):107-114.
摘要:本文提出了一个简单的方法,其中程序和其性质都由一个逻辑:时序逻辑中的公式表示.文中给出了一个程序的转换模块的定义,提出了时序执行语义的概念.它是一个时序公式,精确地说明了一个程序.将时序逻辑作为规范语言,程序正确性就意味着说明程序的公式蕴含说明性质的公式,其中蕴含即为一般的逻辑蕴含.因此,本文的方法为并发程序的规范及验证提供了一个统一的框架.它允许充分利用现有的用于证明并发系统时序性质的各种完全证明系统.一个缓冲系统的简单例子用来说明本文的方法.此例子表明本文的方法是可行的.
1997, 8(2):115-121.
摘要:本文给出了一个对任意图的输出算法,这个算法同其它的同类算法相比,具有更小的时间复杂性,并且由于此算法的参数是可控制的,所以对图的输出也是可控制的.另外,本文描述了一个图的显示和编辑系统GLEAM,这个系统是基于所给出的新算法的,并且在本系统中使用了约束技术,使图的输出更美观、合理.GLEAM是一个通用且可以扩充的系统,用户只要加入相应的具体领域知识,就可把其变为一个专用的系统.
1997, 8(2):122-127.
摘要:文件分配问题是计算机网络和分布式系统中一个非常重要的问题.本文提出一种用遗传算法求解文件分配问题的新方法,该方法能较好地解决工程中的文件优化分配问题,还可以应用到其它资源需要分配的领域.
1997, 8(2):128-136.
摘要:秘密分存是一种安全有效的密钥管理技术,现已广泛应用于数据安全的各个方面.以往的(k,n)阈值方案,计算量较大.本文提出了用赋标号降低数据扩展的优化方法,给出了一种优化后的简单(k,n)阈值方案论证了其安全性并分析了其数据扩展.这种方案适用于图象秘密分存等秘密数据量较大的情况.
1997, 8(2):137-144.
摘要:模拟进化有几种典型方法,分别强调自然进化过程的不同侧面.人们已意识到恰当地结合这些方法将推进该领域的研究.本文将现有进化方法的差别归结为“遗传链”与“进化链”之间的差别,提出一种新的进化模型,称之为“基于家族优生学的进化FEBE(familyeugenicsbasedevolution)”.新的模型用家族优生学的思想将遗传链与进化链溶为一体,将正交设计技术引入家庭的子代培植以加强个体的行为改进.本文将FEBE模型用于求解困难的Goldberg欺骗问题,取得了满意的实验结果.
1997, 8(2):145-152.
摘要:迭代算子在循环控制机制抽象和可重用软件研究中有十分重要的作用,已有10多年研究历史,然而,至今对什么是迭代算子尚无确切和统一的定义,严重影响了对这一概念的理解,也阻碍了它的广泛应用,本文在分析研究现有各种迭代算子概念局限性的基础上,将迭代算子定义为包含于组合数据类型内部的抽象数据类型,得到了一种通用迭代算子模式,并给出了分立迭代算子和集成迭代算子的概念和模式,最后以实例说明了它们在可重用软件开发中的作用和使用方法.
1997, 8(2):153-160.
摘要:查询优化一般分为逻辑和物理两层,但两者密切相关.在一个具体系统的实现中,若把它们截然分开会影响优化效果,而把它们有机结合起来则更佳.本文在联系代数的基础上探讨该问题,综合考虑了逻辑与物理2个方面,给出了面向对象数据库系统中的查询优化算法.