一种基于面向对象原理的PDM产品模型框架

面向对象技术在信息系统建模方面的应用越来越普遍 ,本文针对 PDM的发展趋势及存在的问题 ,结合面向对象技术的思想和方法 ,借用人工智能语义网络中的术语对对象与类的关系加以描述 ,分析了产品数据模型 ,并将其在 PDM系统中划分为项目、组织、工作流程、设计资源、产品类属构型、产品构型和文档等 7个视图 ;在此基础上 ,利用面向对象建模方法对各视图在 PDM中的实现进行了研究。     

一种面向对象的Petri网

柔性制造系统属于离散事件动态系统，具有实时、并发、异步等特性，由于Ｐｅｔｒｉ网模型的图形表述和数学描述，使它既可以采用数学分析，又可以通过图形形象地表述出离散动态系统，故广泛应用于制造过程动态行为建模与分析。而面向对象建模与设计是一种围绕真实世界的概念来组织模型的全新的思考问题方式，面向对象的模型能帮助对问题的理解，有助于同领域专家通讯交流。本文在Ｐｅｔｒｉ网基础上，引入面向对象技术，提出了一种面向对象Ｐｅｔｒｉ网（ＯＰＮ）模型，并以企业中的一项生产活动——二次电源生产过程为实例，建立了描述这一活动系统的完整的ＯＰＮ模型，真实地反映了系统的动态特性，从而为制造过程建模和分析提供了一个更为有效的工具     

灾害气候下交通枢纽滞留旅客转移模型仿真研究

在概要介绍应急管理和多主体仿真建模与分析工具应用情况的基础上,针对灾害气候中各重要交通枢纽(汽车站、火车站、机场)有大面积人群滞留的情况,采用贝叶斯网络和影响图作为建模工具,研究和设计了滞留旅客转移决策过程模型,并采取面向对象的设计方法,使用Java语言在R epast平台下建立该问题的多主体仿真模型。通过仿真数据分析滞留旅客在各个交通枢纽的转移模式,并提出优化方案,进而为政府应急管理决策提出政策建议。     

基于AutoLisp语言的基线转弯飞行程序设计

利用AutoLisp语言在AutoCAD平台上完成了基线转弯仪表飞行程序标称飞行航迹与保护区的设计,解决了基线转弯飞行程序设计中保护区绘制的繁琐、耗时耗力的问题,提高了基线转弯仪表飞行程序设计的精度与速度。并建立了基线转弯飞行程序设计参数的数据库,实现了基线转弯飞行程序参数化的自动存储与自动生成,最终完成计算机辅助的基线转弯飞行程序设计。首次运用数学算法解决了P点问题,为飞行程序设计的参数化自动生成做出初步的研究与探索。     

一种面向对象的产品结构与配置管理

面向对象的建模方法是目前较为先进的建模方法之一，本文针对目前产品数据管理（Product data man-agement）系统中的产品结构与配置管理模块存在的一些不足，根据面向对象建模的思想提出了一种基于一类产品的结构模型，即产品类属模型，以此为基础，提取产品类属模型中的各实体并建立相应的类，从而实现一种面向对象的产品结构与配置管理。     

发动机滑油检查专家系统的面向对象实现(英文)

对发动机滑油的检查能够给出发动机内部状况的指示.运用面向对象程序设计技术(OOP),本文开发了一个滑油检查专家系统.基于微软基础类库(MFC),该专家系统将知识库、推理机和人机界面加以重构并形成一体.为验证该专家系统,文末还给出了一个检查的例子.     

基于对象的数字地图存储管理技术

针对数字地图数据的特点，采用面向对象技术与关系数据库技术相结合的方法，构造了一个基于对象的数字地图存储管理的结构，由此实现了一个数字地图的存储管理系统。系统中对传统关系进行了扩展，使系统能存储数字地图数据；引入面向对象的方法，使系统具有表达和描述复杂对象的能力。     

动态可重配置MIS分析与设计建模研究

开发支持BPR的企业管理信息系统（MIS）的首要问题是，在系统分析和设计阶段建立能够有效描述业务过程动态变化的模型。本文提出与BPR相适应的、以业务过程为中心的企业MIS系统建模方案。以CIMOSA企业模型为基础支撑框架，对业务过程的划分进行了研究；在此基础上以面向对象方法为指导，提出了动态可重配置MIS系统分析与设计的早期阶段的基础性模型；对其基本的构成要素-对象类和它们的层次关系进行了定义和分析，并提出了进一步提取和构建更大粒度可复用单元（设计模式、组件、框架和体系结构等）的基本方向。阐述了该建模方法实现动态可重配置性的主要机制。     

