支持多窗口屏幕的改进型OPS5解释器

OPS5是一种专家系统开发工具。我们改进了OPS5解释器,使之能支持多窗口屏幕。本文论述了在IBM-PC系列机上运行的改进型OPS5解释器的改进方法和实现原理。     

一种基于规则的系统的软件体系结构的实现分析

1.引言基于规则的系统或者称为专家系统、产生式系统是一种重要的应用系统,它广泛的应用于医疗诊断、航空航天、实时监控和辅助决策系统等关键领域中。国外在这方面的研究工作开展得较早,并且开发了一些产生式开发工具,如MYCIN,OPS5/OPS83,SOAR,CLIPS等,其中MYCIN是由美国斯坦福大学开发的一个帮助内科医生诊治感染性疾病的专家系统,于1978年最终完成。OPS5是由卡内基·梅隆大学的J.McDermontt和A.Newell等研发的一种基于规则的通用型工具,自1975年问世以来己有多个版本,如OPS5,     

从行为描述到结构描述的自动综合

本文详述了北京理工大学DA实验室开发的从行为功能级描述到结构描述的自动综合系统的设计与实现。该系统接受DDL语言,并通过翻译、数据通路综合、控制部分综合及硬件约束等几个变换过程,生成由器件库中存储的、与实现技术相关的硬件模块组成的结构描述。该系统是采用专家系统设计支持工具OPS5实现的,文中将重点介绍数据通路综合专家系统的实现。     

基于发布/订阅中间件的时空事件检测研究

摘要:许多物联网应用根据带有时空关系约束的事件决定其下一步的动作.为了支持物联网应用检测这些时空事件,构建了发布/订阅中间件OPS4ST.OPS4ST允许用户在订阅中表达事件之间的多种时序、空间和逻辑关系;同时实现了时空事件的分布式检测,其能高效地检测到用户在订阅中所关心的时空事件是否发生.通过模拟实验评估了系统的性能和开销,实验结果表明,OPS4ST具有令人满意的性能和可接受的开销.     

GKD—PROLOG／SUN模块系统的设计与实现

模块化是大型程序设计的关键问题之一。本文在GKD—PROLOG/VAX解释器的基础上,详细分析了PROLOG模块系统的基本语法,知识的模块封装,信息隐藏等特性,实现了GKD—PROLOG/SUN模块系统,该系统以国际上流行的QUINTUS—PROLOG为蓝本,在解释器一级直接支持模块的动态及静态创建,模块间的交互及模块系统运行环境间的切换,使PROLOG适用于大型软件课题的需要,本系统不仅支持模块化的程序设计风格,也为实现面向对象的逻辑程序设计环境奠定了基础。     

基于网络的自适应超媒体学习支持系统的研究

针对现有网络学习支持系统不能很好满足学习者个性化学习的需要,我院构建了基于网络的自适应超媒体学习支持系统模型,它是在现有的网络学习支持系统上增加了自适应交互处理模块、自适应教学处理模块、本体推理模块和规则推理模块。本文详细探讨了此模型的自适应支持功能,如为学习者创设动态的自适应学习环境,提供自适应的导航系统和自适应的内容支持等,并给出了自适应学习处理过程。     

基于Java的气象管理系统设计

在信息量剧增的时代,我们需要从数据中获取信息来分析和预测天气情况,因此设计基于Java的气象管理系统,采用B/S模式,并运用Java语言完成编写,系统主要包含三个模块,分别为天气预报模块、自然灾害预警模块、全局观测模块等.该系统为城市提供气象信息支持,在预防城市发生自然灾害中发挥重要作用.     

一种支持PXA270的BSP的设计

提出了一种支持PXA270的性能稳定、功能全面、剪裁方便的BSP软件的设计,给出了模块的划分和各模块的流程图,结合项目实践解析了设计中的关键问题。     

基于嵌入式系统的手机编程开发平台

为满足研究和教学的要求,设计了一个能满足教学和开发双重需求的手机编程开发平台。手机编程开发平台具有手机功能设计和应用开发所需要的全部硬件支持,软件系统支持WinCE和Linux。硬件平台由通信模块、ARM处理器模块、彩色显示和键盘模块以及输入/输出模块等组成;软件平台包括Bootloader、嵌入式操作系统以及GUI。实际测试证明,该手机编程开发平台满足了设计要求,具有很高的实用价值。     

Gdel语言对现代软件工程方法的支持

