论文部分内容阅读
本文提出了一种基于动态树的标记转移系统的构造与执行方法,其具有以下几个显著特点:一是树形结构可以层次清楚地表示标记转移系统并可方便地利用树的遍历算法执行系统;二是通过树的动态生成解决了进程代数的状态递归和回溯的问题;三是标记转移系统的执行只和当前的动态树相关,降低了执行的复杂度。
一种标记转移系统的构造与执行方法
【摘 要】
：
本文提出了一种基于动态树的标记转移系统的构造与执行方法,其具有以下几个显著特点:一是树形结构可以层次清楚地表示标记转移系统并可方便地利用树的遍历算法执行系统;二是通过树的动态生成解决了进程代数的状态递归和回溯的问题;三是标记转移系统的执行只和当前的动态树相关,降低了执行的复杂度。
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
计算机应用与软件
【发表日期】
：
2006年05期
其他文献
目的 研究八角莲Ｄｙｓｏｓｍａ ｖｅｒｓｉｐｅｌｌｉｓ（Ｈａｎｃｅ）Ｍ．Ｃｈｅｎｇ．ｖａｒ ｔｏｍｅｎｔｏｓａ水溶液中抗病毒的有效成分。 方法 八角莲水溶液经提取分离，分得单体进行结构鉴定（ＵＶ、ＩＲ、＾１ＨＮＭＲ、ＥＩ－ＭＳ和＾１３ＣＮＭＲ）及体外抗病毒试验。 结果 分到四个单体：Ｉ．山萘酚－３－Ｏ－β－吡喃葡萄糖
为了了解我校大学生的思想政治状况，切实加强和改进我校大学生思想政治教育，为我校的思想政治工作提供依据，我们近期以问卷调查的方式对我校一、二、三年级的部分学生进行了思想
造血系统恶性肿瘤的化疗药物种类繁多,不良反应大,并具有长期用药的特点,尤其蒽环类药物对于心脏的毒性作用明显,对于原有心脏疾患、中老年以及多次化疗的血液肿瘤患者来说,
2009年12月19日，在经历了复杂曲折的协商后，哥本哈根气候变化会议取得了重大积极成果，发表了《哥本哈根协议》，坚定维护了《联合国气候变化框架公约》及其《京都议定书》所确立的
为探索重症急性胰腺炎的有效治疗方法，提高生存率，总结１９８８年１月￣１９９６年１２月收治１０１例重症急性胰腺炎的病例，其中１９８８年１月￣１９９２年１２月４８例，以早期手术为主；１９９３年１月￣１９９６年１２月５３例，在ＩＣＵ监护和围手术期治疗下，以个体综合治疗为主
目的 研究帕金森病（ＰＤ）黑质多巴胺神经元的死亡机制。方法 用脱氧核糖核酸（ＤＮＡ）标记法，借助荧光显微镜观察多巴胺（ＤＡ）和还原型谷肽甘肽（ＧＳＨ）对ＰＣ１２细胞凋亡的影响。结果 发现ＤＡ可诱发ＰＣ１２细胞凋亡。适应
中共中央政治局常委、国务院副总理李克强2月4日在全国能源工作座谈会上强调，要认真贯彻党中央、国务院关于保增长、扩内需、调结构的决策部署，按照科学发展观的要求，切实保障能
随着网络技术和数据库技术的发展,一方面需要将已开发的小型数据库系统集成到以C/S或B/S为基础的SQL Server、Oracle大型数据库上,这就涉及到如何将小型数据库中的数据转移到
该文采用双抗体夹心酶联免疫吸附法检测８０例造血系统恶性肿瘤患者和２０例正常对照者的血清白细胞介素－６水平。结果显示：血清ＩＬ－６检出率在急因病，慢性粒细胞白血病，淋巴瘤病和多发性骨髓瘤患
论文从语义、拼写和读音三个层面分析了英语商标词中的性别差异，并探析了这些差异产生的原因。在此基础上指出，人们在选择英语商标词时，面对性别差异，应该有意识的根据产品市场定