非确定有限自动机NFA的确定化

在编译系统中,词法分析阶段是整个编译系统的基础.对于单词的识别,有限自动机FA是一种十分有效的工具.有限自动机由其映射f是否为单值而分为确定的有限自动机DFA和非确定的有限自动机NFA.在非确定的有限自动机NFA中,由于某些状态的转移需从若干个可能的后续状态中进行选择,故一个NFA对符号串的识别就必然是一个试探的过程.这种不确定性给识别过程带来的反复,无疑会影响到FA的工作效率.     

基于场景规约的系统行为建模

提出一种基于场景规约的系统行为建模方法. 采用消息序列图描述场景,把场景规约中构件实例之间消息传递的事件序列作为一种显式的场景提取物并给出语义表示,通过场景正样本构造前缀树接受器. 此前缀树接受器是一个能接受正样本的最大确定有限自动机,通过合并状态得到商自动机,给出一个状态合并算法. 该算法支持交互式增量的场景产生.     

求不确定自动机最小闭覆盖的一种方法

本文提出了求不确定自动机最小闭覆盖的一种较简便的方法．这个方法依据本文给出的两个定理，只需计算一小部分而不是全部相容类，便可获得所给自动机的一个最小闭覆盖．     

视觉导航有穷自动机在自然语言状态中的应用

室内移动机器人自主导航是一系列自然语言状态与动作转换结果,有效地控制和描述机器人状态和动作转换是自主导航过程的关键。本文首先利用视觉传感器获取障碍物YUV色彩空间信息,采用区域增长法识别障碍物连通域,将机器人状态以及控制指令转化为抽象的形式符号并建立状态转移函数,进而建立基于视觉导航机器人有穷自动机模型。实验结果表明,该方法能平滑、准确地完成自然语言状态下的机器人自主导航过程,具有较高的实时性和鲁棒性。     

上有限I-补模

设R是环,M是环R上的左模,I是R的理想.称M为上有限I-补模,若对于M的任意上有限子模X,存在M的子模Y,使得X+Y=M,X∩YIY且X∩Y在Y中是PSD的.该定义推广了I-补模.并给出了上有限I-补模的一些性质.     

德国科学家确定最小水分子晶体

<正>最小的水分子晶体是什么样?德国科学家通过红外线光谱分析手段确定,最少需要275个水分子才可以形成晶体。这一研究成果首次确定了最小的水分子晶体结构,是研究物质由原子状态进入固体状态的变化过程(相变物理学)领域的重要研究进展。哥廷根大学物理化学研究所的研究人员介绍说,他们通过一个极其微小的"喷嘴"向外"喷射"水分子,并迅速使水分子冷却、积聚,形成一系列不同尺度的"分子     

关于EndΦ（M）的一点注记

假设M是一个具有可分预对偶的von Neumann代数（特别是有限的von Neumann代数），End(M)是它的自同态半群，给End(M)赋以U－拓扑，我们证明了当Φ是正规的忠实态时，End(M)是End(M)的闭子集（在序列收敛意义下），我们还证明了EndΦ（M）中Φ一不变条件期望的指标是下半连续的，这推广了已有的结果。     

双曲型反问题中系数的确定及其Lipschitz稳定性

研究了黎曼流形上双曲型方程未知阻尼系数的识别问题,对于具有初边界值的双曲型方程?2t u(x,t)-Δg u(x,t)+p(x)?t u(x,t)=0,x∈M,0相似文献   

非线性不确定离散时变时滞系统的积分滑模控制

研究一类非线性不确定离散时变时滞系统的滑模控制问题,构造状态观测器估计所研究系统的状态,在估计状态基础上设计积分滑模面,使整个动态过程对于外部干扰具有完全鲁棒性.利用Lyapunov稳定性理论和线性矩阵不等式(LMI)技术给出了滑模动态系统渐进稳定的充分条件.设计相应的滑模控制器,并在控制器中引入饱和函数消除系统的抖振,利用仿真实例验证所提出方法的有效性.     

非线性时滞不确定系统的保性能控制

叙述了一类给定线性二次性能指标函数的中立型非线性参数不确定系统的保性能控制问题．这些参数的不确定性是实时变范数有界的,并且状态时滞是一个常量．问题就在于设计一个使闭环系统渐近稳定,且对于所有允许的不确定性和时滞,闭环系统线性二次性能指标都不超过一个给定的上界的状态反馈控制律．基于线性矩阵不等式,Lyapunov方法给出了控制器存在的两个判据．最后给出了一个仿真示例说明该文方法的有效性．     

关于双有限Q过程构造论的注记

