UHDL语言及其编译器的设计与实现

本文介绍了一种通用硬件描述语言——UHDL及其编译器的设计与实现。该语言具有多层次硬件描述能力,良好的程序设计风格和丰富的数据类型,能够支持从系统级到门级的模拟过程。该语言编译器已在MICRO—VAXⅡ上用C语言实现。为了较好说明UHDL语言及其编译器的性能,本文各部分均给出了相应的示例。     

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

基于WWW的分布式计算

介绍了基于ＷＷＷ（Ｗｏｒｌｄ ｗｉｄｅ ｗｅｂ）服务,在Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算模式上采用分布对象技术和ＣＯＲＢＡ（Ｃｏｍｍｏｎ ｏｂｊｅｃｔ ｒｅｑｕｅｓｔ ｂｒｏｋｅｒ ａｒｃｈｉｔｅｃｔｕｒｅ）,并采用分布式计算语言Ｊａｖａ进行编程实现的企业分布式计算模型。Ｊａｖａ增强了ＷＷＷ的交互性,但它并不是一种解决Ｃ／Ｓ系统中互操作对象透明性的有效方法。当Ｊａｖａ和分布对象技术结合起来时,形成了     

一个C程序切片系统的设计与实现

针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖、控制依赖和程序依赖等。在分析Ｃ程序的程序依赖性的基础上，介绍了作者设计并实现的一个Ｃ程序切片系统，其中包括系统的概要设计思想，系统中使用的数据结构以及切片生成算法。Ｃ程序切片系统不仅可用于产生Ｃ程序的切片，而且可用于观察Ｃ程序的框架结构和有关变量的多种数据字典。所有这些结果，为Ｃ程序的测试、排错与维护提供许多有用的信息，对Ｃ程序的并行性检测、波动分析和复杂性度量提供有力的支持。     

基于神经网络的ICAI软件的设计与实现

介绍了一个在Ｗｉｎｄｏｗｓ９５平台上用ＶｉｓｕａｌＣ＋＋５．０开发的基于神经网络的信号与系统课程的智能化计算机辅助教学（ＩＣＡＩ）软件设计的基本原理及其关键技术的实现。该软件针对人类教学过程中的智能模拟问题,将神经网络和专家系统两大先进技术相互融合在一起采用面向对象的设计是界面友好、算法透明、程序易于维护、是计算机辅助教学课题的一个成功实例。     

全对称Jacobi矩阵的一类特征值反问题

讨论全对称Ｊａｃｏｂｉ矩阵的如下反问题ｂＪ：给定两个互异实数λ，μ和两个ｎ维非零实向量ｘ，ｙ。构造一个ｎ阶全对称Ｊａｃｏｂｉ矩阵Ｊ（Ｓ）ｎ，使得（λ，ｘ）和（μ，ｙ）是Ｊ（Ｓ）ｎ的特征对。即Ｊ（Ｓ）ｎｘ＝λｘ，Ｊ（Ｓ）ｎｙ＝μｙ文中导出了问题ｂＪ有唯一解的一个充分必要条件。给出了求唯一解的一个算法。     

采用新翼型的函道螺旋桨气动特性实验研究

对国内、外螺旋桨翼型研制和发展的情况作了简单回顾后对分别采用ＮＰＵＰＲ翼型及ＮＡＣＡ－１６翼型设计的四种螺旋桨方案的气动设计方法作了简单说明，同时介绍了用这些方案进行风洞实验研究的主要结果，这些结果与计算结果相一致。此外，计算和实验结果表明：ＮＰＵＰＲ翼型设计的螺旋桨明显优于用ＮＡＣＡ－１６翼型设计的２方案，而用ＮＰＵＰＲ原翼型的Ｋ、Ｚ方案又明显优于应用户要求修型的１方案。     

持久性在面向对象语言中的扩充

持久性是传统程序设计语言所缺乏的,它是程序设计语言中值得重视的一个要素,面向对象语言是当前表达能力和建模能力最强的一种语言,持久性与面向对象语言的结合将能够提供一个计算建模和数据建模、数据处理和数据管理的一体化语言环境。本文介绍了持久性程序设计的发展及其相关的概念,包括持久性与数据类型的正交性;讨论了持久性与面向对象语言结合中的有关问题,如对象标识及对象指针持久性等问题;同时给出了一个在面向对象语言基础上扩充持久性的实现描述,重点在其组织结构、内外存映射及其工作过程。     

DOS多任务远程通讯系统的设计与实现

