基于NSGAII的协同产品开发项目自动协商决策

供应链环境下的协同产品开发项目中,核心企业与合作企业之间,需要对项目工期、预算和质量进行协商。科学高效的协商决策方法有助于协同产品开发项目参与各方实现双赢的协商目标。采用多Agent系统建立了协商问题的框架,构建了协商Agent以自身效用最大化和与对方建议相似度最大化为目标的多目标反建议模型;提出了基于NSGAII的自动协商决策算法,算法采用了正整数和小数混合的实数编码方式,并在遗传操作中增加了约束限制,剔除不可行个体。计算机仿真实验结果表明了算法对提高协商成功率和协商效果的有效性,说明了协商Agent可接受的最低效用值对于协商结果的影响。     

基于创业过程的资源匹配孵化研究

企业孵化需要结合创业过程提供匹配服务。通过有机地将创业过程与企业孵化相结合构建系统动力学模型,研究创业成长不同时期的资源匹配模式。模型仿真分析发现,单纯提高创业资源的供给并不能带来创业数的增加,需要将资源供给与各阶段企业晋级比例相结合,才能实现预期目标。进一步地,既定创业资源投入情况下,调整不同阶段的企业孵化驻留时间能够提高企业孵化器收益与在孵企业总数,但容易导致创业资源的挤占,而评价考核体系的分层设计能有效规避这一问题。据此,结合中国企业孵化实践,分别对创业孵化过程及对应的评价机制,提出相应的政策建议。     

基于系统动力学的产业集群对企业绩效的影响机制分析

以系统动力学为基础,研究了产业集群对企业绩效的影响机制。分别建立了外部资源环境、发展规模及科研创新能力对企业绩效的影响系统因果图,在此基础上开展了产业集群对企业绩效影响的全过程动力分析。以上海市医药制造产业集群为例开展了实证研究,使用Vensim模拟软件进行了模拟仿真,详尽探讨了影响机制中正负反馈回路。结果表明,产业集群的外部资源环境、产业集群的发展规模和产业集群的科研创新能力对集群内企业的发展有着正向影响,政府和集群内企业可以通过加大对集群科研实力的投资力度、改善产业集群外部环境、扩大产业集群发展规模三个方面来提高产业集群内的企业绩效,促进产业集群内企业的可持续性发展。     

拟一致无迹卡尔曼滤波算法北大核心CSCD

针对一般的非线性系统,研究了无迹卡尔曼滤波(UKF)算法的一致性问题.通过对传统UKF算法的修正,提出了拟一致UKF(QCUKF)算法,同时给出了修正参数的选取准则,并且在理论上证明了所提算法的拟一致性.当算法具有拟一致性时,估计精度可被实时评估.最后,通过仿真实例说明了所提算法的可行性以及拟一致性.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

带有不确定参数的一类混沌金融系统的广义投影同步

针对带有不确定参数的一类混沌金融系统,提出了实现驱动系统和响应系统广义投影同步的自适应控制策略,并基于Lyapunov稳定性理论给出和验证了广义投影同步稳定性判据.数值仿真验证了控制策略和理论分析的有效性.     

具有非线性热源项的耦合杆系统

主要以经典的算子半群理论为依据,研究了一类具有非线性热效应的耦合杆系统的长时间行为.首先在齐次边界条件和初始条件下,证明了系统解的存在唯一性;其次通过渐近先验估计,证明了系统有界吸收集的存在性;最后利用算子半群的分解技巧,得到了系统全局吸引子的存在性.     

基于模糊灰色新陈代谢FGM(1,1)模型预测及应用探讨

巷道围岩变形是煤矿开采普遍存在的问题,巷道开挖过程中围岩会出现破裂现象.主要探讨模糊灰色系统的深部巷道围岩变形预测模型及应用,通过分析模糊数学理论、灰色理论,给出模糊灰色系统预测新陈代谢模型.     

基于几何过程和位相分布休假的两部件并联可修系统的可靠性分析

主要以两不同型部件组成的并联可修系统为研究对象.在系统对失效相位存在记忆的基础上,考虑了修理工可单重休假且休假时间服从位相(PH)分布.每个工作部件均有可能因受到两种不同类型的故障而失效,且均"修复非新".在假定部件的工作时间,修理时间分别服从PH分布的几何过程和负指数分布的条件下,利用马尔可夫过程和矩阵分析的方法,对可修系统进行了可靠性分析,并给出了相应可靠性指标的数值算例.     

哈密顿系统的低维环面的保存性

本文给出了关于哈密顿系统低维环面的一个推广的KAM定理,它适用于同时存在法向频率和双曲法向分量的情况.其证明基于尤建功的一个定理的光滑性表述及法向双曲不变流形理论的应用.文中还给出了另外两种情况下的推广.