期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
天津市乡村振兴示范村创建进程及发展模式研究
1
作者 韩金博 史佳林 +2 位作者 孙国兴 胡文星 王姝逸 《天津农业科学》 CAS 2024年第1期58-63,共6页
乡村振兴示范村创建是天津市落实中央开展“百县千乡万村”乡村振兴示范创建任务的具体实践。本文在总结归纳天津市推进乡村振兴示范村创建主要做法基础上,依据广泛实地调研,按全市10个涉农区每个区各选1个取得初步成效的典型村,进行发... 乡村振兴示范村创建是天津市落实中央开展“百县千乡万村”乡村振兴示范创建任务的具体实践。本文在总结归纳天津市推进乡村振兴示范村创建主要做法基础上,依据广泛实地调研,按全市10个涉农区每个区各选1个取得初步成效的典型村,进行发展模式分析。结果表明:示范村创建过程中存在的规划方案的科学性需提升、产业融合发展不充分、要素制约瓶颈亟待破解、示范带动和可复制性任重道远等问题。为有利、有序、有效推进乡村振兴示范村创建工作,笔者提出4个方面的对策建议:科学规划布局,注重远近结合;培育特色产业,推进融合发展;破解要素瓶颈,夯实发展基础;加强示范带动,实现区域共富。 展开更多
关键词 天津 乡村振兴 示范村 创建进程 发展模式
在线阅读 下载PDF
进程创建拦截技术及其在软件实验中的应用 被引量:2
2
作者 陈畅频 《计算机工程与设计》 CSCD 北大核心 2008年第13期3485-3487,共3页
对进程创建进行有效拦截需要本地API钩子,只要钩住函数NtCreateSection()就获得了对进程创建的完全控制,具体做法是根据该函数的服务索引改写系统服务描述表,这是通过一个运行于核心态的驱动程序来实现的。给出的应用框架和关键代码具... 对进程创建进行有效拦截需要本地API钩子,只要钩住函数NtCreateSection()就获得了对进程创建的完全控制,具体做法是根据该函数的服务索引改写系统服务描述表,这是通过一个运行于核心态的驱动程序来实现的。给出的应用框架和关键代码具有很强的通用性,具体应用只需实现自己的前台程序即可。 展开更多
关键词 进程创建拦截 本地API钩子 驱动程序 软件实验 应用框架
在线阅读 下载PDF
进程创建的语义及等价性
3
作者 袁春 陈意云 《计算机学报》 EI CSCD 北大核心 2000年第8期877-881,共5页
针对一个基于共享变量的带有进程创建的命令式语言 ,用变迁系统描述了它的结构操作语义 ,并用扩展的状态变迁迹模型定义了它的指称语义 .在该模型下 ,状态变迁被区分为两种不同形式 ,分别表示发生在原进程和被创建进程中的状态变迁 ,这... 针对一个基于共享变量的带有进程创建的命令式语言 ,用变迁系统描述了它的结构操作语义 ,并用扩展的状态变迁迹模型定义了它的指称语义 .在该模型下 ,状态变迁被区分为两种不同形式 ,分别表示发生在原进程和被创建进程中的状态变迁 ,这样便可以定义适当的语义复合运算 ,在对命令的指称进行复合时根据变迁类型的不同对变迁迹进行串行或交错连接 ,恰当地反映了进程的并发运行受到创建命令在程序中的相对位置的限制 . 展开更多
关键词 进程创建 语义 等价性 程序设计
在线阅读 下载PDF
驱动模式的Windows进程合法性验证 被引量:2
4
作者 钱涛 郑扣根 《计算机应用》 CSCD 北大核心 2009年第12期3398-3399,3402,共3页
为了避免Windows平台上的恶意进程破坏系统资源,提出了通过拦截Windows进程的创建过程,并检查进程执行文件的路径来验证进程是否合法的方法。该方法以软件驱动的方式运行在系统内核态,并结合使用路径树模型来提高进程合法性验证的效率... 为了避免Windows平台上的恶意进程破坏系统资源,提出了通过拦截Windows进程的创建过程,并检查进程执行文件的路径来验证进程是否合法的方法。该方法以软件驱动的方式运行在系统内核态,并结合使用路径树模型来提高进程合法性验证的效率。通过该方法可以有效地拦截进程的创建过程,并验证进程执行文件路径的合法性。系统从而能够在恶意进程完成创建之前,杀死恶意进程,避免系统资源遭受破坏。 展开更多
关键词 进程合法性验证 进程创建过程 内核态 路径树
在线阅读 下载PDF
Petri网系统并行化方法的研究 被引量:1
5
作者 李文敬 王汝凉 蓝贞雄 《广西大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第3期400-405,共6页
对Petri网系统并行化一般方法的研究。给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量... 对Petri网系统并行化一般方法的研究。给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量的Petri网并行化问题进行讨论,确定其不存在并行进程,Petri网不能并行化;提出Petri网系统并行化的一般方法和实现步骤,使其成为各应用领域Petri网系统并行化过程中一种通用的、有效的方法。 展开更多
关键词 PETRI网 网转换 网分割 创建进程 并行化方法
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部