北京航空航天大学学报

姓名
邮箱
手机号码
标题
留言内容
验证码

李未

1998, 24(4): 373-381.

摘要参考文献相关文章资源附件访问统计 icon

下载 (424KB) 903

摘要:
分析了归纳推理与演绎推理的区别, 给出了归纳推理的形式化规则,定义了重构和归纳进程(序列)的概念.同时还给出了一个产生归纳序列的归纳过程模式,并证明:若已知模型M的全体实例集合ε_M,则可以从任一给定的理论出发, 使用此归纳过程模式所产生的所有归纳序列都收敛于同一极限,这个极限就是模型M的全部真语句. 这说明了归纳推理规则的合理性.

一种面向机器翻译的知识库求精机制

郭宏蕾, 李未

1998, 24(4): 382-385.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (337KB) 971

摘要:
给出了一些知识库求精原则;提出一种面向机器翻译的知识求精机制,以错误严重性为指示器,优先求解最严重的错误,并以系统有效性和知识收敛粒度的变化为依据衡量求精操作的可接受性;给出了基于案例的错误辨识策略以及基于聚焦修正的概化、特化操作.

基于小波域的分形图像压缩

李波, 雷振宇

1998, 24(4): 386-390.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (124KB) 965

摘要:
在分析产生块效应原因基础上,定义了一种度量块效应的客观方法.为了消除传统分形图像压缩中产生的块效应,提出先将原图像变换到小波域,再进行分形压缩.这种方法既继承了传统分形图像压缩的编码原理,又利用了小波变换的优良特性,从而取得了更好的压缩效果.此外,根据小波系数的能量分布特征,提出了一种加快相似匹配的方法.

非单调语义网络中继承的信任理论

马殿富

1998, 24(4): 391-394.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (300KB) 709

摘要:
描述了一种新的具有例外的多继承语义网络推理方法——继承的信任理论,这是一种很具有吸引力的可废止继承方法.它应用于非循环语义网络的继承的分析,能够产生适合于继承直觉的非多义性结论.文中还讨论了Etherington的基于缺省逻辑的继承理论,提出了继承信任理论和继承信任缺省逻辑.给出了继承信任逻辑的性质,并且证明了构造继承信任缺省逻辑理论的唯一扩张是递推过程.信任理论的扩张能够快速求解.这种快速推理算法可以应用于专家系统推理.

类比推理协处理器设计中的加速策略

沈旭昆, 赵沁平

1998, 24(4): 395-398.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (86KB) 856

摘要:
分析了实现高效的嵌入式类比推理协处理器系统ARC(Analogical Reasoning Coprocessor)所面临的困难,在软件模拟、测试、验证的基础上给出了提高ARC效率的解决方案.由于ARC采用了符合类比推理机制的处理器体系结构和加速策略,推理速度有了大幅度的提高.

IDSS中数据仓库和数据挖掘的研究与实现

王冰清, 怀进鹏

1998, 24(4): 399-402.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (365KB) 1137

摘要:
讨论了数据仓库、数据库知识发现和分布式对象的概念和技术,提出了一种集成化的IDSS(Intelligence Decision Support Systems)的开发环境,将传统的DSS四库结构与数据仓库相结合,把数据挖掘作为一种特殊的模型应用于数据库中的知识发现.同时,在系统实现上采用分布式对象技术,实现接口规范和应用程序相分离.最后进一步对数据仓库的设计与实现及数据库知识发现的设计与实现进行了介绍.

企业信息系统领域的软件建筑模型

陶伟, 陈羽中, 麦中凡

1998, 24(4): 403-406.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (87KB) 812

摘要:
将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.

UML软件开发过程和支持环境研究

张莉, 葛科, 王云, 周伯生

1998, 24(4): 407-410.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (88KB) 1433

摘要:
从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(Unified Modeling Language),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题.

面向对象程序可视化类图的逆向自动生成

刘超, 李健, 沈海华

1998, 24(4): 411-414.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (85KB) 1013

摘要:
研究了逆向构造程序类模型的基本规则, 并且提出了一种可以自动绘制的、基于继承关系的层次型类图结构(inheritance-layered class diagram).在这种层次型类图上,可以清晰地展示程序中的对象类及其相互之间的继承关系、组成关系和关联关系等,并可以直观方便地对程序中定义的对象类进行各种相关性或依赖性分析.文中还介绍了一个根据上述规则和方案实现的实用工具SafePro/Re-OM.

Ada层次化并发软件模型的研究

姚淑珍, 唐发根, 金茂忠

1998, 24(4): 415-417.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (306KB) 928

摘要:
基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.

基于构件的模型库和方法库的设计和实现

王保江, 怀进鹏, 夏万强

1998, 24(4): 418-421.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (82KB) 1383

