基于有限容量库所的离散事件系统的Petri网控制器综合——第1部分(英文)

针对由Petri网建模的离散事件系统 ,提出了一种新的控制器设计方法 .控制器是基于有限容量库所的概念构造而成的 ,并使被控对象在给定的一组线性不等式约束下运行 ,而给定的线性不等式约束是定义在库所标识上的 .控制器的综合利用了有限容量库所Petri网转换为 (普通 )无限容量库所Petri网的技术 .针对约束的不同情况 ,给出了相应的Petri网的控制器的设计方法 .

基于有限容量库所的离散事件系统的Petri网控制器综合——第2部分(英文)

FCP方法的基本思想已在第一部分作了介绍 .第二部分给出了离散事件系统在最一般情况下约束的Petri网控制器的设计方法 ,并证明FCP方法是最大容许控制的 .此外 ,已有文献里的自动导航车辆协调系统的例子将被用来说明FCP方法所具有的优点和特点 .

基于库所指标的Petri网分解方法

一、引言 Petri网是系统模拟和分析的有效工具.对于一个规模较大的网系统,由于变迁和库所数目的增多,其分析显得比较麻烦.针对这个同题,国内外的许多学者作了大量的工作,他们提出了网化简、网运算,定义了化简子网、逐次化简以及针对特殊子网、特殊结构的化简方法[1～5].文[6]和文[7]分别给出了网系统的"和分解"和"并分解"方法,并讨论了通过这两种分解方法得到的子网同原网在结构性质方面的对应关系.

基于库所指标分解的Petri网结构性质分析

Petri网的分解技术是复杂网系统分析的一种重要手段,基于库所指标的分解方法将系统分解为一组S-网。基于库所指标的分解方法来分析原网的结构性质,得到了原网对子网结构性质的保持关系,并给出了几种通过子网直接判定原网结构性质的方法,为结构复杂Petri网的性质分析提供了有效的方法。

基于补库所的死锁预防策略

文中基于补库所理论提出了活性控制器设计方法.首先,利用容量函数K将原Petri网N转变为有限容量网珦N,再通过逐一增加K值得到具有最大可达集的容量函数Kmax,然后根据Kmax添加一组补库所,最终得到活性受控网N′.文中首先以S3PR网模型为例,与几种经典的死锁预防控制策略进行比较.实例数据表明,基于补库所理论设计的控制器不仅结构简单,避免了信标计算,还具有较好的行为许可性.最后,以S3 PGR2网模型为例,说明基于补库所的死锁预防策略同样可以应用于一般Petri网.

库所耦合网的T-不变量求解算法

首先定义了库所耦合网及相关概念,其次揭示了库所耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,然后给出了一个库所耦合网的T-不变量求解算法,最后将该算法实现并给出初步实验数据,以说明所提算法比现有算法节省计算时间和存储空间。

《清蒙古车王府藏曲本》遗珠(一)——日本双红堂文库所藏车王府曲本简介

１９９２年，北京首都图书馆将所收卷帙浩繁的清蒙古车王府藏曲本印制１５部发行，使这一明清时代戏剧曲艺的宝库得以保存并向海内外传播，实在是为保存中国古文献做了一件大好事。美中不足的是，正如剧艺专家关德栋先生在《石印〈清蒙古车王府藏曲本〉序》中所提到：“这...

禁止弧及库所不变Petri网航空终端区入侵检测

在终端区入侵检测应用中,因其结构较为复杂,且航空器的运行数量较多,存在防御冲突危险,研究影响航空安全,对此基于禁止弧及库所不变Petri网框架构建终端入侵检测方案。首先,对终端区的航空运行结构进行分析,基于Petri网模型框架构建终端区的约束模型,并以此作为终端入侵检测基础;然后,利用所构建的终端区航空约束模型,利用禁止弧及库所不变原理,建立终端区入侵检测控制策略,并基于变迁使能对航空指令进行控制决策;最后,通过在实际案例中的实验分析表明,所提终端入侵检测方案能有效处理终端入侵检测问题,并可有效降低管制员工作负荷。

基于扩展库所网的工作流过程规约和模式描述(英文)

通过扩展库所的属性,给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。

基于扩展库所/迁移系统的GUI自动化测试

为解决图形用户界面(graphic user interface,GUI)元素状态空间庞大以及用户操作组合空间复杂等问题,针对特定类型的GUI软件,提出一种基于扩展库所/迁移系统的GUI测试模型.在此模型中,库所表示用户在GUI软件上的操作类型,迁移表示用户在GUI上的操作事件.针对模型制定了3个相应的准则:库所覆盖准则、迁移覆盖准则和迁移对覆盖准则.对迁移对覆盖准则和事件对覆盖准则进行分析,并设计了相应的GUI测试用例生成算法.在计算器上的初步试验结果表明:相较事件对覆盖准则,迁移对覆盖准则在保持较高的错误发现能力的同时,生成的测试用例规模只有其40%,极大地降低了测试用例规模.

