Petri网上的禁止状态监控器综合

给出了Petri网上广义互斥约束的最大允许监控器综合方法,其中该监控问题满足两个条件:正权值禁止库所的影响子网是状态机;负权值禁止库所的输入和输出变迁均只有一个输入库所.首先得到了监控器存在的充分和必要条件;其次构造了约束等价转换的方法,该方法可将存在不可控变迁的监控问题简化为相当于变迁全部可控的监控问题.最后通过一个例子说明了该方法的可行性.

资源分配系统禁止状态的避免研究

基于对有界、被P不变式覆盖且P不变式被初始标记的Petri网的结构分析,提出一种避免资源分配系统禁止状态的方法.该方法首先离线计算出资源分配系统Petri网模型中的死标识、坏标识和危险标识等特殊标识,进而在线保证系统不到达死标识和坏标识对应的禁止状态.该方法与其他方法相比,它使系统的许可行为最大化且无需计算网系统的整个可达图,更适合比较庞大的资源分配系统.

Petri网的一类禁止状态问题的混合型监控器算法设计

针对广义互斥约束下Petri网的不可控影响子网为状态机的一类禁止状态问题,给出了观测器的设计方法,并基于观测器得到了求解最大允许控制策略的算法.利用观测器将广义互斥约束简化为单禁止库所约束,并将存在不可控变迁的问题简化为相当于变迁全部可控的问题,这有效地解决了不可控变迁带来的计算复杂性问题.最后,利用一个地铁交通调度示例验证和说明该监控器设计方法.

离散事件系统的协调反馈控制

本文探讨以Ｐｅｔｒｉ网为模型的离散事件系统（ＤＥＳ）的某种禁止状态避免问题，提出了以Ｐｅｔｒｉ网Ｎ为基网，设计具有外部输入位置Ｐｅｔｒｉ网（ＰＮＩＰ），对Ｎ进行协调反馈控制的方法．由Ｎ现行状态反馈决定的ＰＮＩＰ的控制状态，既保证Ｎ避免禁止状态，又使Ｎ具最大自由度．

一种Petri网禁止状态控制器综合方法

针对含有不可控变迁Petri网的禁止状态问题,提出了一种基于整数线性规划的控制器综合方法,该方法适用于任意普通Petri网模型。首先,根据Petri网的结构特性构建所有不可控变迁应满足的约束条件集合,其次通过求解整数线性规划问题将给定的线性约束转换为允许线性约束;最后,利用库所不变量方法设计控制器将转换后的约束综合到Petri网中。以某零件加工系统为例进行实验,实验结果表明,提出的方法简单高效,对实际自动制造系统的禁止状态监控问题具有一定借鉴意义。

不同电路结构触发器的动作特点比较

比较了基本RS触发器、同步RS触发器、主从RS触发器和主从JK触发器等不同电路结构触发器的动作特点,特别对禁态、不定态、多次翻转、一次变化等理论教材和产品手册中论述不多,却在工程使用中必须考虑的问题进行了讨论.

掺杂一维光子晶体的杂质态

阐述了无缺陷光子晶体与掺杂光子晶体的结构,用光学特征矩阵方法,通过数值模拟计算具体讨论了一维光子晶体的一个实例。计算结果表明,掺杂光子晶体的禁带出现了极窄的、高透射率的尖峰,即光子杂质态,类似于半导体材料中的杂质能级。杂质层的引入增宽了原来光子禁带的宽度,杂质态的特征与杂质层的光学厚度、折射率及在晶体中的位置等因素有关。

基于网结构分解的Petri网分散监控器设计

不可控子网的复杂结构是目前Petri网监控难题的根源,该文提出了控制规范等价的网结构分解方法,将对象网分解为多个结构简单的新网,并且将控制规范等价转换到各新网上,从而将复杂的全局控制问题分解简化为多个简单的局部控制问题,进而采用库所不变量方法设计各局部最优Petri网监控器,实现复杂问题分散控制,有效地降低了Petri网控制问题的计算复杂性.最后以一个柔性制造系统为例验证和说明了上述方法.

针对有限禁止状态的Petri网控制器综合

针对基于Petri网的离散事件系统禁止状态问题,提出了一种控制器综合方法.该方法是建立在受控Petri网最大不可控子网为规范化序状Petri网基础之上的,当禁止状态有限时,可以将禁止状态问题转化为惟一可达解向量问题,即可达标识和状态方程的解向量之间存在惟一的对应关系,从而只须通过判断惟一可达解向量就能够得到相应的控制器.通过一个具体的例子验证了该方法在设计最大允许控制器中的应用,例证表明,针对有限禁止状态问题,该方法是可行的,并且简单、有效.

清末奉天开放禁地与移民生存状态研究

清末,东北封禁政策难以为继,政治腐败,经济困难,加之东北边疆的危机加速了清末移民实边政策的出台。清廷决定打开方便之门开禁放垦,以达到移民实边、抵御列强和并缓解内地人口压力的目的。于是清廷陆续开禁了奉天地区边境、围场等地。随着禁地的纷纷开放,关内移民出现了大量举家迁移关外的情景。在如此浩大的移民潮中,逐渐形成了一种"聚合效应"。但此时在奉天地区的战争亦不断发生,从而在一定程度上稍微遏制了这种势头。

一类离散事件系统的一步极大允许无冗余控制

