【摘 要】
：
为了使群体能够协同完成任务,CSCW(computer supported cooperative work)系统不仅要解决各种分布性、处理应用领域的特殊性,而且要提供面向用户的协作支持,从而使其行为异常
【机 构】
：
清华大学计算机科学与技术系,北京,100084
论文部分内容阅读
为了使群体能够协同完成任务,CSCW(computer supported cooperative work)系统不仅要解决各种分布性、处理应用领域的特殊性,而且要提供面向用户的协作支持,从而使其行为异常复杂.然而对系统行为进行形式化的描述是构造软件系统的必经阶段.为了清晰地描述CSCW系统的行为,使其特定性质的验证成为可能,本文在时序逻辑的基础上,建立了CSCW系统行为的抽象描述模型.在此模型中,CSCW系统由分布运行实体和信息对象组成,系统的主要行为表现为用时序逻辑语言XYZ/E描述的实体间的交互.此模型可较好地对系统的分析和构造进行指导.
其他文献
今年政府工作报告中,将本年度国内生产总值(GDP)增速目标调低至7.5%,这是GDP增速自2005年以来首度不再“保八”。此外,报告将2012年货币供应增速预期设定为14%,这一预期值较
虽然触摸屏板块随市场开始调整，但一个月疯涨130%的宇顺电子这只股市黑马的表现，依然让人记忆尤新，A股触摸屏概念板块的个股在刚刚过去的3月份都表现抢眼。 华宝证券认为，智能手机和平板电脑的热销是引起触摸屏需求增加的原因之一，国内手机厂商采购逐渐由台湾转向大陆也是一个动力，这是“引爆”国产触摸屏需求的两大因素，并在资本市场得以表现。 电子业迎来了超级订单 为了取得主动，通讯公司纷纷发起
分析了合肥一水库边,近地面大气折射率结构常数C2n的观测结果.表明C2n的水平分布和时间变化与气象条件有关,是近地面热量平衡变化的结果.由于大面积大热容量水体的存在,使C2n
古今中外成功的艺术作品,无论其后来的人们如何去解释和理解,作为创作者的初衷,总是在体验与表现的纠结中做出的一种必然的选择,一种“只能”的选择,这就是艺术家的最具体的
我是一位摄影爱好者,也是一名小学摄影社团的辅导教师。在对学生进行摄影教育的同时,我也尝试让女儿爱上摄影,让摄影给她的生活增添新的色彩,让摄影给她的成长增添新的动力。
朝阳方言在分区上属于北京官话区的“朝峰片”，处在东北官话向北京官话的过渡地带，因此，朝阳方言与普通话相比差异不是特别明显。就目前的研究情况来看，学界对朝阳方言的研究起步
从上世纪五六十年代开始,已有不少学者对汉语中的区别词进行研究。这些研究多集中在区别词与邻近词类差异、在现代汉语词类体系中的地位及其语法特点方面。前人研究大都采用
方法和方法继承是面向对象的核心概念.本文介绍了约束演绎对象语言CDOL(constraint deductive object language)中方法的概念及定义,方法是作为规则定义的,它既可作为对象的
为使X52管线钢产品晶粒组织细化,综合性能提高,研究了X52钢变形温度对组织细化及超细晶粒产生的影响。热模拟试验发现,变形可使X52管线钢细化晶粒,并促使超细铁素体晶粒在A3
介绍了激光－载荷联合作用下碳纤维／环氧树脂编织复合材料单边缺口板断裂的实验和理论研究。实验测量了断裂阈值曲线，并结合显微观察确定了三种断裂模式：热应力、热减薄和热击穿模