门限式令牌总线局部网协议性能分析

本文建立了一种门限式令牌总线局部网协议的数学模型——多用户单服务排队离散系统.用马尔可夫链理论,对所建立的数学模型进行了理论分析,推导出离散系统的平均循环周期公式、平均队长公式和平均等待时间公式,最后用蒙特卡洛法对离散系统进行了计算机模拟,模拟结果与理论值相吻合.     

点突变积累与分子进化

认为木村资生等人用分子进化的中性说向综合达尔文进化说提出了挑战，但在许多方面他们又未能摆脱综合进化说的概念框架和理论范式。进而从对分子进化有更深层意义的复制群体中的基因点突变特征入手，初步提出了一个分子进化的点突变积累模型，并以此解释了分子进化钟的成因，指出了现存物种高低分布与物种历史进化之间在分子水平上的渊源关系。     

关于一类时间最优控制系统的切换条件问题

本文从工程应用实际出发,研究了时间最优控制系统的切换条件问题。文中以调速系统为例,考虑了系统的状态约束和控制量约束,从理论上进行了推导,并结合系统的参数变化和计算机控制的实际时延,提出了一套适用于这一类时间最优控制的切换条件。通过数字仿真和物理系统的实验,证明这些切换条件是准确可靠的。所用的推理方法也可适用于类似的最优控制切换条件的综合。     

独立闭合三角锁的平差和应用

提出独立闭合三角锁的平差方法，在村镇扩建或是郊区开发郊区的测图工作中，它具有工效高，成本低。出成果快的特点。     

利用外资规模控制的非线性目标规划模型

利用外资规模控制的目标和约束条件的确定，得到了利用外资规模控制的非线性目标规划模型。     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

基本蚁群算法的A.S.收敛性研究

蚁群算法是近几年优化领域中新出现的一种启发式仿生类并行智能进化算法，虽然该算法已经在众多组合优化领域中得到广泛应用，但是对其收敛性尤其是A．S．（AlmostSurely）收敛性问题的研究还存在很多空白．本文在介绍蚁群算法基本原理的基础上，以Markov链和离散鞅作为研究工具，对基本蚁群算法的A．S．收敛性问题进行了理论证明，把最优解集序列转变为下鞅序列来考察残留信息素轨迹向量的收敛性，随后提出了基本蚁群算法首达时间的定义，并对基本蚁群算法首次到达时间的期望值进行了理论分析．     

基于配置约束处理的产品配置设计方法

为了解决复杂的配置设计问题，提出了一种集成配置设计方法．该方法包括3个相互协作的过程：通过实例匹配技术从现有设计实例库中搜索满意设计解；通过领域知识的支持解决具有强烈知识依赖性的模块配置问题及关键参数的赋初值问题；通过进化算法解决配置设计过程中参数的求解和优化问题．针对参数求解和优化过程中的一些复杂配置约束，在传统进化算法的基础上提出了约束校核操作和再设计规则的配置约束处理方法．最后以蜗杆减速器为实例，验证了所提出的基于配置约束处理的产品配置设计方法能够快速给出良好的设计解，从而为复杂产品的配置设计问题提供求解方案．     

一类不确定时延状态反馈网络化系统鲁棒稳定性

考虑控制器和执行器事件驱动、传感器时钟驱动、恒定周期采样和不大于一个采样周期的不确定时延,将有控制约束的状态反馈网络控制系统建模为含有不确定性的离散时变系统.利用Lyapunov理论和线性矩阵不等式方法,导出系统鲁棒稳定的充要条件.利用Matlab LMI工具箱求解该条件,可在判定该类系统稳定性的同时,获得系统鲁棒控制律.仿真算例说明了分析方法和稳定判据的有效性.     

多变量反馈系统稳定零极近似相消的积分约束

导出了多变量反馈控制系统接近于虚轴的稳定零点与补偿器的稳定极点近似相消时,其误差响应的时间域积分约束。这一约束给出了多变量反馈系统固有折中的新的观点。名义系统接近于虚轴的稳定零点与补偿器的稳定极点近似相消导致反馈控制系统的调节时间延长或者误差响应的无穷范数变大。因此,在反馈控制系统设计中,尽量避免补偿器的极、零点与名义系统的零、极点近似相消(即使这些零、极点是稳定的)。同时讨论了名义系统稳定零点与补偿器的稳定极点近似相消时闭环系统对抗干扰能力的影响。