【摘 要】
：
组合E-服务是电子商务开发部署中被广泛关注的问题,行为需求的刻画、建模是服务设计开发的重要步骤,分析和验证服务行为满足用户特定需求则是保证服务可信的关键工作.已有分
论文部分内容阅读
组合E-服务是电子商务开发部署中被广泛关注的问题,行为需求的刻画、建模是服务设计开发的重要步骤,分析和验证服务行为满足用户特定需求则是保证服务可信的关键工作.已有分析服务行为研究中,行为需求都是LTL类逻辑规范或MSC类图式规范,前者基于活动的,后者基于场景的.现在提出一种新颖的基于活动序列的行为规范概念,该概念的粒度介于活动和场景概念之间,目的是便于直接表达某些行为需求,针对活动序列设计了“序列前提、序列因果和序列嵌入”二元行为模式,用模式来刻画基于活动序列的活性和安全性,其结果是行为需求表达更为简洁,
其他文献
有效粘结长度是碳纤维增强片材与钢板的临界粘结长度，超过这个临界粘结长度，CFRP与钢板截面承载能力就不会增加．通过11组碳纤维板与钢板粘结剪切试验，分析了碳纤维板与钢板发生粘
回顾中国的改革历程，观察中国社会经济发展的现实，可以发现面临的现实问题很多。如：贫富差距问题、社会保障问题、民族问题、教育体制问题、土地问题、医疗体制与公共卫生问题、 “三农”问题、金融改革问题、国企深化改革问题、民营经济发展问题、……在很多领域，矛盾都有加剧的危机。在这里笔者主要分析城市化进程中少数民族农村社会保障问题，少数民族地区一直是国家关注的重点，少数民族农村社会保障问题更是重点，也是解决
试验共制作39个素混凝土试件，其中立方体试件27个，棱柱体试件12个．通过不同的试验方法，分别对各试件进行了抗压试验，根据试验所得出的普通混凝土试件及用碳纤维约束混凝土试件的抗
本文研究一类具有Sturm-Liouville边值条件的拟线性常微分方程的边值问题,利用分析技巧,对所讨论问题做了一系列的估计,进而利用不动点指数理论,得到这一问题多重凸解存在性
LiDAR系统发射的激光脉冲在遇到不同高度的障碍物时,会返回多次回波,目前大部分系统仅记录首尾两次回波.通常情况下,植被区域局部高程变化明显,而对于道路、房屋屋顶等人工地物,局部高程变化较小;因此,首尾两次回波在这两种不同的地物上具有显著的区别.利用该原理,采用双次回波技术滤除原始LiDAR数据中的植被信息,然后采用传统的形态学滤波区分建筑物和地面脚点,试验表明研究的算法可行有效.
在党的十六届六中全会上，党中央提出生成和繁荣和谐社会的和谐文化是建设有中国特色的和谐社会的重要任务。和谐文化成为了当前的一个焦点。近年来，随着“海峡西岸经济区”列入国家区域发展战略，福建也有了更高层次的定位。对“海峡”这一概念的强调，更多的是出于将福建经济发展与促进两岸经济的交流和互补及两岸同文同种的文化相融合的考虑。可见，从全国区域布局看，打好“海峡牌”是福建独具的战略优势。因此，在和谐文化建设
高等院校的课程体系与人才的培养方案有着极为密切的联系，直接关系到培养什么人和怎样培养人的问题。从学生文化素养和创新能力培养的现状出发，根据培养方案和社会经济发展的需
(十九)注意力的评价教学训练和比赛活动的效果,在很大程度上取决于运动员对临场的一系列行动和事态变化是否能够准确地判断和处理。人们的认识以视觉为主要根据。运动员的视
针对扣件式钢管脚手架应用广泛,而在施工中发生安全事故频率较高的问题,结合工程实例,提出了悬挑扣件式钢管脚手架模板支撑体系的搭设施工方案、设计稳定性验算的方法,及安全
每届世界杯足球赛,最佳射手揭晓时,荣膺“金靴奖”的第一射脚格外引人注目,顿时成为全球脍炙人口的球星。迄今为止,在参加过世界杯决赛的4774人次运动员中(每队按22人统计),