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

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

软总线体系结构研究

软总线体系结构可以降低系统中各模块的耦合度,提高各模块的复用性,增强系统的灵活性,从而有效地降低开发成本,提高开发效率。本文重点论述了“软总线”体系结构的特点和优势,探讨了总线构架的体系结构的构造方法与过程。     

一种分布式光纤多点电流传感系统

电力系统中，利用输电母线磁场的法拉第效应可研制磁光光纤电流传感模块，可在需要实时监控的节点处安放该模块，并采用波分复用（WDM）技术把所有节点的实时数据通过光纤网络汇集到中央计算机中，从而构成分布式光纤电流传感系统。     

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

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

码分复用系统的纠错码

依据有限域直和与有限环同构的代数性质，对多路复用系统构造线性分组码。其特点是既实现码分复用，又具有纠错能力，提高系统的传输可靠性。合路器是一种同构映射运算，将ｍ路有限域上的线性分组码唯一地映射成有限环上的单一码字，实现在宽带信道上同时传输ｍ路数据。收端经逆映射完成分路，一旦发生信道传输错误时，译码器在各码纠错能力范围内实现纠错。文中叙述了复用系统线性分组码的编译码方法，给出了同构映射运算的算法。     

面向星表柔顺着陆的阻尼力可控电磁缓冲器设计

未来,载人航天、基地建设等任务要求着陆器具备柔顺落震、可重复使用、可调姿/移动等功能,基于材料塑性变形吸能机理的传统着陆器将无法满足相应要求,为此,本文提出了一种可实现着陆器星表柔顺落震和可复用、可调姿、可行走等功能的阻尼力被动可控电磁缓冲器,完成了结构设计、理论分析和仿真验证。首先,提出了一种采用电磁缓冲器作为辅助缓冲支柱的新型可复用着陆器,完成了落震动力学分析,得出了电磁缓冲器的主要性能指标和结构参数;其次,介绍了电磁缓冲器的内部结构设计和基于滑动电阻导杆的阻尼力被动可控实现机理;最后,通过有限元方法完成了虚拟样机建模与仿真,验证了电磁缓冲器的功能有效性,并确定了能耗电阻、励磁电流等关键电性参数。该电磁缓冲器创新性地实现了阻尼力的近似线性的平滑变化,从而有效降低着陆器触地瞬时冲击过载,提高落震过程柔顺性,并将最大过载系数限定在要求的范围内,为面向未来星表软着陆任务的新型着陆器研制提供了一种缓冲吸能解决方案。     

基于XML和ASP.NET的教学资源信息平台的研究与设计

首先分析指出了学院现有的各级教学资源信息化工作中出的问题,通过调研,提炼出教学资源信息平台的主要业务功能需求。在此基础上提出基于XML和ASP.NET的教学资源信息平台的设计方案,并论述基于SOA的用户身份验证、基于XML的教学资源规范化描述以及XML文档在SQL Server中的存储方式和读写访问等实现过程中的关键技术。     

频率选择表面天线复用副面的研究

在毫米波和红外相结合的复合系统研究中,结合飞行器雷达天线系统的设计需要,在理论分析的基础上,采用频率选择表面（FSS）来设计天线复用副面。实验结果表明,该副面实现了透过毫米波和反射红外光的双工性能,并适于双色和多色红外复合系统。FSS天线复用副面的材料应尽量选用厚度适中、平整光洁的低耗衬底介质敷铜基板,以达到更为理想的设计效果。     

光传飞控系统交叉通道数据链路设计与分析

未来飞机采用光传操纵系统能够提高抗电磁干扰能力、减小体积和重量,多余度技术能够提高光传操纵系统的可靠性,而交叉通道数据链路是余度计算机之间进行数据交换的重要途径。为此,设计了一种具有多故障容错能力的光传飞控系统交叉通道数据链路。根据系统性能要求,给出并讨论了该链路系统的结构配置和工作流程,分析了其关键组成部件的功能和实现技术,并设计了当光链路发生故障时系统的容错逻辑算法。通过理论分析和数值计算表明,该链路系统能够提高光传飞控系统的安全性和可靠性,并具有良好的实时性和实用性。     

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

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

利用C++ Builder实现基于DirectShow的视频捕获

阐述了实现视频捕获与回放的可选方案,介绍了DirectShow的原理,针对传统视频播放与捕获的不足之处,提出了一种基于DirectShow技术的视频播放与捕获软件设计方案。给出了在C Builder环境下开发基于DirectShow技术的实时视频捕捉的步骤,并实现了实时视频捕捉系统,通过实例验证了本系统具有稳定、可靠和较好的通用性及扩展性的特点。     

基于Web Service的B2B电子商务系统模型的研究

B2B电子商务是目前最具潜力的商务形式。但传统B2B电子商务系统的基本结构和交互接口均没有统一的标准和解决方案，带来了系统可重构性和可移植性差等缺陷。针对这种缺陷，结合Web Service技术，提出基于Web Service的B2B电子商务系统模型。该系统模型通过构建核心应用程序整合Internet和Internet范围内相对独立的Web Service，并作为供应链的一部分，能提供标准接口实现和其他应用程序如ERP，CRM和SCM等的交互，这种形式的B2B电子商务系统能很容易地进行开发和维护。最后以其中一个模块为例，给出了具体实现基于WebService的B2B电子商务系统的解决方案．     

