期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
时态逼近关系及时态逻辑的扩充
1
作者 钟绍春 刘大有 《软件学报》 EI CSCD 北大核心 1996年第2期119-127,共9页
本文提出了时态逼近关系,并给出了命题不确定性时态关系的一种分类,在Shoham的时态逻辑基础上,对命题和一阶两种情况,提出了能描述不确定性时态关系,基于时间点和(点对构成的)时间区间的时态逻辑(定性与定量相结合).此... 本文提出了时态逼近关系,并给出了命题不确定性时态关系的一种分类,在Shoham的时态逻辑基础上,对命题和一阶两种情况,提出了能描述不确定性时态关系,基于时间点和(点对构成的)时间区间的时态逻辑(定性与定量相结合).此外,还给出了在非确定性时态关系下用于描述命题类型的一些命题时态性质. 展开更多
关键词 不确定性 时态逻辑 时态逼近关系 人工智能
下载PDF
基于分解的多值模型的逼近关系 被引量:1
2
作者 陈娟娟 魏欧 《计算机科学》 CSCD 北大核心 2014年第6期125-130,共6页
多值模型可用于对包含不确定与不一致信息的软件系统进行建模与验证。提出了采用基于分解的方式来刻画多值模型之间的逼近关系,这为采用抽象方法解决模型检测时所产生的状态爆炸问题奠定了理论基础。为此,首先给出了多值模型分解为多个... 多值模型可用于对包含不确定与不一致信息的软件系统进行建模与验证。提出了采用基于分解的方式来刻画多值模型之间的逼近关系,这为采用抽象方法解决模型检测时所产生的状态爆炸问题奠定了理论基础。为此,首先给出了多值模型分解为多个三值模型的方法,并且证明了任意μ演算公式在多值模型上的检测结果等于在分解后所有三值模型上的检测结果的合并。进一步,由三值模型上的混合模拟关系给出了多值模型间逼近关系的结构定义,并证明对于任意给定的两个满足逼近关系的多值模型,μ演算公式在其上的检测结果在信息序关系上得以保持。 展开更多
关键词 模型检测 多值模型 逼近关系 抽象
下载PDF
一个多物资网络流问题的逼近算法 被引量:4
3
作者 程丛电 唐恒永 赵传立 《辽宁大学学报(自然科学版)》 CAS 2008年第2期170-174,共5页
给出最小满意率最大双标准最大多物资网络流问题,并证明其解存在.建构辅助网络,运用Korte和Vygen于2000年在Young,Garg和Kφnemann等工作的基础上给出的求最大多种物资网络流问题的ε—逼近解的完全多项式算法作子程序和二分收索方法做... 给出最小满意率最大双标准最大多物资网络流问题,并证明其解存在.建构辅助网络,运用Korte和Vygen于2000年在Young,Garg和Kφnemann等工作的基础上给出的求最大多种物资网络流问题的ε—逼近解的完全多项式算法作子程序和二分收索方法做出一个求所给问题的解的拟多项式逼近算法.分析算法的复杂性,给出并证明算法的逼近程度. 展开更多
关键词 双标准 多种物资网络流 算法 复杂性 逼近关系
下载PDF
L^p(T,X)空间内的最佳逼近
4
作者 刘瑞珍 《河北师范学院学报(自然科学版)》 1992年第1期8-13,共6页
关键词 抽象函数空间 最佳逼近 逼近关系
下载PDF
黄土滑坡形变分析预报方法研究 被引量:3
5
作者 王念秦 王红兵 《甘肃科学学报》 2002年第1期46-49,共4页
基于黄土滑坡的变形特征和演化规律 ,利用滑体总形变量与滑坡演变过程形变量之间的逼近关系 ,建立了一种简单、实用的滑坡预报数学模型 ,其效果良好 。
关键词 黄土滑坡 形变量 逼近关系 时间-位移曲线 形变分析预报 压缩变形 湿陷变形
下载PDF
逼近辅助关系与伪测度拓扑 被引量:1
6
作者 毛徐新 徐罗山 《模糊系统与数学》 CSCD 北大核心 2015年第4期76-79,共4页
在具有辅助关系的偏序集上引入伪测度拓扑,研究其性质以及与其它内蕴拓扑的关系。主要结果有:(1)具有逼近辅助关系的偏序集上的伪测度拓扑是零维的;(2)具有辅助关系的偏序集有可数辅助基当且仅当其上的伪测度拓扑是可分的;(3)具有逼近... 在具有辅助关系的偏序集上引入伪测度拓扑,研究其性质以及与其它内蕴拓扑的关系。主要结果有:(1)具有逼近辅助关系的偏序集上的伪测度拓扑是零维的;(2)具有辅助关系的偏序集有可数辅助基当且仅当其上的伪测度拓扑是可分的;(3)具有逼近辅助关系的偏序集是可数集当且仅当其上的伪测度拓扑是可分可度量化的。 展开更多
关键词 抽象基 伪Scott拓扑 逼近辅助关系 伪测度拓扑
原文传递
L-双模糊连续论域
7
作者 段慧仙 张杰 《北方工业大学学报》 2008年第1期53-56,61,共5页
在模糊数学中,对各种偏序进行等价刻画是重点研究课题之一.本文在L为完全分配格的情况下,定义了L-双模糊逼近关系、L-双模糊连续论域及L-双模糊代数论域的概念,并给出了这些关系的等价刻画,以及L-双模糊逼近关系的一些性质.
关键词 L-双模糊逼近关系 L-双模糊连续论域 L-双模糊代数论域
下载PDF
相对交连续半格及其等价刻画
8
作者 陈必琴 姜广浩 《淮北师范大学学报(自然科学版)》 CAS 2022年第3期1-6,共6页
作为Domain理论中交连续半格概念的推广,文章借助于相对way below关系引入相对辅助关系,给出相对逼近关系的概念,并研究其性质.引入相对交连续半格的概念,给出其若干内部刻画.探讨相对连续Domain及其拓扑性质,并研究相对连续半格与相对... 作为Domain理论中交连续半格概念的推广,文章借助于相对way below关系引入相对辅助关系,给出相对逼近关系的概念,并研究其性质.引入相对交连续半格的概念,给出其若干内部刻画.探讨相对连续Domain及其拓扑性质,并研究相对连续半格与相对交连续半格之间的关系.上述结论推广相关文献的有关结论. 展开更多
关键词 相对辅助关系 相对逼近关系 相对交连续半格 相对连续Domain
下载PDF
Transverse Vector Vertex Function and Transverse Ward-Takahashi Relations in QED
9
作者 HE Han-Xin 《Communications in Theoretical Physics》 SCIE CAS CSCD 2006年第1X期109-112,共4页
The transverse vector vertex function in momentum space in four-dimensional QED is derived in terms of a set of transverse Ward-Takahashi relations for the vector and the axial-vector vertices in the case of massless ... The transverse vector vertex function in momentum space in four-dimensional QED is derived in terms of a set of transverse Ward-Takahashi relations for the vector and the axial-vector vertices in the case of massless fermion. It is demonstrated explicitly that the transverse vector vertex function derived this way to one-loop order leads to the same result as one obtained in perturbation theory. This provides a basic approach to determine the transverse part of basic vertex function from the symmetry relations of the system. 展开更多
关键词 transverse vertex function transverse Ward-Takahashi relations
下载PDF
模糊语言的逼近条件及应用
10
作者 贺永霞 李平 《模糊系统与数学》 北大核心 2023年第3期108-117,共10页
模糊语言的可逼近条件是模糊计算理论的重要研究内容之一,本文对模糊语言可被确定型模糊有穷自动机逼近的条件进行了研究。首先研究了三个逼近条件之间的关系,证明了2λ-覆盖与λ-逼近等价关系这两个逼近条件的等价性。同时通过反例说... 模糊语言的可逼近条件是模糊计算理论的重要研究内容之一,本文对模糊语言可被确定型模糊有穷自动机逼近的条件进行了研究。首先研究了三个逼近条件之间的关系,证明了2λ-覆盖与λ-逼近等价关系这两个逼近条件的等价性。同时通过反例说明了文[13]给出的模糊语言可逼近的条件是充分非必要的且强于λ-覆盖这一个模糊语言的逼近条件。对于逼近条件的应用,本文通过举例说明了三个逼近条件各有优点。对于给定的模糊语言,文[13]的逼近条件适合用来判断该模糊语言是否可被一个确定型有穷自动机逼近,但并未给出具体的模糊自动机的构造方法;而λ-逼近等价关系这一逼近条件更侧重模糊正则语言的极小逼近,λ-覆盖相对于其他两个逼近条件更方便构造相应的模糊自动机,并给出了具体的构造方法。 展开更多
关键词 模糊语言 模糊自动机 λ-逼近 λ-覆盖 λ-逼近等价关系
原文传递
C-连续偏序集的性质及等价刻画 被引量:1
11
作者 何青玉 徐罗山 《模糊系统与数学》 CSCD 北大核心 2015年第3期8-12,共5页
在偏序集上考察了C-连续性,并引入了主理想C-连续的概念。利用提升和主理想C-连续等概念给出了C-连续性的两个等价刻划。证明了交半格C-连续当且仅当它是主理想C-连续的。构造了反例说明偏序集的C-连续性与主理想C-连续性互不蕴涵。
关键词 C-逼近关系 C-连续偏序集 主理想C-连续 Scott拓扑下可遗传
原文传递
关于点离散动力系统的研究
12
作者 陆媛媛 《吉林师范大学学报(自然科学版)》 2006年第4期37-38,共2页
本文利用动力系统知识与点离散系统的性质与特点对其结构进行研究.我们部分地给出了几个有关点离散动力系统的必要条件,指出具有点离散性质的系统,其本身就是极小集,它上的逼近关系是等价关系,且给出了x(?)X是离散点的一个与回归性有... 本文利用动力系统知识与点离散系统的性质与特点对其结构进行研究.我们部分地给出了几个有关点离散动力系统的必要条件,指出具有点离散性质的系统,其本身就是极小集,它上的逼近关系是等价关系,且给出了x(?)X是离散点的一个与回归性有关的充要条件. 展开更多
关键词 点离散动力系统离散关系逼近关系极小集几乎周期点
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部