基于XML的EtherCAT工业以太网协议解析技术

重点研究了基于可扩展标记语言(XML,eXtensible Markup Language)的EtherCAT工业以太网协议解析器技术和实现方法.介绍了EtherCAT协议报文格式和特点,分析了以太网数据侦听器和协议解析器的结构,针对通用以太网解析器在工业以太网领域应用的局限性,提出使用XML语言描述协议报文的方法,在此基础上开发出一种开放式、可重构的EtherCAT协议解析器.实验结果表明基于XML的协议报文描述方法及解析器能够有效地描述和解析EtherCAT协议报文,使用者可以根据解析对象格式使用XML语言自定义、修改和扩展协议解析规则,获得清晰、直观的解析结果.      

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

一种高性能铁磁流体密封系统的实验研究

一种高性能的铁磁流体密封系统,采用钕铁硼(NdFeB)永磁体作为磁场源,密封介质则使用北京航空航天大学研制的BH-1铁磁流体。实验结果表明,对于每边磁极靴上具有一道密封级的结构,可以提供120～180kPa的耐压能力;而每边具有两道密封级,则可以达到225～370kPa。并且实验预示这种系统的密封耐压能力还有进一步提高的潜力。     

用面向对象技术实现相关分离的双语言描述

介绍了一种新的形式化描述思想,即"相关分离"的思想,并分析了基于此思想的双语言方法,与传统的单一语言的描述技术相比,"相关分离"的思想和双语言方法更适合于分布式多媒体的描述.结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析,本文提出了一种以LOTOS/QTL或Esterel/QL为基础,融合面向对象技术的形式化描述方案,该方案可用于建立分布式多媒体系统的时间模型和同步模型.     

一种基于容腔节点的液压系统建模语言及实现

为实现直观面向系统原理图对液压系统建模,提出了一种基于容腔节点法的液压系统建模语言和一套新的建模语言描述规则,并阐述了利用该建模语言进行程序实现的方法.该建模语言将液压系统的拓扑结构抽象成具有容腔节点和元件节点的图形结构.液压元件模型独立封装,可模块化使用.在建模语言描述规则的基础上,生成容腔节点与元件节点的连接矩阵.所有节点和连接矩阵构成了系统的整体模型.通过典型智能液压泵系统建模过程,验证了该建模描述语言的正确性和有效性.结果表明:该基于容腔节点的液压系统建模语言可方便建立符合液压系统原理的拓扑图,并面向系统原理图自动生成系统模型.      

双机捷联惯导系统管理软件研究

本文着重讨论了捷联惯导系统双主机计算机系统结构的管理软件设计与实现问题,给出了完整的管理软件设计方案,对于双主机所特有的资源共享问题做了介绍,引入命令信箱概念来实现两主机之间的命令传递。同时,本文管理软件还包含了在实际地面测试时,实现捷联系统计算机与地面PC机的通讯功能。本文管理软件的另一大特点是运用了PL/M-86与ASM-86,Turbo C与MASM的混合语言编程技巧,充分发挥了各种语言的优点。本文的管理软件已在实际系统中应用。     

Web服务组合处理系统的研究与实现

单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析服务组合的处理机制,基于传统工作流技术,使用IBM的WSFL语言作为服务组合描述语言,设计并实现了一个面向Web服务组合语言的通用的Web服务组合处理系统.这是一个多层结构的系统,它由Web服务平台、服务组合处理引擎、JMX注册管理中心、远程管理控制台以及处理引擎配置工具五部分构成;它为WSFL语言所描述的服务组合流程提供了一个运行引擎,同时提供了一个基于JMX的管理控制台,通过它可以对正在运行的流程实例以及历史数据进行控制和管理.该系统为基于Web服务的应用集成和协作提供了一个统一的运行管理环境.     

遗留系统再工程中交叉构件划分方法

在面向对象遗留系统的构件化再工程中,针对交叉构件提出划分方法.系统开发方分析遗留系统的功能和实现,描述新的构件化系统中每个构件合同.再工程开发人员依据构件合同从遗留系统中提取每个构件,此时会出现交叉构件共享重叠类.从构件复用、构件间松耦合和构件内高内聚等构件特性出发,提出划分规则实现交叉构件中重叠类的划分.此方法已在软件分析与测试系统的构件化过程中得到应用.     

基于故障树分析法的故障诊断专家系统

介绍了一个应用于卫星控制系统的基于故障树分析法的故障诊断专家系统,并描述了此专家系统的基本设计构想及实现方法。该系统既能完成不精确性逻辑推理,又能实现动态知识的过程描述,还能完成必要的复杂的数值计算。该系统也可以应用于其他领域的故障诊断。     

一种面向最终用户的图形建模语言规范

图形语言形式化描述体系由于需要一定的理论背景而不适于最终用户,为了满足最终用户对领域建模语言进行规范描述的需求,提出了一种可以描述图形语言二维语法结构的语言(EUVDL,End-User Visual Definition Language),分别从设计范型、抽象语法和具体语法3个方面考虑了最终用户的支持,并且给出支持最终用户使用的具体设计策略、设计了基于EUVDL的图形建模语言环境开发平台.通过和其他图形语言描述方法的比较以及实例演示,可以看出利用EUVDL描述图形建模语言具有语法结构简单、描述能力较强、支持描述重用的特点,适于最终用户使用.      

