非单调性相关论文
It is known that a strictly piecewise monotone function with nonmonotonicity height ≥ 2 on a compact interval has no it......
1989年Stevens在Journal of Phonetics发表了关于语音量子理论的长文(1989),该杂志同期刊登了15位当时世界顶尖语音学家的11篇评论......
软件开发的一个基本问题是如何及时演化以适应需求的持续变化。为了便于演化,不少系统采用了基于扩展的演化机制,尽管该机制有助于提......
随着国家生产力的发展以及生活水平的提高,私家车拥有量逐年增加,交通拥堵问题日益严重,合理的交通规划迫在眉睫。在现实生活中,交......
话语的解读涉及非确定性的假定知识,主要依赖现象学的经验结构,所涉及的非单调性质的缺省逻辑和逆证逻辑与单调性质的演绎逻辑有着......
为研究激光加工对SiC密封材料表面润湿性的影响,使用激光加工的方法设计并加工了不同加工功率和不同加工次数情况下的凸台微织构.......
AT供电牵引网短路故障时,故障阻抗具有非单调性,AT供电牵引网单线运行时发生短路故障,大体有2种测距方法,分别为吸上电流比法、吸......
本文通过叠加源(或汇)格林函数的方法,研究了在两层流体的下层水平运动偶极子的远场波动效应,分析了界面内模式的Kelvin横波波幅随......
演绎对象库中由于多重继承与属性重载的特点,造成了继承与演绎的复杂性,该文主要系统研究了对象类继承的非单调性问题,提出了带可信度......
自一九四九年由G.B.Dantzig创建以来, 单纯形算法统治线性规划领域达四十年之外,且至今仍是最好的应用最广泛的算法之一。该文回顾了......
该文分析了拨道计算专家进行拨道计算的过程和思维特点,提出处理知识推理中的不精确性和非单调性的实用方法。该方法成功运用于便拨......
超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑,它可作为在不完全与不协调知识下常识推理的形式化.给出了命题L......
利用极轨气象卫星资料生成的,用于草地植被监测的植被指数主要有RVI、NDVI和DVI,它们都是AVHRR第一、二通道的不同组合形式,它们的......
作为概念的可废止性,最早由哈特引入法哲学领域,却是在论证理论、认识论与逻辑学等领域获得广泛关注之后,才逐渐在伦理学、法学等......
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有......
研究了具有耦合的两个乘性色噪声的欠阻尼线性振荡器的随机共振现象.基于线性系统理论,得到了平均输出幅度增益的精确表达式.分析表明......
本文给出两个达到成偶可行性的新的非调性方法,其主要思想是把达到对偶可行性与达到原始可行性的工作尽可能地结合起来。新过程被用......
用丰富的试验结果,发现了冷挤孔边切向压残余应力在拉-拉交变载荷作用下的非单调性衰减规律,用塑性应力谱变循环理论结合冷挤孔边残余......
起始的云冷凝作用原子核(CCN ) 的效果集中(冰雹性质上的 100-3000 mg <sup>1</sup>) 在使用 theWeather 研究并且预报的一个理想......
本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。......
超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑,它可作为在不完全与不协调知识下常识推理形式化,给出了命题LPc的计算复......
为了适应业务的不断更新浒多软件系统通过向公共的基础系统插入新的扩展来实现演化.这种演化策略虽然有利于并行开发和部署,但也面临......
本文介绍了以期望集合和期望序列的两种方法来进行非单调推理的思想,并进一步介绍了以 不完全先序序列来推理的思想。这两种思想前......
传统研究主要用形式逻辑的方法讨论法律推理问题,但是,随着学者们对非形式逻辑研究的不断深入,研究者在法律推理中发现了越来越多的非......
知识表示是人工智能中形成常识推理模型的基础,这里强调模糊逻辑在其扩展模型中充当的重要角色.笔者使用两层次模糊意义,给出了基于近......
针对大坝变形模型中常规时效因子的不足,文章提出时效分量是非单调的.通过在传统时效因子的基础上增加周期项,并对湖北清江隔河岩......
本文报导首次观察到在光控取向材料表面上液晶分子预倾角与紫外光非单调曝光的关系.我们发现这种在加氟聚乙烯基肉桂酸(PVCN-F)表......
在现代逻辑文献中,"哲学逻辑"是个多义词.作者认为哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑.哲学逻辑的崛起引发诸多的......
研究了非单调性时滞微分方程的异宿轨解,并利用Faria等提出的方法探讨了一类带全局功能反应项的生物反应扩散模型的行波解问题......
英国逻辑学家Toulmin认为,既然在数学之外论证的有效性并不取决于其语义形式而是取决于它们辩护的争论过程,那么,那些想研究实践推......
变分不等式以及变分不等式的公共解在纯粹数学与应用数学的诸多领域都有着极其重要的应用.求解变分不等式的有效算法的研究一直是......
推理的不确定性来自信息或知识的不完全,这种不确定性几乎是无处不存在的,它使得修改乃至废除推理过程中的结论显得十分重要,从而......
本文指出LPm逻辑存在的一些问题,给出一种LPm的改进形式-LPmin逻辑,它能解决LPm逻辑存在的问题,并对LPmin以及它与LPm逻辑的关系作了初步分析。......
现实世界中存在着大量的不精确和不确定知识和信息.在语义Web中表示模糊规则是语义Web领域的重要研究问题之一.作为模糊语义Web规......
在L 3-值命题逻辑中,对应于矢列式推导的Gentzen推理系统G是单调的,而对应于余矢列式推导的Gentzen推理系统G-是非单调的。基于G和......
溯因推理越来越受到逻辑学、计算机等领域的重视。皮尔斯最先提出溯因推理,他认为只有溯因推理才能产生新知识,并通过对演绎、归纳......
对法律逻辑研究定位的分歧,造成对法律推理问题的不同理解。而法律推理本质上既不是演绎推理,也不是归纳推理,而是似真推理。法律......
<正>一、引言常识推理是人工智能的一个主要研究领域,在人类间题求解中是不可缺少的,但目前还没有关于它的严格定义,它泛指人们在......
可废止性是当前法学领域的核心概念之一,其所面临的内涵不清、所指繁杂、议题琐碎、理论模型多样等难题亟待厘清。在法学中,什么是......
近年来,使用规则表示和推理知识成为语义Web的重要研究议题之一.If-then规则已经广泛应用于人工智能领域.但是,由于缺乏语义Web元......
当系统的非线性、输入的信号和噪声之间存在某种匹配时,如果增加输入噪声,系统输出的信噪比不仅不会降低,反而可以大幅度地增加,即存在......
法律论证的可废止性和非单调性决定了单调的演绎逻辑在法律领域的不适用性。法律论证理论的兴起和发展与其知识论基础的演变和发展......
属性约简是粗糙集理论一项重要的应用,目前已广泛运用于机器学习和数据挖掘等领域,邻域粗糙集是粗糙集理论中处理连续型数据的一种......
许多关于多项式型迭代方程的结果,如解的存在性、惟一性和稳定性等都是在已知函数为单调函数的假设条件下得到的.借助讨论迭代根时......
非经典逻辑致力于扩展逻辑的推理能力,为机器智能化提供新的研究方式。故而我们对非经典逻辑发展的动因进行了分析,在此基础上探究了......