基于OPC技术和Windows DNA-M结构的制造信息监视技术研究

针对传统的制造信息监视系统中底层通信接口的不一致性，并基于Web应用的组件化需求，提出了基于OPC技术和Windows DNA—M结构的制造信息监视技术。首先论述了Windows DNA—M的体系结构和特性，探讨了OPC和XML在系统集成框架中的应用．枸建了基于OPc和xML技术的Windows DNA—M结构，详细描述了自行开发的基于OPC技术和Windows DNA—M体系的多层分布式制造信息监视系统实现的关键技术，最后通过该技术在某制造企业DNC系统设备状态信息监视中的成功应用，验证了基于OPC技术和Windows DNA—M结构的制造信息监视系统具有良好的柔性。     

一种新的仿真组件模型及其实现

为了提高仿真组件的重用性、兼容性,给仿真应用提供通用的开发模型,使仿真系统独立于仿真中间件,提出了一个新的自包含仿真组件模型,该模型由服务端口、适配器和调度引擎构成。而模型的描述采用静态结构和动态行为元元模型。开发时首先采用面向组件的建模工具描述系统的静态结构和动态行为,根据静态结构自动生成应用代码和适配器。其中适配器是联系仿真组件和仿真中间件的纽带,使它们彼此独立。运行时调度引擎将仿真组件装配到应用框架中并根据动态行为模型调度组件运行。实践表明该模型是一个适用于不同仿真中间件的标准模型,可以提高仿真模型的协同能力和重用性。     

一种构建天地一体化网络的航天器信息系统设计方法

随着航天技术的发展，天地间数据交互容量、实时性等需求不断凸显。传统航天器信息系统基于1553B总线或RS422，LVDS等硬线直连架构传输数据，传输速率最多只能达到1Mb/s或100 Mb/s，已无法满足大容量数据实时传输的需求。本文提出一种新的系统设计方法，将地面成熟的1 000 Mb/s/10 Gb/s以太网技术应用到航天器中，构建天地一体化通信网，在天地间无线链路传输总带宽允许的情况下，较大程度提高天地间数据传输速率，同时有效减少星上电缆网配套数量，进而减轻飞行器重量。本文所提方法正在国内某大型组合式航天器设计中应用，可为后续航天器数传设计提供参考。     

一种基于DOM树的XML数据频繁模式挖掘算法

由于XM L数据具有半结构化特性,使得面向XM L数据的数据挖掘不同于面向关系数据库的数据挖掘,它具有更复杂的层次结构。研究基于DOM树的XM L数据频繁模式挖掘算法,提出面向XM L数据的频繁模式增量式挖掘算法F reqtT ree。该算法首先将XM L数据转化成DOM树,然后从DOM树挖掘所有频繁模式。F reqtT ree算法采用最右扩展技术,只在树的最右分支上增加新结点生成新树。同时充分利用已生成的频繁模式信息,使得产生的候选模式数量较少。F reqtT ree算法利用频繁k-1模式的支持数计算候选k模式的支持数,该算法只对DOM树遍历一次,具有较高的效率。采用多组数据对此算法的性能进行检验,并与其他算法作对比实验,实验结果表明该算法高效可行。     

试飞数据库管理系统实现研究

试飞数据库管理系统(FTDBMS)是支持军机、民机、直升机等各类试飞数据处理需要的工程数据库管理系统。文中分析了试飞数据库管理系统的特点,重点分析了历程和非历程数据的特征,给出了试飞工程数据管理的实现方法,提出了松耦合和紧耦合两种数据访问接口,描述了试飞数据标识体系及其工作原理,该系统的研制将我国试飞数据处理软件提高到集成化、广适应、标准化、可重用的新阶段     

元模型在工程数据仓库中的作用

工程数据的组织管理分散、模式复杂且随时间变化,这就要求工程数据管理系统不仅可以统一管理数据,而且支持客户化工作、可扩展。这种系统的设计必须依赖数据模型的灵活性和自描述性。本文在分析工程数据的特点及其管理现状基础上,描述了工程数据仓库的体系结构和多层元模型;重点刻画了利用元对象技术实现工程数据管理的设计实现;最后描述了一个现实的利用元对象管理仓库中工程数据的系统-FTEDWS,证明了本方案和元模型的有效性。这种采用元模型的方法提供了一个灵活、可互交换的环境,用以支持系统演化和重用。     

基于B/C/S模式的民航机务电子工作单系统研究

电子工作单系统利用无线网络技术和数据融合及处理技术,保障民航机务维修现场较大区域内电子信息的交流及管理。系统基于B/C/S架构和JAVA语言,实现民航机务维修全过程的作业信息交互、工作进度监控与工作质量管理的信息化。通过系统的小规模应用证明该系统能够有效提高劳动效率,保障航空安全。     

基于Information Hub模型的供应链管理信息系统研究

针对供应链管理在信息共享的环境下对供应链整体进行协调与优化的要求．构建了一个基于Information Hub模型的供应链管理信息系统IHSCMS。该系统由两个子系统组成：信息交换子系统以Web服务技术实现．可以与成员企业的ERP，MRPⅡ等管理信息系统结合．实现了供应链成员间信息的共享；计划与决策子系统采用了智能主体等人工智能技术，对供应链管理中的一些决策问题如库存补给策略等进行分析与处理。本文详细介绍了IHSCMS系统的结构和实现技术，并对相应的决策问题的算法进行了讨论。