面向NXD的XML数据函数依赖

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

关于发展具有特种业务的商业通信广播卫星的初步思路

1 引言 □□由于法轮功不法分子恶意干扰鑫诺－1卫星，国内部分重要的卫星用户对卫星通信广播有些丧失信心，纷纷寻求发展基于地面的传输网络，卫星通信广播事业面临着前所未有的危机与挑战。究其原因，一方面是由于法轮功事件的政治影响力大，必然使其在非政治领域的影响被夸     

应用关联规则构建质量活动链模型

介绍了作业质量成本的概念,提出了以作业质量成本数据为基础描述质量活动间关联关系的方法,并设定了作业质量成本之间相互影响的规则.着重研究了关联规则挖掘技术,将布尔型关联规则用于质量活动间作用关系的挖掘,并应用Apriori算法,研究了应用作业质量成本数据及其变化趋势构建基于作业质量成本的质量活动链模型的方法.该模型有助于在质量成本预测与分析过程中从经济的角度发现质量管理过程的瓶颈问题,为以质量成本分析为基础,系统地进行质量改进决策提供了有效的方法和手段.      

美国为“国际空间站”服务的新选择——商业轨道运输服务

商业轨道运输服务（COTS）是美国航空航天局（NASA）用于向“国际空间站”（ISS）运送航天员和货物的商业运输项目。它在2006年1月18日启动,预定在2010年实现为ISS服务。     

太空“神鹰”开拓创新——专访上海东方通用航空企业集团总裁徐宝平

4月15日至17日,“2014亚洲商务航空大会及展览会”在上海虹桥国际机场举行。作为全球最盛大的公务机展览,亚洲商务航空大会为公务机制造商和运营商提供了重要的交流和交易平台,也为中国乃至全球商务航空市场的发展起到重要的推动作用。在展会期间,上海东方通用航空飞行俱乐部公司代表上海东方通用航空企业集团参加本次盛会,通过展会平台向业内外展示上海东方通用航空飞行俱乐部在通用航空市场全新的商业运营服务模式,即为公务机的销售商和公务机的购买者提供新型商业运行服务模式。     

一种改进的隐私保护关联规则挖掘算法

部分隐藏的随机化回答方法是基于关联规则数据挖掘的隐私保护算法,针对该算法在重构频繁项集支持度上的指数级时间复杂度导致算法执行效率下降的不足,采用分治策略和集合运算方法对该算法进行改进,消除重构数据的指数级运算。改进算法降低了算法的时间复杂度并有效提高了执行效率。仿真实验与分析表明了改进算法的有效性。     

西科斯基与昌飞签署协议将在中国生产S-76DTM机舱

2013年9月5日,在天津国际直升机博览会上,西科斯基飞机公司和昌河飞机工业集团有限责任公司签署协议,昌飞将为西科斯基生产S-76D~TM商用直升机的机舱。昌河飞机工业集团有限责任公司董事长余枫和西科斯基飞机公司运营高级副总裁艾德分别代表各自公司签署了协议。S-76D直升机是西科斯基的最新型飞机。昌飞之前曾根据双方在2007年签署的协议为S-76C++~TM直升机提供机舱。昌飞目     

“中国造”首架空客A320将于5月试飞

位于天津滨海新区空港加工区的空客天津总装公司厂房,第8架飞机开始组装。2009年4月21日,法国国民议会议长阿克耶一行参观考察了这条空客公司在欧洲之外唯一的总装线。空客(天津)总装公司总经理尚鲁国告诉记者,自     

用于波音787的新型复合材料机翼除冰系统

在机械系统方面,现代商业飞机通常采用一系列管道从发动机内部引入加热的空气,通过加热空气在结冰机翼表面内侧的流动加热附近的机翼表面,从而达到除冰的目的。但是这不仅会使设计变得复杂,同时还会降低发动机的有效推力。所以,多年来研究人员一直在开发一种替代技术,即向机翼前缘表层里面置入导电元件来直接加热机翼表面,使冰层不会聚集变厚。     

美国联邦安检与私营安检的绩效对比

2001年11月,为了提高美国境内各种运输模式的安全性,美国国会出台了航空和运输安全法案(ATSA)。在航空系统的安全保障方面,ATSA提出了几项重要措施,其中第一项就是在2002年11月19日前实现由联邦政府提供美国民用机场的安全检查服务。ATSA的第108条款要求在美国运输安全局(TSA)的监督下,在五家民用机场保留私营航空安全检查人员。这五家机场分别是:旧金山国际机场(SFO)、堪萨斯城国际机场(MCI)、大罗彻斯特地区国际机场(ROC)、杰克逊霍机场(JAC)和图珀洛地区机场(TUP)。鉴于准确评估和测定私营承包商和联邦安检业务运营的能力将对航空旅行的安全性产生重要影响,TSA雇佣了一家独立的评估人开展了美国联邦安检与私营安检的绩效对比研究。在研究过程中,评估组确定了对比私营安检业务营运与联邦安检业务营运的工作绩效的三个标准,即:安全有效性、成本以及客户和股东影响;针对每个标准,又设计出对比工作成果的定量方法;此外,还审查了私营安检计划,以便了解那些可能影响工作成果的定性因素。在评估期间,评估组共安排了29次机场临检,同联邦和私营部门中涉及安检工作的人员进行了240多次采访,收集了与安检业务营运有关的数据,进行了统计分析,并且得出了调查结论。