基于量子逻辑的模糊线性时序逻辑的模型检测

模型检测的主要问题是处理具有量化信息的系统的验证问题,该文在量子逻辑和时序逻辑的相关理论基础上引入了可能性理论以及模糊线性时间的可能性测度,研究了线性时序逻辑在模糊时态下的模型检测方法.通过引入可能性理论以及广义可能性Kripke结构定义,对广义可能性Kripke结构中的模糊线性时间性质进行了讨论,有利于研究不确定现象...     

渗氮炉技改中模糊温度控制系统设计及仿真实现

结合形状复杂、易变形渗氮工件工艺优化的需求,运用模糊控制对一台气体渗氮炉的炉温控制系统进行技术改进。首先分析了单一的PID温控方式和模糊温控方式的不足,随后根据工艺升温过程优化的要求提出采用PID控制和模糊控制相结合的(Fuzzy-PID复合控制)两段控温方式,进一步,由控温经验设计模糊温度控制器并在MATLAB7.0软件平台上进行温控系统的仿真实现。仿真结果表明,Fuzzy-PID复合温度控制器的控温效果较单一PID温度控制器的控温效果为好,此仿真研究结果对气体渗氮工艺升温过程的优化有着积极的指导作用。     

关于Fuzzy值变量的线性回归分析

本文主要讨论了以下三方面内容:1.给出了可能性理论的框架。2.给出了可能性变量分布参数的maximin(μ/E)估计原理。3.建立了取值为Fuzzy数的两种不同的线性回归模型。     

圆形区域内香枞芽虫的分布模型

本文讨论圆形区域内芽虫分布模型,特别研究了芽虫与天敌接触时产生与避免outbreak状态的可能性。     

关于“低浓度三分子模型”的全局结构

在文[1]中已对低浓度三分子模型在有限范围内的性态作了全面分析,文[5]又补充了一种情况的研究.对此模型作详尽研究,有助于阐明远离平衡态非线性体系存在耗散结构这一重要结论。本文将此模型在无限远处的情况进行了研究,再结合[1],[5]的结果,得到了其全局结构。     

安全疏散模型研究

以四川桑枣中学师生逃生奇迹为背景,用初等数学建模方法建立3种疏散模型对此进行研究,找出人员逃生时间和速度、人与人之间间隙及其他变量之间的关系,并借助实测数据和经验数据对三种模型求解,用于推断四川桑枣中学师生能在1分36秒内成功逃生的可能性.结论是:组织单队(口字模型)疏散是不成功的,组织双队(吕字模型)疏散可以成功,但要把人与人前后之间距离(含人体本身厚度,单位:m)控制在[0.5,0.8]小范围内,速度(单位:m/s)控制在[1.2,1.8]小范围内.而组织三队(品字模型)疏散则更容易成功,控制间距扩大到[0.5,1.3]区间,疏散奔走速度扩大到[0.71,1.72]范围内便可安全疏散.     

基于错误逻辑矩阵的错误识别对象分类及应用研究

研究了错误识别对象的概念和特征,并选取七个特征组合建立了错误识别对象的错误逻辑矩阵表达式,讨论了错误识别对象的类型.最后,结合石塑地板产品质检过程,对于所进行检验的每一片石塑地板建立错误识别的对象逻辑矩阵,通过错误函数求错误值,识别错误的石塑地板对象,并根据错误石塑地板对象特征分类,采用相应的消避错方法进行运算和处理.     

形变张量的特征值与Boussinesq方程组的正则性估计

讨论了二维及三维满足周期边界条件的Boussinesq方程初边值问题的局部正则解在有限时间内爆破的可能性.在二维情况下,用形变张量的特征值给出温度梯度的L2估计,从中看出若流体微团变形的速率大,则解爆破的可能性就大.在三维情况下,用形变张量的特征值和温度的偏导给出涡量的L2估计,从中发现若流体微团在大部分时间内一般是平面拉伸,且温度的偏导较小时,解爆破的可能性就大;若一般是线性拉伸,温度的偏导又不任意增大时,解爆破的可能性就小.     

基于扩散函数的内集-外集模型

内集-外集模型用于计算小样本事件的可能性-概率分布(PPD),以表达概率估计的模糊性。基于分配函数的内集-外集模型存在三点不足:①论域步长的选取随意性太大;②PPD值在0.5到1之间无值;③信息过于集中,PPD值在很多区间值为0。本文从解决此三问题入手,对传统模型进行了改进。首先讨论了论域步长选取的合理性问题;其次引入扩散函数替换分配函数,同时解决了问题②和③;最后,仿真实验的结果显示,改进模型的估计比传统模型的估计更接近于真实分布。     

1994年美国大学生数学建模竞赛简介

