基于北斗/GNSS精密时频量值传递综述

介绍了北斗/GNSS精密时间频率量值传递技术及其应用研究进展,通过对北斗共视比对技术的研究,设计出利用北斗共视与国家授时中心GNSS CV精密时间服务系统进行比对,从而实现用户与标准时间UTC的溯源完成基于GNSS CV技术的时间频率计量服务系统设计,创新性地提出提高北斗共视比对技术以及研制多模多频GNSS CV量值传递设备的研究方向。     

现代酒店客房服务中存在的问题及对策

为有效提高酒店客房的服务质量。通过实地调查研究,发现现代酒店客房服务中存在的主要问题,并分析其原因,提出解决方法。这对酒店的可持续发展至关重要,有助于酒店形成人性化的服务特色,增加其市场竞争力和旅游吸引力。     

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

敏捷制造数据源及其实现技术

为满足产品全生命周期管理对制造数据敏捷性的需求,提出一种敏捷制造数据源的数据管理方法.分析了敏捷制造数据的应用需求,将敏捷数据源定义为一种面向产品生命周期不断变化应用需求的数据定义和管理架构,该架构包括核心对象与本体层、元数据元模型层、服务组件层以及实施层等4个层次,对该架构的特点进行了分析.提出了实现敏捷制造数据源的3个实现技术,分别是抽象元建模技术、基于规则的数据视图快速生成技术以及基于服务技术的组件重用与快速重构技术.所提出的敏捷制造数据源为支持产品生命周期内制造数据的敏捷管理、应用以及提升应用信息系统敏捷性提供了新的途径.     

欧美基本航空服务政策及其实施效益比较研究

目前,中国航空市场正处于半管制半开放的状态,伴随着航空运输市场管制的逐步放开,国内大多数地区迎来了更优质的服务以及更优惠的票价。然而,放松管制所带来的收益并没有均衡分配。许多偏远地区,尤其是中国西部地区市县,由于缺乏人口基础和经济实力,旅客运量不足以使航空服务实现持续盈利,因而难以获得或维持商业航空客运服务。以欧洲和美国为代表的航空发达国家为解决上述问题,纷纷制定了适应其国情的"基本航空服务"计划,其中最有代表性的是美国的基本航空服务计划(EAS)和欧洲的公共服务计划(PSO)。这些计划一方面满足了公众基本福利,另一方面,大大促进了其支线航空市场的健康发展。从基本航空服务诞生背景出发,梳理美国、欧洲基本航空服务政策内容与实施流程,对比分析政策效果,归纳成功经验,旨在提出适用于中国支线航空发展的政策建议。     

考虑人机匹配模式的舰载机甲板机务勤务保障调度算法

舰载机甲板机务勤务保障是全周期起降保障作业的关键环节,为提升机群保障能力并减轻传统人工制定保障计划的负担,研究了多类人机匹配模式下舰载机甲板机务勤务保障调度算法。首先,系统分析机务保障所采用的单机机组模式、大机组模式和一体化联合保障模式等人机匹配模式,基于保障流程约束、资源转移和保障范围等各类资源约束,面向实际保障需求,以机务勤务作业完工时间、保障人员累积转移时间和闲忙比方差和为优化目标,建立了适用多类人机匹配模式的舰载机甲板机务勤务保障调度模型;其次,将机务勤务保障调度问题抽象为典型的资源受限项目调度问题,基于考虑资源转移的串行调度机制,设计了双种群遗传算法,对调度模型进行优化求解;最后,保障场景案例实验表明,调度模型和算法可实现不同人机匹配模式下的机务勤务保障优化,显著提升各项保障目标。在同等条件下,一体化联合保障模式具有更高的保障效率和较好的人员负载均衡性,且该优势随着转移入场飞机数量的增加而增加,而人员累计转移时间最长;单机机组保障模式的优缺点与一体化联合保障模式相反,大机组保障模式则介于两类模式之间。     

压缩感知OFDM稀疏信道估计导频设计

为提高稀疏信道估计性能, 基于压缩感知(CS)理论, 研究了正交频分复用(OFDM)系统中的导频设计问题。由于已有方法不能准确衡量采样矩阵重建性能, 从而导致根据已有方法设计的导频具有较差的信道估计性能, 因此提出以互相关矩阵元素的立方和为准则准确评价采样矩阵的重建性能。针对OFDM系统信道估计导频设计为离散组合优化问题, 提出了一种并行完全树分组替换搜索算法用于搜索最优的导频。在算法的每次循环中, 先将导频索引集合分组, 再根据每一组替换的结果更新导频, 提出的方法扩大了导频搜索空间, 避免了导频搜索的局部最优问题。仿真结果表明, 提出的评价方法相比现有方法能够准确评价采样矩阵重建性能, 使用提出的准则设计的导频与现有互相关准则相比信道估计均方误差可减小约3 dB。同时, 所提出的导频搜索算法具有更快的收敛速度和最优的导频搜索性能。      

性能保证条件下航空电子高速交换机的加速方法

 以保证航空电子互连网络的确定性延迟和高带宽为目的,建立航空电子交换式以太网（AFDX）承载于波分复用（WDM）之上的架构,兼容AFDX的延迟确定性和WDM的带宽可扩性,满足航空电子互连网络对实时性和高带宽的要求。通过对实时通信中周期性数据帧的分析,提出光波聚合加速方法,对输入端到达的数据帧进行重新分配和整型,充分利用每条光波的带宽资源,减少交换使用的波长数。在性能保证条件（100%通过率下保证有界延迟）下,对使用光波聚合方法的交换机制进行了数学推导。最后通过计算机仿真,以网络延迟时间率和加速因子为性能衡量指标推证了该加速方法的优越性和可行性。     

网络环境下图书馆信息资源建设的著作权问题

网络环境下,探讨在图书馆信息资源的建设中,如何充分理解、掌握运用现行的相关法律,合理地进行数字信息资源的建设和网络信息资源的整合、利用.