在线测评系统的设计与实现

在线测评系统是评估程序正确性的重要工具。该系统可以根据用户提交的程序进行编译和执行测试用例,并且可以采取逆向构造的特殊判断方式对没有固定输出结果的程序进行验证,从而实现在线验证基础程序正确性的功能。基于XKOJ,对系统的功能需求分析、系统设计与实现进行了阐述。此外还进行了针对不同复杂度题目的在线解决方案测试,每组提交5000次,发现测评机有不错的表现力。该系统以测评机为出发点,将构建完善的题目发送至比赛部分,并与系统的其他部分协同工作,以达到流畅运行整个比赛流程的目的。系统能够保证及时反馈用户提交解决方案的结果状态,并更新比赛排名,以满足不同比赛赛制对比赛信息的要求。

稳定有界Petri网的进程表达式

文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网———稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Petri网的进程表达式。另外,还给出了由符合一定条件的S-网的进程表达式来构造其同步合成网的进程表达式的算法。

进程、线程和纤程

多任务需要多任务操作系统的支持 ,而多任务的实现有赖于具体的编程来实现。多任务有进程、线程和纤程三种实现方法。文中综合介绍了进程、线程和纤程实现多任务的相关技术并给出一个示例。

基于分布式环境的子进程监控软件设计与实现

针对分布式系统环境下,计算资源代理对其子进程监控的方法单一,且不能准确获取子进程运行状态的问题,提出了一种根据子进程的窗口句柄定时检测子进程运行状态的方法。该方法首先根据子进程的不同类型采用不同的方法获取子进程的窗口句柄,然后根据子进程的窗口句柄定时获取子进程的运行状态,最后将传统的等待子进程退出的方法引入到本应用中。运行结果表明,本方法可以及时准确检测出Windows环境下子进程的运行状态,并在子进程异常退出时,可以准确地获取其异常退出码。

基于着色Petri网的工作流系统子流调用机制的研究与实现

提出了一种利用弧函数上的绑定变量来实现的子流调用机制,并且以参数映射的方式达到了流程独立性基础上的调用。

基于结构和行为语义的子流程发现方法

越来越多的企业以流程模型的形式进行业务管理,并且要求从不同的细节层描述相同的流程。业务流程模型抽象技术对于给定的细节流程模型,生成该模型的抽象表示,从而达到特定的抽象目标。构造流程的“概要视图”以加速对复杂流程的理解是流程抽象的一个需求最显著的用例,其中一个关键问题是将初始模型中的细节行为集合转换成抽象模型中的粗粒度的行为(子流程)。很多学者对流程抽象方法进行了研究,其中以基于结构的抽象方法居多。结构抽象方法中,初始模型中待抽象的行为集合仅仅根据控制流关系得到,没有考虑到行为的域语义,生成了大量的业务逻辑性不完整的待抽象的流程片段作为候选子流程。在流程的控制流结构基础上,引入行为语义信息,自底向上对流程结构树中每层的标准部件进行语义扩展,将标准部件与其相邻的兄弟节点之间的语义进行相似性评估,发现与标准部件语义描述最相似的行为集合,并有选择地聚合得到最接近包含完整业务含义的流程片段作为候选子流程。文章利用真实的流程案例对基于结构的抽象方法(将流程结构树中每个标准部件作为候选子流程)和提出的子流程发现方法做实验对比分析,提出的方法大大减少了不相关候选子流程的数量,生成的待抽象流程片段更加接近人工设计的子流程。