基于带抑制弧的Petri网描述的嵌入式系统模型组合与性质分析

为了有效满足嵌入式系统的建模需求,提出基于带抑制弧的Petri网描述的嵌入式系统模型(PIRES+网)。当采用PIRES+网对大规模复杂嵌入式系统进行建模时,会遇到“状态空间爆炸”问题,为了有效缓解该问题,提出PIRES+网的两种组合方法;就组合网对活性和有界性的保持问题进行研究,最后以移动终端网络通信系统的建模和分析为例,表明了所提组合方法的有效性。

不同浓度七氟醚可双向调节大鼠学习记忆及海马ARC蛋白表达

背景：术中知晓和术后认知功能障碍是困扰麻醉医师的棘手问题。以往多认为与全身麻醉药物对神经系统的影响有关。但近来不断有实验研究证实．低浓度吸入麻醉气体在特定环境下反而会兴奋大脑功能．甚至产生脑保护的作用。显然全麻药物对大脑认知功能的影响机制仍未明瞭。全身麻醉药物七氟醚已广泛应用于各类临床手术．其对哺乳类动物中枢神经系统是否及如何产生影响是我们一直在探讨的课题。细胞骨架蛋白ARC可在大脑海马结构大量表达．已证实可依据其表达情况来考察神经元的活性．以及突触可塑性的变化。目前认为其表达程度可作为检测学习记忆形成的指标。近来有学者发现，较低浓度的七氟醚可引发中枢神经兴奋现象．并猜测亚麻醉剂量对于中枢神经系统具潜在保护作用。为进一步证实这一现象．本研究拟结合ARC蛋白和抑制性逃避（inhibitory avoidance．IA）这一行为学实验来进行深入探讨。方法：250－300g雄性SD大鼠随机分为3组：空白组，极低浓度七氟醚吸入组（0．11％SEV）和低浓度七氟醚吸入组（0．3％SEV）。依据分组依次将大鼠安置于连接有低流量（0．5L／min）闭合环路吸入麻醉系统的特制容器内，分别给予吸入空气，0．11％SEV（0．05MAC）和0．3％SEV（0．14MAC）各45min。结束后马上进行单次IA训练（0．4mA,2s），24小时后进行IA记忆（潜伏期）检测。另取一批大鼠在IA初次训练后45min处死取材．以western-blotting方法检测脑内海马ARC蛋白的表达水平．以real—timePCR方法检测ARC的mRNA转录水平。结果：与吸入空气组相比。0．11％sEV组的24小时IA记忆潜伏期明显延长，而0．3％SEV组的24小时IA记忆潜伏期缩短：相应地．0．1196SEV组的海马ARC蛋白表达增加．而0．30％SEV组ARC蛋白的表达减少。但ARC的mRNA水平却始终无显著差异。结论：吸入不同浓度的七氟醚能对大鼠的学习记忆能力产生双相作用．这种现象伴有海马蛋白ARC表达的相应改变．却没有相应mRNA水平的改变。提示全麻药物七氟醚对于记忆的双向调节存在即可早期基因如NARC对神经元突触可塑性的作用．但这种干预可能体现在转录后水平。

矿井机车运输监控系统调度联锁过程的Petri网建模

分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车调度联锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输入的车到和过车信息,对机车运行路线错误、任务内闯红灯等意外情况进行了描述;对进路的闭锁和解锁情况进行了细分,根据保证安全和兼顾效率的原则,建立了不同的控制方式;最后给出了调度联锁过程的整体Petri网模型.

带协同约束弧的微分Petri网及其仿真

为使Petri网中单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束关系,提出了协同约束弧的概念,并将它与微分Petri网相结合,用以对具有状态反馈控制的混杂系统建模.结合一个二阶线性系统的实例,给出了它的带协同约束弧的微分Petri网模型,并用Stateflow和Simulink结合起来对这种带有协同约束弧的微分Petri网描述与仿真.仿真结果表明:在协同约束弧控制下,适时改变控制策略,将系统切换到不同的相空间,从而使不稳定系统最终在目标区域内稳定运行.

基于约束组合CTPN的带式输送机系统建模

带式输送机控制系统是复杂实时系统,基本Petri网在描述该类系统时会出现"节点爆炸"问题。提出采用约束组合弧来克服该问题。约束组合弧不仅可以描述库所组合触发变迁的效果,而且可以描述变迁发生时部分输入库所托肯不变的情况。在为带式输送机控制系统建模中,提出了基于时间Petri网的带式输送机联锁控制系统模型,并将时间Petri网模型折叠成约束组合有色时间Petri网模型,提高了模型的抽象能力,降低了模型复杂性。

基于Petri网的Web数据库访问的建模研究

本文针对多用户访问Web数据库的过程进行了分析并提出改进思路,然后利用带抑止弧的扩充Petri网对改进后的访问过程进行建模。

基于Pr/T网的网格安全体系结构的分析

网格安全体系结构GSI保障了网格环境的安全认证和安全通信,它为网格环境提供了一系列的安全协议、安全服务和命令行程序。它在实现时过程比较复杂,一般的建模图只能描述它的主要过程和静态特征,难以分析其动态特性及细节。Pr/T网能够直观地描述非确定性,以图形化的方式表示及运用数学工具模拟与分析复杂系统。利用Pr/T网的这些特性来描述和分析网格安全体系结构GSI中的任务提交与执行过程。

CO_2气体保护焊镀铜焊丝缓蚀处理试验研究

对二氧化碳气体保护焊镀铜焊丝进行了缓蚀处理试验。试验研究了BTA浓度 ,缓蚀处理时间及复合缓蚀剂对镀铜焊丝质量的影响 。

激光-电弧复合焊接缺陷形成机理及抑制方法

近年来,随着电弧焊设备、激光器性能和工业集成技术的不断提高以及激光-电弧复合焊接机理和工艺研究的持续深入,激光-电弧复合焊技术在国内外众多重要工程领域应用越来越广泛。然而,由于激光-电弧复合焊热源间的强耦合作用及其众多的工艺参数难以优化控制,焊接过程仍会出现焊接缺陷,严重影响焊接接头质量和服役可靠性。本文在深入探讨激光-电弧热源协同机制和复合参数影响规律的基础上,重点阐明了激光-电弧复合焊接气孔、裂纹、咬边、驼峰等主要缺陷的形成机理和成形过程,同时进一步分析了不同焊接形式的缺陷抑制方法及其作用机理,以期为更好地理解激光-电弧复合焊这一优质高效焊接方法并推动其更广泛的工业应用提供参考。

电弧故障保护电器(AFDD)串联、并联电弧故障试验及抑制性负载屏蔽试验方法

AFDD经常会因为测试场地、测试负载的不同,而无法准确地识别每一次故障电弧或者发生误脱扣现象,导致试验失败。针对这一情况,对电弧故障保护电器的串联、并联电弧故障试验及抑制性负载屏蔽试验方法进行探讨,可为检测机构以及生产企业提供一些参考。

电弧故障断路器UL标准研究

介绍了UL 1699《电弧故障断路器》的主要内容及术语。UL 1699标准中核心的三大试验内容,包括电弧故障检测试验、误脱扣试验、操作抑制试验。