网络化语境中英汉交际语言的发展及其探讨

分析了网络化语境中英汉交际语言的产生与形式,指出了影响其发展的主要因素。同时就网络化语境中英汉交际语言的规范化问题及其发展前景进行了探讨。     

CAD中面向对象数据建模的应用

着重讨论ＣＡＤ数据库中面向对象的数据建模。由ＣＡＤ应用对数据模型的需求，导出合适的数据建模特点。选择最好的数据模型的柔性方法是分析数据库存贮的数据，使应用环境的信息能很容易地映射到相应的数据模型上。通过分析相关数据，得出面向对象的数据模型在ＣＡＤ中的应用，并详细讨论其数据建模方法。最后通过应用实例，考察三维几何模型中利用面向对象技术实现数据建模的方法     

美国空军标准语言JOVIAL的分析与评价

JOVIAL语言是美国空军唯一的标准语言。本文根据作者从事军用计算机语言研究的经验,从可靠性、可读性、效率、可维护性、可移植性、可用性、简明性、抽象性以及实现等角度对JOVIAL进行了分析、评价,并将JOVIAL与Pascal、Ada等语言进行了适当的比较,最后指出了作为军用语言的JOVIAL还缺少的语言设施。     

试论高级程序设计语言的设计与评价标准

高级程序设计语言的设计与评价标准是长期以来人们一直关心并争论的问题。我们在分析了数十种很有影响的高级语言的基础上,提出了有关程序设计语言设计与评价标准的十个主要指标。本文首先介绍了各个标准指标的选择依据,并对可靠性、可读性、可维护性、效率、可用性、灵活性、可移植性、自然性、一致性与简洁性进行了详细的讨论,最后给出了一些分析实例。     

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

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

应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

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

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

裁剪曲面的参数线加工算法研究

结合开发国产化软件的实践，详细论述了ＣＡＤ／ＣＡＭ技术中有关裁剪曲面的描述及加工自动编程算法的研究。从曲面造型及加工编程的通用性角度出发，将曲面的三维几何信息映射到二维参数域上，用二维拓扑信息环来描述裁剪曲面，把各种裁剪曲面的加工编程统一为一种具有拓扑信息环的广义曲面加工编程。同时，采用环形刀计算刀位信息，可方便地推广至球头刀或平底刀的加工编程。根据预先设定的残留高度及插补误差，在编程中对刀切点和刀位点的计算进行有效控制，保证了加工编程的精度要求。从而用较简单的方法实现了对任意裁剪曲面的加工自动编程     

军用计算机语言初论

本文分析了军用软件在军事系统中的地位、军用软件的特点,讨论了军用软件的多语言态势及其潜在危险,回顾了军用语言的历史与现状,分析了军用语言的要求及必备的语言设施,最后简述了国内外有关Ada语言的研究与使用情况。     

树脂基复合材料固化过程中温度场的数值模拟

树脂基复合材料的热固化成型是一个力、热与化学反应相互耦合的过程。文中就其热固化过程中温度场分布的数学模型进行了研究,在此基础上利用有限元方法并结合OOP(Objectoriented program m ing)技术实现了对复合材料固化过程中温度场的数值模拟,讨论了板厚、升温率等因素对温度分布的影响。计算结果表明,固化过程的升温速率应根据复合材料层板的厚度加以合理地选择,以保证温度的均匀分布     

拟可微规划的约束规范和对偶问题

在经典非线性规划中，导出最优性条件的一般方法是，在给定的可行点处通过对函数的一阶逼近，将一个非线性规划问题线性化为一个线性规划问题。可微非线性规划问题的线性化过程可以自然地推广到拟可微的情形。正如在经典情况中那样，为了确保在原问题的局部极小值点处，零向量是相应的“拟线性化”问题的最优解，必须对原问题的约束函数施加所谓的约束规范。本考虑了形如min{f(x)|g（x)≤0}的不等式约束拟可微规划问题的约束规范，这里f和g是Demyanov意义下的拟可微函数。中介绍了各种约束规范，提出了一个新的约束规范，研究了这些条件之间的关系，并且引入了一个Wolf对偶问题，给出了相应的对偶定理。