期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
在线测评系统的设计与实现
1
作者
龙丹
徐轲
甘泉
《现代计算机》
2023年第17期85-89,共5页
在线测评系统是评估程序正确性的重要工具。该系统可以根据用户提交的程序进行编译和执行测试用例,并且可以采取逆向构造的特殊判断方式对没有固定输出结果的程序进行验证,从而实现在线验证基础程序正确性的功能。基于XKOJ,对系统的功...
在线测评系统是评估程序正确性的重要工具。该系统可以根据用户提交的程序进行编译和执行测试用例,并且可以采取逆向构造的特殊判断方式对没有固定输出结果的程序进行验证,从而实现在线验证基础程序正确性的功能。基于XKOJ,对系统的功能需求分析、系统设计与实现进行了阐述。此外还进行了针对不同复杂度题目的在线解决方案测试,每组提交5000次,发现测评机有不错的表现力。该系统以测评机为出发点,将构建完善的题目发送至比赛部分,并与系统的其他部分协同工作,以达到流畅运行整个比赛流程的目的。系统能够保证及时反馈用户提交解决方案的结果状态,并更新比赛排名,以满足不同比赛赛制对比赛信息的要求。
展开更多
关键词
在线测评
异步消息队列
子进程
DJANGO
下载PDF
职称材料
稳定有界Petri网的进程表达式
被引量:
6
2
作者
汪明新
刘关俊
闫春钢
《计算机科学》
CSCD
北大核心
2011年第2期55-58,67,共5页
文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网———稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达...
文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网———稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Petri网的进程表达式。另外,还给出了由符合一定条件的S-网的进程表达式来构造其同步合成网的进程表达式的算法。
展开更多
关键词
有界PETRI网
进程表达式
基本子进程
S-网
下载PDF
职称材料
进程、线程和纤程
3
作者
赵海廷
《武汉工程职业技术学院学报》
2004年第4期36-41,共6页
多任务需要多任务操作系统的支持 ,而多任务的实现有赖于具体的编程来实现。多任务有进程、线程和纤程三种实现方法。文中综合介绍了进程、线程和纤程实现多任务的相关技术并给出一个示例。
关键词
进程
子进程
线程
纤程
下载PDF
职称材料
基于分布式环境的子进程监控软件设计与实现
被引量:
1
4
作者
张虎
黄海于
《微型机与应用》
2013年第7期1-4,共4页
针对分布式系统环境下,计算资源代理对其子进程监控的方法单一,且不能准确获取子进程运行状态的问题,提出了一种根据子进程的窗口句柄定时检测子进程运行状态的方法。该方法首先根据子进程的不同类型采用不同的方法获取子进程的窗口句柄...
针对分布式系统环境下,计算资源代理对其子进程监控的方法单一,且不能准确获取子进程运行状态的问题,提出了一种根据子进程的窗口句柄定时检测子进程运行状态的方法。该方法首先根据子进程的不同类型采用不同的方法获取子进程的窗口句柄,然后根据子进程的窗口句柄定时获取子进程的运行状态,最后将传统的等待子进程退出的方法引入到本应用中。运行结果表明,本方法可以及时准确检测出Windows环境下子进程的运行状态,并在子进程异常退出时,可以准确地获取其异常退出码。
展开更多
关键词
分布式系统
Windows运行环境
代理
子进程的管理和监控
窗口句柄
下载PDF
职称材料
基于着色Petri网的工作流系统子流调用机制的研究与实现
5
作者
董超
王建民
王喆
《计算机应用研究》
CSCD
北大核心
2006年第6期88-89,92,共3页
提出了一种利用弧函数上的绑定变量来实现的子流调用机制,并且以参数映射的方式达到了流程独立性基础上的调用。
关键词
子流程
层次扩展
着色PETRI网
映射
下载PDF
职称材料
基于结构和行为语义的子流程发现方法
6
作者
孙善武
王楠
《计算机科学》
CSCD
北大核心
2021年第S02期659-665,687,共8页
越来越多的企业以流程模型的形式进行业务管理,并且要求从不同的细节层描述相同的流程。业务流程模型抽象技术对于给定的细节流程模型,生成该模型的抽象表示,从而达到特定的抽象目标。构造流程的“概要视图”以加速对复杂流程的理解是...
越来越多的企业以流程模型的形式进行业务管理,并且要求从不同的细节层描述相同的流程。业务流程模型抽象技术对于给定的细节流程模型,生成该模型的抽象表示,从而达到特定的抽象目标。构造流程的“概要视图”以加速对复杂流程的理解是流程抽象的一个需求最显著的用例,其中一个关键问题是将初始模型中的细节行为集合转换成抽象模型中的粗粒度的行为(子流程)。很多学者对流程抽象方法进行了研究,其中以基于结构的抽象方法居多。结构抽象方法中,初始模型中待抽象的行为集合仅仅根据控制流关系得到,没有考虑到行为的域语义,生成了大量的业务逻辑性不完整的待抽象的流程片段作为候选子流程。在流程的控制流结构基础上,引入行为语义信息,自底向上对流程结构树中每层的标准部件进行语义扩展,将标准部件与其相邻的兄弟节点之间的语义进行相似性评估,发现与标准部件语义描述最相似的行为集合,并有选择地聚合得到最接近包含完整业务含义的流程片段作为候选子流程。文章利用真实的流程案例对基于结构的抽象方法(将流程结构树中每个标准部件作为候选子流程)和提出的子流程发现方法做实验对比分析,提出的方法大大减少了不相关候选子流程的数量,生成的待抽象流程片段更加接近人工设计的子流程。
展开更多
关键词
子流程发现
模型抽象
行为相似性
流程结构树
流程行为语义
下载PDF
职称材料
题名
在线测评系统的设计与实现
1
作者
龙丹
徐轲
甘泉
机构
桂林信息科技学院信息工程学院
出处
《现代计算机》
2023年第17期85-89,共5页
基金
2022年大学生创新训练计划项目(202213644002)。
文摘
在线测评系统是评估程序正确性的重要工具。该系统可以根据用户提交的程序进行编译和执行测试用例,并且可以采取逆向构造的特殊判断方式对没有固定输出结果的程序进行验证,从而实现在线验证基础程序正确性的功能。基于XKOJ,对系统的功能需求分析、系统设计与实现进行了阐述。此外还进行了针对不同复杂度题目的在线解决方案测试,每组提交5000次,发现测评机有不错的表现力。该系统以测评机为出发点,将构建完善的题目发送至比赛部分,并与系统的其他部分协同工作,以达到流畅运行整个比赛流程的目的。系统能够保证及时反馈用户提交解决方案的结果状态,并更新比赛排名,以满足不同比赛赛制对比赛信息的要求。
关键词
在线测评
异步消息队列
子进程
DJANGO
Keywords
online judge
celery
subprocess
django
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
稳定有界Petri网的进程表达式
被引量:
6
2
作者
汪明新
刘关俊
闫春钢
机构
同济大学计算机科学与工程系
同济大学嵌入式系统与服务计算教育部重点实验室
出处
《计算机科学》
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 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
进程、线程和纤程
3
作者
赵海廷
机构
武汉工程职业技术学院
出处
《武汉工程职业技术学院学报》
2004年第4期36-41,共6页
文摘
多任务需要多任务操作系统的支持 ,而多任务的实现有赖于具体的编程来实现。多任务有进程、线程和纤程三种实现方法。文中综合介绍了进程、线程和纤程实现多任务的相关技术并给出一个示例。
关键词
进程
子进程
线程
纤程
Keywords
process,
subprocess
,thread,fiber
分类号
TP361 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于分布式环境的子进程监控软件设计与实现
被引量:
1
4
作者
张虎
黄海于
机构
西南交通大学信息科学与技术学院
出处
《微型机与应用》
2013年第7期1-4,共4页
基金
"十一五"国家科技支撑计划(2009BAG12A01-A01)
文摘
针对分布式系统环境下,计算资源代理对其子进程监控的方法单一,且不能准确获取子进程运行状态的问题,提出了一种根据子进程的窗口句柄定时检测子进程运行状态的方法。该方法首先根据子进程的不同类型采用不同的方法获取子进程的窗口句柄,然后根据子进程的窗口句柄定时获取子进程的运行状态,最后将传统的等待子进程退出的方法引入到本应用中。运行结果表明,本方法可以及时准确检测出Windows环境下子进程的运行状态,并在子进程异常退出时,可以准确地获取其异常退出码。
关键词
分布式系统
Windows运行环境
代理
子进程的管理和监控
窗口句柄
Keywords
distributed system
Windows running environment
agent
regulation and monitoring of the
subprocess
window handle
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于着色Petri网的工作流系统子流调用机制的研究与实现
5
作者
董超
王建民
王喆
机构
清华大学软件学院
出处
《计算机应用研究》
CSCD
北大核心
2006年第6期88-89,92,共3页
基金
国家自然科学基金资助项目(60373011)
国家"973"计划资助项目(2002CB312006)
文摘
提出了一种利用弧函数上的绑定变量来实现的子流调用机制,并且以参数映射的方式达到了流程独立性基础上的调用。
关键词
子流程
层次扩展
着色PETRI网
映射
Keywords
subprocess
Level Expand
Colored Petri Net (CPN)
Mapping
分类号
TP39 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于结构和行为语义的子流程发现方法
6
作者
孙善武
王楠
机构
吉林财经大学管理科学与信息工程学院
出处
《计算机科学》
CSCD
北大核心
2021年第S02期659-665,687,共8页
基金
吉林省教育厅“十三五”社会科学研究项目(JJKH20200156SK)
吉林省教育科学“十三五”规划基金项目(ZD20024)
+1 种基金
吉林省教育厅“十三五”科学技术研究项目(JJKH20210131KJ)
国家自然科学基金项目(61702213)。
文摘
越来越多的企业以流程模型的形式进行业务管理,并且要求从不同的细节层描述相同的流程。业务流程模型抽象技术对于给定的细节流程模型,生成该模型的抽象表示,从而达到特定的抽象目标。构造流程的“概要视图”以加速对复杂流程的理解是流程抽象的一个需求最显著的用例,其中一个关键问题是将初始模型中的细节行为集合转换成抽象模型中的粗粒度的行为(子流程)。很多学者对流程抽象方法进行了研究,其中以基于结构的抽象方法居多。结构抽象方法中,初始模型中待抽象的行为集合仅仅根据控制流关系得到,没有考虑到行为的域语义,生成了大量的业务逻辑性不完整的待抽象的流程片段作为候选子流程。在流程的控制流结构基础上,引入行为语义信息,自底向上对流程结构树中每层的标准部件进行语义扩展,将标准部件与其相邻的兄弟节点之间的语义进行相似性评估,发现与标准部件语义描述最相似的行为集合,并有选择地聚合得到最接近包含完整业务含义的流程片段作为候选子流程。文章利用真实的流程案例对基于结构的抽象方法(将流程结构树中每个标准部件作为候选子流程)和提出的子流程发现方法做实验对比分析,提出的方法大大减少了不相关候选子流程的数量,生成的待抽象流程片段更加接近人工设计的子流程。
关键词
子流程发现
模型抽象
行为相似性
流程结构树
流程行为语义
Keywords
subprocess
discovery
Model abstraction
Activities similarity
Process structure tree
Process activity semantics
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
在线测评系统的设计与实现
龙丹
徐轲
甘泉
《现代计算机》
2023
0
下载PDF
职称材料
2
稳定有界Petri网的进程表达式
汪明新
刘关俊
闫春钢
《计算机科学》
CSCD
北大核心
2011
6
下载PDF
职称材料
3
进程、线程和纤程
赵海廷
《武汉工程职业技术学院学报》
2004
0
下载PDF
职称材料
4
基于分布式环境的子进程监控软件设计与实现
张虎
黄海于
《微型机与应用》
2013
1
下载PDF
职称材料
5
基于着色Petri网的工作流系统子流调用机制的研究与实现
董超
王建民
王喆
《计算机应用研究》
CSCD
北大核心
2006
0
下载PDF
职称材料
6
基于结构和行为语义的子流程发现方法
孙善武
王楠
《计算机科学》
CSCD
北大核心
2021
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部