论Ada对DOD国防系统软件开发标准的适应性

Ada语言与DOD-STD-2167A是美国国防部(DOD)在软件方面最重要的两个标准,对它们之间的一致性与适应性进行研究是很有必要也很有意义的。这项研究的关键是研究Ada程序结构与DOD-STD-2167A静态结构的适应性。为此,本文首先详细分析了DOD-STD-2167A的静态结构,然后研究了Ada程序结构对这种静态结构的对应问题,指出了对应中存在的问题,在此基础上引入了库单元的概念。本文最后讨论了与DOD-STD-2167A相适应的Ada软件开发策略。     

情报网络对生产／流通过程中的库存的影响

本文通过建立独立型、垂直型和综合型3种模型,从订货方式和服务水平两个侧面,分析、考察了在生产/流通系统中建立情报网络而对系统中的库存所产生的影响。并据此提出了“失连库存”的新概念,对其进行了定量的分析和评价。本文得到的结论不仅在多阶层库存理论的研究上是必不可少的,而且对我国发展管理信息系统等现代化管理技术都具有指导意义。     

超声-回弹综合法对服役钢筋混凝土结构的健康诊测

基于超声-回弹综合法检测混凝土强度技术规程,论述了超声-回弹综合法测强原理、影响因素和测试方法,对服役结构混凝土检测时采用钻芯法进行校准,同时对修正用芯样数量和测试精度进行了理论分析。以廊坊市某工程为例,采用钻芯-超声-回弹综合法推定结构混凝土抗压强度,并对检测数据进行分析,供钢筋混凝土结构检测鉴定参考。     

浅谈如何以内部审计工作促进企业管理水平的提高

本文从内部审计的职能、作用入手,在强调审计监督职能的基础上,突出内部审计工作对企业经营管理的服务职能,试图建立以内部审计管理为核心的企业管理模式,促进企业管理水平的提高.     

航行情报服务(AIS)及其属性初探

本篇首次运用情报的广义属性从理论上分析和概括了航行情报的定义、宗旨和有关性质,并给出了航行情报服务的流程图和交流图。对促进和加强这一学科的教学研究有一定的参考意义。     

基于产业思维的航天发射服务研究

首先从核心驱动出发提出航天发展三阶段第一推动力,从产业要素出发分析航天产业进阶的市场、技术和产业政策三要素。而后从价值链出发研究航天产业产值分布和产业整合策略。最后分析了新兴航天发射服务公司的模式、产品和技术,为我国航天发射服务提供参考。     

关于军用飞机服役日历年限评定用的当量环境谱

探讨了按损伤等效原则,将典型服役环境区设计使用环境谱,转换为当量环境谱的编制要求和方法;给出了可供元件与模拟件开展加速疲劳试验选用的当量环境谱,可供新型军用飞机结构开展服役日历年限评定使用。     

基于延误油耗优化的平行跑道运行方式

在比较现有平行跑道运行方式的基础上,制定了基于延误油耗优化原则的跑道选择策略。同时根据航班时刻表及起降间隔标准,建立了数学模型,提出了基于油耗优化原则的跑道选择和排序方法。算例表明该方法提高了混合运行方式下跑道的运行效率,减少了航空器的滑行时间和等待时间,降低了航空公司的运营成本。     

L波段数字航空通信系统研究

随着全球航空运输的发展,空中交通管制与航空公司运控等航空业务对航空通信系统的数据传输速率、频谱利用率、航空通信网容量等性能提出了更高的要求。虽然现阶段基于甚高频的航空通信系统得到了迅速的发展,但仍受限于标准体制、技术壁垒等因素,难以满足持续增长的运行需求。L波段数字航空通信（L-band digital aeronautical communication system,L-DACS）数据链技术作为新一代航空通信系统的预选方案,是有效解决频谱资源饱和难题、满足高速率传输需求的有效途径。本文在总结L-DACS数据链技术发展现状的基础上,阐述了该通信系统现阶段的技术标准,分析了L-DACS发展所面临的挑战,提出了对应的发展建议,为面向航空宽带通信L-DACS的研究提供了参考与借鉴。     

实时连续多媒体任务模型及调度算法

传统周期任务模型过于简单,不能适应实时多媒体流任务的多种形式,以用户为中心的连续媒体的调度算法由于未能从全局上考虑任务的服务质量QoS(Quality of Service)需求,因而调度效率较低.提出一种改进的以多媒体对象为中心周期任务模型,该任务模型概括了目前多媒体任务的基本表现形式.基于该任务模型,提出了一种以连续多媒体流的整个质量表现过程为中心的任务表现路径模型TPP(Task Presentation Path).在全面考虑表现路径中媒体流对象的全局死线、局部死线和任务连续失效率的基础上,给出了连续多媒体流的比例资源分配调度算法PSTPP(Proportional Share based on Task Presentation Path).实验结果表明了所提出的周期任务模型的合理性,调度算法能提供比传统分时策略以及EDF算法更好的QoS保证.