1995, 6(zk):1-9.
摘要:本文提出数据传送进程的符号迁移语义,引入符号互模拟的概念,证明了两个进程在传统意义下互模拟当且仅当它们符号互模拟.由于无穷域上的数据传送进程的传统迁移图是无穷的,而其中相当一部分的符号迁移图是有穷的,文章的结果为在有穷时间和空间内判定这类进程的互模拟关系开辟了可能性.
1995, 6(zk):10-17.
摘要:并行重构是发挥多处理机高计算性能的重要手段.但是许多并行重构系统,往往不作过程间数据流分析,因而限制了含调用语句的DO循环的并行本文以中国科学院计算技术研究所并行编译组研制的PORT(Parallelizing Optimizing Restructuring Tools)系统为背景,给出含数组引用的精确的过程间数据流分析的设计思想、关键技术及其在并行化、优化方面的应用.
1995, 6(zk):18-27.
摘要:本文重新定义了面向对象的基本概念,提出了有向目录图DDD,为描述对象及其组成、继承、服务和状态转移等关系提供了统一简洁的符号工具.DDD与一组概念、原则、策略、辅助工具以及对象管理系统相结合.构成一种面向对象的MIS开发方法该方法已在财政行业MIS群的开发中得到了应用.
1995, 6(zk):28-35.
摘要:基于松散耦合的多处理机系统(DMS)的发展,要求有相应的并行软件工具的支持,而在目前的大多并行软件系统中,用户必须显式给出顺序执行程序的划分方法以及在DMS中不同处理器上的分配算法.针对这一问题,本文首先介绍了一种基于知识的数据自动分布模型(KBDM),以期对程序的划分和分布问题提供自动的支持,然后讨论了KBDM设计的主要思想,并给出该模型主要部件的详细描述。
1995, 6(zk):36-39.
摘要:本文提出了一个新的高阶联想记忆模型.该模型采用噪声模式优化联想功能,使得对于噪声输入模式在均方误差的意义下同样达到最优的联想效果和存贮性能,推广了chen的的结果,计算机的模拟结果表明了这一点.
1995, 6(zk):40-45.
摘要:传统的解释学习(EBL)是通过单个实例进行学习的,学习结果往往带有实例本身的特殊性质,知识求精能较正这一缺陷,但学习结果的效用不高.本文结合了EBL方法和求精算法,提出综合多个实例的增量式解释学习算法EBG—plus,学习质量随实例数目增加而单调上升,学习结果效用高,并能够自动改进领域知识的编码质量.
1995, 6(zk):46-51.
摘要:随着集成电路的发展、集成度的提高,特别是80年代中期专用集成电路的出现,数字系统的高层次综合已成为数字系统设计的一种实用的、有效的设计方法.本文讨论高层次综合中的分配问题.首先将分配问题化为整数规划问题,然后提出了一个启发式的结群分配算法.从实验结果看,该算法以较少的cPu时间得到了与已发表的几种算法相似甚至更好的结果.
1995, 6(zk):52-58.
摘要:本文基于多UIO序列提出了一种最优化协议一致性测试生成方法.可以证明本方法生成的测试序列的长度比其它基于UIO序列的测试方法生成的测试序列短.由于本方法采用了形式叠加技术,因此生成叠加转换序列所需要的计算时间大大减少了.
1995, 6(zk):59-67.
摘要:这篇论文提供了一种将大型随机高级Petri网(SHLPN)模型构造成独立子网的方法和技术这些子网可以独立地进行性能评价,在原模型中子网可由非基本变迁进行性能等效替代,以达简化状态空间的目的.这种技术依赖于SHLPN模型的层次设计和一个标记穿越子网时平均延时时间的估算.在这篇文章中,四种子网界面结构的性能等效分解和合并以及子网平均延时时间的计算做了着重的讨论.
1995, 6(zk):68-77.
摘要:本文提出了一种用于门阵列和标准单元版图自动设计中的走线道分配算法一FARM,它连接总体布线和通道布线.算法目标是使通道的最大密度最小,同时考虑减小线网长度和通孔数.FARM由两部分组成:多行走线道分配和单行走线道分配它已用c语言在DE(:工作站和sun工作站上实现,并已用于我们开发的双层CMOS门阵列布图系统MALS3中.实验例子表明,它与Timborwolf 5.6的结果相当或更好.
1995, 6(zk):78-85.
摘要:本文首先阐明了汉语分析中所要面对的问题,并描述了如何建立搭配词典以表达个性的语言现象及处理规则.为了适应自然语言中的随机性和规律性,我们提出一个词汇语义驱动算法,它不仅提高了系统的效率,而且较好地解决了自然语言处理中诸如词汇兼类处理这样的难题.
1995, 6(zk):86-93.
摘要:本文首先对Prolog程序中的错误进行了系统的分类,并对各类错误提出了相应的测试算法.接着介绍了一个面向对象的Prolog程序测试工具的设计与实现.
1995, 6(zk):94-99.
摘要:GKD)—APS是我们基于面向智能体程序设计范例(AOP)设计并实现的一个支持智能体相关概念及智能体间消息通信的Prolog解释器.它同时引入了智能体、精神状态、知识、信念、承诺、能力及智能体间的消息通信等概念,并提供了对这些概念的直接支持.GKD—APS为实现多智能体间的知识通信和合作运行,构造多智能体系统提供了基础,有效地支持了分布式知识系统的研究和开发.
1995, 6(zk):100-103.
摘要:本文证明了McEliece公钥体制中的公开钥矩阵实际上就是一个Goppa码生成矩阵,指出Adams和Meijer对McEliece公钥体制安全性分析的不合理之处.本文的结果对KorzhikTurkin攻击是一种理论上的支持,并与一类基于纠错码的公钥体制的安全性密切相关.
1995, 6(zk):104-111.
摘要:P++是智能数据库系统MIDS提供给用户的一体化的语言,它在C++基础上扩充了8种重要的语言机制,即对象模式定义、持久性、迭代、查询、版本、约束、触发器和知识表示等.
1995, 6(zk):112-117.
摘要:本文提出一种具有非线性映射能力的RAM式联想存贮器(RAM—AM),通过将二值输入模式分解成若干个子模式,并作为RAM的寻址地址,来训练该联想存贮器.存贮编码采用相关矩阵方法,此AM作为异联想存贮器能成功地回忆,如XOR、高阶奇偶校验一类高阶非线性问题,说明了映射能力对于模式划分行为的依赖性.最后从理论上证明了所提模型的信噪比大大高于Hopfield模型的信噪比及在大量神经元存在下的可实现性,实验例子证实了这种模型的可行性.
1995, 6(zk):118-123.
摘要:Electronlc book system(EBS)是本文作者研究开发的一个超媒体实验系统,主要用于编写及阅读超媒体电子书.本文介绍EBS的写作系统,重点是系统的层次结构处理思想及实现.
1995, 6(zk):124-131.
摘要:现代的超标量(superscalar)和超流水线(superpipeline)高速处理器通常都带有二级高速缓冲存储器(cache),以及较多的快速寄存器(register).利用程序变换来改善程序性能.是当今编译技术研究的热门课题之一.本文重点讨论超级编译技术中的循环分布、交换、合并和stripmtntng对串行程序的优化应用和效果.
1995, 6(zk):132-137.
摘要:至今被公开的ω-有穷自动机的接受条件有6个即C1—C6,寻找新的接受条件和研究ω-有穷自动机关于新接受条件接受ω-语言的能力是ω-有穷自动机理论中的一个重要课题.本文定义了ω-有穷自动机的两个新的接受条件Z1和Z2,并且研究了:(1)ω-U—NFA关于Zi(i=1,2)接受 ω-语言的能力,得到了 N
1995, 6(zk):138-147.
摘要:本文在软件流水方面提出一种新观点,把软件流水看作是一种指令级变形,是把一维指令向量变换成二维指令矩阵.这样,软件流水问题可以很自然地分解为两个子问题:一个是确定每个操作在指令矩阵中的行号,另一个是确定其在指令矩阵中的列号.基于这种观点,我们开发出一种新的循环调度方法,叫做分解式软件流水——DESP.
1995, 6(zk):148-156.
摘要:分解式软件流水DESP是我们最近提出来的一种对无分支循环进行有效调度的新方法,它通过把循环调度分解为两个子问题,把无分支调度问题转化为无环路图的调度,从而运用图论中一些经典的复杂度为多项式的方法来解决.在本文中,我们把DESP方法扩展成可以优化带条件分支的循环,称为全局分解式软件流水方法——GDESP.研究结果表明,GDESP方法具有时间效益高和实用性好等优点,是一种有效实用的全局循环调度方法.
1995, 6(zk):157-161.
摘要:本文定义了ω幂上下文无关语言ω—P— cfl和一类ω下推自动机ω—pda,给出了它们 的关系.借助于ω时序转换器ω—ST,讨论了ω—p—cfl类的某些封闭性质,证明了对于ω—p—cfl类L,m(L)={s’(A)|A∈s'是一个ω—ST)=(h2(h1-1(A)∩R)|A∈L,R是一个ω正规语言,h1
1995, 6(zk):162-169.
摘要:永久对象概念的实现为程序员提供了在高级语言级一致地操纵内外存的手段,并使程序之间共享数据更方便和有效.本文讨论了永久对象的描述方式和实现技术,介绍了一个集成化软件工程环境——“青鸟”系统中永久对象的实现方法,并详细地给出了其核心部分——“青鸟”对象管理系统(JB2/OMs)的设计.
1995, 6(zk):170-181.
摘要:面向对象的并发系统与传统的并发系统(如用CSP或CCS所描述的系统)的不同之处在于其进程结构的动态性,系统中的进程以及进程之间的通信链路随着对象的变化而动态地建立或撤消.图文法模型比其他形式化工具更适合描述这种并发和动态的特性.这里我们介绍一个新的用于描述面向对象并发系统的图文法模型,在该模型中为系统的设计开发者提供了一个用来描述系统的静态和动态结构的语言工具——CSDL语言.在面向对象并发系统开发支持环境 的支持下,用CSDL语言描述的面向对象并发系统的结构可以转换成对系统运行期进程互联结构的控制机制,
1995, 6(zk):182-186.
摘要:本文给出一种对Ada并行程序的流程图分析法.该方法不仅给出在并行程序中,并发多任务之间相互通信的一种可视化的表示,同时可检查出并行程序中存在的死锁,并能启发如何消除死锁.并行流程图在检查死锁的方便性、消除死锁的启发性、实际应用的可行性和对并行算法思想的描述性等方面明显优于已知的Petri网分析法。
1995, 6(zk):187-193.
摘要:本文给出一种包含多种继承行为的、非常灵活的代码复用机制——广义继承,通过给出其操作语义和一个支持类间子类型关系确认的类机制.为其在面向对象程序设计语言中的实现奠定了基础.
1995, 6(zk):194-201.
摘要:本文首先简述GITB shell的结构与功能,继而着重提出以“指标体系”为引导的知识获取策略及成卷知识的层次结构和表示,然后介绍了试卷设计的推理机制,建立了面向试卷模式的试卷设计任务分解、分层随机启发式和冲突求解等求解策略.
1995, 6(zk):202-206.
摘要:本文采用面向对象的思想提出了描述管理信息系统(MIS)的一种体系模型,给出了在软件开发过程中如何获取体系模型中各组成部分的准则和方法,并应用于实际开发项目中.
1995, 6(zk):213-218.
摘要:随着电子产品迅速发展,设计涉及的信息量日益增大,数据格式种类繁多,工程和设计数据管理系统已越来越成为电子产品CAD框架的关键构成部分.本文提出以面向对象方法管理框架系统中的工程和设计数据,对其中的关键部分数据模型作了研究,并给出了DDL实现.该系统已应用到电子CAD框架系统中。
1995, 6(zk):219-225.
摘要:本文讨论了信息系统中的几个关键问题,包括一些重要概念:认知体系、可重用构件库、Form(表格)数据结构及其控制语言等.所建议的方法分为3个阶段.第1步是由角色法仿真人工系统,第2步是构造可重用构件库,即基本级、Form级和专用级,最后是生成实际运行系统.本文侧重于面向对象的概念它已成功地用于几个大型MIS系统.
1995, 6(zk):226-230.
摘要:随着计算机技术的迅猛发展,MIs系统被广泛地应用于各行各业.本文提出一种程序生成技术,旨在提高MIs系统的开发效率和开发质量.本方法是基于构件库设计思想,首先设计出各种构件类脚本描述,用此可自动生成各种程序模块.用这种方法和技术,已成功开发出多个MIS系统,通常只需在2个月内就可完成大型信息系统的设计和生成工作.
1995, 6(zk):231-237.
摘要:面向对象的软件构造过程中的一个关键技术是对象的描述.本文介绍的ADL语言就是用于描述软件对象的基本特征.一个ADL对象定义分为两部分:其一是对象规范,它在抽象数据域上描述对象的语义特征,用逻辑公式规定对象的状态和行为约束.另一是对象体,它由开发者选用相应的某种实现语言和算法给出对象规范的具体实现,同时给出从抽象数据到具体数据的映射关系.
1995, 6(zk):238-245.
摘要:CPDL Level 2是一个面向彩色印刷的中文页面描述语言解释器,它与PostScriptLevel 2兼容.本文介绍了CPDL Level 2的虚拟机模型、层次结构和执行流程,并讨论了它的运行环境和效率.
1995, 6(zk):246-252.
摘要:本文举例说明了拟双线性方程展开算法中利用常数项逐次生成新的常数项,直至新的常数项不再增加为止的这一迭代过程有可能不终止,并提出了改进办法,将拟双线性方程的等价变换定理推广至拟双线性方程组,根据拟双线性方程组等价变换定理以及改进的拟双线性方程展开算法设计了拟双线性方程组的展开算法.
1995, 6(zk):253-257.
摘要:STREAMS是UNIX操作系统中一种新的字符I/O机制,利用这种机制实现网络协议具有程序开发容易、可移植性好、易于集成的特点.本文阐述了关于STREAMS的组成和原理的几个基本概念,给出了用STREAMS实现IP协议的总体设计,讨论了实现中的重要细节.
1995, 6(zk):258-265.
摘要:文章分析了编译实现函数式程序设计语言的主要技术,总结出函数式语言实现方法的两条设计准则:(1)简化函数调用处理的同时,减少被延迟求值参数所占用存储空间及其占用时间;(2)通过程序变换减少函数式程序的特殊语言现象.使其适应冯·偌依曼机的结构特征.文中介绍了几种新的编译技术以及采用这些技术实现的一个函数式语言编译系统.
1995, 6(zk):266-273.
摘要:LKo是一个将面向对象和逻辑范型相结合,用于基于知识系统的形式化开发模型,其中逻辑对象是集状态、约束、行为、继承于一体的抽象实体.它支持框架、规则、语义网络、黑板等多种知识表示,因而可用来形式地描述基于知识系统的需求规范.在知识获取过程中通过对形式规范反复地修改、验证及确认而形成软件原型.
1995, 6(zk):274-280.
摘要:本文结合数据流图编辑工具开发过程的描述,阐述了一个责任驱动的面向对象开发方法的基本思想、实施框架和记号系统.这一方法强调软件是对现实的模拟,软件开发应从问题理解人手,以对象在问题中所承担的责任来驱动软件的开发.这一过程包括反复循环的5个步骤:划分主题、标识对象类、建立联系、定义服务和定义属性.通过行为分析,获得问题的主题划分,从而引导标识与问题相关的对象类及其相互联系,并指导定义其属性和服务,由此获得未来系统的一个清晰的分层模型.
1995, 6(zk):281-291.
摘要:本文给出了一个基于二进小波变换的多尺度双眼视觉匹配算法.对原立体图对进行二进小波变换,得到原图对的一个多频道表示;对变换系数的分析使我们得到了有效的消除噪声,再提取出边缘的方法,提出的边缘作为对应点匹配的基本特征是恰当的.匹配的一些基本约束,如边缘方向大致一致等,已经包括在小波变换的系数中,更为重要的是我们在小波变换系数上推导出4个有效的新的约束——平滑分量梯度约束和平滑分量Laplace约束,由粗及精的多尺度控制策略得以自然引入,使得引起误匹配的可能对应点大量减少,从而提高了匹配的精确度和速度,鲁棒性增
1995, 6(zk):292-300.
摘要:本文对软件工程方法学发展各个阶段主要的方法论做了简单的评述,并展望了软件工程今后发展的方向,同时举例说明了以此为指导思想进行软件自动构造的方法.