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

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

一种XML相似重复数据的清理方法研究

针对半结构化数据XML在数据清理中的重要性,研究了如何清理XML相似重复数据,主要工作有:提出一种有效的XML相似重复数据清理方法,该方法具有较强的适应性,任何XML相似检测算法都适用于此;给出一种基于树编辑距离的相似检测算法,该算法能有效地检测XML相似重复数据;采用树编辑距离的上下限优化基于树编辑距离的相似检测算法,避免了不必要的树编辑距离计算,降低了相似检测计算的复杂度,提高了运算效率.此工作为研究XML相似重复数据清理打下基础.      

基于不完全语言信息的航天研制项目风险决策

针对航天研制项目风险管理的复杂性,提出了一种基于现代多属性语言决策方法的航天研制项目风险评价模型.给出了不完全语言信息下基于不确定扩展有序加权平均算子的决策方法.将项目风险标度进行了拓展,一方面使得风险度量更加准确;另一方面能够很好地与决策模型中的语言信息合理匹配.以航天研制项目风险决策为例说明了该方法的实用性和有效性,为项目风险评价提供了一种新思路.      

在MSC.PATRAN中机翼有限元模型加载模块的二次开发

介绍了使用PCL语言对强度计算软件MSC.PATRAN进行二次开发程序编制的方法,以及开发机翼有限元模型加载模块的过程,为在MSC.PATRAN中增加计算模块提供了方法和思路。该计算模块已应用于具体型号的强度设计分析中。     

波音747-200型飞机故障检测系统

采用最新的可视化高级程序设计语言ＶＢ,开发一个故障检测系统。其主要目的在于帮助维修人员迅速、准确地找到并排除故障,为民航事业取得更好的经济效益和更高的安全系数服务,同时帮助学生在学习飞机维修时,便捷地获得可靠、详实的知识,为尽快成为具有丰富经验的机务人员做好准备。邦联检测系统综合了飞机专家在维修波音７４７－２００飞机故障过程中所积累的经验知识,加上故障隔离手册的内容,通过建立数据库的形式,使其具有     

基于Abaqus和modeFRONTIER的复合材料结构优化设计方法

复合材料结构优化设计包括几何尺寸、铺层层数和铺层顺序的优化设计,通常采用多级优化技术,将几何尺寸、铺层层数和铺层顺序逐级进行优化。本文使用一个十进制数字表示一个复合材料层合板的铺层顺序,作为铺层顺序的设计变量。将有限元软件Abaqus与优化软件modeFRONTIER集成,采用Python语言编写的铺层顺序的算法,对复合材料结构的几何尺寸、铺层层数和铺层顺序进行同步优化。     

一种适于GNSS信号快捕的FFT核的设计与实现

针对GNSS信号捕获的要求,在Quartus II 7.2集成开发环境下,采用Verilog HDL语言,设计了一种256点复数基2时间抽取FFT处理器。利用Matlab工具联合Quartus II进行仿真,提高仿真效率,并最后进行硬件测试。结果表明,本文设计的FFT处理器具有较小的面积和较高的处理速度,能够满足GNSS接收机信号处理的要求。     

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

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

航天器C51语言软件中断资源冲突分析方法

对航天器C51语言软件中常见的3种中断资源访问冲突情况进行了归纳总结.由目前软件资源冲突分析方法的比较结果,提出基于静态分析技术的C51语言软件资源访问冲突分析方法,并针对上述情况给出了具体分析流程.该方法可以解决多种C51语言软件中断资源访问冲突问题,也可以推广到其他处理器.