期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
并发计算的元模型Ⅰ.图模型 被引量:5
1
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期723-726,共4页
借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于... 借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于进程代数演算 ,与其他进程代数演算的不同之处在于本演算是对称的 .文中用证明论方法研究并行理论 。 展开更多
关键词 并发计算理论 进程代数 图演算 元模型 图模型
下载PDF
并发计算的元模型 Ⅱ.对称通信 被引量:2
2
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期727-731,共5页
在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言 .该翻译既保持前者的操作语义 ,又保持其... 在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言 .该翻译既保持前者的操作语义 ,又保持其代数语义 .对称 pi演算的意义在于它既简化了 pi演算 。 展开更多
关键词 并发计算理论 进程代数 元模型 对称通信 Π演算
下载PDF
移动进程演算中的开互模拟 被引量:2
3
作者 傅育熙 《计算机学报》 EI CSCD 北大核心 2001年第7期673-679,共7页
该文就移动进程演算中的弱开同余关系进行研究 .文中考虑了一种简单的非确定性移动进程演算模型 ,证明了 Milner的三条 tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到弱开同余关系的完全公理化系统 .文中提出... 该文就移动进程演算中的弱开同余关系进行研究 .文中考虑了一种简单的非确定性移动进程演算模型 ,证明了 Milner的三条 tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到弱开同余关系的完全公理化系统 .文中提出了第四条 tau规则 ,处理了在前缀操作下的等名测试算子 ,并证明了强开同余关系的完全公理化系统加上四条 tau规则可得到弱开同余关系的完全公理化系统 .该文的结论否定了关于 Milner的三条 展开更多
关键词 进程代数 互模拟 公理化 移动进程演算 计算机
下载PDF
并发计算的元模型 Ⅳ.公理化 被引量:2
4
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期859-863,共5页
在 chi进程间互模拟格的基础上 ,利用 L-互模拟的开刻划 ,给出所有 4个 L-互模拟等价诱导的同余关系的完全公理化系统 .4个 L-互模拟等价中最小的同余关系的公理系统 ,由强互模拟等价的公理系统与 3条 tau规则构成 .在此基础上 ,分别加... 在 chi进程间互模拟格的基础上 ,利用 L-互模拟的开刻划 ,给出所有 4个 L-互模拟等价诱导的同余关系的完全公理化系统 .4个 L-互模拟等价中最小的同余关系的公理系统 ,由强互模拟等价的公理系统与 3条 tau规则构成 .在此基础上 ,分别加入一条输出规则和 /或其对偶形式 ,即得其他 展开更多
关键词 并发计算 进程代数 互模拟 元模型 公理化
下载PDF
并发计算的元模型 Ⅲ.互模拟格 被引量:2
5
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期732-736,共5页
在有关 chi演算的基础上 ,用统一的方法在 chi进程上引入一大类互模拟等价关系 ,即 L-互模拟等价关系 .证明了只有 4个不同的 L-互模拟等价 ;在包含关系下 ,它们构成钻石格 .许多常见的互模拟等价都可定义为
关键词 并发计算理论 进程代数 互模拟格 元模型
下载PDF
进程的归约
6
作者 宋哲炫 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 1996年第6期47-51,共5页
给出了进程归约语义的一般方法.并用例子说明归约语义和转换语义的对应关系.
关键词 并行理论 归约语义 代数性质 进程演算
下载PDF
并发计算的元模型 Ⅴ.并发模型间的关系
7
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期864-867,共4页
讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .
关键词 并发计算 进程代数 互模拟 并发模型 PI演算
下载PDF
χ-演算与π-演算的语义比较研究
8
作者 徐林 傅育熙 《计算机科学》 CSCD 北大核心 2000年第2期10-13,共4页
1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。λ-演算是顺序计算的经典模型。与顺序计算不同,我们对并行与并发计算实质的认识尚处于初级阶段。自Milner提出... 1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。λ-演算是顺序计算的经典模型。与顺序计算不同,我们对并行与并发计算实质的认识尚处于初级阶段。自Milner提出CCS以来,计算机科学家提出了许多计算模型。u.Engberg和M.Nielsen研究过一并发计算模型,提出了CHOCS类语言。但这些模型都存在不同程度的问题。为了找出一个可与λ-演算相比的并发计算模型。 展开更多
关键词 X-演算 Π-演算 计算模型 语义 计算机科学
下载PDF
χ-演算与π-演算的语义比较研究
9
作者 徐林 傅育熙 《微电子学与计算机》 CSCD 北大核心 2000年第5期30-34,共5页
文章通过对χ-演算与π-演算的进程中语法结构、操作语义、代数语义的比较,阐明了χ-演算具有比π-演算更简洁的语法结构、更明确的操作语义、更直观的代数语义、更良好的代数性质、更强大的表达能力。并且给出了一个由π-演算到... 文章通过对χ-演算与π-演算的进程中语法结构、操作语义、代数语义的比较,阐明了χ-演算具有比π-演算更简洁的语法结构、更明确的操作语义、更直观的代数语义、更良好的代数性质、更强大的表达能力。并且给出了一个由π-演算到χ-演算的翻译。 展开更多
关键词 语义比较 X-演算 Π-演算
下载PDF
业务侵占:贪污罪的解释方向 被引量:13
10
作者 王彦强 《法学研究》 CSSCI 北大核心 2018年第5期136-152,共17页
立法与司法解释对贪污罪入罪标准的修正,导致贪污罪与盗窃、诈骗等侵犯财产罪之间产生严重的罪刑失衡。为解决这一问题,学者们提出了不同的解决方案。竞合论方案,包括想象竞合说和特别关系法条竞合从一重处断说,虽然简单易行,但这一方... 立法与司法解释对贪污罪入罪标准的修正,导致贪污罪与盗窃、诈骗等侵犯财产罪之间产生严重的罪刑失衡。为解决这一问题,学者们提出了不同的解决方案。竞合论方案,包括想象竞合说和特别关系法条竞合从一重处断说,虽然简单易行,但这一方案或者因为理由不充分,或者因为混淆了功能、性质迥异的罪量、罪质因素,破坏了行为类型(定型)的统一性,甚至引发同一行为类型内部产生罪刑失衡,而难以采行。因此只能尝试互斥论方案,即坚持贪污罪应为单一侵占行为类型,将盗窃、诈骗等行为方式排除在贪污罪之外,从而从一开始就否定贪污罪与盗窃罪、诈骗罪的竞合关系。无论从罪刑均衡的角度看,还是从体系解释、法条文理、语义解释、目的解释的角度看,互斥论方案都是能够成立的。 展开更多
关键词 贪污罪 职务侵占罪 竞合论 业务侵占
原文传递
法益论视角下竞争法律规范竞合的规则建构 被引量:3
11
作者 李希梁 《华南理工大学学报(社会科学版)》 2023年第6期81-91,共11页
竞争法学界对竞合理论研究的阙如致使行政执法机构对竞争法律规范竞合的认定和处断规则存在分歧和错误,建构科学的竞争法律规范竞合适用规则格外重要。竞合理论的法理基础是充分评价且不重复评价受损害的竞争法益,通过解构反垄断法与反... 竞争法学界对竞合理论研究的阙如致使行政执法机构对竞争法律规范竞合的认定和处断规则存在分歧和错误,建构科学的竞争法律规范竞合适用规则格外重要。竞合理论的法理基础是充分评价且不重复评价受损害的竞争法益,通过解构反垄断法与反不正当竞争法的法益结构,当同一行为同时满足两法相关规范的构成要件时,反垄断法的双层法益可以完整吸收和还原保护反不正当竞争法的三重法益,因此竞争法律规范的竞合类型属于法条竞合。在此基础上,通过行为类型的形式竞合与竞争法益的实质竞合建构起竞合认定规则,匹配重法吸收轻法的竞合处断规则,同时在程序层面完善中央反垄断执法与地方反不正当竞争执法的协调机制,搭建起完整的竞争法律规范竞合规则。 展开更多
关键词 反垄断法 反不正当竞争法 竞争法 竞合 法条竞合
下载PDF
Temporal Models for Multimedia Synchronization
12
作者 李明禄 《High Technology Letters》 EI CAS 1997年第2期37-41,共5页
This paper provides a survey of selection of most common existing temporal models for multimedia synchronization, which are based on CSP, CCS, path expressions, and Petri net. Multimedia refers to the integrated gener... This paper provides a survey of selection of most common existing temporal models for multimedia synchronization, which are based on CSP, CCS, path expressions, and Petri net. Multimedia refers to the integrated generation, representation, processing, storage, and dissemination of information expressed in multiple time dependent and time independent media such as data, text, graphics, images, audio, and video. Synchronization assures a temporal order of events, which is a well-studied topic in the area of operating systems, parallel programming languages, and database technology. 展开更多
关键词 MULTIMEDIA SYNCHRONIZATION TEMPORAL MODELS concurrENT theory
下载PDF
一个移动进程演算的互模拟同余定义框架
13
作者 陈韬略 李斌 +1 位作者 胡昊 吕建 《计算机科学》 CSCD 北大核心 2004年第1期11-15,27,共6页
并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本... 并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上,通过抽取定义的核心要素,提出了一个三维的互模拟同余定义模型,从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来,加深了我们对移动进程演算中互模拟概念的理解;同时本文利用这个模型,系统分析了各种互模拟之间的关系。模型的优点在于它的普适性和开放性。 展开更多
关键词 移动进程演算 互模拟同余定义 计算机科学 并发理论 传名机制
下载PDF
多元χ演算运行时错误的不可判定性
14
作者 陈韬略 韩婷婷 +1 位作者 颜锋 吕建 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2004年第5期601-604,共4页
针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题.证明了在多元χ演算中,通讯错误也是不可判定的.结论说明不存在算法直接来检... 针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题.证明了在多元χ演算中,通讯错误也是不可判定的.结论说明不存在算法直接来检测进程的通信安全性,而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的. 展开更多
关键词 多元χ演算 运行时错误 不可判定性 并发理论 进程代数 通信安全
下载PDF
请求权竞合诉讼的实践误区及规制路径 被引量:2
15
作者 胡思博 赵志超 《深圳大学学报(人文社会科学版)》 CSSCI 北大核心 2022年第2期118-127,共10页
实务中请求权竞合应对深陷误区,“择一而诉”或“择一消灭”模式均不足采。两种模式存在违背处分权主义要求、妨碍纠纷一次性解决、与受害者中心主义规范目的冲突以及与《民诉法解释》第247条矛盾等危害。对于请求权竞合问题的应对,实... 实务中请求权竞合应对深陷误区,“择一而诉”或“择一消灭”模式均不足采。两种模式存在违背处分权主义要求、妨碍纠纷一次性解决、与受害者中心主义规范目的冲突以及与《民诉法解释》第247条矛盾等危害。对于请求权竞合问题的应对,实体维度与程序维度存在不同追求,前者着眼于对竞合的请求权之间的关系作出合理解释,后者着眼于一次性解决纠纷与避免双重给付判决。在请求权之间的关系问题上,依照《民法典》第186条进行解释只适宜采用请求权自由竞合说或请求权相互影响说。相应地,程序上必须通过诉的客观合并或诉讼标的概念的局部调整才能与以上理论适配。无论是“请求权自由竞合说+诉的客观合并”或“请求权相互影响说+诉讼标的概念的局部调整”,两种诉讼规制路径都能极大地缓解请求权竞合难题,避免“择一而诉”与“择一消灭”模式的消极后果。从实践贴合度与规制合理性两方面考虑,前者可以作为规制路径优化的近景目标,后者则可作为未来司法实践的努力方向。 展开更多
关键词 请求权竞合诉讼 择一而诉 择一消灭 请求权竞合说 诉的客观合并 诉讼标的
原文传递
罪数论与竞合论的体系之争及我国刑法的路径选择 被引量:6
16
作者 胡洋 《河南大学学报(社会科学版)》 CSSCI 北大核心 2018年第1期84-92,共9页
罪数论与竞合论的体系话语与分类方法不同,我国当前没有必要推翻罪数论并全盘引入竞合论。否则可能出现知识对接的难题和司法适用的困惑:现有的牵连犯形态在竞合论中缺乏体系地位安置;有权解释和竞合论原理冲突;支撑竞合论的行为个数理... 罪数论与竞合论的体系话语与分类方法不同,我国当前没有必要推翻罪数论并全盘引入竞合论。否则可能出现知识对接的难题和司法适用的困惑:现有的牵连犯形态在竞合论中缺乏体系地位安置;有权解释和竞合论原理冲突;支撑竞合论的行为个数理论判断标准不明确,国内缺乏必要的知识储备和基础。因此,罪数论更加适合我国刑法理论和司法习惯的现实。同时,我国的罪数论体系可以进一步完善:重视想象竞合犯的明示机能;承认吸收犯是包括的一罪,将伴随犯、不可罚的事前事后行为,及法条竞合犯中的吸收关系归入吸收犯的范围;在法条竞合犯中,消解吸收关系和择一关系,承认特别关系和交叉关系,限缩单纯的一罪,扩张包括的一罪。 展开更多
关键词 罪数论 竞合论 路径选择 体系完善
原文传递
并行工程理论在项目进度控制与协调中的应用及障碍分析 被引量:3
17
作者 孙建国 《神华科技》 2017年第12期10-14,共5页
进度控制是项目管理中的重要内容之一,也是工程成本、进度、质量控制三大目标之一,对工程项目进度实施有效地控制,使其顺利达到预定目标,是工程项目管理的一项中心任务。本文以并行工程理论、项目进度控制理论及平行工序排序优化理论为... 进度控制是项目管理中的重要内容之一,也是工程成本、进度、质量控制三大目标之一,对工程项目进度实施有效地控制,使其顺利达到预定目标,是工程项目管理的一项中心任务。本文以并行工程理论、项目进度控制理论及平行工序排序优化理论为基础展开研究,重点研究并行工程理论的应用框架及障碍分析。另外,并行工程逐渐地被受关注,也是因为项目管理理论的快速发展,其主要的特点是能够更好地发挥出研发过程的指导以及控制作用,能够节约资金和缩短工期。该理论能够将设计和建设相结合发挥更大的优势,从而使项目进度和规划更具有合理性;此外还能够提前预防到整个项目后期存在的问题,保证了后期工作的顺利性。 展开更多
关键词 并行工程理论 项目进度 控制协调 节约资金 缩短工期
下载PDF
基于气血水并调理论当归芍药散治疗血管神经性水肿病 被引量:2
18
作者 刘权威 姚鹏宇 栾光一 《中国中医药现代远程教育》 2019年第17期19-20,共2页
“气血水并调理论”是中医治则治法研究中的经典理论,血管神经性水肿病属于中医皮肤疾病范畴,阐述“气血水并调理论”理论渊源与含义,并以“气血水并调理论”理论指导临床立法组方,运用当归芍药散治疗血管神经性水肿病,为血管神经性水... “气血水并调理论”是中医治则治法研究中的经典理论,血管神经性水肿病属于中医皮肤疾病范畴,阐述“气血水并调理论”理论渊源与含义,并以“气血水并调理论”理论指导临床立法组方,运用当归芍药散治疗血管神经性水肿病,为血管神经性水肿疾病的中医治疗提供参考。 展开更多
关键词 气血水并调理论 治则治法 血管神经性水肿病 当归芍药散
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部