完备性相关论文
国家定位、导航与授时(Positioning, Navigation and Timing, PNT)服务的核心是建立基准统一、弹性健壮、安全可信、高效便捷的综合P......
哲学家历来对市场契约的道德性抱怀疑态度,认为必需从“外面”引入“高级”的道德而且往往以“社会契约”的形式。本文从亚里士多德......
<正> 在人类各种认识方式中,科学与哲学之间鲜明而巨大的差异相当引人注目。科学讲究明确、清晰、严密甚至数学化,它的任何理论都......
编辑部:在武汉读到贵刊今年第一期,已是四月下旬了。栾贵明先生《论古典文献的计算机处理技术》一文,虽是最后拜读,但印象和感受却是最......
模糊逻辑作为非经典逻辑的一个重要分支在人工智能、信息科学和计算机科学等方面有着十分广泛的应用.Zadeh认为模糊逻辑有广义和狭......
Sturm-Liouville理论起源于对热传导问题数学模型的处理,其理论广泛应用于各种理论科学及应用科学领域.因此,该理论成了人们长期关......
闭包系统(即有顶的∩-结构)是数学及计算机科学的许多领域都涉及的一种结构.文[18]考虑到multi-agent/multi-source系统在信息科学中......
运用矩阵多元多项式的带余除法和无界哈密顿算子的形式特征,考虑了源于力学的板弯曲问题,导出了两类无界哈密顿算子族,算出了这两......
分层偏序集指的是一个偏序集,且具有其交为已知偏序的按包含递减的偏序族.本文的主要结果:(1)在分层偏序集上定义了形式球空间,(2)......
[目的/意义]为强化政府风险治理和应急准备规划,提升应急预案的质量和城市公共安全应急管理水平,运用故障树分析法(FTA)对应急预案......
通过融合布尔逻辑和非易失性存储器的功能,逻辑存储融合技术可以消除计算过程中的数据移动,为实现存储器中计算,解决传统计算架构中的......
在这篇文章中,我们主要研究定义在实线性n-赋范空间下欧拉序列空间在适当n-范数下的完备性,同时得到某些序列空间之间的相互包含关......
就哲学而言,如果一个人不能实现对世界之统一性的理解,那么他是不可能为伦理提供完备性解释的。而且,只有当一个人实现了对世界之......
为实现对复杂访问控制策略的统一管理,检测并排除冲突和不完备的访问控制策略,提出了利用访问控制策略集合中的偏序信息构造融合主......
选择题以概念性强、覆盖面广、解法灵巧、评分客观等特点,颇受命题者的青睐,成为各类考试或竞赛的主要题型。但在具体的编拟过程......
轨迹概念包含“纯粹性”与“完备性”两方面的要求.本文试图通过若干典型错例,对造成轨迹“漏”、“杂”的原因进行探讨。一、忽......
重视空集增强免疫力张杨平(浙江省磐安县玉山中学322302)一、关于空集新教材必修本高中《代数》上册第5页中指出:为了方便,我们把不含任何元素......
1990年,我市在高三毕业考试中,拟出了这样一道试题:“画出方程x~2-1~(1/2)(y~2-1)=0所表示的曲线图形”。此题虽不难,但其理却很......
一.軌跡的意义和基本属性要了解軌跡的意义,最好从“类”来說起.类是我們在普通语言中最常用到的一个基本概念.在我們周圍的事物......
精心设计习题训练思维能力周佃文安青(山东省寿光县东埠一中262723)思维的灵活性、完备性、独立性、深刻性、批判性等思维品质的总和构成思......
在高中物理问题中,若遇到匀速圆周运动、简谐运动、波动、交流电等问题均属周期性多解问题,在没有约束条件时,这类问题皆有无数组......
求动点轨迹是解析几何的一个基本问题,然而常见的错误是轨迹的纯粹性与完备性得不到保证,导致动点轨迹出现“遗漏”和“不纯”的......
从法理而言,《国有资产法》能否充分实现法律的效能,在于其相对的完备性和稳定性,而完备和稳定的法律取决于其内容规定具有广泛的......
TAPO-5膜可以通过三次生长法制备。它的完备性与所用晶种以及膜的多晶结构密切相关。393 K下晶化所得无定形晶种有利于引导制备完......
本刊讯据悉,环保部于5月24日正式在草甘膦生产企业环保核查指南上签字,标志着草甘膦环保核查正式启动。根据要求,各省级环保部门根......
环保部近日发布《关于开展草甘膦(双甘膦)生产企业环保核查工作的通知》(以下简称《通知》),宣布将按照“企业自查——省级环保部......
浅议增值税帐户设置的完备性焦一曼增值税是对商品生产和流通中各环节的新增价值或商品附加值进行征税的一种税种,用公式可表述为:当......
美,是自有人类以来所追求的是对任何人和事的完备性,因此,人们把追求美的品质、形态作为对人和事的评价标准之一。故自有人类教育......
加强电子政务建设是增强政府应对突发事件能力,进而从整体上提高政府的危机管理能力的必要手段。电子政务的特点就是系统性、完备......
题目(2014年高考陕西卷理科第21题)设函数f(x)=ln(1+x),g(x)=xf′(x),x≥0,其中f′(x)是f(x)的导函数.(1)g1(x)=g(x),gn+1(x)=g(gn......
最近有几篇文章建议利用长期沉积速率与短期沉积速率之比估计地层剖面的完备性.我们证明这些文章中采用的短期沉积速率中值是错误......
笔者根据建设管理实践,针对在黄河防洪工程竣工资料历次审查中发现的问题,提出了一套行之有效的审查办法,即首先要明确审查目的、......
在分析了双原子分子振动能级的完备性和有限性及其对统计计算带来影响的基础上,借助AM(代数)方法得到的双原子分子振动能级完全......
该文的主要工作是研究如何用时段演算来刻画程序的实时行为.为了处理局部变量的声明,作者们必须引进关于程度变量的量词.而在实时......
该文主要研究了盘古知识库的一致性和完备性:1.知识库的一致性:知识库的一致性,对于依赖于知识库的推理系统来说是十分关键的,不一......
互联网异构的语义Web服务需要协同工作以满足复杂的应用需求。已有的对Web服务组装的研究,多限于顺序结构的组装方式。这种简单的一......
与LTL、CTL以及PDL等较简单的时序与模态逻辑相比,μ-演算由于含有不动点算子,拥有非常强大的表达能力,因而付出的代价是其可满足性的......
模态逻辑是研究必然、可能及其相关概念的逻辑。模态逻辑是逻辑学最为重要的分支之一,它的理论、思想、技术和方法不仅是逻辑学中占......
该文的主要想法是想将形式化语义方法引入工业界应用极为广泛的VerilogHDL中,为Verilog的形式化验证以及自动求精提供严格的语义基......