本文介绍作者在ＤＯＳ上开发的多任务远程通讯系统，它可以实现微机之间的远程数据传送、命令控制、定时收发等功能。该程序常驻内存，在后台进行数据通讯。在数据传送期间用户仍可执行ＤＯＳ命令或继续执行程序，在ＤＯＳ上实现了多任务的并发。该系统具有与程序员和用户的两套接口，用户通过命令调用其功能，而程序员可在汇编，Ｃ，ＦＯＸＢＡＳＥ等语言源程序中实现后台数据通讯。     

电涡流激振圆管的试验研究

ＪＤＺ－３型电涡流激振是研究外覆纤维合材料薄壁金属圆管振动特性的激振源，本文阐述了电涡流激振的工作原理，性能特征及其在研制过程中所进行的各种试验，如涡流感应头结构型，恒磁路系统，激振器与试件之间的间隙，交流激磁强度和感应头激磁线圈的设计等。还介绍了激振器与功效的阻抗匹配，最后，用该设备对六种不同圆管进行激振试验，取得了良好的结果。     

带时间参数的面向agent的程序语言AOPLID

对面向ａｇｅｎｔ的程序设计语言ＡＯＰＬＩＤ进行时态扩充,使之能表达并处理带时间参数的并发行动。对经典情境演算进行适当改造,使之能描述含时间变元的行动,因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程,因此可以将一个持续动作分解为两个时间上互不相交的瞬时动作,再引入一个新的关系流刻画这两个瞬时动作的执行情况,从而可在扩充后的情境演算中表达带时间参数的并发行动;对已有的ＡＯＰＬＩＤ离线解释器进行了适当改造与扩充,使之能执行带时间变元的ＡＯＰＬＩＤ程序;通过实例说明了该方法以及扩充后的一些语言特色。     

在J2EE平台上开发电子政务系统的建模方法研究

阐述了我国建立电子政务系统的必要性；针对电子政务系统的特点，把J2EE(Java2 platform enterprise edition)平台和UML(Unified modeling language)建模方法引入到电子政务系统的开发中，设计出J2EE平台上电子政务系统的构架；在指出传统建模方法不足的基础上，根据此构架．给出了如何采用UML和Rational Rose实现J2EE平台上开发电子政务系统的建模方法．并通过实例验证了该建模方法的可行性。研究表明：在J2EE平台上开发电子政务系统，采用UML作为建模语言、Rational Rose作为分析、设计工具，可以完成从系统分析到系统设计、编码的完整过渡，从而可开发出高质量、可复用、可扩展的电子政务系统。     

C语言开发数字飞行控制系统软件

为跟踪90年代采用高级语言开发飞控实时控制软件的总趋势,本文以C语言开发某直升机数字飞行控制系统控制律为例,对高级语言开发实时飞控软件作了初步探讨,叙述了方法步骤、仿真验证手段及其结论。     

转动旋翼模型动柔度的试验研究

介绍测定转动旋翼模型动柔度的试验方案、试验程序，综述以作者自行设计的旋翼模型进行试验所得到的结果及其与理论计算结果的比较。结果表明，试验方案与方法是可行的，理论计算公式是正确的。     

面向对象有限元程序的设计及工程应用

在综述面向对象有限元软件研究现状的基础上，主要介绍了作者用ROSE软件工具、采用UML建模语言和C^＋＋语言所编制的面向对象有限元程序（Object-oriented finite element program，OOFEP），对产生的类作了必要的说明，对OOFEP软件框架的建立、程序C^＋＋代码的产生过程作了阐述，最后OOFEP程序进行某型号发动机某级压气机盘的应力应变分析。尽管目前的OOFEP程序的功能有限，但包含在OOFEP之中的面向对象的机制使得它比较容易扩充所需功能而日趋完善。研究工作表明：面向对象方法很适合于进行有限元程序的框架设计和代码编制，所编制的OOFEP程序可以对工程问题进行初步的应力分析计算。     

中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。     

一种高性能的医学专家系统开发工具KBGML语言

介绍ＫＢＧＭＬ语言的设计思想，它包括ＫＢＧＭＬ各语句功能和格式的设计，特别是知识处理语句的设计，ＫＢＧＭＬ的解释系统的结构和工作原理的设计以及应用实例等。ＫＢＧＭＬ语言以知识处理为核心，具有第四代语言的特征，它有很强的知识处理能力，能自动构造和管理知识库。它具有较高的软件设计水平，能满足不同水平用户的需要，它还具有自然性、灵活性和领域通用性。ＫＢＧＭＬ语言是知识工程、语言编译和数据库管理等技术的集成体，它是一个在理论上和实用上很有研究价值的课题。     

多种程序语言在跨声速翼型风洞中的应用

本文从跨声速翼型风洞实验数据处理的特点出发,说明开发多种程序语言的合理性、必要性及其意义,并对各语言间(主要是 dBASEⅢ 与高级语言间)相互数据的传递方法作一分析讨论。