axiom相关论文
The study on the foundation of category was started in 1986, and the axiom system AGC has been developed for congolomera......
It is proved that for any C~1 self-covering map f of a compact connected Riemann manifoldwithout boundary, if f satisfie......
Information granulation and entropy theory are two main approaches to research uncertainty of an information system,whic......
◎ 前面为M110，该枪2006年底正式成为美军制式狙击步枪。后面为M24狙击步枪，1988年被美国陆军正式采用， 是雷明顿700的军用版衍生型 ......
Axiomatic design(AD) is a popular design method,and satisfying the independence axiom is the basis of AD.However,AD does......
Isuzu的新型多功能越野车Axiom使用了钢质车身框架，就象一辆汽车，但却有着轿车的驾驶性能。行驶在公路上，Axiom能够象轿车一样操纵灵......
The database auto-design is an important problem in database research.In this paper we propose somenew ideas and an app......
A deduction system, called RE-proof system, is constructed for generating the revisions of first order belief sets. When......
In this paper, the method of well-combined semantics and syntax proposed by Pavelka is applied to the research of the p......
Since the formal deductive system (?) was built up in 1997, it has played important roles in the theoretical and applied......
The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deduc......
This paper describes the problem of doing description logic (DL) reasoning with partially closed world. The issue was ad......
This paper presents a general framework for the study of relation-based intuitionistic fuzzy rough sets determined by tw......
Finding Data Tractable Description Logics for Computing a Minimum Cost Diagnosis Based on ABox Decom
Ontology diagnosis, a well-known approach for handling inconsistencies in a description logic (DL) based ontology, compu......
Whether a unified theory of everything(TOE)is possible or not is a philosophical question and yes or no can be chosen in......
粗集、模糊集均是处理不确定信息的数据分析工具,是数据挖掘的重要方法.由Zadeh首先提出的模糊扩张原理是模糊集理论的最基本的原......
首先介绍了如何使用RDF(S)表示本体论 (Ontology)中的对象模型 ,然后分析了如何在RDF(S)中表示本体论中的公理......
统计规律一直被认为是统计学的基本研究对象，但是尚未有人对此概念给出一个规范的科学定义，本文通过通过统计规律的数量性质的分析 ......
关系数据库理论中给出的完全连接依赖的有效公理系统并不能完全适应应用的需要,本文在对有效公理系统的研究基础上对其作出扩充,使......
正确绘制物体受力图是学好工程力学的基础,也是解决工程中力学问题之关键。学生在学习此章节时,往往采用物理学中画受力图的方法来......
将基于Minkowski测度的半范数作为风险度量，发现其涵盖了损失期望值、绝对离差、绝对半离差，下偏矩、（a，t）模型、ES等常见的风险度量方......
现实社会中存在很多群体,每个群体都有其特有的角色、角色关系,并且这些角色、角色关系之间存在一定的规律。这些都是社会群体中的......
对于群体决策问题,文章引进供选方案间的偏爱距离和偏爱距离映射的概念.在此基础上,建立了序数偏爱下的群体决策公理,即偏爱距离公......
在信息公理的基础上，引入了模糊信息公理的概念。提出了基于模糊信息公理的评价方法。决策者在决策时无需给出各设计指标的具体权重......
本文简要地介绍了用于安全计算机系统的Ｂｅｌｌ Ｌａ Ｐａｄｕｌａ模型，根据关系数据库中数据对象的逻辑关系，提出了一个用于多级安全关系数据库的Ｂｅｌｌ－Ｌａ Ｐａｄｕｌａ模型的......
理性是古希腊数学的精神内核,公理化体系成为现代数学的根本特征之一.中国古代数学以实用为目的,直观性和机械化、程序化是它的的......
由于缺乏有效的公理获取与验证系统,无法实现自动推理,严重阻碍了语义Web的发展.本文针对政府角色及角色关系,提出一种半自动政府......
该文对于求几何图形面积这一问题,从其产生、形成、发展以及更为严密的方法等进行了综述;概括性介绍了在不同条件下,怎样处理面积......
关于亚里士多德三段论的性质一直是一个争论不休的问题。其中的一个焦点问题就是亚里士多德的直言三段论是蕴涵式的系统还是推理规......
Fuzzy entropy has been widely used to analyze and design fuzzy systems, and many fuzzy entropy formulae have been propos......
本文简要介绍用于安全计算机系统的Ｂｅｌｌ－Ｌａ Ｐａｄｕｌａ模型。针对数据库系统中授权的可传递性，提出了一个基于Ｂｅｌｌ－Ｌａ Ｐａｄｕｌａ模型的改进模型。改进模型对原模型的......
对经典逻辑中的公理在Gdel系统、Lukasiewicz以及R0系统中的真度大小进行了分析,得到了一系列深刻而有趣的结果。......
利用L-模糊集内积的概念分别给出了由L-模糊关系、反身、对称的L-模糊关系生成的L-模糊上近似的唯一公理刻画。......
布尔模态（即模态生成算子补、交、并）涉及到了完全性问题。并模态是模态可定义的,但是补和交都不是。这意味着证明包含这三个模态的......
几何学与集合论虽是数学领域中两个截然不同的学科，但是它们的产生都是为解决悖论而形成的。人们对平行公理和选择公理的态度都表现......
西方经济学理论对经济个体行为的依赖使经济理性假设具有了公理性的意义。西方经济学在不断拓展其研究范围的同时，保留和强化了它的......
文章考虑了离散资源公平分配问题中的公理、模型、指标以及它们之间的关系,最后得到4个极大相容公理组,由此可得公平分配不同类型......
以高校知识为研究和应用背景，研究基于本体理论的高校知识本体结构化表示和描述，并采用protege 4.0建立了高校知识本体。同时从高校......
社会观念的确立是现代性意识的重要一环,在现代中国,社会范畴是在民族国家话语之后知识界的又一个偶像寄托,而它的世界观依据则是......
This paper reports the new progresses in the axiomatization of tensor analysis, including the thought of axiomatization,......
文章发现可以用最优预测和期望损失作为风险度量,进而讨论了这两种风险度量方法的性质。研究发现,这两种风险度量方法当凸函数满足......
针对在利用模糊信息进行决策时,常常需要依据某种决策意识,强化或削弱某些因素的作用,即需要对模糊信息进行过滤处理,在分析了现行......
In this work we have to deal with the axiomatization of cosmology, but it is only recently that we have hit upon a new m......
The topological study of connectedness is heavily geometric or visual. Connectedness and connectedness-like properties p......
通过对数学空间概念二重性的研究,展现了数学空间从欧几里得空间到拓扑空间的发展历程.在19世纪末20世纪初,数学公理化方法迅速发......
对Lukasiewicz逻辑系统中的公理在Gdel系统以及R0系统中的真度大小进行了分析,得到了有意义的结果：Lukasiewicz逻辑系统的某些公理......
A magneto-electric field appearing in a laboratory due to moving charges has unusual properties. In particular, such a f......
