搜索筛选:
搜索耗时0.3901秒,为你在为你在102,267,441篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘荣胜,任华,
来源：第三军医大学学报 年份：2006
1 临床资料患者，男性，19岁，ASAⅠ级。因腹股沟可复性包块1年入院，拟在持续硬膜外麻醉下行疝修补术，术前各项实验检查结果正常。术前30min阿托品0．5mg、鲁米那钠0．1g肌注，患者入室后测......
[期刊论文] 作者：袁勇福,高春鸣,刘荣胜,,
来源：计算机应用 年份：2006
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互模拟时,检验工具能自动标......
相关搜索：
