基于GSPN的实施延迟策略生产系统建模与性能分析

延迟策略是协调市场需求变化的绝对性和生产系统相对稳定性矛盾的一个重要战略手段。为分析实施延迟策略生产系统的性能,利用随机广义Petri-net(GSPN)的建模分析方法,并根据GSPN与马尔科夫链的同构关系,将GSPN模型转化成为等价的马尔科夫链模型。通过马尔科夫链及相关数学方法获得实施延迟策略生产系统的主要性能指标。该方法不仅可以分析实施延迟策略生产系统的整体性能,而且能够对系统的各个环节运作效率做出定量分析。最后,通过算例分析验证了该方法的科学性与有效性,丰富了延迟策略研究方面的方法理论。     

对称不定系统的一类预处理子的注记

由于对称正定系统已有很多有效的求解方法,因此将对称的、或者非对称的不定系统转化为对称正定系统就成为解决这类问题的方法之一构造了一类简洁有效的预处理子,将对称不定系统转化为对称正定型,研究了所得预处理系统的谱性质,估计了其谱条件数,推广了现有结论.     

基于成果转化贡献的科研团队成员收益分配研究

促进科技成果转化是我国深化科技体制改革的重要内容,是科技成果转化为现实生产力的关键环节,是实施创新驱动发展战略的根本要求。科研团队成员作为企业科技创新活动的主体,让其参与成果转化收益的分配,有利于调动其科技创新与成果转化的积极性。本文通过理论分析,采用主成分分析法和关键绩效指标法,研究科研团队成员在成果转化阶段的贡献的关键指标、权重及量表,构建收益分配模型。研究结论为完善科技成果转化各利益相关者的激励机制提供了理论依据。     

一类高次多项式系统极限环的存在性和唯一性

通过变换将一类高次多项式系统转化为广义Liénard系统,并利用广义Liénard系统的结果研究了其极限环存在性问题,推广了相关文献的结果.     

具有K个储备部件和N个故障状态可修复系统主算子性质

研究了具有N个故障状态和K个储备部件的可修复系统.将系统转化为Bancah空间中的Cauchy问题,分析了系统主算子的谱特征.运用正算子及共尾等理论,证明了系统主算子的增长界和谱上界相等.     

基于广义反射函数与自治系统等价的非自治系统

自治系统的研究比非自治系统要容易得多,以广义反射函数为前提,给出了等价于自治系统的非自治系统,从而将非自治系统的研究转化为自治系统的研究,并研究了该类系统的周期解及稳定性.     

几类典型随机非线性系统的辨识

考察实际中常见的三类典型随机非线性系统(即Wiener、Hammerstein和NARX系统)的辨识,首先概述了现有的递推和非递推辨识算法,然后介绍这三类系统的一个统一辨识框架:利用系统所确定的过程的马氏性及混合型,将辨识转化为求函数零点的问题,基于扩张截尾的随机逼近算法,得到了递推、强一致的辨识结果,并给出了数值模拟验证辨识算法收敛到真值.     

分数阶p-Laplacian耦合系统边值问题正解的存在性

讨论了一类带有p-Laplacian算子的分数阶微分方程耦合系统边值问题正解的存在性,通过Green函数将微分系统转化为等价的积分系统,应用Banach压缩映像原理,Leray-Schauder非线性抉择和锥拉伸定理等证明耦合系统正解的存在性,并给出了应用实例.     

多目标、多约束工程系统可靠度的一种求解方法

为进一步研究工程实际问题中，当系统受多方面限制的情况下，提高系统多方面功能的能力，本研究了系统多目标、多约束可靠度的一种求解的方法，其思想是：首先将系统多目标可靠度的数学模型转化为单目标的数学模型，然后由单目标问题的求解来实现多目标问题的解。     

知识约简和属性约简的转化及等价性

研究了知识库的知识约简和知识表达系统的属性约简的转化和联系,证明了这两种约简在一定意义下可相互转化且是等价的。     

分数阶p-Laplacian系统两点边值问题的解

利用Schaefer不动点定理研究了分数阶p-Laplacian系统两点边值问题解的存在性,通过将系统转化为算子方程,在非线性项满足一定增长性的条件下得到了系统至少存在一个解的充分条件,并给出了相关的应用.     

可修复系统适定性和稳定性

