热轧钢管主生产计划模型与算法研究

建立了热轧无缝钢管主生产计划问题的混合整数线性规划模型．该模型可归结为多阶段多产品带有能力约束的批量问题，但与传统批量问题存在以下不同：①充分反映了钢管企业与其它行业的不同工艺特点；②目标函数追求最大化现金流而不是最小化成本；③允许订单积压；④考虑库存能力约束；⑤忽略设置时间及成本。但引入了最小生产批量约束．鉴于该问题的NP难性，使用两种基于优化的启发式算法进行求解，并提出两条策略加以改进．     

一种稳健的自适应波束形成方法

基于线性约束最小方差(linearlyconstrainedminimumvariance,LCMV)波束形成原理,根据贝叶斯估计理论,提出了一种基于加权的波束形成方法。该波束形成方法能够很好地克服LCMV波束形成对期望信号DOA误差特别敏感的弱点。仿真试验表明,该方法性能稳定,对期望信号DOA误差具有很好的稳健性。     

基于动态生产能力约束的MC模式下供应链调度优化

大规模定制(MC)模式下的供应链调度优化过程是典型的随机需求与资源约束的动态问题。为合理解决这一问题，在前期研究成果基础上，着重从供应链系统中各协作成员的动态空余生产能力角度出发，指出动态空余生产能力约束关系是该调度优化过程的主要约束关系。进而分析了由该约束关系引发的相关矛盾。通过引入反映和解决矛盾的利益偏好因子，建立了更加完善的动态调度优化数学模型，并通过实例验证了模型的有效性与可行性。     

求解度约束最小生成树的单亲遗传算法

提出了求解度约束最小生成树问题的单亲遗传算法.该算法首先利用Prufer数对生成树进行编码;然后精心地设计了一个随机地产生初始种群的方法,用这种方法产生的初始种群,不会含有任何不可行解;在遗传操作中只使用选择和变异操作,共设计了三种变异操作,其中两种变异操作均不会产生不可行解,只有一种变异操作可能会产生不可行解,需要作树的度的检查和修改;这样就大大的降低了不可行解产生的机会,从而提高了遗传算法的效率;而且只使用变异算子,有效的避免了早熟收敛现象的产生;通过大量的数值试验,表明该算法简单,高效,收敛率高;最后对此算法做了适当推广,并给出了它求解TSP问题的具体步骤和实例。     

一类带时间约束指派问题的分枝定界算法

通过对模型特征分析,提出了一种分枝定界算法,实例应用及算法复杂性分析证明了该算法的有效性.     

共享合成Petri 网系统的活性保持性

讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.     

延迟反应信息影响下的修正多路径分配法

对行驶者的一种特殊的路径选择行为进行研究,提出了延迟反应信息及其影响区的定义.通过分析延迟反应信息影响下行驶者出行路径选择规律,对传统多路径交通分配方法进行了修正.重点对修正分配法中的几个关键问题,如延迟反应信息的影响区域的描述及二次路径选择起点的确定方法、多个延迟反应信息源间的联系以及它们对分配过程的影响的处理、二次分配过程的控制方法等,进行了详细讨论,最终给出新的多路径分配算法及算例,为交通影响分析、城市道路交通管理方案的制定以及交通规划等工作提供决策依据.     

论量子测量解释中的实在观

本文通过对不同量子测量解释的共同基本特征的考察,系统地阐述了量子测量解释中隐含的实在观的三个基本信条,(1)在本体论意义上,承认世界的独立存在性;(2)可以对物理过程进行统计因果性的说明;(3)物理世界具有非分离性或整体性.提出了以这种整体性实在观为前提,对量子力学的实在论解释要求重新审查传统真理观的观点.     

完整约束奇异广义力学系统的Poincare'-Cartan积分

对受完整外在约束并用奇异Lagrange量描述的广义力学系统,基于完整外在约束满足的约束加在虚位移上的条件,并考虑到系统的内在约束,导出了该约束奇异广义力学系统的广义Poincare'-Cartan积分不变量,并证明了该不变量与约束奇异广义力学系统的广义正则方程等价.     

动态模拟模型与动态模拟时间路径

在经济政策分析及政策方案评估中,采用动态模拟模型模拟政策所引起的经济现象变化的时间路径,是评价政策的重要“实验”方法。动态模拟时间路径的性状一般并非由动态模拟过程所决定,而是由动态模拟模型所决定。因此,如何选择不同的动态模拟模型,如何解读不同的动态模拟时间路径,便成为越来越受关注的政策模拟“实验”的焦点。