动态规划法在赋时库所Petri网中的优化设计

根据“极大-极小代数”对赋时库所Petri网中变迁的激发建立起函数关系,用动态规划法对其循环周期进行优化设计。为Petri网的分析研究引入了成熟的控制理论,拓展了Petri网研究的新思路。

基于DC标准的园区项目元数据库所研究

为进一步促进园区企业之间的信息交流,加强项目资源信息的共享,基于此,简要介绍了元数据标准及库所的相关内容,提出园区项目元数据库所的结构体系,并基于DC标准建立了园区项目元数据库所。

基于有限容量库所方法的死锁防止算法

针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法。该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法。它相对于只能面向某一类网的死锁防止方法,在通用性上有了很大改进;而且设计的控制器是结构型的,在线计算少、执行快;不过由于是迭代算法,有时离线计算量较大。最后用一个示例说明了该算法,并进行了进一步的讨论。

两种方法筛选噬菌体肽库所获日本血吸虫抗原模拟表位的抗原性比较

目的 比较两种不同方法筛选噬菌体肽库所获得的日本血吸虫抗原模拟表位的抗原性。方法 以日本血吸虫病患者血清免疫球蛋白 (Sj- Ig)作为靶分子 ,分别以噬菌体 12肽库 (Sj A)和经过蚯蚓免疫兔血清免疫球蛋白 (L - Ig)筛选一轮后的噬菌体 12肽库 (Sj B)为原肽库 ,进行 3轮吸附 -洗脱 -扩增免疫筛选。随机挑取 Sj A和 Sj B蓝色噬菌斑各 2 4个 ,扩增后用 EL ISA方法检测其抗原性。结果 2 4个 Sj A克隆中有 6个可以与 Sj- Ig特异结合 ,其中 A4 91 nm值较高的 2个克隆具有较好的特异性和敏感性 ;2 4个 Sj B克隆中有 10个可以与 Sj- Ig特异结合 ,其中 A4 91 nm值较高的 5个克隆具有较好的抗原性。比较 Sj A和 Sj B两组间克隆的抗原性 ,结果显示 Sj B的目的克隆具有更好的特异性和敏感性。结论 从 Sj A和 Sj B中均筛选到了对日本血吸虫病具有较高潜在诊断价值的抗原模拟表位 ,提示以异源性抗体结合后的肽库作为原肽库来筛选寄生虫抗原模拟表位是可行的 。

浅谈DB2数据库所支持的外部文件格式

在DB2数据库维护中,有项工作可能经常需要处理。如在数据库投入生产使用之前,往往需要在数据库中建立大量的信息。这步工作很多都是通过数据导入来完成的,即将数据直接从某个文件中导入到数据库系统中。

瑞典将为高放废物处置库所在地区提供财务援助

瑞典已起草了一份为参与瑞典放射性废物贮存计划后期工作的社区提供总额为2．4亿美元的财务援助计划。

基于库所系统的增加类型变化传播分析

变化传播在许多软件领域都起着必不可少的重要作用,分析基于某种变化类型的传播范围更是一个难以忽视的问题。文中提出一种基于Petri网的库所系统,依据单向影响关系,分析添加增加类型变迁的变化传播范围的方法。首先,以某打车软件为例,建立打车软件客户端的库所系统,并插入一个增加类型的变化变迁。其次,利用单向影响关系,衡量库所系统原变迁集与所添加的增加类型变迁之间的影响关系。最后,根据增加类型变化传播影响范围公式,得出基于打车软件的库所系统,添加一个增加类型变化的传播影响范围。

光盘数据库所提供的服务(印度)

信息技术的误勃发展．为以数据库格式在机器可读媒体上用压缩方法表示的大型数据传送这种新概念的形成创造了必要的条件、文中．主要注意力集中在印度的数据库事业状况及其推广活动的发展上。主要注意力集中在上述数据库的内容．数据库传送光盘的应用，以及用户访问活动的特点上。

重庆：复审现有建设工程评标专家库所有专家的资格

重庆市建委日前传出消息，为了有效规范建设工程评标活动，严格对评标专家资格实施动态管理，进一步健全完善建设工程评标专家库，保证评标活动的公平性和公正性。根据有关法律、法规和规章的规定，市建委决定对现有建设工程评标专家库所有专家的资格进行复审，并同时受理专家资格的新申报工作。

青海省实现储量库所有固体矿产全覆盖

从自然资源部矿产资源国情调查协调机制办公室获悉,截至2021年12月27日,青海省矿产资源国情调查查明矿产资源调查和潜在矿产资源评价主体工作全面完成,查明矿产资源调查已通过省级评审验收。青海省此次矿产国情调查共确定95个矿种,实现了全省储量库所有固体矿产全覆盖。省自然资源厅细化矿产资源国情调查各项任务时间安排,建立矿区调查任务"清零"、存疑问题"清零"的"双清零"制度,并确保调查数据质量。