排序方式: 共有8条查询结果,搜索用时 15 毫秒
1
1.
为了更有效地保证跨组织业务流程模型的正确性和合理性,应用Pi演算提出了一种基于状态的角色行为的验证方法。基于Pi演算提出了跨组织业务协作中的角色模型,设计了角色描述表,以清晰、直观地描述角色的权利、职责和义务,进而应用Pi演算验证工具MWB(移动工作平台)的check和step命令提出了单角色验证方法,并在此基础上从业务对象状态和业务操作角度提出了多角色验证方法。实现了角色行为的验证,并为跨组织业务流程的可达性、一致性和死锁等分析奠定基础。 相似文献
2.
本文以中国知网(CNKI) 为文献数据来源,用CiteSpace Ⅲ的关键词共词聚类和突变词检测功能,分析了新世
纪以来我国科普创作研究的现状。研究表明,使用CiteSpace Ⅲ对CNKI 进行文献批量分析总结得到研究热点及演变特
点的方法是十分可行的。本文采用这种方法得到新世纪以来我国科普创作研究的研究热点主要集中于六类:(1) 代表性
科普图书和作品研究;(2) 学科科普创作研究;(3) 科普创作方法与规律研究;(4) 对著名科普作家的研究; (5) 科
普作品的出版与传播研究;(6) 科普创作人才的研究。根据文献分析结果,本文进一步对未来科普创作研究提出了对
策和建议。 相似文献
3.
4.
5.
本文通过对科普图书的定义、范畴进行界定和廓清后认为其范畴具有较大交叉性和延展性,并根据
上述特性将科普图书分为核心科普、一般科普和泛科普三种类型。同时本文还对目前科普图书的统计及研究
情况进行了梳理,指出在科普图书统计和研究方面存在缺乏有效的统计方法、研究主题局限于图书编辑出版、
同一研究者发文量少、国际学术影响力偏低等问题。最后根据问题尝试提出了几点建议,旨在为政府相关部
门制定政策提供参考,从而推动科普工作更快、更好地发展。 相似文献
6.
7.
篮球战术,是篮球比赛中队员所运用的攻守方法的总称,是队员个人技术的合理运用和队员之间相互协同配合的组织形式。在比赛中,篮球战术是队员发挥个人作用与集体力量的重要手段,也是高校篮球教学中,极其重要的教学内容。本文重点阐述了高校体育学院篮球专选班学生战术理念的形成和运用,以学生战术理念的形成和获得过程为着手点,并突出学生运用和掌握的情况。 相似文献
8.
本文以沿海某港区吹填造地施工质量控制为例进行分析。首先.阐述了吹填造地施工方法:其次,分析了施工中所遭遇的主要问题和采取的技术措施。最后.对吹填造地施工质量控制提出了自己的看法和建议,具有一定的参考价值。 相似文献
1