基于CSP的Job shop调度算法研究

针对一类典型的约束满足问题——Job shop调度问题，提出一种CSP调度算法框架，详细讨论CSP调度算法中的工序开始时间窗、一致性预处理、搜索空间概率模型、工序排序启发、开工时间排序启发的求解方法。仿真结果表明CSP调度算法在较小的计算时间代价下，获得了FT10标准调度问题的近优解。     

确定触发器次态卡诺图的一种新方法

本文探讨了异步计数器设计中确定良器次态卡图的一种新方法－依据时序图确定为０为１最小项法，并以一个异步十进制加法计数器的设计为例，论述了新方法的先进之处。     

一种新的求解函数优化问题的两级遗传算法

提出一种新的两级遗传算法,用于求解带约束的非线性函数优化问题。本算法的特点是,在保留经典遗传算法中选种、交叉和变异3种基本操作的同时,增加了重构、局部寻优两种新操作,加快了收敛速度;利用拉格朗日时偶原理,构造拉格朗日对偶函数,在上下两级分别对拉格朗日乘子和函数变量进行优化搜索。算例表明了该算法的优越性。     

机载防撞系统水平防撞模型的建模与仿真

针对下一代机载防撞系统水平防撞的功能要求,采用相对距离水平投影的方法,根据空间碰撞威胁度和时间碰撞威胁度的理论依据,建立了水平方向的冲突探测和防撞模型,并利用伽利略相对性原理导出了本机与入侵飞机之间的投影水平相遇距离和到最接近点的预留时间的计算公式.阐明了水平防撞模型的建模方法,制定出机载防撞系统水平防撞功能的仿真测试方案,并进行了基于时间流的计算机仿真和测试.仿真结果表明:该模型不仅能够预测出飞机在各个时间的相对方位、相对距离和相对高度,而且可以给出合理的水平机动措施,为飞行员提供左转或右转的角度指示以避免空中相撞.     

可数、相依和良序选择

本文扼要地阐述了可数选择公理、相依选择公理和良序选择公理，并对它们的应用予以进一步的探讨．     

依赖风险保单组合总索赔额的近似分布的误差限

在Chen（1975）、Michel（1987）等人工作的基础上．对依赖风险保单组合的总索赔额分布的复合泊松近似的误差限做进一步推广，并给出一个数值解释的例子。     

Optimization of Additively Decomposed Function with Constraints

We propose a modified evolutionary computation method to solve the optimization problem of additively decomposed function with constraints, ft is based on factorized distribution instead of penalty function and any transformation to a linear model or others. The feasibility and convergence of the new algorithm are given. The numerical results show that the new algorithm gives a satisfactory performance.     

夸克的量子输运理论

在本文,我们推导出了夸克的一般性量子输运方程和限制方程,并讨论了理论的半经典和经典极限情况。     

控制幅值受限下带扰动线性系统的能控性

研究控制幅值受限下定常离散线性系统在某类扰动作用下的能控性问题。给出了这类系统的初始状态有了发拍能控的条件；给出了系统完全的能控时，状态矩阵的特征值所要满足的必要条件，最后，对一类特殊系统给出了完全能控的充分条件。