Acquire A Full Understanding of the Guidelines for Running CAS in the New Era and Promote the Knowledge Innovation Program in An All-round Way

Editor's note: We are sorry that because of the over-crowded space in our last issue, we are delayed in presenting the second part of the report delivered by the CAS President Lu Yongxiang at the 2002 working conference of CAS. The report appears in two installments in this and the 1st issue of this volume.

Acquire a Full Understanding of the Guidelines for Running CAS in the New Era and Promote the Knowledge Innovation Program in an All-round Way

Editor's note: We are sorry that because of the over-crowded space in our last issue, we are delayed in presenting the second part of the report delivered by the CAS President Lu Yongxiang at the 2002 working conference of CAS. The report appears in two installments in this and the 1st issue of this volume. ……

基于Milk Run模式的库存运输整合优化

为解决库存与运输的效益背反性,建立了基于Milk Run取货模式的汽车零部件库存运输整合优化的双层规划模型。通过上下层的博弈关系研究库存与运输,逐步平衡二者的效益背反关系,达到整个取货物流网络的最优化。根据模型的特点设计了分层迭代算法,通过数值仿真验证了模型的实用价值和有效性。

软件工程学术型硕士研究生培养方案优化与实践

在智能化时代背景下对高水平软件人才培养方案进行优化与实践,提升学术型硕士研究生综合能力以应对智能化时代日益复杂的现实问题,从而满足软件研发对人才能力和素质的要求。通过优化培养方案,构建人工智能与软件工程学科相结合的课程新体系,将科技项目研究融汇于研究生培养过程中;强化培养重点环节的管理与考核,促进研究生的学术成果产出,突出学校育人特色;亟需明确软件工程学科建设目标、改进人才培养方案、合理设置课程、与科研项目相结合,使得学科成果可满足软件领域卓越人才培养的需求。

Web端关键帧动画运行时的构建及实例

为解决HTML5 Canvas缺少完备的动画运行环境的问题,本文构建了一种基于面向对象编程思想的关键帧动画运行时。该运行时以JavaScript编程语言为载体,利用JavaScript语言特性,对关键帧动画运行逻辑进行高度抽象。实例运行结果表明,该运行时不仅能为创造高性能、高灵活度的关键帧动画提供可能,还能为创建低耦合、低代码量的拓展类提供基础。

基于GNU Radio的软件化雷达中心机设计与实现

基于开源式软件无线电平台GNU Radio设计软件化雷达中心机架构,实现相控阵搜跟一体雷达中心机的快速开发和组件可重构。介绍了中心机接口、任务组成和工作流程,通过多线程并行处理多任务提高系统实时性,通过时序控制及优化保证仿真准确性,采用Message实现各分机通信。半实物测试表明设计的中心机满足雷达仿真要求,且能复用和重构。

《学位法》时代学术复核制度的法治逻辑

学术复核制度作为维护学位申请人合法权益、规范学位授予权行使、实质性化解学位争议的一大制度创新,旨在发挥其促进学术公正、尊重学术自治的价值功能。为了考察实践中高校学术复核制度的运行逻辑,本研究对96所“双一流”建设高校的准学术复核制度文本进行分析发现,当前学术复核制度在实践中面临受理范围类别有限且条件苛刻、受理机构独立性欠缺和专业性不足、专家回避原则执行不力和人员构成不尽合理、复核处理期限不明和申请人参与程度低等多重法治困境。为将学术复核制度建设纳入法治轨道,我国应从规范制定、制度实施、强化监督三个维度着手,建立健全《学位法》框架下的学术复核办法,完善学术复核内部治理体系,建立和完善学术复核制度的国家监督体系,以促进学位争议案件中学术评价纠纷的实质和公正解决。

城轨工程曲线地段站前折返方案研究

城市轨道交通车站的两端多为曲线,受曲线控制,折返线距离站台较远导致折返能力较低,不能满足行车组织要求。为解决站前直线段长度不足以设置折返渡线的问题,提出一种结合站前区间线间距设置单渡线或交叉渡线进行折返的方案。通过对不同线路偏角、不同道岔型号、不同车辆编组的站前单渡线计算,结合单股道技术作业流程,站前单渡线折返能力可达13~20对/h;通过对不同道岔型号、不同车辆编组、不同车站区段线间距的站前交叉渡线线路计算,结合双股道技术作业流程,站前交叉渡线折返能力可以达到19~25对/h;对于直线电机地铁及其他采用短编组的中低运量系统,折返能力将进一步提高。

校园应用场景下跑腿类应用的改进思考

随着互联网的发展,各类外卖、跑腿类应用也逐渐日常化,但是由于校园环境的特殊化,我们在使用此类应用的时候要考虑安全性。文章对目前该类应用的主要功能进行了分析,并提出了增加安全性的改进措施,以期能够促进学生开发能力的提升。

调度计划制定及运行模拟软件的结构设计

对于顺序输送管道,特别是沿线各分输站对油品品种需求很多的管道,其输油计划的制定十分复杂,如何满足分输站的众多需求,包括分输时间上的需求以及管道工况的相对稳定,都需要有一个对输送计划反复制定的过程。针对这种计划的制定,编制了相应的计算软件,介绍了该运行模拟软件的结构设计。

科研项目选择的0-1目标规划模型

本文论述了科研项目选择问题的重要性,对常用的科研项目选择方法进行了述评。为克服常用方法的缺陷即无力解决具有资源约束的、多目标相互冲突且计量单位不可比的科研项目选择问题,本文提出了基于资源分配的科研项目选择的0-1目标规划模型。最后,对模型进行了测试运行,并对运行结果给出了详细的经济学解释。