文章以一种新型的逻辑程序设计语言——G+del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。G,del语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件设计的一些主流方法。模块系统提供了组织大规模程序的方法,并通过结合类型系统实现了对抽象数据类型程序设计的支持,从而能够支持面向对象程序设计;延迟计算则使利用该语言所编制的软件在可重用性方面获得提升。     

Goedel语言对现代软件工程方法的支持

文章以一种新型的逻辑程序设计语言——Goedel语言为例，对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。Goedel语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制，能够支持现代软件设计的一些主流方法。模块系统提供了组织大规模程序的方法，并通过结合类型系统实现了对抽象数据类型程序设计的支持，从而能够支持面向对象程序设计；延迟计算则使利用该语言所编制的软件在可重用性方面获得提升。     

基于LabWindows存储器模块测试系统的架构及软件设计

随着以计算机为核心的测量技术理念不断创新,设计了一个软硬件协同的存储器模块自动化测试系统,实现了对多类型存储器模块,包括符合某航空标准总线的存储器模块以及非标准类型的专用双口通信模块、串行存储器接口模块、并行存储器接口模块等多种类型的存储器模块的功能和性能测试;该测试系统的硬件基于NI公司的高速波形发生器板卡,在软件的控制下产生测试信号并对存储器模块的响应进行收集分析;软件基于LabWindows平台,设计了三层多线程软件架构,提供数据库支持,提高了测试系统自动化程度;在长时间硬件和软件测试后该系统已投入应用,结果表明系统运行稳定可靠;文章重点讨论了该测试系统的架构和软件的设计及实现。     

3^＋网络系统支持环境剖析

本文在对3 网络系统支持环境软件深入剖析的基础上,就其功能、结构、实现技术和各模块之间的调用关系等对有关模块软件进行了概括的总结,并且论述了各模块在整个网络系统中所处的地位和所起的作用。     

G(o)del语言对现代软件工程方法的支持

文章以一种新型的逻辑程序设计语言--G(o)del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨.G(o)del语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件设计的一些主流方法.模块系统提供了组织大规模程序的方法,并通过结合类型系统实现了对抽象数据类型程序设计的支持,从而能够支持面向对象程序设计;延迟计算则使利用该语言所编制的软件在可重用性方面获得提升.     

嵌入式操作系统对多处理器的支持

本文以RTEMS为例，通过对源代码的剖析，深入探讨嵌入式操作系统对多处理器系统的支持。主要通过多机支持模块的数据结构，实现机制，以及流程来阐述。     

OPS83特点分析及其在CAE中的应用

产生式系统OPS83是一种通用的编译型人工智能语言。本文对OPS83的特点、结构和工作原理进行分析,并探讨了它在计算机辅助教育(CAE)中的应用方法。     

基于知识的机器人规划系统KBROPS-1的OPS83实现

本文在已采用OPS5实现的基于知识的机器人规划系统KBROPS-1的基础上,讨论了同样世界模型下,KBROPS-1的OPS83实现,并对其规划过程及规划结果做了分析。     

WCDMA基站下行专用信道基带处理模块的一种实现方案

本文根据3GPP相关协议对WCDMA基站下行专用信道基带处理模块数据处理过程及影响基带处理模块实现的关键特征进行了详细分析，针对一个同时支持16路下行专用信道基带处理模块设计目标，提出了采用多DSP处理器结合大规模FPGA的“三阶段前向流水式”实现方案，并给出了实现方案的设计框图。     

OPS5解释器的功能改进

OPS 5是一种用于人工智能,专家系统和认识心理学领域的产生式系统程序设计语言。本文在剖析OPS 5解释器的基础上,详细阐述了它的实现原理,并对该解释器的功能做了若干改进。     

西门子全新推出功率模块和控制单元——Sinamics G120模块化变频器系列

西门子Sinamics G120模块化变频器产品系列推出两款新型功率模块和一款新型控制单元。作为对整体系统加强的一部分,西门子全新推出的模块包括新一代PM240-2 FSA和PM230 IP20功率模块,这两款模块均在可实现更高功率密度的全新硬件平台上研发。由于支持穿墙式安装,这两款新型功率模块可以实现创新的冷却解决方案。CU240E-2控制单元支持自动化以太网标准的Profinet通信选型,这有利于实时执行基于以太网的创新系统设计。Sinamics G120模块化变频器系统的性能显著增强。PM240-2 FSA功率模块