<正> 第10届美国大学生数学建模竞赛于1994年2月18至20日举行,来自10个国家和地区,198所学校的315个队参加了竞赛。竞赛由美国数学及其应用协会(COMAP),美国运筹学会(ORSA)、美国工业与应用数学学会(SIAM)等单位举办。竞赛题目不预先设定标准答案,而是要求参赛者根据自己建立的模型给出最优解答。这次给出的A题是分析建筑物水泥地板上的温度分布,以确定平均温度是否能常年保持在给定的舒适范围之内。B题是针对给定的计算机通讯网,给出最优的信息传输时间表。竞赛结果有58队获特等奖和一等奖,80队获二等奖。     

基于广义可能性测度的可达性问题的模型检测

在广义可能性测度下,提出了广义可能性Kripke结构来描述系统的量化行为。在广义可能性Kripke结构下重新定义了线性时序逻辑的语构和语义,研究了线性时间属性的最终可达性、限制可达性、重复可达性等模型检测问题。本文所获得的结果扩大了可能性测度在模型检测中的应用范围。     

非恒定概率下基于不完全检查的受限维护优化研究

研究了一个以三个不同状态为特征的单组分体系,针对考虑检查错误的非恒定概率的模型,给出了在给定维护策略下的确切成本和可靠性评估,目标是在可靠性约束下,在无限的时间范围内尽可能降低平均成本.最后,将真实模型与考虑检查错误的常数概率的模型进行比较,通过计算研究发现近似模型的平均成本比真实模型高出26%.此外,当使用近似模型时,发现可靠性约束可能严重受到最大25%的影响.     

Interval DEA模型中决策单元的投影问题

在传统的DEA模型中,最优相对效率模型是在不大于1的范围内研究决策单元的效率的,最差相对效率模型是在不小于1的范围内研究决策单元的效率,这两种模型在研究投影问题时,是在不同的范围内进行的,有一定的片面性.将在interval DEA模型中,研究决策单元的投影问题,该模型是在相同的约束域内研究最优和最差相对效率模型,得出的结论将更加全面,通过两个定理给出了非DEA有效的决策单元在DEA有效面上的投影表达式和非DEA无效的决策单元在DEA无效面上的投影表达式.同时,通过一个实例对决策单元在interval DEA模型中的投影结果与在传统的DEA模型的投影结果进行了比较,发现投影结果比传统模型得到的投影结果对实际的生产有更强的指导意义.     

准三分子模型的时空结构

本文建立了准三分子模型的理论。讨论了一维情况下的定态解和含时解。解的结果表明准三分子系统将出现时空耗散结构。可望,准三分子模型能和三分子模型一样,有着广泛的应用。     

不确定性响应混料模型的最优设计

在混料试验中,响应变量存在着不确定性,提出了一类新的混料试验模型.基于模糊数的可能性方差理论,为该混料模型定义了D-最优和G-最优设计准则.同时,讨论了该模型最优设计的等价定理,并给出实例分析.     

一般可能性多目标线性规划及其应用

本文主要讨论以下三个问题:1.可能性变量及其分布和可能性模态等概念;2.可能性变量表示的一般可能性多目标线性规划问题及其解;3.应用于作战分析中的武器——目标分配问题。     

离散模糊需求报童问题的可能性模型研究

基于可能性分布函数质心特征值,本文建立了确定离散模糊需求报童问题订货量的利润模型,并分析了成本模型和利润模型的关系。研究结果表明:1)基于可能性分布函数质心的模糊可能性成本和利润模型确定的订货量不一致;2)对应不同订货量,模糊可能性成本与利润之和不为固定常数。数值计算表明:该方法不可取。     

应急物流能力突变模型研究

运用燕尾突变理论,以物流能力为状态变量,物流流量变化率、流速变化率和时间变化率为控制变量,建立应急物流能力突变模型,运用势函数确定了分岐点集,讨论了应急物流能力的突变临界点及稳定性,并用算例分析模型应用的可行性.最后得出三点结论:根据实测及调查数据可以确定三个控制变量的值,从而确定控制点在分歧点集的区域;通过计算分析可以确定应急物流能力在分岐点集各区域的奇点个数和性质;其突变方向和可能性随之可以确定:控制点从奇点多的区域向奇点少的区域移动,应急物流能力发生突变的可能性大,反之可能性小,甚至不发生突变.因此把握控制点在分岐点集中的变化方向和规律,采取相应措施改变相应控制变量,可以提升或稳定应急物流能力.     

生成坐标方法与原子核集体运动

本文论述了把生成坐标方法作为在子空间内求解多体问题薛定谔方程的近似方法,并讨论了用生成坐标方法给出原子核集体运动模型基础的可能性,文中对原子核多极振动问题亦作了初步探讨。     

均匀材料导温系数的一种测定方法

§1.引言 本文将讨论测定一般均匀材料导温系数的一个新模型。在该模型中我们所需数据(?)仅是温度,而且在我们导出的可用于数值求解的方程(1.5)中只用所测温度本身而不是像[1][2]中所使用的它们的导函数,因而它不仅将会大大减小实验难度而且能提高测试精