基于Web服务网格体系结构及其支撑环境研究

Web服务和网格计算技术出现了日益融合的趋势,而网格体系结构是网格技术的核心,基于Web服务技术构建网格系统有助于提高网格系统的可扩展性和互操作能力.本文主要基于OGSA框架提出了基于Web服务的网格层次体系结构,给出一种Web服务与网格技术相融合的机制,为基于Web服务的网格系统设计与实现提供了一种新的方法.     

基于用户自定义变更的本体进化

提出一种基于用户自定义变更的本体进化方法。首先给出了该方法的形式化描述,建立了本体一致性模型和原子变更及冲突消解方法,然后对用户自定义变更模型进行语义描述,将用户自定义变更转换成原子变更,并对其进行了优化。最后给出了用户自定义变更及优化的实例。结果表明:本方法可以很好地满足本体进化过程中用户的复杂需求,并实现了本体变更的形式化描述,解决了各种变更中的冲突问题。     

A FORMAL REPRESENTATION FOR FEATURE-BASED DESIGN

从三个方面研究了基于特征设计的形式化描述方法：基于特征设计的基本定义、设计过程模型及设计算法。文中给出了特征分类、特征操作、特征模型验证和特征映射策略及其形式化描述方式，建立了兼顾并行工程和顺序工程设计方式的基于特征设计过程形式化描述模型，提出了基于特征的设计算法，为解决基于特征设计系统开发和运行缺乏统一方法学这一课题作了有益的尝试。     

复杂模型四轴线电火花线切割实体仿真

对线切割系统的运动和性能进行分析,计算了电极丝的最大倾角,给出了切割时电极丝、夹具和工作台之间不发生干涉碰撞的判断条件。在线切割仿真中,基于实体布尔操作实现了实体切割模型的生成。通过电极丝每步扫掠体的布尔并运算,生成切割全过程的电极丝扫掠体。再通过该扫掠体与毛坯体的布尔差运算,得到仿真实体切割模型。该方法同样适用于锥度体切割时可能出现的电极丝路径交叉的情况。文中最后给出了实例,验证了该方法的正确性。     

基于Web和层次实例推理的CAPP的研究

针对网络时代制造业企业对CAPP系统的现实要求,研究了以互联网为基础,以开放、通用、智能为特征的CAPP模型.模型采用数据库、Web服务器和客户端三层结构,实现了CAPP的在线服务.本文提出了一种称为基于层次实例推理的工艺生成方法,该方法将工艺计划分为工艺过程、工序和工步三个层次,并对这三个层次分别进行基于实例的分层推理,使工艺生成规则描述的随意性为基于粒度描述的规范性,降低了工艺规程组合和重用的粒度.由于采用基于层次的实例推理方法,使工艺生成既具派生又具创成的特征,提高了工艺生成的通用性和实用性.     

基于Petri网和UML的工作流模型设计

介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。     

并发式软件系统横切关注点的建模方法

基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法.该方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系.同时,以模块化的状态迁移系统作为基本计算模型,对该建模方法进行形式化描述,给出了模型元素及建模过程的精确语义.实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点.     

基于Web Services的并联机床制造服务系统

针对并联机床加工曲面零件的优势与目前并联机床未得到广泛应用之间的矛盾,开发了并联机床的制造服务系统。该系统将并联机床原有制造系统中的后置处理功能封装成Web services,包括编译、工作空间计算、干涉校验和运动学变换,应用面向服务的架构使并联机床的制造服务与异地制造企业协同工作,并给出了此架构下该系统的工作流程和功能模块。实例说明,应用Web services和面向服务架构的制造服务系统与传统的分布式系统相比,具有易集成性、松耦合性及易操作性,可以为企业减少成本、提高效率。     

教学实验用模型电梯的设计与实现

介绍一种以PLC为控制平台,变频器实现调速的模型电梯系统;阐述该模型电梯系统的硬件系统的设计方法,给出一种硬件结构原理图,说明该系统模块化的软件设计方法,给出软件的模块结构和部分PLC源程序。     

基于空间算子代数理论多刚体系统反向动力学仿真

应用空间算子代数理论,在通用计算机符号演算软件Mathematica5.2的环境下,对多刚体系统反向动力学进行设计与实现.广义质量是正、反向动力学及联系旋量力和旋量加速度的重要参量,据此可形成高效递推算法.用空间算子代数理论求广义质量、反向动力学具有形式简洁、物理意义明确、编程效率高和直观等特征.运用VB.NET编程软件实现与Mathematica5.2软件无缝集成,对多刚体系统动力学仿真及反向动力学进行参数化分析与计算,给出了实施过程.根据分析结果,对PUMA560机器人进行了反向动力学设计,并与结果进行了对比,通过算例验证了结果的正确性和有效性.     

基于UNIX System V流机制的串行口通信程序的设计与实现

流（ＳＴＲＥＡＭＳ）机制，是ＵＮＩＸ系统中用户进程到设备（伪设备）之间的一条全双工数据通路，它为字符处理、网络服务和数据通信等驱动程序的设计提供模块化手段。本文概要介绍了流机制的组成及原理，着重讨论了用流机制实现ＵＮＩＸ设备驱动程序的方法，在ＳＣＯＳｙｓｔｅｍＶＵＮＩＸ系统中设计并实现了基于流机制的带ｍｏｄｅｍ控制的串行口驱动程序，最后讨论了串行口通信的数据传输控制及串行口通信程序的应用。     

