CFD软件自动化验证确认云平台设计与实现

针对大型计算流体力学(CFD)软件的验证与确认,为了减少人工成本,提高软件质量和开发效率,并适应于未来高性能计算发展的要求,基于云计算思想,提出了自动化测试云平台的解决方案。该方案采用模块化的浏览器/服务器(B/S)网络架构;利用LAMP(Linux+Apache+MySQL+PHP/Python)开发工具;建立了持续集成的专业数据库;构建了涵盖可靠集群监控、复杂作业调度及大规模并行计算功能的云端环境;实现了通过便捷的网络访问,自动加载测试算例、提交集群计算、监测实时进度、自动化后处理、输出分析结果,并提供丰富的实验对比图、误差分析报表和汇总报告等;完成了对大型CFD软件的自动化验证与确认。将该方案应用于某大规模并行计算的CFD软件,验证了该解决方案的可行性与实用性。     

基于关系模型的机载导航数据库快速解析生成方法

导航数据库可用于导航计算、导航台自动调谐管理等,是飞行管理系统所必须的数据源。为了能有效提高机载导航数据库的使用、更新及维护效率,大大减少相关工作人员的工作量,提出了一种基于关系模型的机载导航数据库快速解析生成方法,针对ARINC424协议中包含的大量数据对象进行建模,定义出协议中各个对象之间的逻辑关系和约束关系,并对数据结构进行优化,通过中间关系表确立各个数据之间的交叉引用关系,从而实现数据库的快速解析生成。测试结果表明,基于关系模型的机载导航数据库快速解析生成方法能有效提高数据查询效率,降低数据解析和生成的时间消耗,减少数据冗余,使数据库性能更优异。     

航空锂电池适航审定规章解读及符合性方法研究

锂离子电池作为动力电池有着优异的性能,在民航行业上有广阔的应用前景。但行业对其技术特征 和安全风险的认识还不充分,现行的规章条款缺乏足够的安全要求,国外局方针对锂离子电池颁发了专用条 件,但回顾相关事故可以发现,锂离子电池的验证和审查环节还不完善,相关条款更新修正的步伐也同锂电池 的发展现状和技术水平不相适应。以航空锂电池事故为例,分析航空锂离子电池作为动力电池的安全性风险, 从对现有规章条款和专用条件的解读出发,借鉴不同行业近年来积累的锂电池验证和使用经验,针对航空动力 锂电池的适航符合性方法提出一些改进方案,可作为现有锂电池适航符合性方法的有益补充,为自主建立健全 适航验证规范体系做出探索。     

多级安全关系数据模型研究及其改进

讨论了基本的多级安全模型存在的主要缺陷，如推理通道问题。系统的可用性、灵活性受到严格的“向下读，向上写”规则的限制问题．不能保证数据完整性。通过引入多实例和伪元组．并重新定义读写规则．使改进后的模型更具安全性、灵活性和可用性。     

SoftBase查询优化器的设计与实现

查询优化是数据库系统中一个必不可少的模块，本文在当前查询优化技术发展的基础上讨论了SoftBase数据库的查询优化器的设计和实现，给出了SAoftBase数据库查询优化处理的一般过程，并着重探讨了查询优化的两个主要模块，查询重写和基于代价评估的计划优化。在计划优化模块中，详细讨论了存取路径的选择和代价评估的计算方法，最后对测试结果进行了分析，结果表明优化后的SoftBase查询效率比原系统有了明显的提高。     

中医色诊客观化系统的开发与初步应用(英文)

研制开发了中医色诊客观化研究专用系统。该系统包括硬件和软件两部分。硬件是一个标准光源环境的图像采集装置,主要由色温为5500K的氙灯、漫反射积分球和高分辨率CCD数码相机组成。软件用于图像处理,处理过程分为3步:首先使用灰度阈值将原始图像进行肤色/非肤色分类,然后通过图像分割和坐标排序定位人脸特征,最后应用形态学技术提取与人体五脏对应的色部区域并且计算区域色度值。使用该系统采集和处理了30例年轻人和53例老年人的样本。实验结果表明年轻人和老年人色部数据有显著性差异。初步应用验证了系统在中医色诊客观化研究中的良好性能。     

基于GIS面向LCA的产品材料信息管理系统建构

为解决传统生命周期评价(Life cycle assessment,LCA)空间位置数据缺失的问题,论文通过引入地理信息系统(Geographic information system,GIS)系统实现了空间位置数据的获取。论述了将空间位置数据引入LCA的必要性与可能性,提出了全新的产品材料管理信息系统功能结构与数据库框架。提出了空间位置数据的获取和有效管理的新方法,对产品材料数据库的进一步完善,以及LCA方法的进一步改进,具有非常重要的意义。     

面向NXD的XML数据函数依赖

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

基于KBE的飞机板金件工艺性审查系统

由于板金零件的可成形性取决于多方面的因素,板金零件成形的工艺性审查也就显得十分复杂,工艺审查的合理性和准确性往往成为飞机设计和制造的矛盾焦点.通过分析当前我国飞机板金零件工艺性审查的现状,提出了在工艺性审查中利用基于知识的(KBE,Knowledge Based Engineering)技术的必要性.分析了利用后台数据库及知识库创建工艺性审查系统的总体结构和实现方案,并对系统创建中的关键技术及解决方法进行了研究.通过实例验证了该系统的功能及可靠性.      

IDSS中数据仓库和数据挖掘的研究与实现

讨论了数据仓库、数据库知识发现和分布式对象的概念和技术,提出了一种集成化的IDSS(Intelligence Decision Support Systems)的开发环境,将传统的DSS四库结构与数据仓库相结合,把数据挖掘作为一种特殊的模型应用于数据库中的知识发现.同时,在系统实现上采用分布式对象技术,实现接口规范和应用程序相分离.最后进一步对数据仓库的设计与实现及数据库知识发现的设计与实现进行了介绍.