论文部分内容阅读
研究ATL逻辑及其在电子商务协议形式化分析中的应用，用ATL逻辑语言对KM协议进行描述与分析，并对协议的各参与方和可信第三方TTP的基本行为进行建模。
基于ATL的KM非否认协议形式化分析
【摘 要】
：
研究ATL逻辑及其在电子商务协议形式化分析中的应用，用ATL逻辑语言对KM协议进行描述与分析，并对协议的各参与方和可信第三方TTP的基本行为进行建模。
【机 构】
：
贵州大学理学院
【出 处】
：
贵州大学学报(自然科学版)
【发表日期】
：
2011年5期
其他文献
【正】 《现代临床普通外科》杂志为中华医学会广东省分会主办的普通外科专业高级学术刊物,属岭南医学系列杂志之一。本刊以高、中级外科医师及相关专业教师和研究生为读者对
在化学知识的学习中，元素化合物知识是一个重要内容，如何面对繁多的元素化合物进行学习、复习，并在各级考试中轻松战胜它们呢？首先必须明确各级命题对元素化合物知识的考查重点，然
针对某钢箱连续人行天桥特殊的结构形式及振动特性,建立空间有限元模型,以跨中竖向位移及加速度减振率为标准,通过理论计算比较TMD减振效果与频率调整法减振效果,结果表明对
中国共产党是领导我国进行革命和建设事业的坚强核心。我们党之所以取得这样的地位,在于她一贯注重自身建设,尤其是注重思想建设。党的思想建设是党的建设的前提和基础,是搞好政治、组织、作风和制度建设的重要保证。一个在思想上成熟的党,必将更有效地实现对国家的领导。因此,在深化改革和发展社会主义市场经济的条件下,重视和加强党的思想建设,把思想建设放在党的建设的首位,具有重要的现实意义。
中学物理教学中对学生创造性能力的培养，是在科学的教育思想指导下，通过师生双方的共同努力，使学生在掌握双基的基础上，以开发智力，不断进行探究，从而达到培养创造性能力为目标的教
钢-混凝土协同式组合空腹夹层板由于跨度较大,自重较轻,舒适度是评价其结构性能的主要指标。针对某筒中筒结构楼盖,考虑不同网格布置方式、有无隔墙和不同行走路线影响进行振
针对有杆抽油系统的泵示功图识别及产液量计算问题，以地面示功图为基础，结合抽油泵的工作原理，借助泵示功图，研究一种能较为准确定位抽油泵游动、固定凡尔开闭点的方法，并用其确定
柔性防护系统作为一种新技术,与传统的锚喷、格构梁等边坡支护措施有很大区别,具有适应性好、施工快捷、经济、生态效益好等优势。本文介绍了柔性防护系统的概念、类型及作用
光合作用是在植物有机体的内部和外部的综合条件的适当配合下进行的。因此内外条件的改变也就一定会影响到光合作用的进程或光合作用强度的改变。
胆囊癌与胆管癌在消化道肿瘤中并不罕见,且处理难度大,预后极差。为了改变胆道癌综合治疗手段不足的现状,我们对29例手术切除的胆道癌标本进行了单克隆抗体标记的免疫组织研