摘要:
在智能决策支持系统开发环境的分析和设计的过程中,提出了实现此开发环境的一种设计原理和系统结构,讨论了在决策支持系统设计建模中的模型库和方法库的设计和实现,在对分布式对象技术和对象建模技术分析的基础上,给出了基于对象建模技术和构件对象模型技术的模型库和方法库的分析、设计和实现.

集成化过程工程环境及其体系结构

王雷, 周宇辰, 高仲仪, 陆伯鹰

1998, 24(4): 422-425.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (412KB) 791

摘要:
现代化的企事业是一个极其复杂的集成化的人机系统,其内部运作需要基于计算机的应用系统的支持.因此本文讨论了一个以过程工程为核心的,将过程工程和软件工程融合为一体的集成化过程工程环境IPEE,提出了以过程模型为中心的IPEE的总体结构,并设计了分布式的过程运作环境的体系结构.

个体软件过程实验研究

车向东, 徐红, 马云静, 刘又诚

1998, 24(4): 426-429.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (377KB) 1002

摘要:
为确定个体软件过程PSP(Personal Software Process)在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在1997年进行了PSP的应用实验.本文首先简要介绍了PSP的原理和方法,然后给出PSP实验的结果数据,对该数据从差错率和生产效率2个方面进行了统计和分析.分析结果显示,PSP的应用对于提高软件开发效率、改善软件产品的质量有重要的意义.讨论了PSP应用过程中可能遇到的问题,指出了今后进一步的工作.

可视化系统建模语言及其在MIS开发中的应用

谭文安, 张秀国, 徐红, 陆伯鹰, 周伯生

1998, 24(4): 430-433.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (103KB) 771

摘要:
介绍了VSML(Visual System Modeling Language)的描述内容及其原语定义和行为描述,并对新完善的数据库信息处理功能进行了介绍;接着对完善后的VSML的体系结构及其功能进行了较详细的描述;然后以商业管理采购员订货系统模型作为实例,介绍了VSML的应用,最后对VSML及其进一步的研究工作进行了小结.

遗传算法在软件测试数据生成中的应用

荚伟, 谢军, 奚红宇, 高仲仪

1998, 24(4): 434-437.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (92KB) 1971

摘要:
测试数据生成是软件测试中的关键环节,它的实现对于软件测试过程的自动化具有重要意义.本文阐述了用遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术,其中讨论了编码策略、评价函数构造及插装等问题的解决方案,并重点说明了如何对遗传算子进行改进,使算法在解决本问题时更加有效.实验数据证明该方法是高效的.

Ada动态测试中遗传算法的参数编码方法

史晓华, 高仲仪

1998, 24(4): 438-440.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (77KB) 1035

摘要:
介绍了将遗传算法应用在Ada程序结构测试中,被测单元参数按照遗传算法的运算规则进行编码的原则与方法.首先,介绍了包括枚举类型和变长数组的基本数据类型的参数编码方法.由于Ada语言允许使用动态数据结构类型的参数,如何在一个较高自动化的动态测试工具中实现对动态数据结构的自动测试,成为首要关注的问题.因此文中着重介绍了Ada程序的动态数据结构在遗传算法中的编码方法.

软件测试的度量方法及其应用

邓日失, 何智涛

1998, 24(4): 441-444.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (86KB) 1186

摘要:
软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.

容错计算机的调试器设计

金惠华, 刘衍鹏, 陈永平

1998, 24(4): 445-448.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (88KB) 838

摘要:
探讨了容错计算系统的调试方法和工具结构,提出采用RTscope多任务调试工具在目标机操作系统层上完成调试的途径.说明了容错计算机开发和测试对环境的要求,给出了调试器的体系结构和完成实时通信功能的驱动程序,建立了Windows实时多任务交叉调试环境.结果表明大大地降低了系数的复杂性,使之易于开发和测试周期.

基于表面再现 Marching cubes算法改进与实现

沈旭昆, 刘晶炜, 赵沁平

1998, 24(4): 449-453.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (474KB) 952

摘要:
从医学体数据中得到对象的三维可视图像有广泛的应用领域,例如医学诊断、法医学、古人类学等.本文讨论并分析了一种基于表面再现的 Marching cubes算法的优点及存在的不足,给出了算法在时空开销、不确定性等方面的改进和解决方案,改进后的算法在实际系统中取得了良好的效果.

基于Pentium Pro的高性能BLAS的设计与实现

李忠泽, 陈瑾, 龙翔, 李未

1998, 24(4): 454-457.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (313KB) 849

摘要:
支持科学和工程计算的BLAS(基本线性代数子程序)在高性能计算中有着重要作用.本文针对Pentium Pro的体系结构特点,提出了一些优化方法使得BLAS在Pentium Pro上计算性能达到最佳.测试表明,在200MHz的Pentium Pro上BLAS3的速度可达112Mflops.

