共查询到19条相似文献,搜索用时 125 毫秒
1.
2.
3.
张宝华 《绵阳师范学院学报》2008,27(11)
在文献[6]中,通过在一格蕴涵代数L与它的素理想空间上的开闭下集构成的格蕴涵代数{Xa|a∈L}之间引入一映射,得到了格蕴涵代数L的一个表示。利用集合列的极限对格蕴涵代数的表示进行了讨论,得出了格蕴涵代数的表示中单调集合列及一般集合列无限运算的一系列性质;又根据格蕴涵代数与格蕴涵代数的表示之间是同构的,进而得出了格蕴涵代数中任意子集无限运算的若干性质。 相似文献
4.
一类具有输出字符功能的格值自动机 总被引:3,自引:0,他引:3
雷红轩 《陕西理工学院学报(社会科学版)》2004,22(3):19-24
提出了具有输出字符功能的格值自动机的概念,详细地研究了它的性质和它的同态性.揭示了此类自动机和取格半群的代数性质的紧密联系,得到了许多重要结果. 相似文献
5.
张崇武 《昆明师范高等专科学校学报》1987,(4)
模运算是Fuzzy集理论中的基本结构,它概括了目前Fuzzy集理论中的各种运算,具有良好的性质。本文把[0,1]上的模的一个性质推广到了格L上,同时阐述了格运算与模运算的关系。 相似文献
6.
7.
8.
张端芝 《湖南城市学院学报》2013,34(3):47-50
词缀"格"与不同词性的词根组成的词具有名词、动词、形容词和象声词性质。"格"作为词缀依附于词根而本身没有意义,显示出"格"缀词的一般性和普遍意义;与此同时,"格"缀词往往强化了词根,改变了词根的性质和意义,造成"格化"效果,显示出"格"缀词的特殊性和个性意义。 相似文献
9.
王顺钦 《南阳师范学院学报》2009,8(12):4-6
研究了Quantic格的内部结构,给出了子Quantic格和余核映射的定义,讨论了余核映射和子Quantic格之间的关系以及子Quantic格的若干性质. 相似文献
10.
11.
提出了一种基于整数加群的模糊自动机的数学模型,研究了它的一些基本性质,并将对策论中多人博弈模型转化为模糊自动机模型,给出了一种求最优解的算法,最后用田忌和齐王赛马的例子验证了此算法. 相似文献
12.
彭家寅 《内江师范学院学报》2011,26(12):1-5
引入了模糊袋自动机和模糊袋语言的概念,给出了模糊袋自动机的状态转换图,讨论了模糊袋语言重复序列在状态转换图的结构特征,给出了Chomsky文法模糊语言与模糊袋语言的关系.指出了模糊正规语言类、模糊袋语言类、模糊上下文有关语言类之间的包含关系,及模糊袋语言类与模糊上下文无关语言类交叉关系. 相似文献
13.
提出了取值于非负实数R~ 的模糊自动机的概念,研究了它的一些简单性质,并将此类自动机应用到动态规划的求解最短路线问题中,得到了一个求最短路线的算法.最后通过一个例子验证了给出的算法. 相似文献
14.
广义模糊自动机及其在求最小树中的应用 总被引:3,自引:2,他引:1
提出了取值于非负实数集R^+的广义模糊自动机的概念,研究了它的一些简单性质,并将此类自动机运用到网络模型的求解最小树问题中,得到了一个求最小树的算法.最后通过一个实例验证了算法的应用. 相似文献
15.
为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机(WCFA)对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机(NWA)对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机(NWA)的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性(SAT)求解工具对这些断言进行验证. 相似文献
16.
引入了最子自动机QA=(H,s^0,∑,U)的Successor算子和Source算子的概念,讨论了它们的基本性质及关系.此外,引入并发展了复Hilbert空间H的强连通子空间、连通子空间、分离子空间及准素子空间的概念,并利用Successor算子研究这些空间的结构性质. 相似文献
17.
郑兆岳 《淮南师范学院学报》2012,14(3):8-11
给出经典双向有穷自动机的即时描述,接受(识别)的语言及双向有穷自动机和有穷自动机是等价的,证明它接受的语言是正则语言。由此,把它推广到模糊上去,相应地给出了双向模糊有穷自动机的定义,即时描述及其接受的语言,进一步证明非确定性双向模糊有穷自动机与确定双向模糊有穷自动机接受的语言是等价的。 相似文献
18.
张诗静 《内江师范学院学报》2009,24(4):32-34
首先介绍了一种基于词计算的一类新的Fuzzy有限自动机,这种自动机的特点是输入和输出分别由输入和输出字母表中的Fuzzy子集串替代;其次给出了该种自动机的不同状态下的等价关系,并通过数学归纳法进行了证明,使得词计算在Fuzzy自动机中的应用能够得到了进一步的推广. 相似文献
19.
本文主要利用矩阵模型对两个有限自动机的限制直积进行讨论,在此基础上对限制直积的状态映射矩阵和输出映射矩阵进行了研究,并给出了它们的一些性质. 相似文献