期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

对ATM系统进行形式化描述

下载PDF

导出

摘要分析和研究了谓词逻辑在ATM上的应用。分别介绍了谓词演算的含义、ATM系统原理和怎样利用谓词逻辑将ATM系统形式化。通过谓词演算、加锁协议等方法,对ATM取款流程进行了形式化描述,建立ATM的四条规则,保证了ATM的安全性和有效性。

作者张翠翠谢晓尧

机构地区贵州师范大学数学与计算机科学学院贵州省信息与计算科学重点实验室

出处《黑龙江科技信息》 2008年第21期68-68,共1页 Heilongjiang Science and Technology Information

关键词谓词演算形式语言 ATM 取款流程

分类号 TP301.2 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

参考文献1

1金戈,吴超.银行ATM机安全防护解决方案[J].计算机安全,2005(1):55-55. 被引量：1

1林孔元,刘艳丽.故障诊断问题的支持集求解方法研究[J].天津大学学报,1992,25(3):37-42. 被引量：2
2李爱青.基于谓词逻辑的金融投资辅助决策系统分析与应用[J].福建电脑,2006,22(6):143-144.
3曾文飞,颜玲.一个基于谓词逻辑的金融投资辅助决策系统[J].邵阳学院学报（自然科学版）,2006,3(1):52-54.
4光大银行国内首推“先出卡后出钞”[J].中国金融电脑,2012(1):93-93.
5穆振东,郑坚.基于Rough集理论的新型软件测试工具研究[J].科技广场,2007(9):40-42.
6葛强,郑逢斌,汤赛丽,侯丽敏,周舫.基于语义网络的家族人物关系推理算法的研究[J].计算机时代,2005(6):3-5. 被引量：2
7陈有祺.PROLOG语言中的一个逻辑问题[J].计算机科学,1989,16(1):25-26.
8钟武,胡守仁.复合对象选择条件中的量词约束及谓词演算[J].计算机科学,1998,25(2):82-85.
9杨楠,黎鹏,万明.模型驱动的实时嵌入式系统结构设计与属性分析[J].计算机与现代化,2008(12):63-66.
10张炜琛.数据库访问的并发控制方法探析[J].软件导刊,2008,7(8):100-101. 被引量：1

黑龙江科技信息

2008年第21期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部