收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于时序逻辑语言XYZ/E验证信誉系统

崔亚林  
【摘要】:目前在信誉系统的模型认证方面使用的模型验证的方法,本文以信誉系统为例,使用可执行的时=序逻辑语言XYZ/E来验证信誉系统,为进一步提高验证的准确性和精确性提供了新的思路。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 余卫宇,余英林;视频语义信息的研究[J];计算机工程与应用;2004年06期
2 刘晓平;李忠泽;;基于操作语义的线束工艺设计系统研究[J];广西大学学报(自然科学版);2010年05期
3 江明德;函数式程序设计语言语义模型的一种可实现方案[J];计算机工程与设计;1982年04期
4 曹化工,秦友淑;工程信息结构的语义模型[J];计算机辅助设计与图形学学报;1996年01期
5 费定舟,邓达强;关于BAN逻辑的语义模型的分析与改进[J];计算机工程与应用;2004年15期
6 杨德仁;顾君忠;;一种Web查询接口的语义模型[J];华东师范大学学报(自然科学版);2006年05期
7 张超;张树生;周竞涛;赵寒;;需求驱动的语义模型构建方法研究[J];计算机应用研究;2006年11期
8 王晓耘,李春颖;基于RDFS/OIL的供应链管理商务信息语义模型研究[J];情报杂志;2004年10期
9 周竞涛;张树生;赵寒;王明微;张超;王克飞;董小锋;;基于语义模型的总线式企业信息集成框架[J];计算机集成制造系统;2006年03期
10 杨俊柯;杨贯中;杨建学;;基于语义模型的信息检索机制研究[J];计算机工程;2006年12期
11 路石磊;张树生;赵寒;;基于语义模型的异构系统集成方法研究[J];机械设计与制造;2008年09期
12 龚书;瞿有利;田盛丰;;基于语义的自动文摘研究综述[J];北京交通大学学报;2009年05期
13 张晓孪;王西锋;;概念图知识表示方法及其应用[J];价值工程;2010年26期
14 隋爱娜;吴威;陈小武;赵沁平;;基于分布式虚拟环境的装配约束语义模型[J];计算机研究与发展;2006年03期
15 王克飞;张树生;周竞涛;赵寒;;语义模型驱动的数据属性匹配技术研究[J];计算机应用研究;2006年10期
16 牟冬梅;陈倩;王丽伟;;基于语义模型的数字图书馆知识组织信息抽取策略[J];图书情报工作;2009年15期
17 彭勇;黄健;黄柯棣;;基于BOM本体的概念模型语义研究[J];系统仿真技术;2010年02期
18 邱宏其;邵娜;;多媒体数据库在网络教学中的应用[J];硅谷;2010年18期
19 景亮;张忠林;冯嘉;;基于语义模型关联规则的局域网数据检索[J];兰州交通大学学报;2011年01期
20 周广声;;SMBDM—基于语义模型的数据库概念设计方法[J];交通与计算机;1991年05期
中国重要会议论文全文数据库 前10条
1 吴颖;;颜色形容词的语义结构和“白”“红”的语义模型[A];语言学新思维[C];2004年
2 王煜;周立柱;邢春晓;;SemTTe:针对具有结构化时态与类型化事件的视频的语义模型[A];第二十二届中国数据库学术会议论文集(研究报告篇)[C];2005年
3 王煜;周立柱;邢春晓;;视频语义模型SemTTE及其查询语言VSQL[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
4 曹挚;姜淑娟;;P2P文件污染及其检测方法研究[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
5 任磊;林强;刘媛媛;杨海燕;戴国忠;;基于分布式认知的用户界面模型研究及应用[A];第二届和谐人机环境联合学术会议(HHME2006)——第2届中国人机交互学术会议(CHCI'06)论文集[C];2006年
6 张军;周立柱;郭奇;;基于语义模型的Web内容挖掘[A];第二十二届中国数据库学术会议论文集(技术报告篇)[C];2005年
7 史彤毅;卢朝霞;;基于超媒体技术的信息模型方法[A];1995中国控制与决策学术年会论文集[C];1995年
8 宋春阳;;从字到字组的语义解释模型[A];全国第八届计算语言学联合学术会议(JSCL-2005)论文集[C];2005年
9 李旭晖;何炎祥;彭智勇;;基于时间序列的离散事件系统模型语义描述[A];2005年全国理论计算机科学学术年会论文集[C];2005年
10 费定舟;;基于分枝时间框架的通信系统的BDI模型[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 张凯;基于语义的医学图像数据库系统[D];天津大学;2003年
2 石跃祥;计算机视觉图像语义模型的描述方法研究[D];中南大学;2005年
3 余卫宇;几种图像结构语义模型和图像[D];华南理工大学;2005年
4 黄正伟;基于Internet的在线拍卖系统研究[D];华中科技大学;2006年
5 倪益华;基于本体的制造企业知识集成技术的研究[D];浙江大学;2005年
6 吴恒洋;概率计算与可能性计算的Domain语义[D];上海师范大学;2007年
7 肖伯祥;运动捕捉数据处理、检索与重构方法研究[D];大连理工大学;2009年
8 王小兵;面向对象MSVL语言及其在组合Web服务验证中的应用[D];西安电子科技大学;2009年
9 崔永瑞;网格环境中信任模型与访问控制模型研究[D];大连理工大学;2009年
10 古平;基于贝叶斯模型的文档分类及相关技术研究[D];重庆大学;2006年
中国硕士学位论文全文数据库 前10条
1 张巧霞;基于产品符号语义模型的设计定制信息处理方法及应用研究[D];河北工业大学;2011年
2 杨继东;情景应对模式下数字化应急预案的语义模型研究[D];南京邮电大学;2012年
3 颜丽;基于范畴论的应急预案语义模型研究[D];南京邮电大学;2011年
4 黄振华;基于IT-Kid的.NET语义模型设计与实现[D];东北大学;2008年
5 郑建丹;基于组件的逐步求精程序设计方法[D];中国科学院软件研究所;2001年
6 欧阳毅;基于语义模型的标准数据元设计与管理方法研究[D];国防科学技术大学;2005年
7 王克飞;面向企业异构数据源集成的语义模型及进化技术研究[D];西北工业大学;2006年
8 姚志广;基于语义的虚拟企业智能决策系统研究[D];山西大学;2008年
9 贾改琴;知道谓词逻辑[D];西南师范大学;2005年
10 刘雪凯;基于语义国土资源异构空间数据转换模型研究与实践[D];南京师范大学;2005年
中国重要报纸全文数据库 前3条
1 本报记者 张述冠;数据何以用 精挖且细掘[N];网络世界;2003年
2 中科院软件所 戴国忠 王宏安;笔式和多通道用户界面[N];计算机世界;2006年
3 陈慕泽;多主体系统中的互知[N];光明日报;2000年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978