Windows工作环境下VC^(++)与Matlab的联合应用研究

在分析 Visual C+ + 6.0和 Matlab5 .3各自提供的程序接口的基础上 ,提出了一种通过数据文件将 Visual C+ + 和 Matlab联合在一起进行软件开发的方法 ,并通过一个实例表明该方法适合于开发一个在 Windows工作环境下运行的、具有丰富的程序接口和良好的用户界面 ,以及复杂计算能力的应用软件 ,且该软件具有高效、易扩充等特点 .

动态规划法在西南管道泵站优化运行中的应用

以西南成品油管道泵站为例,运用动态规划的原理,解决配有调速泵的管道全线开泵方案问题。以管道全线动力费用最低为目标函数,建立了泵站开泵方案优化过程的数学模型并给出了求解方法;设置合理步长,将调速泵离散化为一系列不同转速的固定转速泵,编制计算机程序,实现泵性能参数的计算和优化配泵。

近红外光谱预测稻谷水分含量特征谱区选择及其效率分析

对364份水分含量在2.24%~32.66%之间的"冈优916"稻谷样品,经均值中心化、一阶微分、标准归一化和多元散射校正等预处理后,采用分段间隔法、组合分段法、滑动窗口法和反向分段法等进行特征谱区选择,分别使用偏最小二乘法(PLS)和主成分回归(PCR)两种定量分析方法,获得稻谷含水量近红外光谱预测模型最佳的特征谱区。首次给出了分段间隔法、组合分段法、滑动窗口法和反向分段法等传统的特征谱区选择方法的计算复杂度的计算公式,并对比分析了这几种特征谱区选择方法的程序运行效率。结果表明:采用PLS建模对稻谷含水量光谱的预测性能优于PCR建模,但PLS建模的效率低于PCR建模;在PLS建模中,采用反向分段法对稻谷光谱含水量的预测性能最好,其预测集的相关系数R_P为0.995 6,预测均方根偏差RMSEP为0.78%;其次是滑动窗口法,其R_P为0.994 3,RMSEP为0.89%;但这两种特征谱区选择方法的程序运行效率较低,反向分段法的平均运行时间为4.87h,滑动窗口法的平均运行时间为29.82h。该研究结果为今后在并行计算或分布式计算上开发近红外光谱预测模型的快速算法提供参考。

基于遗传程序设计的产流预报模型

产流预报模型是洪水预报的基础,为了提高产流预报精度,将遗传程序引入降水、径流关系回归模型中。遗传程序能够通过自身演化寻找因果变量之间的回归关系,自动形成函数表达式,比传统方法有很大的灵活性,不必事先选定具体的数学表达式。将该预报模型应用于陡河水库的径流预报,并同传统线性回归方法进行比较,结果表明:基于遗传程序设计的产流预报模型适应性强,拟合精度高,适合解决非线性问题,为径流预报提供了新方法。

考虑能源消耗的城际列车运行速度优化

在考虑能源消耗以及城际列车与公路大巴和私家车客流竞争关系的基础上,以铁路运输部门收入最大化和城际旅客出行广义费用最小化为优化目标,以运输供给、列车到发时间以及列车数为约束条件,建立连接2个中心城市的城际列车运行速度的多目标非线性优化模型,并借助Matlab软件实现基于模糊折中规划的求解算法。分析旅客时间价值和最小上座率2个参数的变化对城际列车最优运行速度的影响。算例结果表明:在考虑列车的运行能耗后,城际列车的最优运行速度随旅客时间价值的提高呈上升趋势,随最小上座率的提高呈下降趋势;在一定的经济发展水平下,列车过高的运行速度并不能减少城际旅客出行的广义费用,反而造成列车运行能耗的大量增加。

南津渡引水式径流电站日优化运行调度研究

针对南津渡径流式电站水位变化较大的特点,分别应用水力学和总径流线性响应模型方法建立了前池水位和尾水水位的计算方案,提出南津渡水电站的日优化运行模型。根据不同的来水情况,分别采取离散微分动态规划、有后效性动态规划逐次逼近法求解,充分发挥两种算法的快速性,取得了较好的运行效果。与现行调度方法比较表明,优化调度和经济运行可显著提高水电站的发电效益。

基于HLA的分布交互仿真程序设计

基于HLA的仿真系统开发是当前大规模分布式交互仿真领域一个重要的研究方向。HLA是分布式交互仿真的高层体系结构,它实现了仿真联邦的高层次的互操作和重用。本文介绍了基于HLA的餐馆联邦C++软件环境的编程实现,分析了程序设计中的几个难点问题,给出了程序的流程图,给出了程序运行的结果。

制冷压缩机长时间运转不停的原因分析

制冷压缩机运转时间过长是船用制冷系统的常见故障之一，对压缩机的工作性能影响很大，其故障原因较为复杂。此文介绍如何根据故障现象及有关简单地操作实现对故障的诊断，为实现计算机故障诊断建立程序框图。

程序不变量检测技术

基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达形式,程序不变量一般包含类不变量、前置条件和后置条件。程序不变量是程序中隐含的属性,它可以应用于程序验证、软件测试技术、逆向工程、程序质量保证等领域。本文结合当前主流的程序不变量研究的相关成果和基于合约的程序不变量程序设计方法,分别从源程序编配技术、测试用例生成技术、程序运行轨迹收集技术和程序不变量分析技术四个方面,对程序不变量挖掘的关键方法和原理进行了详细的剖析。