期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
基于不完全Kripke结构三值逻辑的模型检验 被引量:5
1
作者 郭建 韩俊刚 《计算机科学》 CSCD 北大核心 2006年第3期263-266,278,共5页
模型检验技术是形式化验证中比较成熟的技术,但随着设计系统规模的增加,状态爆炸已成为其发展的一个主要问题。为解决此问题,本文提出对系统进行抽象,建立不完全的状态模型,在此状态模型上来验证表示其属性的逻辑公式。这样一个逻辑公... 模型检验技术是形式化验证中比较成熟的技术,但随着设计系统规模的增加,状态爆炸已成为其发展的一个主要问题。为解决此问题,本文提出对系统进行抽象,建立不完全的状态模型,在此状态模型上来验证表示其属性的逻辑公式。这样一个逻辑公式的真值除了真、假外,还出现了第三种情况:未知,即在这个状态模型下无法确定其真值,需要更多的状态信息才能确定。本文还讨论了二值逻辑的模型检验技术,在此基础上给出了基于不完全状态空间的三值逻辑的模型检验算法,此算法与二值逻辑模型检验算法相比,没有带来时间复杂度的增加,最后给出了三值逻辑模型检验算法的应用。 展开更多
关键词 三值逻辑 模型检验 不完全Kripke结构
下载PDF
基于不完全树结构小波变换及FKCN的纹理分割 被引量:2
2
作者 王晓丹 赵荣椿 吴崇明 《空军工程大学学报(自然科学版)》 CSCD 2001年第1期26-29,共4页
提出了一种新的不完全树结构小波变换用于纹理特征提取 ,提出了一种与人类视觉过程相一致的多分辨率多通道纹理分析方法 ,它由 (1 )特征提取 :使用不完全树结构小波变换抽取纹理特征 ;(2 )基于模糊 Kohonen聚类网络的特征粗分类 :使用... 提出了一种新的不完全树结构小波变换用于纹理特征提取 ,提出了一种与人类视觉过程相一致的多分辨率多通道纹理分析方法 ,它由 (1 )特征提取 :使用不完全树结构小波变换抽取纹理特征 ;(2 )基于模糊 Kohonen聚类网络的特征粗分类 :使用缩减的特征向量对网络进行训练 ,得到粗分割结果 ;(3)粗分割结果的细化等几部分构成。 展开更多
关键词 纹理分割 不完全结构小波变换 模糊Kohonen 聚类网络(FKCN)
下载PDF
基于不完全小波树型结构的图像纹理特征研究 被引量:4
3
作者 徐孟春 王相海 《中国图象图形学报》 CSCD 北大核心 2009年第7期1341-1346,共6页
图像纹理特征的研究作为一个热点和难点问题为图像检索、景物识别和目标定位等应用领域提供了一种重要途径。近年来,小波域的图像处理和分析受到关注,但基于小波域图像特征的研究相对滞后。通过分析图像纹理及其空间域特性,同时对图像... 图像纹理特征的研究作为一个热点和难点问题为图像检索、景物识别和目标定位等应用领域提供了一种重要途径。近年来,小波域的图像处理和分析受到关注,但基于小波域图像特征的研究相对滞后。通过分析图像纹理及其空间域特性,同时对图像不完全树型小波结构的分解过程和存在的问题进行讨论,对基于不完全小波树型结构的纹理特征进行研究,给出了小波域描述图像纹理的若干特征,提出了描述图像方向性的两个特征,同时对这些特征在图像检索中的应用过程和应用范围进行了说明。实验结果验证了所提出纹理特征的有效性。 展开更多
关键词 不完全小波树型结构 图像纹理特征 方向特征 图像检索
下载PDF
一种高效处理不完全结构约束的Twig查询方法
4
作者 周军锋 孟小峰 WANG Ling Tok 《中国科学(F辑:信息科学)》 CSCD 2009年第10期1034-1049,共16页
越来越多的网络数据都以XML格式表示和存储,开发高效的查询处理算法以便从带有层次结构的XML文档中提取满足条件的数据是一个必须解决的问题.从XML文档中提取信息时,通常使用已有XML查询语言的核心组件—Twig查询—来表达查询语义.Twig... 越来越多的网络数据都以XML格式表示和存储,开发高效的查询处理算法以便从带有层次结构的XML文档中提取满足条件的数据是一个必须解决的问题.从XML文档中提取信息时,通常使用已有XML查询语言的核心组件—Twig查询—来表达查询语义.Twig查询的一个固有特点是其中的查询节点之间具有特定的先序关系,正是这一特点使其在很多情况下变得难以使用,从而不得不通过放宽Twig查询的约束条件来表达更灵活的语义.文中主要解决"不完全结构约束的查询(PSTP查询)"的处理问题.提出一种扩展的XPath语法,通过引入Samepath轴,可以以一种简单有效的方式表达灵活的查询语义;提出一种基于扩展XPath语法的查询处理算法pTwigStack,可以高效处理PSTP查询,从而避免分别处理PSTP查询对应的每个Twig查询所导致的性能下降问题;提出两种基于DTD schema的优化方法,用以改进pTwigStack算法的处理性能.不同数据集上的实验结果表明,pTwigStack算法在处理PSTP查询时,综合性能明显优于已有方法. 展开更多
关键词 XML数据库 查询处理 不完全指定结构的Twig模式 整体Twig连接 XPATH
原文传递
一种基于扩展不完全Kripke结构的三值逻辑模型检测方法
5
作者 刘姣 雷丽晖 《计算机工程与科学》 CSCD 北大核心 2015年第10期1884-1889,共6页
多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展... 多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展后的模型上给出了检测不确定状态真值的方法,最后给出了基于扩展不完全Kripke结构的三值逻辑模型检测算法。与已有的三值逻辑模型检测算法相比,该算法降低了算法复杂度,完善了对于不确定或不一致信息的处理,从而增强了三值逻辑模型检测的实用性。 展开更多
关键词 三值逻辑 模型检测 扩展的不完全Kripke结构
下载PDF
轻钢结构三维施工模拟技术及其应用 被引量:1
6
作者 方汝耆 赵金城 王春江 《低温建筑技术》 2005年第2期46-48,共3页
基于AutoCAD的三维造型技术建立了针对轻钢结构的三维施工进程中的全过程模拟分析方法,并通过模拟实际工程证明了该模拟分析方法和程序是正确的和可靠的。
关键词 施工模拟 不完全结构 OBJECTARX 三维实体建模 轻钢结构
下载PDF
间歇机构——不完全齿轮机构设计及应用 被引量:8
7
作者 赖雅琳 张金顺 《机械工程师》 2002年第9期15-16,共2页
通过对间歇机构——不完全齿轮机构的研究,解决了运输机械的货物准确定位、垂直上升运动和水平运动的连续供货问题,其结果具有新颖性和实用性。
关键词 间歇机构 不完全齿轮结构 货距
下载PDF
增加结构非循环模糊自动机最小化算法(英文) 被引量:1
8
作者 胡红莉 莫智文 《工程数学学报》 CSCD 北大核心 2006年第4期599-606,共8页
我们提出了一种新的不完全的增加结构算法,该算法结合了非循环确定模糊自动机的性质。由于该算法与隶属度有关,因此算法给出了与传统方法不同的运算函数,而且通过构造模拟状态使该算法可在有多输入状态的条件下运行。所以这个新的不完... 我们提出了一种新的不完全的增加结构算法,该算法结合了非循环确定模糊自动机的性质。由于该算法与隶属度有关,因此算法给出了与传统方法不同的运算函数,而且通过构造模拟状态使该算法可在有多输入状态的条件下运行。所以这个新的不完全增加结构算法较传统算法更可行和实用。新算法由两部分构成:增加模糊字符串到最小非循环确定模糊自动机和最小化增加模糊字符串后得到的自动机。因为在增加模糊字符串到最小非循环确定模糊自动机的过程中,运用了一些相关的新函数,所以得到的自动机仍然是确定的,而且没有增加任何无关的字符串到自动机的可识别语言。 展开更多
关键词 非循环确定模糊自动机 模糊字符串 不完全增加结构算法 构造模拟状态 非必要隶属度状态
下载PDF
篇名中的隐含 被引量:8
9
作者 刘云 《华中科技大学学报(社会科学版)》 2002年第5期113-116,共4页
隐含是一种重要的篇章化手段。本文从并列结构、孤立结构、不完全结构、分句和某些特殊格式五个方面考察了篇名的隐含。
关键词 篇名 隐含 篇章化 并列结构 孤立结构 不完全结构 分句 语义 语言结构
下载PDF
基于AHP的企业员工绩效考核指标权重确定与实现方法 被引量:15
10
作者 马超 李娜 +1 位作者 孙俊伟 蔡丽娟 《北京工业职业技术学院学报》 2007年第1期125-130,共6页
煤炭企业绩效考核是企业人力资源管理的核心,但是在煤炭企业绩效考核操作过程中,往往会出现考核指标设置不合理,指标权重确定方法不科学或者操作困难的问题。给出了应用AHP对煤炭企业绩效考核指标体系进行权重设计的方法,介绍了一种层... 煤炭企业绩效考核是企业人力资源管理的核心,但是在煤炭企业绩效考核操作过程中,往往会出现考核指标设置不合理,指标权重确定方法不科学或者操作困难的问题。给出了应用AHP对煤炭企业绩效考核指标体系进行权重设计的方法,介绍了一种层次分析的专用软件,解决了在煤炭企业绩效考核中应用AHP的可操作性问题。 展开更多
关键词 层次分析法 绩效考核 不完全层次结构模型 EXPERT CHOICE
下载PDF
模态转移系统的三值逻辑模型检验 被引量:2
11
作者 郭建 韩俊刚 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第6期881-884,共4页
分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·... 分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度· 展开更多
关键词 三值逻辑 模型检验 模态转移系统 不完全Kripke结构
下载PDF
用间歇机构的动停比完成正交运动的连续供货 被引量:2
12
作者 赖雅琳 陈卫军 《郑州工程学院学报》 CAS 北大核心 2002年第2期79-81,共3页
本文通过对间歇机构———不完全齿轮机构的研究 ,解决了运输机械的货物准确定位、垂直上升运动和水平运动的连续供货 。
关键词 间歇机构 连续供货 不完全齿轮结构 货距 运输机械
下载PDF
再制造产品数据库中对象唯一性标识方法
13
作者 饶锡新 柳和生 +1 位作者 宋兆坤 李文江 《机械设计与研究》 CSCD 北大核心 2009年第1期81-83,共3页
提出了一种运用关系型数据库的外键约束和编码系统的混合方式实现再制造数据库对象唯一性标识的方法,即从项目到零件,采用编码的形式;零件层以下,采用主键结合外键参考的外键约束方法。再制造产品由于其毛坯是废旧的机电产品,其产品信... 提出了一种运用关系型数据库的外键约束和编码系统的混合方式实现再制造数据库对象唯一性标识的方法,即从项目到零件,采用编码的形式;零件层以下,采用主键结合外键参考的外键约束方法。再制造产品由于其毛坯是废旧的机电产品,其产品信息具有不确定性的特点,为此表述再制造产品信息的信息模型是不完全的树型结构。在创建再制造产品数据库对象唯一标识的主键时,文中首先试图采用现有的外键约束方法和编码系统方法,结果表明这两种中方法都有其欠缺和不足。实践证明,该混合方式的数据库对象标识方法能较好地解决具有不完全的树型结构的数据库对象的唯一标识问题。 展开更多
关键词 再制造产品数据库 对象唯一性标识 不完全树型结构
下载PDF
三值逻辑证明系统及正例与反例的提取
14
作者 郭建 韩俊刚 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第7期1270-1279,共10页
三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足... 三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足某个性质;在证明过程中为存在路径量词提取正例,为全称路径量词提取反例.正例和反例的提取可给模型的细化指明方向.最后通过实例给出了该证明系统在数字逻辑电路验证中的应用. 展开更多
关键词 三值逻辑 不完全Kripke结构 正例 反例 证明系统
下载PDF
澳洲高变质焦煤与低变质煤种间的交互效应研究
15
作者 鲍俊芳 贾丽晖 宋子逵 《武钢技术》 CAS 2017年第3期5-10,共6页
通过高变质焦煤和中等变质焦煤参与炼焦对比试验研究发现,配入澳洲某矿高变质焦煤所得焦炭实测粗粒镶嵌、中粒镶嵌和不完全纤维结构比计算值增加,细粒镶嵌和完全纤维结构比计算值减少,试验所得焦炭冷、热态强度均较优;配入河南某矿中等... 通过高变质焦煤和中等变质焦煤参与炼焦对比试验研究发现,配入澳洲某矿高变质焦煤所得焦炭实测粗粒镶嵌、中粒镶嵌和不完全纤维结构比计算值增加,细粒镶嵌和完全纤维结构比计算值减少,试验所得焦炭冷、热态强度均较优;配入河南某矿中等变质焦煤所得焦炭实测光学组织粗粒镶嵌结构低于计算值,中粒和细粒镶嵌结构增加,冷、热态强度均低于配入澳洲某矿高变质焦煤所得焦炭。从而得出,不同变质程度的镜质组进行伍配炼焦时存在明显的交互反应,大尺寸各向异性结构单元和小尺寸各向异性结构单元反应后存在向中间尺寸各向异性结构单元转化的现象。炼焦用煤的选择在考虑各单种煤煤质的同时,应关注各煤种间的交互效应对焦炭强度的影响。 展开更多
关键词 交互反应 粗粒镶嵌结构 不完全纤维结构 细粒镶嵌结构 中粒镶嵌结构
下载PDF
测控技术中含有“X”值的验证
16
作者 陈彤 《西安工程科技学院学报》 2006年第5期603-606,共4页
利用模型检验技术来验证具有“X”(未知)值的属性.给出了三值(真、假、未知)逻辑公式的模型检验算法,此算法与二值逻辑模型检验算法相比,并没有增加时间复杂度.通过实例说明三值逻辑模型检验算法的应用.
关键词 三值逻辑 不完全的Kripke结构 模型检验
下载PDF
Asymptotic Inefficiency of Incomplete Asset Markets and Symmetric Event Trees
17
作者 Ricardo Luis Chaves Feijo 《Chinese Business Review》 2016年第6期296-304,共9页
Demonstrating theoretically the possibility that the financial market, albeit incomplete, has equilibrium and that this equilibrium is efficient and has been an important topic at the frontier of the research on gener... Demonstrating theoretically the possibility that the financial market, albeit incomplete, has equilibrium and that this equilibrium is efficient and has been an important topic at the frontier of the research on general equilibrium for financial markets. The paper examines the asymptotic properties of incomplete financial markets taking into accounting the asset structure. The paper deals with a case in which a structure of securities relates to the asymptotic inefficiency. 展开更多
关键词 asymptotic inefficiency incomplete market general equilibrium with financial assets event tree
下载PDF
Recent advances on “ordered water monolayer that does not completely wet water” at room temperature 被引量:3
18
作者 WANG ChunLei YANG YiZhou FANG HaiPing 《Science China(Physics,Mechanics & Astronomy)》 SCIE EI CAS 2014年第5期802-809,共8页
The molecular scales behavior of interracial water at the solid/liquid interfaces is of a fundamental significance in a diverse set of technical and scientific contexts, ranging from the efficiency of oil mining to th... The molecular scales behavior of interracial water at the solid/liquid interfaces is of a fundamental significance in a diverse set of technical and scientific contexts, ranging from the efficiency of oil mining to the activity of biological molecules. Recently, it has become recognized that, both the physical interactions and the surface morphology have significant impact on the behavior of inter- facial water, including the water structures as well as the wetting properties of the surface. In this review, we summarize some of recent advances in the atom-level pictures of the interfacial water, which exhibits the ordered character on various solid surfaces at room or cryogenic temperature. Special focus has been devoted to the wetting phenomenon of "ordered water monolayer that does not completely wet water" and the underlying mechanism on model and some real solid surfaces at room temperature. The possible applications of this phenomenon are also discussed. 展开更多
关键词 ordered water monolayer hydrophobicity/hydrophilicity molecular dynamics simulation hydrogen bond room temperature
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部