论文部分内容阅读
首次将进程代数PI-演算理论引入电子政务流程建模中,对电子政务研究中的热点、难点,即网上并联审批流程进行了形式化建模,并对所建立的模型进行了验证,确保了模型的正确性和可行性,极大地降低了项目实施投资风险。
基于PI-演算的网上并联审批业务流程建模及验证
【摘 要】
：
首次将进程代数PI-演算理论引入电子政务流程建模中,对电子政务研究中的热点、难点,即网上并联审批流程进行了形式化建模,并对所建立的模型进行了验证,确保了模型的正确性和
【机 构】
：
清华大学计算机科学与技术系
【出 处】
：
计算机应用研究
【发表日期】
：
2007年12期
【基金项目】
：
国家自然科学基金资助项目(60473078);北京市科技计划资助项目(Z0004029040811)
其他文献
体育锻炼既是身体活动，又是心理活动和社会活动。它不仅有助于智力的发展和形成良好的心理品质，而且有助于人际关系的改善，自信心的增强。同时，它还是治疗和辅助治疗心理疾病的有
Myostatin基因，是肌肉生长的负调控因子，通过下调MyoD的表达抑制骨骼肌细胞的分化，但具体机制目前尚未完全清楚。以体外培养的猪骨骼肌卫星细胞为实验材料，利用RNAi技术，以Smad3为
目的：了解轻中度老年期痴呆症患者认知功能训练的效果。方法：对在2010年9月．2011年8月在我中心家庭病床和社区敬老院的68例轻中度老年痴呆患者进行为期12个月的认知功能训练，运用
烯丙基胺结构单元广泛存在于天然产物、药物和功能材料分子中,另外烯丙基胺衍生物也是一类重要的有机合成子.实现了钯催化的肉桂基碳酸酯化合物和酰腙化合物的烯丙基胺化反应
问世于11世纪的《福乐智慧》是维吾尔文学史上的经典，也是我国古典文学中的瑰宝，许多哲学思想富涵其中。尤其是作品中的“天人合一”思想，对维吾尔族的思想文化影响深远。本文旨
目的 探讨改良经皮肝穿刺胆道支架置入术治疗老年恶性梗阻性黄疸患者的临床效果.方法 回顾性分析医院2017年1月至2018年1月收治的62例老年恶性梗阻性黄疸患者的临床资料,将接
制备了一种具有良好透湿性能的超纤合成革,并考察了聚氨酯树脂、涂覆量、聚醚硅油和超纤基布对超纤合成革透湿性能的影响。研究表明:在面层树脂不发生膨润变形的情况下,当面
以稀土超导材料废料为研究对象,分离提取原料中的稀土元素钕、非稀土元素钡,通过硫酸钡沉淀法分离回收钡元素,钡的回收率为92.7 %,利用硫酸复盐沉淀法提取分离钕元素,研究了
施罗德混响时间估计是基于房间冲激响应平方的反向积分算法，而房间冲激响应依赖于声源及接收器位置。这样得到的混响时间与声源（或接收器）位置是否有关是一个值得研究的问题。施
通过2步合成了水溶性的α-四（4-羧基苯氧基）酞菁锌（Ⅱ）,采用UV-Vis、IR、元素分析、激光解吸电离飞行时间质谱（TOF-MS）对配合物进行了表征.在光诱导条件下,采用四甲基偶氮唑蓝比色