KEDE—一个集成化的知识工程开发环境

KEDE是一个知识工程开发环境,它将框架、语义网路、生产式规则、逻辑及面向对象等知识表示有机地结合在一起,具有多种推理机制和程序设计风格,提供友好的用户界面,从而构成一个功能强、使用方便的集成化知识工程开发环境,用于开发各种复杂知识的大型专家系统。本文概述了KEDE系统的总体框架,并讨论了集成化的知识表示方法和实现策略。     

前言

国家863高技术计划的实施给我校计算机系的科研和教学带来了繁荣。自1988年以来至今,计算机系前后共承担了15项课题,获得经费2百多万元。这些项目的开展使计算机系的科研和教学水平迈上了一个新台阶,为国家培养了一批优秀的高技术人才,大大     

CPC环境下产品概念设计集成知识模型的研究

在概念设计阶段,为了加强对设计供应链的重视和全面的知识表达,将软件组件技术应用于概念设计,建立了概念设计的集成知识模型.以此为基础,研究了CPC(Collaborative Product Commerce)环境下概念设计的技术路线和实现方法,并基于CPC环境开发了一个计算机辅助概念设计(CACD)原型系统.     

型号应用软件的图形后处理技术

以卫星型号应用中的程序为例,介绍了在Ｓｕｎ工作站上如何通过对Ｆｏｒｔｒａｎ及Ｃ语言、库程序Ｘｌｉｂ、工具包ＸＶｉｅｗ进行混合编程,对Ｆｏｒｔｒａｎ程序的运行过程进行图形化的方法。     

天宫一号目标飞行器控制计算机的设计与验证

与载人航天一期＂轨道舱＂相比,载人航天二期天宫一号目标飞行器对控制计算机的功能、性能和环境适应性都提出了更高的要求.依据GNC分系统对控制计算机的功能与可靠度需求,介绍天宫一号目标飞行器控制计算机的容错方案、硬件设计、系统软件设计、可靠性分析和试验验证情况,地面验证结果表明：天宫一号目标飞行器控制计算机设计满足GNC分系统的需求.     

人工智能技术在嵌入式代码审查中的应用与展望

代码审查是航天嵌入式软件开发中的重要环节.近年来,随着嵌入式软件开发需求的增多,传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力,提升审查效率,研究者们逐渐将目光转向以深度学习技术为首人工智能领域,尝试寻求技术上得突破,以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动,即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况,对未来代码审查的发展方向作了进一步的探讨.     

嵌入式软件智能合成框架及关键科学问题

程序合成是提高软件开发效率和质量的有效途径，也是计算机科学重要的前沿方向之一。首先，概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上，提出了软件知识产权(intellectual property, IP)的概念和一种基于软件IP的嵌入式软件智能合成开发模式(IP-based embedded software intelligent synthesis, IPESIS)及其框架。最后，阐述了IPESIS需要解决的关键科学问题和主要研究内容。IPESIS通过定义领域需求描述语言，在更高的抽象层次上对目标软件进行刻画，以软件IP为粒度缩小程序搜索空间，采用机器学习等人工智能技术自动合成程序，有望突破现有方法的局限，进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变。     

产品概念设计网络求解的评价算法研究

产品概念设计是一种复杂的推理求解过程,它的设计过程的推理、判断工作量往往非常巨大.利用"与/或"树的知识表达方法,对产品概念设计过程的原理解答及其组合原理方案评价进行了深入的研究,提出了一种分解/综合网络评价算法,为产品概念设计过程的优化以及设计效率的提高打下良好的基础,并为进一步开发智能设计的计算机软件支持工具提供了一种形式化的评价方法.     

Study on Evaluating Arithmetic of Network Solving for Product Conceptual Design

产品概念设计是一种复杂的推理求解过程 ,它的设计过程的推理、判断工作量往往非常巨大 .利用“与 /或”树的知识表达方法 ,对产品概念设计过程的原理解答及其组合原理方案评价进行了深入的研究 ,提出了一种分解 /综合网络评价算法 ,为产品概念设计过程的优化以及设计效率的提高打下良好的基础 ,并为进一步开发智能设计的计算机软件支持工具提供了一种形式化的评价方法 .     

浅谈大型企业柔性共享计量测试平台构建

为应对数字经济时代的挑战，抓住新一轮科技革命和产业革命的发展机遇，国家计量发展规划指出建立国家现代先进测量体系，鼓励打造智慧计量实验室实施管理模式转型升级。文章围绕面向网络化、智能化重塑核心竞争力为背景，分析计量行业面临数字化转型的迫切需求，以信息技术为基石，以数据为驱动力，研究架构协同开发基础环境、智能计量业务环境和智慧数字管理环境，整体构建集开发、测试、服务为一体的柔性共享计量平台，重构技术体系、产品体系和服务体系，实现运营智能化、测试自动化、产品数字化、服务敏捷化，提升计量实验室的管理效率、人员能力和价值创造能力，为可持续高质量发展提供重要支撑，为大型企业计量实验室数字化转型提供参考。     