对于一般情形的Q过程的构造,通常都假定Q保守。在此假设下,Feller[5]对有限流出和有限流入情形,构造了满足向前方程组的全部Q过程。作者[4]在同样假设下,构造了全部Q过程。Williams[2]在Q保守且有限流出的情形下,求出了全部Q过程。作者在[1]中对有限非保守和有限流出(简称双有限)情形,构造了全部Q过     

不确定时滞系统的鲁棒容错控制

研究了一类不确定线性时滞系统的鲁棒容错控制问题，基于Lyapunov稳定性理论，证明了当采用一种带时滞的状态反馈控制律时，该系统对于传感器和执行器故障具有完整性，给出了闭环系统具有鲁棒容错能力的条件．     

基于DEF核电站筏基混凝土施工配合比优化

<正>台山核电站1#岛是继芬兰OL3和法国FA3核电站之后世界上在建的第三座EPR堆型核电站,也是我国首座该堆形的核电站,其土建技术要求比CPRIOOO(M310改进型)堆型有较大提高,HRA筏基大体积混凝土浇筑中产生的高温将可能引起DEF-延迟钙矾石生成(delayed ettringite formation,DEF),膨胀性的钙矾石将在其内部产生应力,并最终导致混凝土开裂,对于建筑的安全和耐久性是极大的隐患。芬兰OL3和法国FA3的EPR型核     

线性不确定系统约束条件下的控制稳定统一问题

本文讨论了线性不确定系统在控制能量（或控制幅值）受限下的能控性和稳定性的统一问题，证明了判定不确定系统完全能控并且渐近稳定的充分条件，又给出了控制能量（或控制幅值）受限下状态不能控同时也不稳定的一个判据．     

CVD反应器内基座倾斜时流场的有限分析方法数值计算

本文用有限分析方法，对带有倾斜基座的ＣＶＤ反应器内流场进行了数值计算，结果表明，有限分析方法对于小倾解角的非矩形边界的解域也是适用的。     

在热力学中引进有方过程的探讨

本文定义了理想气体的有方过程,并建立了确定系统在此过程中吸热与放热的过渡态的简单而普遍方法,从而扩展了对于理想气体所进行的过程的认识。所谓有方过程是指理想气体的状态遵循     

PLC状态编程思想在非状态元件编程中的应用

近年来，随着PLC在工业控制及民用中的广泛应用，对于PLC的编制要求也是越来越严格。顺序功能流程图（SFC）是IEC1131-3三种图形化语言中的一种，是一种强大的描述控制程序的顺序行为特征的图形化语言，可对复杂的过程或操作由顶到底地进行辅助开发。但对于没有状态元件和步进指令的机型或者对于SFC不太感兴趣的人员来说，找到一种可以替代SFC的编程方法成了当务之急，在这里提出了三种用非状态元件编程代替状态元件编程的方法，以供参考。     

不确定状态饱和2-D离散系统的渐近稳定性

研究由Roesser模型描述的不确定状态饱和2-D离散系统的全局渐近稳定性。假设系统中的不确定矩阵满足强结构不确定性,利用Lyapunov函数方法,通过构造新的非负标量β给出了不确定状态饱和2-D离散系统全局渐近稳定的充分条件;同时设计了相应的算法,将不确定系统稳定性的判断转换为线性矩阵不等式(LMI)的求解,数值算例验证了所设计算法的有效性和可行性。     

基于元胞自动机教学楼层人员疏散行为的研究

突发事件中的人员紧急疏散一直是疏散行为的一个研究重点分支.在基于基本的元胞自动机模型的基础上,把教学楼层突发事件中人员的疏散规则建立成一个多出口双向人流的单格子元胞自动机模型,在原来单格子元胞自动机的特征上加入障碍物以及多个出口,每个出口对同一个人都有不同的吸引力.人在移动的过程中会视其吸引力的大小改变目标而形成双向人流.在教学楼紧急出口的模拟中通过加入多出口对人们的吸引力去判断人们在疏散过程中对多出口的动态选择,采用了优先矩阵和引入＂势能场＂的方法模拟逃生人员在教学楼层公共安全疏散过程中对路径的选择,研究表明,多出口的动态选择对人们在教学楼层公共安全中的疏散及其行为提供了很多参考依据.     

时滞不确定系统的非脆弱状态反馈鲁棒控制

研究带有非线性摄动的时滞系统的非脆弱状态反馈鲁棒控制问题.首先通过构造一个Lyapunov-Krasovskii泛函,利用积分不等式,并引入含有自由权矩阵的恒等式,表示出所给泛函沿系统的导数,再利用S-过程推导出系统时滞相关鲁棒稳定的充分条件;然后利用线性矩阵不等式(LMI)技巧,并结合Schur补给出了系统非脆弱状态反馈控制器的设计方法.两个数值算例验证了所得结果的可行性与有效性.