有限理性公平数据交换协议的设计与仿真

陆正福; 普艳红; 倪盛斌; 许辰铭; 杨春尧, 计算机科学 发表时间:2018-11-15 期刊

理性交换协议(REP)因使用了理想化的理性假设,在现实中有可能失效。为解决此协议失效的问题,基于与现实更为接近的有限理性假设(BRH),定义了有限理性公平概念,并首次基于BRH设计了有限理性公平数据交换协议(FDEP-BR)。理论分析表明,与REP相比,FDEP-BR虽然牺牲了一定效率(轮复杂度为O(l*v)),但具有容错性和有限理性公平性,能够抵抗非合作攻击。对FDEP-BR构造自动机模型,并改进经验加权吸引(EWA)学习模型的决策方式,设计了EWA学习决策算法;在此基


超级有穷条件下涉及超越亚纯函数导函数的亏量和的一个结果

李效敏; 袁前前, 中国海洋大学学报(自然科学版) 发表时间:2018-12-10 期刊

本文证明了下述结果:设f是复平面上的1个超级有穷且正规增长的超越亚纯函数,k是1个正整数,那么∑ sum (δ(a,f(k))) from a∈C≤2-(2k(1-Θ(∞,f))/(1+k(1-Θ (∞,f)))。该结果推广了杨乐[4]研究的有关结果,并举例说明该结果是最佳的。...


有穷多模态类型逻辑语法及其在汉语中的应用

康孝军, 逻辑学研究 发表时间:2018-09-18 期刊

多模态类型逻辑是一种模态Lambek演算的分支。以类型逻辑为基础的范畴语法一般用于自然语言的智能处理。在多模态类型逻辑语法中添加假设集的方式可以用来处理汉语语言现象。本文采用带有穷假设集的多模态非结合Lambek演算的根岑表述系统。介绍其句法和代数语义,证明了其可靠性与完全性。探讨了在多模态非结合Lambek演算系统下,有穷假设集在汉语语序与异常句等处理上的应用,并简述了此方法的优势。...


移动网络环境中不良信息智能过滤方法仿真

刘凯, 计算机仿真 发表时间:2018-10-15 期刊

移动网络环境中的信息良莠不齐,为了避免移动网络接收和发送不良信息,通常需要实时监测并对不良信息进行实时过滤。常规的不良信息过滤方法是采用基于网络的词汇倾向性判别,使用的语义和语法要素较少,易引起误判,查全率和查准率较低且难以满足实时性要求。针对上述问题,提出基于模态匹配的移动网络环境中不良信息智能过滤方法。根据移动网络正类和反类信息计算特征的权重,构建网络信息特征库并构造领域本体;再依据正类领域信息得到本体元素权重库;采用贝叶斯分类算法根据本体元素权重进行领域分类,得到候


自然数与无限性思想的历史透视

郭龙先; 胡晓飞, 昭通学院学报 发表时间:2016-10-25 期刊

无穷一直是诗人、艺术家、哲学家、神学家、科学家关注的焦点,它有着极为丰富的内涵,在不同的思想领域中有着不同的表现形式.自然数引出的无限多、无穷大等概念,打开了人类认识无限性的大门.对自然数序列"不可穷尽"的不同理解,产生了"实无限"与"潜无限"的数学哲学争论.


关于并发系统分支互模拟关系发散性保持的研究

廖文琪; 柳欣欣, 计算机系统应用 发表时间:2016-12-15 期刊

带发散性说明的分支互模拟是van Glabbeek和Weijland提出的一个概念,并被用来定义等价关系??b.该等价关系应该是最弱的一个发散性保持的并且满足分支互模拟性质的等价关系.然而在概念提出时并没有提供这些重要性质的证明,并且我们认为在原定义的基础上这个证明是不显然的.本文通过co-induction的手段利用染色迹的概念定义了着色完全迹等价,并证明该等价关系是最弱的一个保持发散的并且满足分支互模拟性质的等价关系.然后我们证明了着色完全迹等价关系和??b是相同的,


基于DNA计算的线性时序逻辑模型检测方法

朱维军; 周清雷; 张钦宪, 计算机学报 发表时间:2015-11-12 14:01 期刊

...,使用3′-5′型单链DNA分子对LTL公式的有穷状态自动机(Finite State Automata,FSA)模型进行编码,从而获得实现公式的粘贴自动机;其次,使用5′-3′型单链DNA分子对系统模型进行编码,从而获得粘贴自动机的输入字符串;最后,对表征粘贴自动机的DNA单链分子和表征输入字符串的DNA单链分子实施一系列生化反应,即可判定系统是否满足公式.分子生物学仿真实验结果表明:给出的DNA编码序列能达到99.9%的碱基配对正确率,且新方法成功地对所有4种LTL基本...


亚纯函数的周期性与分担值

高晓曼; 林伟川, 福建师范大学学报(自然科学版) 发表时间:2017-01-13 09:28 期刊

利用Nevanlinna理论研究亚纯函数的周期性,并得到两个主要结果.例子表明定理的条件是必要的.


有限状态系统检验的仿真方法

赵鹏, 江苏第二师范学院学报 发表时间:2016-12-25 期刊

在软硬件系统的模型检验中经常需要检测系统模型和规约模型的行为之间的包含关系.为提高模型检验技术的自动化程度,提出一种针对有限状态机的仿真检验方法.首先在有限状态系统的基础上,提出系统及其外部行为的概念,然后定义了系统间的仿真关系,之后结合不动点定理,设计了和仿真关系定义相似的FP算子,这就把两个系统外部行为之间的包含关系转化为通过FP寻找组合系统间的最大不动点.如最大不动点存在,称系统模型满足规约属性.最后,通过等价关系给出一种对于无限状态系统转换成有限状态系统的方法,使


电路工作模式下惰性节点的确定

崔晓通; 邹敏辉; 吴剀劼, 计算机研究与发展 发表时间:2017-01-15 期刊

集成电路设计和制造的全球化趋势使得木马电路可以在集成电路设计制造的任何阶段被插入,这引发了对硬件安全的广泛关注.从防御者的角度出发,木马电路在宿主电路使用过程中绝大多数时间是静默无害的,但是一旦被激活就会造成如信息泄露、功能异常或系统崩溃等严重危害;从攻击者的角度出发,避免木马电路被"误触发"是其最重要的一个设计目标之一.普遍认为,电路中那些具有较低状态翻转概率的惰性节点最有可能成为木马电路的插入点.因此目前检测的主要手段之一是试图寻找到这些惰性点,以便有针对性地尝试以激


非确定有穷自动机在盲文转码中的应用

张居晓, 计算机科学 发表时间:2017-01-15 期刊

对盲人使用的计算机交互技术进行研究是很有意义的工作。盲文字库缺少国际标准和不同公司的盲文字库不兼容造成了很多难题。将盲文用汉字点位编码表示,能摆脱盲文字库的束缚。用不确定有穷自动机描述盲文与汉字点位编码的转换过程,再用逆序拆分子集法对其确定化。经测试系统的转码正确率达到100%,从而实现盲文与机器无关,使得盲人使用计算机更方便。...


有穷自动机的Linux多点触摸屏中间件设计

赵建峰; 陈朔鹰; 罗一涵, 单片机与嵌入式系统应用 发表时间:2016-11-01 期刊

多点触摸屏的应用程序开发是当前的研究热点。Linux multi-touch(MT)协议是Linux输入子系统的一个标准协议,定义了多点触摸设备驱动程序的数据传输规范,有着广泛的使用范围。识别和处理多点触摸屏驱动程序的数据是多点触摸屏应用最基本的功能。本文采用有穷自动机的思想,设计了一个可以识别符合Linux multi-touch协议规范数据的多点触摸屏中间件。中间件提供外部接口供应用程序使用,可以减少程序开发人员的重复工作,提高开发效率。...


与零点个数有关的亚纯函数正规定则

王琼; 陈玮; 袁文俊; 田宏根, 数学物理学报 发表时间:2017-02-15 期刊

文章证明了涉及零点个数的亚纯函数族的正规定则:设F为区域D内的一族亚纯函数,a(≠0),b为两个有穷复数,m,n,k为正整数,其中n≥m+2,设任意函数f∈F且f零点重级至少是k和极点重级至少是k+1,当.fk-afn-b至多有m个不同零点时,则F在区域D内正规.这一结果提高了邓炳茂等人[18]的定理1,并推广了Ye等[16],张庆彩等[22]及陈玮等[19]的相关结果.此外,我们举例说明了结论的精确性....


一种描述主体信息变化的交流图及其逻辑初探

郭佳宏; 张朝霞, 学术研究 发表时间:2016-12-20 期刊

近年来,关于主体间通过交流而改变他们的知识和信念状态的形式化研究受到哲学等领域学者的广泛关注。交流图及其逻辑是其中的一项典型代表。我们考察研究帕奎特和派瑞克关于交流图逻辑的主要思想和技术,涉及拓扑逻辑和基于历史的模型等内容;采用其中的部分结果尝试解释若干有重大历史影响的问题,比如奥巴马如何获取本·拉登下落信息、"水门丑闻"背后的"深喉事件"等。最后还指出了交流图逻辑的几个可能的进一步应用。


集合论发展的新路径研究

符喜迎, 未来与发展 发表时间:2017-01-15 期刊

集合论的概括(抽象)原则说的是,对于任意的性质或条件恰好存在一个由满足这个性质或条件的对象组成的一个集合,康托尔的朴素集合论正是基于这样一条原则建立起来的。对象和集合之间的是"属于"关系,对象和性质之间的是"满足"关系,因而概括(抽象)原则可以用类似于塔斯基T模式的方式表示出来,x缀φ圮准(x),即集合φ恰好满足性质准的那些对象构成。然而,正是由于这个不加限制的概括原则,20世纪初波特兰·罗素在康托尔的朴素集合论中发现了一个悖论,即我们熟知的罗素悖论。罗素悖论的出现使得人


确定型模糊多重集有限自动机的极小化

王拥兵; 李永明, 计算机工程与科学 发表时间:2016-12-15 期刊

主要研究确定型模糊多重集有限自动机的状态极小化问题。给出了模糊多重集有限自动机的同余和同态概念,并利用同余和同态关系研究了确定型模糊多重集有限自动机的极小化问题。进一步从确定型模糊多重集有限自动机自身出发,构造出极小模糊多重集有限自动机,并给出了极小化的算法。


描述逻辑εL的二阶线性推理机制

王驹; 陈光喜; 余泉, 软件学报 发表时间:2017-02-15 期刊

基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数的,而轻量级的系统?L的算法复杂度是一阶时间指数的.但当前文献中的形式构模方法思路复杂,难以把握,几乎不能在实用的工程层面上实现.提出一种面向轻量级的描述逻辑系统家族(DL-Lite family)的统一的二阶线性推理机制,并给出该推理机制的完备性证明


涉及超级亚纯函数的一个Picard型定理

杨拍; 牛培彦; 庞学诚, 中国科学:数学 发表时间:2017-03-20 期刊

设f(z)为复平面内极点重级至少为2、零点重级至少为3的亚纯函数,α(z):=β(z)exp(γ(z)),其中β(z)为非常数的椭圆函数,γ(z)为整函数.本文证明,如果σ(f(z))>σ(α(z)),那么方程f′(z)=α(z)在复平面内有无穷多个根.


亚纯函数差分的亏量与值分布

王品玲; 刘丹; 方明亮, 数学学报(中文版) 发表时间:2016-05-15 期刊

研究亚纯函数差分的亏量与值分布,证明了:设c是一个非零有穷复数,f(z)是复平面C上的超越整函数,n是一个正整数.若△_c~nf(z)≠0,则或者f(z)取每个有穷复数无穷多次,或者△_c~nf(z)取每个非零有穷复数无穷多次....


亚纯函数及其差分的唯一性

陈创鑫; 陈宗煊, 数学学报(中文版) 发表时间:2016-11-15 期刊

本文证明了:对具有两个Borel例外值a(∈C)和b(∈C∪{∞})的有限级超越亚纯函数,如果f(z+η)-f(z)和f(z)CM分担a,b,其中η(∈C)满足f(z+η)■f(z),那么b=∞,a=0且f(z)=cec1z,其中c,c1为非零常数.


相关搜索
 找到 3,324 条结果 
首页上一页5678910111213下一页
关于iData
iData是第三方交流学术成果的公益互联网项目,旨在促进知识的传播和最新学术科技的共享,所有信息均来自公开、透明的互联网查询网站,iData重新对这些信息进行整合和优化,从而高效地输出有用信息,提高人与知识的连接效率。iData从创建之初便提供免费的学术文献浏览和下载。