高速机群互连网络链路层协议设计

吴文峻, 向晓华, 龙翔

1998, 24(4): 458-461.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (96KB) 967

摘要:
为了设计出精简、高效的互连网络协议,实现高性能机群互连网络,提出了适合机群系统互连网络的链路层协议框架,讨论了停-等和退后N帧协议,并采用FPGA(Field programmable Gate Array)芯片分别实现了这2种协议方案,对它们的性能进行了分析.结果表明,退后N帧协议比停-等协议具有更好的性能,而且实现2个协议的逻辑电路所占用的FPGA资源基本相同.

PVM系统的统一并行调试对象模型

黄宁, 金茂忠

1998, 24(4): 462-465.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (298KB) 861

摘要:
研究了PVM(Parallel Virtual Machine)系统,利用活动(action)概念具体定义了PVM应用程序的活动,从而描述出一种新型的PVM调试对象模型,使得在调试的各阶段能够对相同的调试对象采用不同的调试方法,简化了调试工作.

分层远程网络管理

孙亚秋, 张为党, 李伟琴

1998, 24(4): 466-469.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (354KB) 762

摘要:
针对远程网络管理存在的问题,实现了一个具有层次结构的管理体系结构,在各个被管的远程网段设置次管理站,中心管理站使用网络管理过程NMP(Network Management Procedure),将管理任务委托给次管理站执行,次管理站将执行的结果返回主管理站,从而减少了管理信息流量,降低了管理费用,也减轻了中心管理站的负担.

具有强身份认证功能的通用代理防火墙系统

朱纯, 闫继和, 李伟琴

1998, 24(4): 470-474.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (397KB) 923

摘要:
针对当前网络身份认证领域中的基本理论、关键技术和主要解决方案进行了深入的研究和分析,并根据实际需求,构造了一个适合应用于园区网边界上的安全防范系统.将Kerberos身份认证系统与SOCKS通用代理防火墙系统相结合,兼具通用代理防火墙和当前强身份认证机制的若干优良安全特点,具有较高的实用价值和应用前景.

支持MEMS的CAD/CAE系统结构研究

康建初, 尹宝林, 高鹏

1998, 24(4): 475-478.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (90KB) 1016

摘要:
CAD/CAE技术在MEMS(Micro Electro Mechanical Systems)研究过程中具有非常重要的作用.本文首先介绍了用于MEMS的CAD/CAE技术特点,然后研究了MEMS CAD/CAE系统结构,给出了软件支持工具结构框图,指明了解决其中关键技术的途径.CAD/CAE技术的应用,将提高微型机电系统的设计质量,缩短研制周期,使之及早走向工业化.

基于内容的可视化多媒体查询语言的设计

龚声蓉, 熊璋, 刘旭东

1998, 24(4): 479-482.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (96KB) 897

摘要:
设计了一个基于内容的可视化多媒体查询语言CBVMQL(Content-Based Visual Multimedia Query Language),该语言将语义表达、概念化定义、面向对象的语义表示和图像示例有机地结合起来,不仅提供了一个自然的可视化查询接口,而且也支持通过自动查询生成来精确地操纵信息.同时,它还结合多媒体的内容信息,实现了基于内容的多媒体查询.

多媒体课件中教学流程和教学呈现的表示方法

刘晓东, 金茂忠

1998, 24(4): 483-486.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (366KB) 811

摘要:
引入了通用转换网络对多媒体课件的教学流程作了形式化描述,并在此基础上讨论了教学流程及教学呈现在多媒体课件写作系统中的内部表示方法.该方法将课件中的教学流程描述和教学呈现的表示相分离,使课件写作系统更加灵活;其次,引入呈现描述来表示教学呈现内容,实现了教学内容的并发呈现.本文同时给出了相应表示方法实现的内部结构.

对象Petri网模型的并发软件仿真技术的研究

唐发根, 姚淑珍, 邓焰群

1998, 24(4): 487-490.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (328KB) 1080

摘要:
并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.

一种基于面向对象Petri网的并发程序建模方法

任爱华, 牛锦中, 张永鸣

1998, 24(4): 491-494.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (395KB) 1497

摘要:
介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.

构造正则表达式的简化DFA算法

檀凤琴

1998, 24(4): 495-498.

摘要参考文献相关文章资源附件访问统计 icon

浏览量

下载 (369KB) 3029

摘要:
介绍了构造等价于给定正则表达式的简化确定有限自动机(DFA)的算法.方法是首先构造与正则表达式等价的非确定有限自动机(NFA), 这里省略了构造带ε动作的有限自动机的操作, 然后用状态树构造与该NFA等价的简化DFA.这个算法在计算机上已实现, 并且对输入的任意正则表达式, 都可以输出等价于正则表达式的简化DFA.该算法可以用于某些离散信息处理系统的设计与分析.