组合Web服务建模工具的设计与实现

通过分析IBM提出的Web服务流程描述语言(WSFL),设计并实现了一个基于WSFL的组合Web服务建模工具(CWSMT).该工具还可与Web服务运行环境相结合,将图形化的建模结果转换为可部署、可运行的组合Web服务,实现组合Web服务的建模、部署与运行监控过程的一体化.      

一种基于UML的协同入侵检测系统分析方法

为了提高对分布式协同攻击的检测能力,提出了一种具有广泛适用性的分布式协同入侵检测模型,该模型以多代理为构造基础,通过协调代理协同下层检测代理,实现对复杂攻击的协同检测.采用统一建模语言(UML),对模型的主要功能、静态组织结构、代理内部的推理行为和代理间的交互行为进行了分析和设计.UML为协同入侵检测系统的分析和设计提供了有效的手段,方便了与其它安全系统的集成.      

笔式三维建模系统的隐式映射机制

笔式三维建模系统支持用户基于纸笔隐喻自由勾画以表达三维模型,系统根据用户的交互意图完成相应的三维建模.针对笔式三维建模技术的交互特征,提出一种隐式映射机制.通过分析二维笔划以及交互的上下文,动态建立2个相互垂直的、虚拟的投影平面,从而将二维笔划信息平滑转换成三维空间信息.针对极限位置无法正常映射的情况,提出了一种坐标增量置换法来实现三维映射,不仅解决了极限位置的坐标映射,而且支持用户自由勾画更加复杂的三维模型.隐式映射机制将用户从繁琐、复杂的操作中解脱出来,集中精力关注创作灵感的表达.该方法已经在自主开发的笔式三维建模系统的原型系统PenSketch3D中得到验证,并取得了良好效果.      

光电技术校准示波器上升时间

光电脉冲法是解决高速取样示波器上升时间校准问题的最新技术。介绍了用光电技术校准取样示波器上升时间的工作原理及超短脉冲激光产生、快速电脉冲产生、快速电脉冲校准等关键技术。     

民用飞机机翼结构快速设计及自动化调整

为提高总体设计的质量和效率,研究了民用飞机机翼结构及整体油箱的设计措施,并在一个开放式飞机总体设计环境中实现这一功能.定义了飞机翼面坐标系,提出了机翼、梁/墙、桁条、翼肋和蒙皮的参数化描述及模型构建方法,建立了交互式机翼结构及油箱三维设计环境,自动获取结构及油箱的体积、重量、重心和惯性矩等物理信息.在此基础上,实现了机翼结构和整体油箱的自动化模型调整及几何体质量特性的自动重算,为总体设计阶段进行飞机重量、气动和结构的多学科设计优化奠定了基础.最后,给出设计实例说明了机翼结构的设计和自动化调整方法是有效的.     

Development of a GNSS water vapour tomography system using algebraic reconstruction techniques

A GNSS water vapour tomography system developed to reconstruct spatially resolved humidity fields in the troposphere is described. The tomography system was designed to process the slant path delays of about 270 German GNSS stations in near real-time with a temporal resolution of 30 min, a horizontal resolution of 40 km and a vertical resolution of 500 m or better. After a short introduction to the GPS slant delay processing the framework of the GNSS tomography is described in detail. Different implementations of the iterative algebraic reconstruction techniques (ART) used to invert the linear inverse problem are discussed. It was found that the multiplicative techniques (MART) provide the best results with least processing time, i.e., a tomographic reconstruction of about 26,000 slant delays on a 8280 cell grid can be obtained in less than 10 min. Different iterative reconstruction techniques are compared with respect to their convergence behaviour and some numerical parameters. The inversion can be considerably stabilized by using additional non-GNSS observations and implementing various constraints. Different strategies for initialising the tomography and utilizing extra information are discussed. At last an example of a reconstructed field of the wet refractivity is presented and compared to the corresponding distribution of the integrated water vapour, an analysis of a numerical weather model (COSMO-DE) and some radiosonde profiles.     

通断式多态系统扩展测试性建模方法

现有测试性建模方法有一定的约束条件,包括故障判据的一致性、故障传递关系的一致性、测试的逻辑值判据一致性.针对通断式多态系统具有的状态差异性的特点,提出了一种扩展测试性建模方法.在引入状态集合的基础上,对故障、测试、 D 矩阵和诊断树进行了扩展定义,最后定义了扩展测试性模型.介绍了扩展测试性建模分析的算法,主要有模型建立算法、扩展 D 矩阵生成算法、扩展诊断树生成算法.以某液压操纵系统为例进行了应用,结果验证了方法的可行性和有效性.     

一种极坐标系升力式再入六自由度仿真模型

建立了升力式再入飞行器在极坐标系下的六自由度模型。首先,定义了建模所需坐标系及转换关系;然后,建立了极坐标系下的升力式再入质心运动方程以及面对称飞行器在体坐标系下的转动方程,并利用坐标转换关系建立欧拉角转换辅助方程;最后,对欧拉角关系、开环六自由度进行了仿真验证。仿真结果表明,该模型可为同时关注位置变量和速度变量的升力式再入飞行器的飞行力学问题研究,如六自由度的轨迹优化、制导控制一体化设计等提供模型参考。     

液压多点协调加载技术在机翼载荷校准试验中的应用

载荷校准试验是飞机飞行载荷测量的关键技术环节,而校准试验载荷的加载方式、载荷量级的大小直接影响着载荷建模及飞行实测载荷精准度。本文提出的液压多点协调加载技术,可实现飞机机翼多点、自动控制、协调加卸载,与以往人工单点加载试验相比,载荷量级提高到了机翼限制载荷的40%以上,并可模拟机翼在飞行时气动载荷的压心分布情况进行试验加卸载,提高了试验载荷模拟飞行载荷的真实程度。采用多点协调加载数据建立机翼的载荷方程,较以往单点数据,方程精度提高了4%以上,为提高实测载荷精度奠定了坚实的基础技术。     

压气机过渡段造型及三维数值模拟

提出一种基于S形曲线压气机过渡段造型方法.该方法将过渡段造型归结为S形内壁曲线拐点相对位置,面积分布率极值及其极值点相对位置3个几何控制因素.并采用此方法构造了一系列压气机过渡段,并针对这些过渡段进行三维数值模拟.结果表明:面积分布率极值是影响过渡段性能最重要的因素;可以通过调整面积分布率极值来控制过渡段最大面积处相对马赫数,减小外壁气流附面层厚度及支板形成的低压尾迹区;同时,配合变化较陡的内壁造型和合理的面积分布率曲线极值点相对位置,可以改善外壁形状,抑制附面层变厚.对于所研究的过渡段,内壁拐点相对位置为0.18,面积分布率极值点相对位置为0.20,相对马赫数为0.65时,总压损失最小.