-
题名全面建设小康社会的基本进程
被引量：2
- 1
-
-
作者
李晓娥
付少平
李晓春
-
机构
西北农林科技大学人文学院
西北农林科技大学宣传部
-
出处
《西北农林科技大学学报（社会科学版）》
2004年第2期94-98,共5页
-
文摘
依据国家统计局等有关部门的统计资料与发展预测,从社会发展基本过程的角度分析了十六大提出的全面建设小康社会的进程,指出全面建设小康社会是一个从低水平的小康向高水平的小康社会迈进的过程,从经济快速发展的小康向经济、政治、文化全面发展的小康社会迈进的过程,从社会主义市场经济体制初步建立的小康向社会主义市场经济体制完善的小康社会迈进的过程,从城乡二元结构的小康向城乡协调发展的小康社会迈进的过程,从地区不平衡发展的小康向地区平衡发展的小康社会迈进的过程,从粗放型发展的小康向集约型发展的、经济与生态和谐的可持续发展的小康社会迈进的过程。
-
关键词
十六大
小康社会
基本进程
-
Keywords
the Sixteenth Party Congressesa
well-off society
progress
-
分类号
D616
[政治法律—中外政治制度]
-
-
题名基本并行进程活性的限界模型检测
被引量：2
- 2
-
-
作者
谭锦豪
李国强
-
机构
上海交通大学软件学院
-
出处
《软件学报》
EI
CSCD
北大核心
2020年第8期2388-2403,共16页
-
基金
国家自然科学基金(61872232,61732013)。
-
文摘
基本并行进程是一个用于描述和分析并发程序的模型,是Petri网的一个重要子类.EG逻辑是一种在Hennessy-Milner Logic的基础上增加EG算子的分支时间逻辑,其中的AF算子表示从当前的状态出发性质最终会被满足,因此EG逻辑是能够表达活性的逻辑.然而,基于基本并行进程的EG逻辑的模型检测问题是不可判定的.由此,提出了基本并行进程上EG逻辑的限界模型检测方法.首先给出了基本并行进程上EG逻辑的限界语义,然后采用基于约束的方法,将基本并行进程上EG逻辑的限界模型检测问题转化为线性整数算术公式的可满足性问题,最后利用SMT求解器进行求解.
-
关键词
基本并行进程
限界模型检测
活性
线性整数算术
SMT求解
-
Keywords
basic parallel process
bounded model checking
liveness
linear integer arithmetic
SMT solving
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于基本并行进程的异步通信程序的验证方法
- 3
-
-
作者
赵樱
谭锦豪
李国强
-
机构
上海交通大学软件学院
-
出处
《软件学报》
EI
CSCD
北大核心
2022年第8期2782-2796,共15页
-
基金
国家自然科学基金(61872232,61732013)。
-
文摘
异步通信程序是进程间通过异步消息通信实现非阻塞并发的程序.当前异步通信程序的程序验证问题通常将其归约至向量加法系统及其扩展模型,因而复杂度很高,缺乏高效工具.基本并行进程作为向量加法系统的一个子类,其可达性的验证问题为NP完备.首先,改进了Osualdo等人提出的为异步通信程序建模的Actor通信系统,将其归约至基本并行进程.然后,实现了基本并行进程的模型检测工具RABLE,实验结果表明,验证方法在异步通信程序的一系列程序验证问题上具有比已有工具更高效的结果.
-
关键词
异步通信程序
基本并行进程
Actor通信系统
模型检测
可达性
-
Keywords
asynchronously communicating program
basic parallel processes
actor communicating system
model checking
reachability
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名Petri网的进程网系统
被引量：31
- 4
-
-
作者
曾庆田
吴哲辉
-
机构
中国科学院计算技术研究所智能开放实验室
山东科技大学计算机科学与技术系泰安
山东科技大学计算机科学与技术系
-
出处
《计算机学报》
EI
CSCD
北大核心
2002年第12期1308-1315,共8页
-
基金
国家自然科学基金 ( 6 0 1730 5 3
6 98730 2 9)资助
-
文摘
提出了 Petri网的进程网系统的概念 .一个 Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的网系统 ,它可以很好地描述原网系统的进程行为 .文中讨论了求取任意 Petri网的基本进程段的算法 ,该算法是通过研究网中的极小可重复向量和极小受控可重复向量在可覆盖树上的分布特征实现的 ,文中还给出了通过网结构来描述各个基本进程段之间关系的方法 ,从而求出一个 Petri网的进程网系统 .
-
关键词
PETRI网
进程网系统
基本进程段
可重复向量
受迭可重复向量
特征可达树
-
Keywords
Petri net, process net system, basic process section, repetitive vector, controlled repetitive vector, characteristic reachability tree
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名Petri网进程的描述方法研究综述
- 5
-
-
作者
曾庆田
范昊
吴哲辉
-
机构
山东科技大学
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期7-11,共5页
-
基金
国家自然科学基金(60173053 和 60274063) 及山东省自然科学基金(Y2002G09)资助.
-
文摘
综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.
-
关键词
PETRI网
进程
满进程
基本进程段
进程表达式
进程网系统
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名稳定有界Petri网的进程表达式
被引量：6
- 6
-
-
作者
汪明新
刘关俊
闫春钢
-
机构
同济大学计算机科学与工程系
同济大学嵌入式系统与服务计算教育部重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2011年第2期55-58,67,共5页
-
基金
国家重点研究发展计划课题(2010CB328101)
国家"八六三"高技术研究发展计划基金项目(2009AA01Z401)
+1 种基金
国家自然科学基金项目(90718012)
上海市基础研究重点项目(08JC1419300)资助。
-
文摘
文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网———稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Petri网的进程表达式。另外,还给出了由符合一定条件的S-网的进程表达式来构造其同步合成网的进程表达式的算法。
-
关键词
有界PETRI网
进程表达式
基本子进程
S-网
-
Keywords
Bounded petri net
Process expression
Basic subprocess
S-net
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名S-组合Petri网的进程特性分析
被引量：1
- 7
-
-
作者
张锋
吴哲辉
-
机构
山东科技大学信息科学与工程学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2010年第4期744-746,共3页
-
基金
国家自然科学基金项目(60673053)资助
-
文摘
Petri网进程是反映Petri网动态特性的重要工具.Petri网的进程表达式可以给出系统全部进程的描述,但是对于求取Petri网的进程表达式时用到的基本子进程,其求取通常是比较困难.通过分析Petri网S-组合过程中满足的进程特性,给出S-组合网与子网的基本子进程之间的关系,即S-组合Petri网的闭基本子进程的集合是子网的闭基本子进程的集合的并集.这样,就将求取结构复杂Petri网的基本子进程的问题转化为求取其结构简单的组合子网的基本子进程的问题,为求取结构复杂Petri网的基本子进程提供了一种方法.
-
关键词
PETRI网
进程
基本子进程
S-组合
-
Keywords
petri net
process
basic process
S-composition
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名中国共产党农村扶贫开发工作史纲的逻辑构建
被引量：7
- 8
-
-
作者
韩广富
-
机构
吉林大学马克思主义学院
-
出处
《理论学刊》
CSSCI
北大核心
2012年第6期31-36,共6页
-
基金
国家社科基金年度项目"中国共产党农村扶贫开发工作史研究"(项目编号:11BDJ019)的阶段性成果
-
文摘
中国共产党领导的农村扶贫开发工作大体可以划分为体制改革推动扶贫、专项计划推动扶贫开发、扶贫开发与社会救助相结合等3个阶段;中国共产党农村扶贫开发工作史纲的核心内容由组织领导、多元主体、战略布局、运行机制、统计监测、实践模式等6部分构成;中国共产党领导的农村扶贫开发工作在中国农村社会现代化发展进程和世界反贫困进程中占有重要的历史地位。
-
关键词
中国共产党
农村扶贫开发
基本进程
历史地位
-
分类号
D23
[政治法律—中共党史]
-