为了研究可修复系统适定性和稳定性,首先利用Co半群理论,研究了Volterra方程的适定性和渐进行为.其次利用特征线法求得系统方程的时间依赖解,通过边界条件将其转化为有限维空间上的Volterra方程.最后,由所建立的Volterra方程的相关结果,得到了可修复系统的适定性和稳定性.     

一类修复不如新的可修复系统的可靠性分析

用增补变量的方法建立了在人为错误下修复不如新的两相同部件并联可修复系统.通过选取空间和定义系统算子,将模型方程转化成为了抽象Cauchy问题.然后利用线性算子半群理论研究了系统解的存在唯一性和渐近稳定性,进一步对系统的可用度做了比较分析.     

有两种可修复方法的复杂可修复系统的最优控制

研究了具有两种可修复方法的复杂可修复系统的最优控制问题,首先将此类系统方程转化为对应的Volterra积分方程的形式,然后利用算子半群理论证明了系统解的存在唯一性,再利用范数指标函数作为衡量控制变量的标准,研究有此类系统的最优控制问题,证明了对应的最优控制问题的解的存在唯一性.     

求多变量线性系统的逆向系统的一种新方法

对多变量线性系统,本文给出了求其逆向系统的一种新方法,这种方法将逆向系统计算中高阶矩阵的求逆转化为通过初等变换求低阶矩阵的规范型,比以往的方法更加简单有效且易于编程计算。本文结合系统的可观测空间与不可观测空间的情况,给出了一种特定的等价变换,得到了比通常更低阶的逆向系统。     

外源投入型两阶段制造系统网络DEA效率分析研究

制造过程评价是改善制造系统效率的重要一环,传统的评价方法将每个制造系统决策单元视为黑箱来研究整体效率,忽略了中间产品转化信息及投入要素在各子过程中的配置信息。针对两阶段(第二阶段有外源性新投入)制造系统的效率评估问题,分别在固定规模报酬和可变规模报酬假设下,充分利用制造系统中间产品的转化及外源投入要素的配置信息,建立了制造系统网络DEA效率测度及分解模型,建模方法遵循客观评价原则,无需事先主观确定子效率和系统效率之间的组合关系。并将其应用于钢铁制造系统效率测度与分解,研究结果表明该方法能够挖掘决策单元内部子单元的效率情况,帮助决策者发现复杂制造过程非有效的根源,为复杂制造过程的整体效率测度及分解提供了有效的分析方法。     

利用模糊系统求解非线性Fredholm-Ⅱ积分方程

提出了一种利用模糊系统求解非线性Fredholm-Ⅱ积分方程解析解的方法:首先将积分方程转化为模糊系统,然后利用具有紧支集和正规性的尺度函数构造模糊基函数和积分方程的模糊解,最后构造能量误差函数,通过最小化误差函数学习模糊系统的参数.数值实验表明:用模糊系统求得的便于运算的解析解比用Galerkin方法求得的数值解精度高.     

病态代数系统求解的精细迭代方法

提出了病态代数系统求解的精细迭代方法．首先利用一个小参数对病态矩阵加以改良,将原病态系统的求解问题转化为该改良系统的求解问题．然后利用精细积分法给出了改良矩阵求逆的高精度方法．该方法具有高精度、高效率的优点,且对改良参数的适应性较好,具有良好的应用前景．理论和数值分析证明了该方法的有效性．     

解分数阶微分代数系统的Adomian分解方法

研究了利用Adomian分解求解分数阶微分代数系统的方法.分析了代数约束对Adomian方法求解的影响,指出直接解出代数约束变量,将原系统转化为微分系统进行Adomian分解的困难.提出确定代数变量级数解各分量的新方法,据此进行Adomian分解,得到整个系统的级数解.特别研究了代数约束为线性的分数阶微分代数系统的Adomian解法,证明了各变量间的线性代数约束关系可以转化为相应级数解中各分量的线性关系,从而方便求解,并结合具体例子证明了该方法简便有效.     

一类时变预警可休假系统解的存在惟一性分析

研究了一类修理工可多重延误休假且带预警装置的简单可修复系统,其中系统的失效率和修理工的延误休假率均与系统的运行时间有关.首先运用概率分析的方法将系统模型表示为一组积-微分方程,然后将系统方程转化为一个Banach空间中的抽象半线性发展方程的初值问题,并利用C_0半群理论讨论了系统解的存在惟一性条件.