零电压开关PWM变压整流器

讨论了ＰＷＭ式变压整流器和谐振式变压整流器的优缺点，在此基础上，提出了一种零电压开关ＰＷＭ变压整流器。它是ＰＷＭ技术和零电压开关准谐振技术相结合的产物，其特点是功率开关器件的开关转换过程中采用零电压开关准谐振技术，即功率开关器件工作于零电压开关状态──软开关状态下，而能量传输的主要形式采用ＰＷＭ技术，故具有ＰＷＭ式变压整流器和谐振式变压整流器的优点。文中介绍了该变压整流器的电路结构及工作原理，着重分析了其关键部分──全桥零电压开关ＰＷＭＤＣ－ＤＣ变换器的工作过程和设计方法。该变压整流器具有体积小、重量轻、效率高、性能好、输出电压稳定度高的优点。     

空气动力学与航空飞行器

本文简述了当今航空飞行器的发展概貌;回顾并剖析了空气动力学在航空飞行器发展过程中的重要作用;最后,对今后的发展前景作了展望。     

TW-1拖靶缆绳张力与形状参数的计算

本文通过拖靶平衡受力分析,得到拖靶放出后,稳定飞行时平衡攻角的近似计算公式。并通过缆绳微元受力分析,求得缆绳张力与飞行速度、高度及缆绳长度关系的计算公式及给出缆绳形状参数的计算公式。运用本文提供的公式计算出的MK3靶的缆绳张力曲线与实际测量之张力曲线吻合较好。因此,运用本文提供的公式进行了TW-1拖靶缆绳的设计及计算,取得了可信的依据,完全满足工作设计要求。     

基于WEB的产品营销管理系统

以企业CIMS系统实施过程中营销管理系统的设计与开发的背景，分析了目前我国大，中型企业的经营管理式和在营销活动中普遍存在的问题。提出了一种基于WEB的企业营销解决方案，以合同和协议为线索，把营销活动中的各个环节有机地串联起来，实现了产品和经销商的动态管理，本文还提出一种基于WEB的产品售后服务系统模型，论述了故障模式，产品档案和产品售后服务故障识别及处理，并介绍了层次分析和基于知识库的用户服务决策方法。     

数值计算数据的流动显示模拟

在风洞试验中，光学流动显示技术是揭示流场特性的重要手段，为了把数值计算数据与流场显示结果进行直接比较，利用可视化技术把数值计算数据转化成阴影、纹影和马赫干涉条纹图像。首先根据有关研究结果和平面流动的特点，导出适于产生计算流场图像的关系式，重新计算流场数据，然后将导出的数据进行颜色编码。为了使图像效果良好、图像生成速度快，还介绍了一种自行设计的，时空效率较高的颜色编码算法。     

基础橡胶垫、滑移和混合隔震房屋的动力特性分析

为了对采用叠层橡胶隔震垫、滑移隔震垫和混合隔震垫的这三种基础隔震结构体系在隔震方面的作用和效果有一个综合的认识和理解，本文对这三种基础隔震垫分别建立了力学计算模型和运动微分方程，并且编制了相应的动力反应时程分析程序。通过工程算例，对比固定结构与隔震结构由于结构的支承条件不同所引起的不同的动力反应，由于隔震结构大大地降低了结构对地震动的反应，从而证实了隔震的有效性。同时，通过分析上述三类隔震结构在地震动下动力反应的基本特点，对比了 三类基础隔震结构在隔震作用方面的不同效果及其优劣性，从而为实际工程选择适合的隔震方式及其参数提供参考。     

虚拟仪器技术及其在材料加工中的应用

虚拟仪器技术是仪器技术和计算机技术相结合的产物，虚拟仪器是一门新兴的交叉型学科。本文阐述了虚拟仪器的概念，构成及在材料加工中的应用。     

动态燃烧过程参数测量原理与系统

为了满足动态燃烧试验对燃烧过程中燃烧放热量、温度、压力多参数动态测量的要求，研制了一套燃烧动态测试系统。首先从理论上分析了碳氢燃料燃烧时的化学反应过程与物理现象，采用光电传感技术，实现了对动态燃烧过程放热量的非接触式测量；其次运用动态理论详细研究了热电偶的动态特性，完善了用双丝频谱补偿法测量动态温度的方法；最后选择了合理的动态压力的测量方案。同时介绍了该系统的结构及工作特点、系统的动态联调结果等。试验表明了测试该系统具有所测参数多、工作性能稳定、动态响应快等特点，可广泛应用于动态与稳态燃烧试验研究或工业过程监控测量中     

在线三维几何量测量软件研究

介绍了最近研制成功的依维柯汽车底盘潢梁在三维几何量微电脑测量系统的测量原理和测量软件。该系统采用相对测量原理建立三维测量坐标系，通过系统误差软补偿提高测量系统精度。并根据优化原理提出了三坐标测量中一种新的几何量误差计算方法，该方法通过模拟被测件装配过程，对相关几何量误差进行最优计算，使测量误检率大大降低，保证了在实际测量中最大程度地通过合格件。