本文考虑用一般标识图模型描述的一类离散事件系统的禁止状态问题．在文［1］基础上，分析了允许控制策略对观测和控制时延的鲁棒性，给出了一步极大允许无冗余反馈控制策略的判据和搜索方法；导出了系统在一个并发活动序列发射后仍保持极大允许性的条件，即对应的并发活动序列的特征．

NaCCH自由基低能电子态的理论研究

采用CASSCF/CASPT2方法研究了NaCCH自由基的低能电子态,在C2v对称性下给出了NaCCH自由基9个低能激发态的几何、组态、CI系数、振子强度、垂直激发能和绝热激发能.研究结果表明,NaCCH自由基的基态X1Σ+几何和转动系数与实验值是一致的;谐振频率与其他理论方法得到的值也符合的很好;HOMO和LUMO轨道的能量间隔为3.80eV,对应着13Σ+的绝热激发能;除13Π外,其它低能激发态均是稳定状态;基态到三重态是自旋禁阻的.

针对α网的最优线性约束转换方法

针对不可控影响子网为α网的一类Petri网,提出了将给定的广义互斥约束转换成最优允许线性约束的方法.该方法首先获得了该网的不可控影响子网;其次,提出了转换后的禁止库所集集合的求解算法;最后,根据禁止库所集集合构造了"逻辑或"形式的最大允许线性约束.并且通过一个例子,说明了该方法的有效性.

含不可观和不可控变迁Petri网的控制器综合方法

针对同时含有不可观和不可控事件的离散事件系统禁止状态问题,提出了一种基于整数线性规划的控制器综合方法.首先,依据Petri网的结构特性构建所有不可观变迁及不可控变迁需满足的线性约束条件集合,将给定约束条件抽象为整数线性规划问题.其次,通过求解整数线性规划问题得到允许线性约束.最后,基于库所不变量的方法设计控制器并将转换后的允许线性约束综合到Petri网中.实验仿真表明提出的方法简单高效,能够保障系统不进入禁止状态,对离散事件系统监控问题具有理论指导意义.

空穴导电是怎么回事

根据量子物理的基本概念和经典图像说明空穴概念以及空穴导电和P型霍尔效应的实质

含缺陷一维声子晶体斜入射声波的透射特性研究

声波在声子晶体周期结构中的传播具有能带效应,含缺陷声子晶体可在原有禁带中形成新的缺陷模式。文中通过传递矩阵法分别计算声波斜入射含缺陷和无缺陷声子晶体的全向透射谱,经对比分析发现了由固体缺陷引起的缺陷模式。在此基础上,研究了缺陷层厚度、位置对缺陷态透射率的影响。通过水下声传输实验对固体缺陷引起的缺陷模式的存在及其随角度变化的特征进行验证。实验结果表明,在含缺陷结构的全向透射谱第一Bragg禁带中存在新的透射通带,且在一定范围内随入射角度的增大,该通带对应的频率向高频方向偏移。文中完善了含缺陷一维声子晶体中斜入射声波的传播特性,为缺陷态实际应用提供了理论和实验基础。

明代紫禁城的形式设计与日常使用——以万历朝为例

北京紫禁城以严整的形式设计著称,目前学界对于紫禁城形式设计思想的研究成果丰厚,但是对其实际使用状态则少有研究涉及。本论文以万历朝为例,对《万历起居注》和《明神宗实录》所记录的宫廷事件进行考据、计量和可视化分析,辨明了形式设计和实际使用之间的关系。论文得出如下重要结论:1、皇极殿使用频率较低,文华殿作为学习场所,是皇帝最常临御的地方,是日常使用中最为重要的殿堂;2、早朝所在的皇极门因为议事效率低下而丧失决策的能力,真正的权力中心是皇帝的居所,奏本流程覆盖的紫禁城建筑空间形成一条权力通道,它们是文华殿、内阁、会极门、思善门、文书房、养心殿,其中宦官在制度上和空间上都控制了内阁和神宗的信息交流,是更有影响力的行政力量;3、紫禁城空间设计以满足仪礼的端庄需求为主,并无针对行政办公效率的特殊设计;4、建筑体量和布局形态提供空间约束上的物理屏障,权力对人的威慑力是维系宫殿空间伦理的根本因素。

非晶Ge-S半导体薄膜的研制

我们用高温熔融和空气中碎火的方法制取了非晶 Ge-S 块状材料,又以该材料为蒸发源材料,用热蒸发方法制备非晶 Ge-S 薄膜。对不同配方比的薄膜进行了光、电性能测试并分析和讨论了测试结果,得出了光学禁带宽度与硫含量的关系。

一类离散事件系统的混合型控制器设计

给出了状态机的混合型控制器的设计方法,首先设计了禁止库所的增量观测器和状态观测器,根据观测器的标识给出了允许标识和临界允许标识的判据,然后利用这两个判据给出的计算最大允许控制的算法.一个例子对本文的结论做了说明.

激光诱导镁原子S—S、S—D禁戒跃迁

报道在镁金属蒸气中利用两束激光三光子共振激发原子３ｓｎｐ１Ｐ中高里德堡态时，观察到随泵浦激光功率的增强，出现３ｓ４ｓ１Ｓ０－３ｓｎｓ１Ｓ０、３ｓｎｄ１Ｄ２（ｎ≈１８～３２）偶宇称态偶极禁戒跃迁增强，以及３ｓｎｓ１Ｓ０能级移动现象，并解释为光泵过程引起的原子激发态碰撞效应。利用禁戒跃迁首次测定了Ｍｇ３ｓｎｓ１Ｓ０（ｎ＝２２～３０）能级。