论文研究一类Petri网的死锁预防方法 .pdf

Research on java multi-thread deadlock prevention mechanism

一种petri网工作流存储结构模型定义方法，袁健，，有向图的存储结构及算法是对象Petri网仿真和工作流分析研究中的重要内容。对象Petri网是一种特殊的有向图,通过对图的存储问题进行研�

预警作战是一种与“时间窗口”因素密切相关的作战样式。采用DoDAF规范化描述方法，建立了预警作战体系的部分体系结构产品，包括作战高级概念图、作战节点连接关系图、作战活动模型图等。针对一个典型的预警作战

论文研究-系统人力资源的Petri网分配模型研究.pdf,  人力资源的合理分配和使用是复杂系统分析和设计过程中的一项重要

时间性能分析是工作流模型分析和评价的重要方面。介绍了Petri网和工作流网的基本概念，提出了加权时间扩展工作流网，对加权时间扩展工作流网的基本组件进行了时间分析，给出了平均时间的计算方法。通过网上订购

针对一维常系数对流扩散模型方程，讨论了当含有第一类边界条件时，局部间断有限元方法（LDG方法）的稳定性。利用有限元理论基本分析技巧，证明了当边界条件为第一类的边界条件时，LDG方法为稳定的，并利用数值

一类非完整系统镇定控制器的迭代设计方法,李胜,胡维礼,本文针对一类可化为链式系统的非完整系统,提出了一种镇定控制器的迭代设计方法,利用该方法,用户可以从低维链式系统的镇定控制

论文研究-一类参数不确定规划的三目标规划解决方法.pdf, 针对目标函数具有区间参数的不确定优化问题,分析了以往不确定优化命题双目标优化满意解的缺陷,给出了一种鲁棒优化的定义,提出了不确定系统的优化

基于求有限域上离散对数和模合数平方根的难解问题，利用孙子定理和Nevill插值公式设计了一类新型的秘密分享方案，该方案能有效地解决利益冲突双方共享秘密的实际问题，并且能够简单地推广至更多方之间共享情况

在用循环置换矩阵构造准循环LDPC码时会出现一类无法消除的环，称为平衡环。分析了准循环LDPC码的平衡环的结构，并给出了搜索任意长度的最简平衡环的关联矩阵的方法。