期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
完美模型的充要条件及其结构分析
1
作者 黄东斌 李磊 《软件学报》 EI CSCD 北大核心 1996年第12期728-734,共7页
纯Datalog的唯一模型定理在Datalog-Not程序中不成立,因此,在Datalog-Not程序的所有Herbrand模型中,必须有一种模型的选择标准来确定程序的语义.完美模型关系是一种合理的选择标准.然而,由... 纯Datalog的唯一模型定理在Datalog-Not程序中不成立,因此,在Datalog-Not程序的所有Herbrand模型中,必须有一种模型的选择标准来确定程序的语义.完美模型关系是一种合理的选择标准.然而,由于完美模型的复杂性阻止了它的发展.本文分析了完美模型,通过有向图,给出了有完美模型的充要条件,并且给出构造算法及其正确性证明.本文得到的结果是:对任一自反有向图G,都能构造一个Datalog-Not程序P。 展开更多
关键词 逻辑程序 Herbrand模型 完美模型 程序设计
下载PDF
完美主义结构研究述评 被引量:1
2
作者 孔文迪 蒋京川 《绵阳师范学院学报》 2011年第9期137-140,154,共5页
完美主义被认为是一种人格特质和思维方式,它与个体的心理健康密切相关。对完美主义的研究肇始于20世纪20年代,最初将其视为一种神经症的类型,近年来的研究趋势转向以认知-行为的视角对完美主义结构进行探讨,对完美主义进行多维度划分,... 完美主义被认为是一种人格特质和思维方式,它与个体的心理健康密切相关。对完美主义的研究肇始于20世纪20年代,最初将其视为一种神经症的类型,近年来的研究趋势转向以认知-行为的视角对完美主义结构进行探讨,对完美主义进行多维度划分,并开始关注完美主义特质对个体思想及行为的积极作用,其理论构架和测量工具也不断发展完善。 展开更多
关键词 完美主义 结构理论 完美主义2×2模型
下载PDF
作弊与反作弊的博弈分析 被引量:12
3
作者 周杰 周红 陈刚 《山东师范大学学报(自然科学版)》 CAS 2002年第2期13-16,共4页
运用经济博弈论分析考试作弊现象 ,建立作弊者与监督者的混合战略博弈模型和绩优生与绩差生的不完美信息静态博弈模型 .以成本—收益分析 ,得出一些有益的结论并提出相应的解决办法 .
关键词 作弊 反作弊 博弈分析 混合战略博弈模型 完美信息静态博弈模型 考试 成本-收益分析
下载PDF
经济全球化对发达国家居民消费结构变化影响研究 被引量:10
4
作者 范金 《南京社会科学》 CSSCI 北大核心 2012年第1期9-16,共8页
通过建立二次几乎完美的需求系统(QUAIDS)模型,本文研究了经济全球化对22个OCED国家居民消费结构变化的影响。主要结论:第一,居民消费结构的升级方向是从对食品、衣着和家庭耐用品等可贸易商品的需求转移为对医疗保健、交通通讯和娱乐... 通过建立二次几乎完美的需求系统(QUAIDS)模型,本文研究了经济全球化对22个OCED国家居民消费结构变化的影响。主要结论:第一,居民消费结构的升级方向是从对食品、衣着和家庭耐用品等可贸易商品的需求转移为对医疗保健、交通通讯和娱乐文化教育等不可贸易商品的需求;第二,经济全球化与居民消费结构演化方向一致,其中,对外贸易起主导作用,其影响作用远大于FDI;第三,相对于不可贸易商品,居民的可贸易商品消费受经济全球化影响的程度更大,其中,食品消费影响最大,医疗保健消费最小;第四,经济全球化对不同OECD国家居民消费结构变化的影响存在差异性,其中,对经济规模较大国家的作用效果更加明显。 展开更多
关键词 经济全球化 可贸易商品 不可贸易商品 居民消费结构 经合组织(OECD) 二次几乎完美的需求系统模型
下载PDF
Formal analysis of robust email protocol based on authentication tests 被引量:1
5
作者 蒋睿 胡爱群 《Journal of Southeast University(English Edition)》 EI CAS 2009年第2期147-151,共5页
Based on the authentication tests and the strand space model, the robust email protocol with perfect forward secrecy is formally analyzed, and the security shortcomings of the protocol is pointed out. Meanwhile, the m... Based on the authentication tests and the strand space model, the robust email protocol with perfect forward secrecy is formally analyzed, and the security shortcomings of the protocol is pointed out. Meanwhile, the man-in-the-middle attack to the protocol is given, where the attacker forges the messages in the receiving phase to cheat the two communication parties and makes them share the wrong session keys with him. Therefore, the protocol is not ensured to provide perfect forward secrecy. In order to overcome the above security shortcomings, an advanced email protocol is proposed, where the corresponding signatures in the receiving phase of the protocol are added to overcome the man-in-the-middle attack and ensure to provide perfect forward secrecy. Finally, the proposed advanced email protocol is formally analyzed with the authentication tests and the strand space model, and it is proved to be secure in authentication of the email sender, the recipient and the server. Therefore, the proposed advanced email protocol can really provide perfect forward secrecy. 展开更多
关键词 email protocol authentication tests formal method perfect forward secrecy strand space model
下载PDF
产业动态理论研究新进展 被引量:2
6
作者 任晓红 张宗益 《管理评论》 CSSCI 北大核心 2010年第2期79-85,共7页
论文在产业动态理论的两大研究框架产业动态的动力源和产业演化动态内对产业动态理论的最新研究成果进行梳理,并着重对创新和产业动态的数量研究、产业动态的马尔可夫完美模型及产业生命周期和产业演化模型等几个前沿领域所取得的最新... 论文在产业动态理论的两大研究框架产业动态的动力源和产业演化动态内对产业动态理论的最新研究成果进行梳理,并着重对创新和产业动态的数量研究、产业动态的马尔可夫完美模型及产业生命周期和产业演化模型等几个前沿领域所取得的最新进展与所面临的主要挑战进行总结和评述。 展开更多
关键词 产业动态 产业动态计量经济学 马尔可夫完美模型 产业演化动态
原文传递
透视后桑普拉斯时代
7
作者 黄子麟 《网球天地》 2002年第3期82-82,共1页
后桑普拉斯时代在去年的温布尔顿就已经开始了,但却是今年的澳网清晰地画出了它的轮廓。 蓝色到红色——现代性的胜利 蓝色代表冷静、高贵、古典,红色代表冲动、血腥、现代。 桑普拉斯的每一次失败都引人注目。
关键词 普拉斯 现代性 完美模型 贝克尔 新纪录 底线 英雄时代 波利泰 潜意识 比赛
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部