基于资金约束的项目支付进度问题研究

研究资金约束下的项目支付进度安排问题,其中活动具有多种执行模式,目标是最大化项目净现值.首先界定研究假设条件并定义文中用到的符号;随后构建问题的非线性整数规划优化模型;针对其强NP-hard属性,设计三层迭代循环嵌套的禁忌搜索启发式算法;以多重迭代改进算法为对比基准,在随机生成的3240个标准算例上对算法进行测试,结果表明:禁忌搜索获得的满意解质量远高于多重迭代改进,但其计算时间要长于后者.该研究可为承包商安排项目进度及平衡现金流提供决策支持.     

市场信息缺失下的订货与利率稳健决策模型

订货和利率决策是企业和金融机构运营活动中的关键决策内容. 考虑市场信息缺失的情形, 构建了由供应商和零售商所组成的供应链系统, 其中, 零售商存在资金约束且通过银行获得融资服务, 利用 Stackelberg 博弈理论和极大极小方法建立了订货和利率的稳健决策模型, 获得了最优的订货量和保证收回本息时的最优利率. 最后数值仿真发现订货和利率决策具有较强的稳健性, 且银行要有意识的防止零售商提供虚假的期望和方差信息, 为信息缺失下的订货和利率决策问题提供了科学参考和管理启示.     

信息不完备小样本条件下离散DBN参数学习

针对信息不完备小样本条件下离散动态贝叶斯网络参数学习问题,提出约束递归学习算法。该方法通过前向算法建立含有隐藏变量的离散动态贝叶斯网络参数递归估计模型,以当前时刻网络参数为变量,构建均匀分布表示的先验参数约束模型。在此基础上利用优化算法获得近似的Beta分布,将该分布下的先验参数信息加入递归估计模型中完成参数学习。通过无人机动态威胁评估模型验证了该方法的有效性和精确性。     

完成时间限制下的任务-平台关系设计模型及算法

针对指挥控制组织结构设计中任务-平台关系的设计问题,提出了一种使命完成时间限制条件下的问题的设计模型及其求解算法。分析了使命完成时间限制条件下任务-平台关系设计(task platform relation design under mission completion time constraint, TPRDTC)问题的约束条件,建立了以使命执行质量的值最大为目标的问题数学模型。设计了用于求解该模型的循环多动态列表规划(multi-dimensional dynamic list scheduling, MDLS)算法,给出了该算法的详细步骤和流程。最后通过一个联合作战的战役案例,分析并验证了循环MDLS算法对求解TPRDTC问题的有效性和适用性。     

CNF控制算法在大型客机自动着陆中的应用

针对具有非线性特性和输入饱和约束的大型客机着陆模型,引入了组合非线性反馈控制算法。该算法由一项线性反馈控制律和一项非线性反馈控制律共同作用而成,可以有效解决激励饱和约束的控制问题。首先介绍了该算法的设计原理与稳定性证明;然后运用该算法设计了Boeing747飞机自动着陆纵向控制律,设计中秉承"线性系统设计,非线性系统验证"的工程实践常用思路;最后通过MATLAB数值仿真以及Flight Gear视景仿真,验证了设计的控制系统具有很好的鲁棒稳定性和精确跟踪能力。     

基于纳什均衡的停车场规划模型

在停车场规划中为了得到不同利益群体的收益达到均衡的情况下的停车场规划化方案,首先对停车场规划中博弈现象进行了分析,建立了停车场选址的约束模型以及从出行者、政府部门、投资者三方考虑的收益函数模型,最后得到三方的收益函数矩阵,并结合维逐次逼近法和纳什均衡求解中的划线法进行求解,得到符合纳什均衡的策略组合。结果表明,通过对符合纳什均衡的策略组合进行优化调整,在停车场规划中存在使得各方利益达到均衡的方案。     

钢管混凝土嵌岩桩力学性能研究综述

钢管混凝土嵌岩桩在内河航运工程中的应用日趋广泛。钢管作为混凝土填充的模板和钢筋,实现了每种材料(混凝土和钢)的最佳性能,同时提供两种材料相互补充,以缓解不良的失效模式。填料增加了管道的抗压强度和刚度,延迟和抑制了管道的局部屈曲,并在复合作用下提高了管道的延性和阻力。从理论、数值和试验分析的角度阐述了钢管混凝土嵌岩桩研究现状,包括横向承载特性、纵向承载特和钢-混凝土界面力学特性。最后对钢管混凝土嵌岩桩尚待研究的问题进行了展望,研究分析认为钢-混凝土界面局部劣化和发展是未来钢管混凝土嵌岩桩力学性能研究重点。     

基于MAC的动态回溯算法优化

针对基于MAC的动态回溯算法在求解约束满足问题时, 不仅需要大量空间存储删除解释, 而且回溯机制过于复杂, 对经典的删除解释及动态回溯算法的回溯机制进行优化, 优化后的动态回溯算法减少了存储删除解释的空间, 并可仅使用一次回溯操作返回到可能导致冲突的关键变量. 在最差情况下, 存储删除解释的空间复杂度由O(n²d)改进为O(nd+n²). 通过结合restart技术使优化后的动态回溯算法成为完备算法. 实验结果表明, 优化后的完备动态回溯算法在大部分问题求解中, 整体效率明显优于标准回溯算法.     

一种自动生成软件缺陷输入的方法

利用软件补丁信息,结合静态分析、符号执行和约束求解技术,提出了一种测试输入自动生成方法.该方法可以自动产生绕过补丁修补位置的测试输入,给出新的触发软件缺陷的有效可执行路径,从而找到新的软件缺陷.运用这种方法,在GNU Mailutils中,成功地发现了一个软件缺陷.该方法可以运用于实际的软件代码,保证了软件补丁修补的完备性.     

基于反馈的可信网络软件验证与测试集成框架研究

形式化方法被认为是高可信软件工程必不可少的工具,但是软件测试依然是提高软件质量最有效的方法.为此基于TTCN-3的测试集成环境,提出一种基于反馈的框架,可扩展地集成形式化规约和形式化证明方法,并把形式化方法和测试工程有效地结合起来,提高了测试的充分性和必要性.