CCSDS下行链路虚拟信道调度方法及其性能分析

描述了分包遥测的信源特点 ,并在此基础上提出了传送层虚拟信道划分和使用原则 ;利用轮询系统的方法建立了虚拟信道调度模型 ,从系统延时性能和缓存分配原则的角度 ,分析了不同信源组合下不同调度策略对系统可能造成的性能影响 ;提出了不同信源条件下适宜的调度策略和缓存分配策略。结果可为系统早期设计提供参考     

语言处理的基本运算集

从属性和实体两个角度对语言处理中的基本运算进行了分类研究,系统定义了两级基本运算集:属性派生运算集、实体转化运算集.这些研究增强了语言处理的可计算性,有助于建立更经济的知识处理模式、更通用的信息描述机制.     

面向Web的知识描述语言

提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible Markup Language)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.      

面向NXD的XML数据函数依赖

XML的半结构化特性造成了Native XML 数据库中数据模式规范化设计中的很多问题.采用结构信息和数据信息相结合的方法,给出XML数据间函数依赖的定义,解决数据模式规范化设计中的理论问题.建立了XML模式路径和XML数据树节点路径的定义,描述XML数据中的路径;给出了XML文档有效性的形式化定义;在此基础上定义了树元组和树元组相等的概念.运用树元组及其相等的概念定义了XML数据的函数依赖关系,进而给出了相应的自反、增广、传递推理规则,用于推导给定集合所蕴涵的函数依赖关系.并证明了这一推理规则是正确的.上述工作为Native XML 数据库系统中数据模式的规范化设计提供了一定的理论基础,增强了XML数据的语义特性.     

多媒体课件中教学流程和教学呈现的表示方法

引入了通用转换网络对多媒体课件的教学流程作了形式化描述,并在此基础上讨论了教学流程及教学呈现在多媒体课件写作系统中的内部表示方法.该方法将课件中的教学流程描述和教学呈现的表示相分离,使课件写作系统更加灵活;其次,引入呈现描述来表示教学呈现内容,实现了教学内容的并发呈现.本文同时给出了相应表示方法实现的内部结构.     

三坐标数控自动编程系统

本语言系统作为计算机辅助制造中的一个应用软件,可以处理自由曲面,以简化复杂曲面的数控编程工作、语言格式符合曲面的集合描写概念。具有曲面数学模型的完整描述,同时又具有工艺性和直观性。系统主要用FORTRAN Ⅳ编写,为模块分层结构,共分三个主要模块:编译模块、数学处理模块、后置处理模块。数学处理可提供三种选择:COONS曲面、BEZIER曲面、直纹曲面。在COONS曲面块(PATCH)中扭矢由混合偏导数求出。在BEZIER曲面中用户可以给出多边形顶点或直接给出型值点(均匀分布)。系统还提供了某些特殊功能,以满足不同用户的需要。输出信息亦可有几种选择。     

采用BP算法的模糊自适应控制

在对不熟悉的过程进行模糊控制时,由于对过程的不了解,很难得到合适的控制规则.基于模糊控制器的一种解析结构,提出了将模糊控制器与神经网络相结合的方法.由神经网络对系统进行辨识,并为学习系统提供必要的信息,将控制对象视为神经网络的输出部分,采用BP算法根据神经网络提供的信息对经验规则进行修改,从而改善模糊控制系统动态响应.仿真结果表明该控制器对模型参数变化具有较好的适应能力,能够较快地修改系统的原控制规则,使对象输出较快地跟踪系统的输入.     

基于时间自动机的AADL端到端流的延迟分析

对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.      

面向领域的模型驱动智能表单系统的框架设计

表单是信息系统中信息传递的载体.为提高信息系统的开发效率,实现对已有系统的复用,并能够方便地提供原型系统,使业务管理人员更好地介入系统的开发,分析和研究了传统的表单开发方式和目前市场上的智能表单系统,以软件复用的软件工程和模型驱动架构(MDA, Model Driven Architecture)思想为指导,以领域建模为基础,借鉴已有的智能表单系统,提出了一种面向电子政务领域的以业务对象库为基础的模型驱动智能表单系统的开发方法,设计了采用XML语言进行描述的表单模型定义和采用Web服务与MBean技术的表单模型处理引擎的松耦合系统总体结构,并对该设计进行了详细的介绍.      

基于二型模糊系统多源异质信息目标身份类别推理方法

针对前件推理规则未知的目标身份识别问题,考虑到目标信息量测的多源异质特点,利用模糊集对目标速度、图像等多维度特征信息进行统一的抽象化描述,借助遗传算法对模糊推理规则进行优化,在确定模糊划分区间的前提下训练得到最优隶属度函数,建立最优推理规则库。此外,针对由传感器探测精度有限带来的量测不确定性问题,引入区间型样本数据的模糊分类思想,在完成一型模糊系统构建的基础上,提出一种基于二型模糊推理系统的遗传优化算法,给出由三角型隶属度函数嵌入构造对应二型模糊集的推导过程,设计了满足点值与区间型数值复合输入的二型模糊推理系统,并通过仿真验证该推理系统的可行性。