论文部分内容阅读
分析和研究了谓词逻辑在ATM上的应用。分别介绍了谓词演算的含义、ATM系统原理和怎样利用谓词逻辑将ATM系统形式化。通过谓词演算、加锁协议等方法，对ATM取款流程进行了形式化描述，建立ATM的四备规则，保证了ATM的安全性和有效性。
对ATM系统进行形式化描述
【摘 要】
：
分析和研究了谓词逻辑在ATM上的应用。分别介绍了谓词演算的含义、ATM系统原理和怎样利用谓词逻辑将ATM系统形式化。通过谓词演算、加锁协议等方法，对ATM取款流程进行了形式化
【机 构】
：
贵州师范大学数学与计算机科学学院,贵州省信息与计算科学重点实验室
【出 处】
：
黑龙江科技信息
【发表日期】
：
2008年21期
其他文献
目的观察雌激素对面神经核背内侧区(dMNF)呼吸神经元的调节作用.方法选用健康家兔20只,随机分为雌激素(17-βestradiol,E2)药物组和生理盐水对照组.20%氨基甲酸乙酯半量(0.5g
本文运用马克思商品两因素的原理分析外贸的自然属性和社会属性，认为使用价值的运动能增加效用，价值的运动不创造价值并妨碍使用价值效用的发挥，并提出了应该在使用价值的运动、
练习是数学课堂教学活动的重要组成部分。在练习课堂中，学生在教师的指导下，发挥主体功能，利用已经掌握的数学基础知识和已具备的技能，通过口答、计算、讨论等多种形式完成课堂练习的任务，从而领会、巩固、加深理解所学的基础知识、掌握基本技能、提高分析问题和解决问题的能力。练习的设计应以人为本，体现数学源于生活而又高于生活的本质。 一、练习课教学目标的制订 练习课课堂教学要有明确的教学目标，突出重点、难点
任何写作活动都不能离开思维进程，人们的思维活动又是写作进程的原动力，所以探讨思维规律是研究写作问题的本质性课题。从“审题、立意、选材、谋篇”作文四部曲看来，分析思维进程的规律和类型，对于指导写作练习甚有裨益。 一、审题、立意时涉及的思维规律 1.深层分析思维法 通过对事物（具体的可指命题对象）的理解和分析，应尽量避免表面的、肤浅的释义，要透过表层现象，揭示其本质性的内涵和外延，通过相类似的事
数据质量是数据有效性的决定性因素，油田开发数据的质量是进行应用的决定性前提。油田开发数据库的建设是随着计算机信息技术的发展逐步进行的，数据的建设管理方式不断转变，数据
一、课堂写真这是一堂真实的情境作文课!上课的地点在校园的庭院。校园的庭院里有两棵树,一棵金黄的银杏,一棵是火红的鸡爪槭。这两棵树成了初冬校园一道美丽的风景,也成了全
课程改革的目的就是要全面改变教学理念，倡导发展性评价，将评价功能的作用凸显出来。教育不是一个短暂性的问题，需要一种持久的教学理念，要及时对变化的情况进行调整，从而才能进行