国家重点实验室──软件开发环境实验室正式通过国家验收

国家重点实验室──软件开发环境实验室正式通过国家验收北京航空航天大学软件开发环境重点实验室经过近四年时间的精心筹建，于１９９５年１２月１８日正式通过国家验收。北航软件开发环境实验室是国家计委利用世界银行贷款建立的１５０个国家重点实验室之一，是研究智能...     

频率合成参数自动测试系统

主要介绍频率合成参数自动测试系统硬件组成及工作原理。通过较详细地介绍频率准确度的表征和频率稳定度的表征来说明测试程序中各参数的计算方法所依据的理论根据，并对主要仪器的诊断程序作了简要介绍。系统采用ＡＳＴ３８６／３３＋ＧＰＩＢ接口板作为系统控制器，ＧＰＩＢ接口板采用成都电子科技大学研制的作为个人计算机辅助测试（ＣＡＴ）工作站的接口板，测试程序采用ＥＳＢＡＳＩＣ语言，该语言是成都电子科技大学在ＧＷＢＡＳＩＣ的基础上，加进了ＧＰＩＢ控制和测试语句而研制的。该语言功能强，尤其对带有ＧＰＩＢ接口的仪器操作特别方便，并可在汉字操作系统下运行，各种曲线绘制程序采用图形语句功能较强的ＱＵＩＣＫＢＡＳＩＣ语言。     

机载电子干扰计算机模拟

结合防空电子干扰具体战术，用突防概率对防空系统突防进行计算机模拟，给出了计算机模拟突防过程的流程图及模拟曲线，并重点论述了防空电子干扰系统计算机模拟的程序设计。     

基于OOPN的实时软件开发方法与环境的研究

实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难,那么多处理机实时软件的开发就更加困难.为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境.该方法以一种直观的图形方式(面向对象Petri网)辅助多处理机系统软件开发,在此环境下可完成高效的软件开发和获取安全可靠的软件结构.      

美国国家标准局(NBS)成立计算机科学技术研究所

美国国家标准局(NBS)于最近成立了计算机科学技术研究所(The Institutefor Computer Science and Technology)该所任务除进行有关的研究工作外,还根据指令或合同为美国各联邦局在计算机选型、应用技术以至制订政策等方面提供谘询。其目的为提高计算机使用效率和经济效益。该所包括二个中心,即程序科研中心和计算机系统工程中心。该所成立以来公布的科研成     

一种星载控制计算机智能容错方法

  深空探测任务对星载控制计算机的智能性、环境适应性和自主性提出新的需求。介绍目前星载控制计算机容错方法的进展情况,提出可进化硬件容错这种可用于星载控制计算机容错设计的智能容错方法,给出该方法的三种实现结构,即并行结构、串行结构和具有故障检测功能的串行结构,并对各种结构进行分析和比较。最后,用仿真验证平台验证了串行结构的可行性和容错性。     

低速溅射小行星表面采样的动力学仿真

开发了适用于小行星环境的大规模三维离散元程序DEMBody,针对低速射弹溅射表层风化层的小行星采样方案,仿真了相同质量不同形状的射弹在微重力环境下垂直射入颗粒床的过程,研究了溅射物质在采样器中的运动历程及最终收集质量与射弹形状的关系。结果表明,90°锥形射弹的采样效率最高。     

空间电子设备辐射屏蔽方法的研究与软件实现

研究了空间电子设备辐射屏蔽分析的方法,利用计算机辅助设计(CAD)技术和软件开发工具,将复杂繁琐的计算过程编写成流程化的程序;利用三维CAD技术的二次开发功能,从Candence软件生成的记录文件中提取出信息,在计算机图形环境中高效自动地生成电路板模型;借助计算机交互技术,实现剂量点坐标的自动提取和保存;利用办公软件个性化设置功能,设计出提取背景信息的接口,实现了最终报告文档的自动生成.开发出的软件最终成功地实现了在不同结构和布局的空间电子设备中,在不同方向和位置上累积的空间带电粒子剂量值的计算,为电子设备结构的抗辐射设计提供了参考和依据.     

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

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

飞控系统虚拟设计环境

开展面向设计的飞控系统虚拟原型机开发环境研究,提出了飞控系统虚拟设计环境的3层次结构:第1层为运行管理层,以数据库为基础,其核心为PDM(产品数据管理)软件.第2层为虚拟技术层,提供余度飞控计算机、舵回路、传感器等的虚拟原型的生成.第3层为仿真支持层,支持人在回路的仿真验证.分析了实现每层功能的关键技术,并基于该虚拟设计环境,完成了虚拟四余度飞控计算机的设计和验证,使该开发环境具有面向主要结构参数、性能参数、价格参数的虚拟余度飞控计算机系统生成功能.