期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
天津市乡村振兴示范村创建进程及发展模式研究
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
作者
韩金博
史佳林
孙国兴
胡文星
王姝逸
机构
天津市农业科学院农村经济与区划研究所
天津市农业发展服务中心
出处
《天津农业科学》
CAS
2024年第1期58-63,共6页
基金
天津市农业科学院青年科研人员创新研究与实验项目(2022018)。
文摘
乡村振兴示范村创建是天津市落实中央开展“百县千乡万村”乡村振兴示范创建任务的具体实践。本文在总结归纳天津市推进乡村振兴示范村创建主要做法基础上,依据广泛实地调研,按全市10个涉农区每个区各选1个取得初步成效的典型村,进行发展模式分析。结果表明:示范村创建过程中存在的规划方案的科学性需提升、产业融合发展不充分、要素制约瓶颈亟待破解、示范带动和可复制性任重道远等问题。为有利、有序、有效推进乡村振兴示范村创建工作,笔者提出4个方面的对策建议:科学规划布局,注重远近结合;培育特色产业,推进融合发展;破解要素瓶颈,夯实发展基础;加强示范带动,实现区域共富。
关键词
天津
乡村振兴
示范村
创建进程
发展模式
Keywords
Tianjin
rural revitalization
demonstration village
creat process
development model
分类号
F327 [经济管理—产业经济]
在线阅读
下载PDF
职称材料
题名
进程创建拦截技术及其在软件实验中的应用
被引量:
2
2
作者
陈畅频
机构
广州大学实验中心
出处
《计算机工程与设计》
CSCD
北大核心
2008年第13期3485-3487,共3页
文摘
对进程创建进行有效拦截需要本地API钩子,只要钩住函数NtCreateSection()就获得了对进程创建的完全控制,具体做法是根据该函数的服务索引改写系统服务描述表,这是通过一个运行于核心态的驱动程序来实现的。给出的应用框架和关键代码具有很强的通用性,具体应用只需实现自己的前台程序即可。
关键词
进程
创建
拦截
本地API钩子
驱动程序
软件实验
应用框架
Keywords
process creation intercepting
native API hook
driver
software experiments
application framework
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
进程创建的语义及等价性
3
作者
袁春
陈意云
机构
中国科学技术大学计算机科学与技术系
出处
《计算机学报》
EI
CSCD
北大核心
2000年第8期877-881,共5页
基金
国家自然科学基金!( 69773 0 2 5 )
教育部博士点基金!( 980 3 5 82 8)
文摘
针对一个基于共享变量的带有进程创建的命令式语言 ,用变迁系统描述了它的结构操作语义 ,并用扩展的状态变迁迹模型定义了它的指称语义 .在该模型下 ,状态变迁被区分为两种不同形式 ,分别表示发生在原进程和被创建进程中的状态变迁 ,这样便可以定义适当的语义复合运算 ,在对命令的指称进行复合时根据变迁类型的不同对变迁迹进行串行或交错连接 ,恰当地反映了进程的并发运行受到创建命令在程序中的相对位置的限制 .
关键词
进程
创建
语义
等价性
程序设计
Keywords
process creation, transition trace, semantic equivalence
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
驱动模式的Windows进程合法性验证
被引量:
2
4
作者
钱涛
郑扣根
机构
浙江大学计算机科学与技术学院
出处
《计算机应用》
CSCD
北大核心
2009年第12期3398-3399,3402,共3页
文摘
为了避免Windows平台上的恶意进程破坏系统资源,提出了通过拦截Windows进程的创建过程,并检查进程执行文件的路径来验证进程是否合法的方法。该方法以软件驱动的方式运行在系统内核态,并结合使用路径树模型来提高进程合法性验证的效率。通过该方法可以有效地拦截进程的创建过程,并验证进程执行文件路径的合法性。系统从而能够在恶意进程完成创建之前,杀死恶意进程,避免系统资源遭受破坏。
关键词
进程
合法性验证
进程
创建
过程
内核态
路径树
Keywords
process validation
process creation
kernel mode
path-tree
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
Petri网系统并行化方法的研究
被引量:
1
5
作者
李文敬
王汝凉
蓝贞雄
机构
广西师范学院计算机与信息工程学院
出处
《广西大学学报(自然科学版)》
CAS
CSCD
北大核心
2009年第3期400-405,共6页
基金
国家自然科学基金资助项目(60864001)
广西自然科学基金资助项目(0731028)
文摘
对Petri网系统并行化一般方法的研究。给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量的Petri网并行化问题进行讨论,确定其不存在并行进程,Petri网不能并行化;提出Petri网系统并行化的一般方法和实现步骤,使其成为各应用领域Petri网系统并行化过程中一种通用的、有效的方法。
关键词
PETRI网
网转换
网分割
创建进程
并行化方法
Keywords
petri nets
petri conversion
petri partition
creation process
parallelization method
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
天津市乡村振兴示范村创建进程及发展模式研究
韩金博
史佳林
孙国兴
胡文星
王姝逸
《天津农业科学》
CAS
2024
0
在线阅读
下载PDF
职称材料
2
进程创建拦截技术及其在软件实验中的应用
陈畅频
《计算机工程与设计》
CSCD
北大核心
2008
2
在线阅读
下载PDF
职称材料
3
进程创建的语义及等价性
袁春
陈意云
《计算机学报》
EI
CSCD
北大核心
2000
0
在线阅读
下载PDF
职称材料
4
驱动模式的Windows进程合法性验证
钱涛
郑扣根
《计算机应用》
CSCD
北大核心
2009
2
在线阅读
下载PDF
职称材料
5
Petri网系统并行化方法的研究
李文敬
王汝凉
蓝贞雄
《广西大学学报(自然科学版)》
CAS
CSCD
北大核心
2009
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部