机型指派与飞机路线一体化建模及算法研究

通常航班计划都是分阶段完成的,即航班时刻表→机型指派→飞机排班→机组排班,每一个问题都相对独立的建模并求解;这样通常无法得到全局最优解甚或无解,对后续问题求解造成很大困难。为了克服这种困难及改善航班计划的次优性,本文将机型指派、飞机路线问题综合考虑,建立多机型的一体化飞机排班多商品网络流模型。为实现模型的有效求解,本文提出了基于约束编程的动态列生成算法;即用约束编程快速求解航班连线（航班串）并计算各航班串简约成本,动态选择列集并与限制主问题进行迭代。最后,利用国内某航空公司干线航班网络实际数据验证模型和算法的有效性,并与航空公司实际排班和分阶段优化情况进行比较研究。     

分布仿真实验管理系统网络中间件的研究与实现

分布式仿真实验管理(Distributed Simulation Experiment Management,DSEM)由分布仿真实验管理系统实现。网络中间件是该系统的数据收发模块,是管理系统进行仿真过程控制的关键环节。首先介绍了分布仿真实验管理系统的结构和工作流程,并指出了网络中间件在实验运行控制工具和实验方案规划工具中的作用。随后描述了它的原理和功能需求,并根据功能需求提出了设计思路。阐述了网络中间件的结构、模块组成以及整体工作流程,并对IP管理、命令生成和报告处理模块的工作机制进行了详细说明。最后总结了网络中间件的特点并展望其前景。     

数据流图的生成编辑的研究

本文提出并初步实现计算机辅助的数据流图(DFD)生成编辑(GE)。DFD的GE思想,是基于对DFD和数据字典(DD)的形式化描述,通过需求调查工具、DFD工具和DD工具的结合,生成编辑DFD和DD。对传统的支持结构化分析(SA)的软件工具中的DFD、DD计算机辅助编辑而言,是新的尝试。     

Einstein's reinterpretation of the Fizeau experiment: How it turned out to be crucial for special relativity

In this article, we aim at clarifying the role played by Fizeau’s 1851 experiment, both in the context of discovery and in the context of justification of the special theory of relativity. In 1907 Laue proved that Fresnel's formula was a consequence of the relativistic composition of velocities; since then, Einstein regarded Fizeau's experiment as confirmatory evidence for his theory, and even as a crucial experiment in favor of the relativistic addition of velocities. On the other hand, in the 1920's Einstein stated that this experiment was decisive in the path that led him to the discovery of his theory before 1905, but he did not explain why. We survey all the available evidence on this subject and conclude that the original ether-drag experiment was reinterpreted within a new conceptual framework in which the meaning of the very concept of velocity undergoes a radical change.     

通用CPU设计中的模拟验证技术及应用

设计验证是芯片设计过程中保证其可靠性的重要环节，其中，模拟是实际中最重要的验证方法，根据应用目的的不同，可以将模拟验证技术分为两大类；针对矢量产生的技术和针对检验证评估的技术，本文分类阐述了多种通用的验证技术的原理，在分析和比较的基础上指出各自的优缺点，并介绍了其在一款通用CPU设计之中的应用，包括平台，实验数据以及相应的分析。     

运用Microsoft Excel的宏功能设计数据报表生成系统

运用Microsoft Excel强大的宏功能和自嵌的VBA,设计了一套数据报表生成系统。该系统除了具有Microsoft Excel电子表格软件原有的一切功能外,用户还可以根据需要设计自己特定的数据报表模板,完成从单元格定义到数据提取的所有操作,用户界面友好,计算分析功能强大。     

从认知视角分析春晚小品《策划》的言语幽默

本文运用认知领域里的矛盾消解理论和概念整合理论,对小品<策划>剧本的幽默文本进行分析,研究了由下蛋公鸡等所引发的幽默.通过概念整合理论的四个心里空间模式,发现了致笑的共同点在于将动物类空间和人类空间相整合,达到幽默效果.     

在下一代网络中应用“会话发起协议”

介绍了“会话发起协议”(SIP)的基本概念,并着重阐述和分析了SIP的本质特性及在下一代网络(NGN)中的适用场景,且分析了SIP在下一代网络多媒体业务集成中的核心地位及所要解决的关键问题,并提出了一个SIP和相关技术结合的在NGN中开放业务集成的框架。     

国际标准COBOL语言的现状与前景

近些年来,COBOL语言在数据处理领域的声誉有些下降,人们为COBOL的前途担扰。本文论述了国际标准COBOL语言存在的问题、COBOL85的改善以及COBOL的前景,并指出COBOL语言的发展要与第四代语言相结合,还强调要加快结合的进程。     

广西壮族人口自然增长力的初步研究

该文首次尝试把种群生态学中的内禀增长力（rm）的概念用于人口。并计算了壮族人口的净雌生殖率R。（3．1375／♀），平均世代生育历期T（30．71年）、自然增长力rm（0．0372）、周期增长率λ（1．0379）等．研究发现缩短生育历期比增加净雌生殖率对人口的rm的贡献要大得多．因此，提倡晚婚晚育比少生更重要．