搜索筛选:
搜索耗时0.6541秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：梁爱南,李长云,黄贤明,,
来源：计算技术与自动化 年份：2007
为了实现工作流管理功能，必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述。工作流模式是工作流建模的基本构造单元。π演算是一种移动进程代数，可用于对并......
[期刊论文] 作者：黄贤明,李长云,梁爱南,
来源：计算机工程与应用 年份：2007
π演算是一种移动进程代数，可用于对并发和动态变化的系统进行建模。根据π演算的语法，提出了一种新的用于工作流模式的形式化建模方法，以π演算作为工作流形式化的基础，并利用π......
[期刊论文] 作者：梁爱南,李长云,黄贤明,,
来源：计算机应用 年份：2007
多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究,提出了以π演算作为工作流形式化的基础,利用π演算对多实例工作流模式进行了详细的描述。......
[期刊论文] 作者：陈晓敏,黄贤明,吴艳琴,许宗娒,
来源：温州医学院学报 年份：2007
目的：探讨艾司洛尔联合利宁胶浆预防全麻气管拔管时心血管反应和术后咽喉炎的疗效。方法：将60例全麻病人随机分为三组：A组（对照组），未给药；B组（利宁胶浆组），先把气管导管插入部分（包括套......
[期刊论文] 作者：葛桂娣,黄贤明,栾忠红,张传富,冯柏春,,
来源：农业装备技术 年份：2007
2006年，句容市华阳镇农技推广站进行了活性生物菌营养液（无锡盈丰科技有限公司产品）在水稻生产上的应用效果试验，现将试验情况小结如下：...
相关搜索：
