离散事件动态系统的关键路径与扰动分析

具有存储器的串行生产线是一典型离故事件动态系统．本文在其极大代数上线性状态方程的基础上，定义了关键路径，并研究了关键路径的特性．通过关键路径，给出了其扰动分析方法．     

带缓冲器的多出口串行生产线的无阻塞最优控制

用极大代数方法讨论了带缓冲器的串行生产线的无阻塞最优控制问题,给出了多出口情况下串行生产线的加工状态方程及最优控制。     

多入口多出口串行生产线的最优节奏控制

本文用极大代数方法讨论了多入口多出口情况下带存储器有阻塞串行生产线的最优节奏控制问题,给出了串行生产线的状态方程,批量生产的生产周期公式及其函数形式,最后应用陈文德(1997)提出的算法对生产线实现了最优节奏控制。     

一类离散事件动态系统极点分配的优化问题

应用极大代数作为数学工具,用系统矩阵的特征值法讨论了m × n-型离散事件动态系统极点分配的优化问题.给出了系统取得优化的条件.并证明了至少存在,n个具有最优极点分配的优化系统.     

多入口无阻塞串行生产线的生产周期

利用极大代数方法讨论多入口串行生产线的生产周期问题,给出在无阻塞控制下的多入口 行生产线生产周期的计算公式及其批量加工生产时的周期公式。     

具有饱和因子的时滞广义系统的鲁棒 H SymboleB@ 控制

研究了一类具有饱和因子并含有不确定参数的变时滞广义系统的时滞相关鲁棒H∞控制,系统的状态方程和输出方程均带有时滞,且状态方程的输入和输入时滞中均含饱和因子.通过构造Lya-punov-Krasovskii泛函,利用线性矩阵不等式方法和矩阵奇异值理论,给出了时滞广义系统正则、无脉冲、渐进稳定且满足H∞范数小于给定界γ的充分条件,并给出了H∞控制器的设计方法 .数值算例说明了本文所提方法具有更小的保守性.     

叠层开口圆柱厚壳的静、动态和稳定问题的精确解

抛弃任何有关应力或位移模式的假设,在柱坐标系下对正交异性体建立其状态方程.对叠层开口圆柱厚壳的静、动态和稳定问题,利用Cayley-Hamilton定理一次求解全部未知量.无论层数多少,都只归结为求解三元一次代数方程组.此解满足所有弹性力学方程,并计及了全部弹性常数.可得到任意需要的精度.     

Proto双代数胚上的Dirac结构

proto双代数胚包含了李代数胚, 李双代数胚, 李拟双代数胚, 拟李双代数胚等多种代数胚结构. 本文的主要工作是将李双代数胚的Driac理论推广到proto双代数胚上. 利用特征对的概念给出了极大迷向子丛可积的充要条件. 同时发现在这些可积条件中蕴含了proto双代数胚的扭关系，这样就给出了可积条件的几何解释.最后文章讨论了一些 特殊情形.     

指数型增广拉格朗日函数在广义半无限规划中的应用

本文利用指数型增广拉格朗日函数将一类广义半无限极大极小问题在一定条件下转化为标准的半无限极大极小问题,使它们具有相同的局部与全局最优解.我们给出了两个转化条件:一个是充分与必要条件,另一个是在实际中易于验证的充分条件.通过这种转化,我们给出了广义半无限极大极小问题的一个新的一阶最优性条件.     

模块式建模法及其数值解法在液压仿真中的应用

本文论述了液压大系统仿真的模块式建模法及其相应的隐式状态方程数值解法——代数-积分混合算法.根据模块式建模法建立了液压调速系统的数学模型,并利用代数-积分混合算法对调速系统进行了数值仿真,仿真结果与实验结果十分吻合.该建模法及其算法首次在液压大系统仿真中得到应用.     

带缓冲串行生产系统预防性维护建模及运行参数优化研究

为了保证串行生产系统的产能和提高系统可靠性,提出了带缓冲区的串行生产系统预防性维护决策模型。首先,分析了生产线各执行单元可靠性和运行参数之间的关系,建立了考虑执行单元运行参数和缓冲库存的维护模型。在此基础上,结合串行生产线的特点,建立综合考虑维护成本、有效运行速度和缓冲库存的多目标优化函数。最后,构建启发式算法求解目标函数,并以串行包装生产线为例进行仿真实验分析,结果表明本文所建模型是有效且实用的。     

