-
题名一种扩充的π-演算及事务性等价关系研究
被引量:3
- 1
-
-
作者
袁敏
黄志球
曹子宁
肖芳雄
-
机构
南京航空航天大学信息科学与技术学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2010年第3期541-548,共8页
-
基金
国家自然科学基金项目(60873025)
湖南省自然科学基金项目(09JJ3114)
湖南省教育厅重点基金项目(08A064)
-
文摘
为了保证Web服务事务获得正确的执行和一致的结果,对Web服务事务处理的形式化研究是很重要的.现有研究集中在事务的建模和协议验证上,对事务特性仍缺乏深入研究.已有的事务建模方法主要采用增加额外的操作算子来描述事务补偿语义,而过于复杂的语法和迁移规则不利于对事务特性的进一步分析.在不增加新的操作算子的前提下,引入事务膜的位置概念来表示事务作用域,将进程的交互动作与消息相对事务膜的传递过程相关联,对π-演算进行扩充.结合进程行为的事务依赖性,提出了一种弱事务性开互模拟,来刻画可见事务行为的等价关系,利用互模拟等价理论分析了弱事务性等价关系的基本性质,为研究Web服务的事务特性提供了理论基础.
-
关键词
WEB服务
Π-演算
膜活动
等价事务
互模拟
-
Keywords
Web services
π-calculus
membrane activity
equivalent transaction
bisimulation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种快速的Web用户和URL聚类算法
- 2
-
-
作者
张线媚
-
机构
西安思源学院工学院
-
出处
《科技资讯》
2015年第16期252-254,共3页
-
文摘
该文提出一个基于Web日志的用户和URL聚类的快速算法。利用用户浏览行为建立用户事务矩阵,在此基础上综合考虑用户浏览时间以及点击频率来获取用户权值和页面权值,构建带权值的模糊聚类。为了缩小运算量,构造等价事务,进行事务约减:并针对于FCM算法簇数目初始化敏感的问题,提出了一种全局搜索的方法,搜寻最优的类中心数。实验证实,该算法在精度和效率上都获得了大大提高。
-
关键词
权值距离
等价事务
事务约减
全局搜索
-
分类号
TP274.2
[自动化与计算机技术—检测技术与自动化装置]
-