【摘 要】
：
在一类S3PR网柔性制造系统Petri网模型N中,考察两类所处位置特殊的资源。这两类资源分别被定义为第一类和第二类位置特殊资源。随后,证明这些资源不会出现在S3PR网N的任何一个严格极小信标(strict minimal siphon,SMS)或者是基本信标之中,并且任何使用这些资源的操作库所也不会出现在N的任何一个SMS或基本信标之中。结论说明,在柔性制造系统中可能存在一些同系统死锁的发生没有关
论文部分内容阅读
在一类S3PR网柔性制造系统Petri网模型N中,考察两类所处位置特殊的资源。这两类资源分别被定义为第一类和第二类位置特殊资源。随后,证明这些资源不会出现在S3PR网N的任何一个严格极小信标(strict minimal siphon,SMS)或者是基本信标之中,并且任何使用这些资源的操作库所也不会出现在N的任何一个SMS或基本信标之中。结论说明,在柔性制造系统中可能存在一些同系统死锁的发生没有关系的资源。最后,简要介绍这两类特殊资源的应用前景。
其他文献
第三腰椎后关节错缝为腰部常见的慢性软组织损伤性疾病，也是难治愈的腰痛病之一。其发病率较高，严重影响着人们的工作和生活。一般治疗方法难以奏效，近年来，笔者应用小针刀、理脊
目的：评价清肺通腑合剂对慢性呼吸衰竭患者胃肠功能障碍的改善作用。方法：将慢性呼吸衰竭伴胃肠功能障碍的慢性阻塞性肺疾病急性发作患者46例随机分为莫沙比利对照组（23例）和清肺
急性盆腔炎是妇科常见病,如果治疗不及时,易转为慢性,迁延难愈.笔者应用千金消毒散配合抗生素治疗急性盆腔炎80例,疗效较好,报道如下。 1 临床资料 1.1 诊断标准 参照中华医
子宫内膜异位症简称内异症,是一种极其复杂而疑难的病症,由于发生异位的部位不同其临床体征不同。如子宫腺肌症、子宫腺肌瘤、卵巢巧克力囊肿、子宫直肠窝结节,腹膜内异结节
我国的旅游规划存在一个普遍的问题，即旅游规划难以实施．旅游规划实施难有其直接原因，如片面强调创意、语言与形式，而忽略了技术、内容与实质等问题．详细分析了这些问题存在的制度
随着计算机、传感器等先进技术的发展,一种新的摄影技术——计算摄影逐渐形成。计算摄影是利用计算机软件方法结合现代传感器及现代光学等技术创造出新型摄影设备以及相关应用的综合技术,它突破了传统数码摄影技术难以解决的种种难题,成为摄影技术的又一次新的变革。为加深对计算摄影研究领域的了解,从计算场景、计算光学、计算传感器以及计算处理四个方面介绍了计算摄影研究的热点问题,总结了计算摄影存在的问题及其发展趋势。
系统地研究了查询词与候选人在文档中的距离和顺序关系对专家搜索算法准确率的影响。首先在概率语言模型的框架下提出了顺序核函数来建模顺序关系证据;然后进一步提出两种对不同关系证据进行统一建模的概率框架,并通过在TREC标准数据集上的对比实验,探索了结合两种关系证据进行专家搜索的可行性。实验结果表明,距离和顺序关系证据对专家搜索系统的准确率提高能力相近,而对它们的适当结合可以获得比单独利用其中任何一种更好
为了能在有限资源的无线传感器网络上进行安全的匿名通信,使用双线性函数的双线性对和异或运算提出了一种匿名安全路由协议,与目前现有的无线网络匿名通信方案相比,协议不仅能提供身份的机密性、位置隐私性和路由的匿名性,而且还满足前向和后向安全性,并且大大提高了系统的计算复杂度和带宽消耗,更适合无线传感器网络。
针对以最小化制造跨度为目标,具有模糊加工时间的车间作业计划问题,采用梯形模糊数来表征时间参数,并应用可能性理论,在此基础上构建车间作业计划问题目标函数。为了对模糊环境下的车间作业计划问题进行有效求解,给出了一种DEA-GA混合求解算法,混合算法采用了DNA进化算法的分裂、变异和水平选择算子,然后利用遗传算法的交叉算子实现个体之间的交互,避免早熟收敛。仿真实验表明,该算法高效可行,与GA等优化算法相
综合分析了R-树和四叉树在处理移动对象的连续K近邻(简称CKNN)查询算法中的不足,提出了一种基于R树和四叉树索引结构,去解决移动对象连续K近邻查询算法。该算法通过对移动对象分配静态空间,并在研究区域内利用QR-树和hash表作为索引去存储移动对象以此计算查询点与移动对象之间的空间距离。实验证明,该算法与现有算法相比,不仅提高了数据的查询效率,而且降低了系统资源的消耗。