共查询到19条相似文献,搜索用时 187 毫秒
1.
针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基于线性半代数系统共同零点的互模拟等价概念及计算方法。但在工程应用中大多数实验所得数据仅为给定误差范围内的近似值,精确的系统等价关系缺乏容错性及灵活性。为获得更恰当的系统关系,利用奇异值分解对系统进行近似处理,建立了系统的近似互模拟等价概念及计算方法。通过符号与数值混合计算,实现误差可计算及可控制。最终选取近似等价系统代替原复杂系统。并发通信程序中的实例分析表明,该方法在简化软件程序设计中具有合理性及有效性。 相似文献
2.
李桂莲 《中北大学学报(自然科学版)》2001,22(5):364-365
目的 研究离散事件系统之间的等价关系 .方法 以自动机为离散事件系统的模型 ,用形式语言描述系统行为 .结果 给出了确定性离散事件系统和非确定性离散事件系统之间的等价定理 .结论 利用所得定理通过已有的确定性离散事件系统的控制结果来研究非确定性离散事件系统的控制 相似文献
3.
目的 研究离散事件系统之间的等价关系。方法 以自动机为离散事件系统的模型。用形式语言描述系统行为。结果 给出院 确定性离散事件系统和非确定性离散事件系统之间的等价定理。结论 利用所得定理通过已有的确定性离散事件系统的控制结果来研究非确定性离散事件系统的控制。 相似文献
4.
讨论了熵相等的量子态和量子态的酉等价之间的关系,证明了任意两个满足受控关系的量子态ρ,σ,量子熵相等的充分必要条件是存在某个酉算子U使得ρ=UσU*。并从另一角度建立2维情况下的等价关系。最后对一个关于量子熵的结果进行改进。 相似文献
5.
粗集理论及其应用(一) 总被引:5,自引:0,他引:5
曾黄麟 《四川轻化工学院学报》1996,9(1):18-28
作为研究粗集理论的开始,本文首先给出知识的形式化定义和知识库,知识的等价、携主特化等概念的一些基本性质,强调知识与分类概念的联系。当涉及到非为知识时,担保紧粗集概念作为讨论知识的理论基础,因而本文介绍了粗集与集合近似找 近似集合的性质及非精确 数字特征与拓扑特征,最后给出集保的粗等价、粗包含和分类的近似方法。 相似文献
6.
朱以文 《武汉大学学报(工学版)》1987,(2)
本文提出了Reissner变分原理的两种等价形式在定解区域被剖分为有限元子域后不再等价的观点,还给出了它们在放松了有限元的单元交界面上连续性条件后的弱等价关系,并讨论了这种不等价性对构造混合/杂交元的影响。 相似文献
7.
用布尔矩阵分析离散事件系统 总被引:1,自引:0,他引:1
本文用布尔矩阵研究了一类可用自动机描述的离散事件系统有在关性质。通过简单的矩阵运算,便可确定出系统状态间的距离(事件数)等参数。此外还讨论了用状态转移矩阵确定系统的可能逻辑迹集等问题。 相似文献
8.
为了增强可形式刻画正则程序行为的带测试克林代数(KAT)的表达能力,提出了一个加概率的带测试克林代数(PKAT)的完整理论用于对加概率正则程序的推演。提出了状态为PKAT表达式和数据状态组成的序列对的概率格局变迁系统。然后在概率格局变迁系统的基础上给出结构操作语义。并给出PKAT的基于操作语义的概率互模拟等价关系。最后证明了PKAT中等式关于互模拟等价的可靠性。 相似文献
9.
单元接线方式具有接线简单,投资节省等一系列优点,直流输电系统的换流站接线采用单元接线方式是一新课题。本文在精确考虑换流器工作过程的基础上提出一个新的单元接线方式数学模型,该模型包括发电机、变压器、换流器及直流输电线路。结果表明。它能够较精确地仿真单元接线方式的实际运行情况。 相似文献
10.
基于多台系统可靠性增长的非参数模型,利用线性回归原理得到了可靠性增长模型的强度函数λ(t)=abt^b-1中待定参数a与b的点估计,并利用回归过程中一些中间参数的精确分布给出相应中间参数与模型参数b的精确区间估计,对已获得的精确区间进行等价变换推导了模型参数a的近似区间估计,并采用区间离散法,给出了模型参数a和b在给定区间变化时,系统平均无故障工作时间变化区间的求解方法,具体工程实例说明了所提方法的合理性。算例给出的系统平均无故障工作时间下限随置信度变化的曲线,为工程应用提供了更多的参考信息。 相似文献
11.
杨志春 《成都纺织高等专科学校学报》1999,16(1):40-45
对等价无穷小进行了推广;首先给出等价量的定义,继而推导和讨论了:等价量间的等价特征,等价量和极限的关系,等价量经过四则运算、求导、求积,以及进行复合过程后,在一定条件下仍保持等价的性质。 相似文献
12.
林惠民 《中国科学E辑(英文版)》1999,42(6):657-669
Inference systems for observation equivalences in the pi-calculus with recursion are proposed, and their completeness over the finite-control fragment with guarded recursions are proven. The inference systems consist of inference rules and equational axioms. The judgments are conditional equations which characterise symbolic bisimulations between process terms. This result on the one hand generalises Milner's complete axiomatisation of observation equivalence for regular CCS to the pi-calculus, and on the other hand extends the proof systems of strong bisimulations for guarded regular pi-calculus to observation equivalences. 相似文献
13.
传统事故树分析法应用于实际量化分析时,相当一部分基本事件的概率本身是不确定的、模糊的,因此获得故障的精确概率比较困难,违背了精确概率选取的前提。为了处理传统事故树分析法中基本事件概率的模糊和不确定问题,引入了模糊数学理论的概念,对缺乏统计资料的基本事件进行模糊处理。运用一种能解决模糊性并且意义明确的三角模糊数来描述基本事件的模糊概率,逐层求得各事件发生的模糊概率分布,同时通过模糊数的中值法求出各基本事件的模糊重要度,得到顶上事件故障影响因素的排序,找出导致事故的主要因素,提出能从根本上预防、从关键点控制顶上事件发生的有效措施。 相似文献
14.
平面曲线等距线逼近的仿射变换方法 总被引:1,自引:0,他引:1
对于C1的任意函数类型的平面曲线,利用分段的仿射变换方法,生成近似的等距线。它的每一段与原曲线的相应段具有相同的函数类型,具有仿射意义下的几何不变性质,能较好的逼近原曲线。 相似文献
15.
基于Neumann级数和Epsilon算法,提出了一种模态重分析的新算法。在求解过程中,利用Neumann级数产生基向量,然后用Epsilon算法求出近似特征向量,最后用Rayleigh商分析,求出了修改后结构的近似特征值和特征向量。数值算例表明,所提出的算法比K irsch组合近似法精度更高,计算速度更快。 相似文献
16.
提出有限域上线性变换迹函数的计算方法,在此基础上给出计算域元素分量表达式的一种新方法;通过计算标准基的对偶基,提出求解域元素分量表达式又一种新的有效方法.两种方法都以迹函数的形式给出域元素分量的表达式,所需数据量仅为n,计算复杂度仅为O(n),相对于已有方法的指数复杂度,这是一个很大的提高.给出Rijndael S盒分量函数间等价关系的一种证明方法,用一个GF(28)上的八阶矩阵完全刻划这种等价关系,比已有文献用56个GF(2)上八阶矩阵刻划等价关系的构造式间接证明方法更为直接和简单. 相似文献
17.
唐丽玲 《兰州工业高等专科学校学报》2010,17(4):79-82
称谓语作为语言交际中不可或缺的组成部分,往往带有浓重的民族文化色彩。准确理解和表达称谓语在特定社交场合、不同语言文化背景下的语用含义,历来是翻译中的一个难题。讨论了英汉文化差异是导致称谓语翻译语用失误的主要原因,并从语用学的角度论述了称谓语翻译的语用等效、文化差异对称谓语翻译的影响及语用失误问题。 相似文献
18.
设TX是集合X上的全变换半群,E是X上的等价关系,则TE(X)={f∈TX:任意(a,b)∈E,(f(a),f(b))∈E}是α-半群.设X是全序集,OE(X):{f∈TE(X):任意x,Y∈X,x≤y→(x)≤f(y)}是TE(X)的α-子半群.对于ω-型全序集X上的凸等价关系E,F,确定了OE(X)和O(X)=OE(X)∩OF(X)的相容格. 相似文献
19.
固定极Reed-Muller展开式在布尔函数等效性的应用 总被引:1,自引:1,他引:0
谭扬波 《电子科技大学学报(自然科学版)》1999,28(2):216-218
介绍了布尔函数的固定极Reed-Muller展开式(FPRM),通过FPRM展开式验证了布尔函数的等效性。该方法通过确定布尔函数中各变量的平衡得到布尔函数的极性。当布尔函数的极性确定后即可得到其FPRM展开式,使用该方法叶布尔函数的进行展开验证布尔等效性时,工作量将大为降低。 相似文献