Representation and analysis of transfer lines with machines that have different processing rates

A transfer line is a tandem production system, i.e. a series of machines separated by buffers. Material flows from outside the system to the first machine, then to the first buffer, then to the second machine, the second buffer, and so forth. In some earlier models, buffers are finite, machines are unreliable, and the times that parts spend being processed at machines are equal at all machines. In this paper, a method is provided to extend a decomposition method to large systems in which machines are allowed to take different lengths of time performing operations on parts. Numerical and simulation results are provided.     

鲁棒性视角下的关键链项目调度新方法

探究传统关键链方法在实践应用中出现的问题并提出改进措施。首先剖析出三个方面的不足:第一,基准调度计划不唯一;第二,非关键链的识别方式导致输入缓冲失效;第三,对插入输入缓冲时引起的二次资源冲突问题,现有的解决方法与缓冲的本质作用相背离。据此,基于鲁棒性调度优化的思想,采用理论分析和案例说明相结合,针对三个方面分别提出了相应的解决方案,形成鲁棒性视角下的关键链项目调度新方法。研究结论对于将关键链方法科学地应用于项目管理实践提供了理论指导。     

陀螺系统特征值问题的收缩Jacobi-Davidson方法

本文研究陀螺系统特征值问题的Jacobi-Davidson方法. 利用陀螺系统的结构性质,给出了求解Jacobi-Davidson方法中校正方程的有效方法. 基于非等价低秩收缩技术,给出了计算陀螺系统一些特征值的收缩Jacobi-Davidson方法. 数值结果表明本文所给算法是有效的.     

On fundamental equation of statistical physics (II)

Some derivations based on the anomalous Langevin equation in Liouville space (i.e. Γ space) or its equivalent Liouville diffusion equation of time-reversal asymmetry are presented. The time rate of change, the balance equation, the entropy flow, the entropy production and the law of entropy increase of Gibbs nonequilibriurn entropy and Boltzmann nonequilibrium entropy are rigorously derived and presented here. Furthermore, a nonlinear evolution equation of Gibbs nonequilibrium entropy density and Boltzmann nonequilibrium entropy density is first derived. The evolution equation shows that the change of nonequilibrium entropy density originates from not only drift, but also typical diffusion and inherent source production. Contrary to conventional knowledge, the entropy production density σ?0 everywhere for all the inbomogeneous systems far from equilibrium cannot be proved. Conversely, σ may be negative in some local space of such systems.     

Approximate solutions of linear Volterra integral equation systems with variable coefficients

In this paper, a new approximate method has been presented to solve the linear Volterra integral equation systems (VIEs). This method transforms the integral system into the matrix equation with the help of Taylor series. By merging these results, a new system which corresponds to a system of linear algebraic equations is obtained. The solution of this system yields the Taylor coefficients of the solution function. Also, this method gives the analytic solution when the exact solutions are polynomials. So as to show this capability and robustness, some systems of VIEs are solved by the presented method in order to obtain their approximate solutions.     

QML-Morven: A novel framework for learning qualitative differential equation models using both symbolic and evolutionary approaches

In this paper, a novel qualitative differential equation model learning (QML) framework named QML-Morven is presented. QML-Morven employs both symbolic and evolutionary approaches as its learning strategies to deal with models of different complexity. Based on this framework, a series of experiments were designed and carried out to: (1) investigate factors that influence the learning precision and minimum data requirement for successful learning; (2) address the scalability issue of QML systems.     

关于红利-惩罚等式的相关结果

本文研究了在一类马氏相关更新风险模型中的红利-惩罚等式的问题.推导了在常数红利边界下,折扣惩罚函数满足的方程,利用解微分-积分方程的方法,更简洁的推出了红利-惩罚等式相关的结果,推广了文献[1]的结论.     

Asymptotic expansions of Bessel, Anger and Weber transformations

In this paper we explore higher order numerical quadrature for the integrations of systems containing Bessel, Anger and Weber functions. The method is constructed by finding the approximate solution of the differential equation and truncating the asymptotic series. Numerical examples based on theoretical results are presented to demonstrate the efficiency of the method.