P/T_网中的同步距离

同步距离既可以对两组事件之间同步程度进行定量分析,也可以刻画系统动态行为,然而Petri中同步距离计算一直存在难题。采用加权观察库所的原理讨论了P/T_网中任意两个变迁子集之间同步距离的计算,并通过本原权函数的定义指出了如何给连接变迁和加权观察库所之间的弧配置一个唯一的权值。为了得到处于同一个公平分支变迁子集之间的同步距离值,需构造一个带权同步观察P/T_系统,通过模拟原网系统的可覆盖树得到带权观察库所的最大和最小tokens,从而求得变迁子集之间的同步距离值,并给出相应算法,给出了求解P/T_网中任意两个变迁子集之间同步距离计算算法。

P/T_网与P/T_系统的同类性证明

在 Petri网研究领域中 ,一直把 P/ T网 (即经典意义上的 Petri网系统 )与 P/ T系统 (即库所 /变迁系统 )划分为两类不同的 Petri网进行研究。实际上 ,这两类 Petri网没有质的区别 ,只要适当做些技术性处理 ,并将这些技术性处理建立在严格的同类性证明之上 ,即可把它们视为同一类 Petri网系统。

一种Token Ring的P/T_系统模型与分析

Token Ring是一种是一种LAN协议,通过围绕环的令牌授予工作站传输权限。本文用Petri网中最一般的P/T_系统模拟了Token Ring,并进行了分析。

冠心病心绞痛患者QTd、T_(p)-T_(e)间期、T_(p)-T_(e)/QT比值、HRV变化及其与冠脉病变程度的关系

目的探究冠心病(CHD)心绞痛患者QT离散度(QTd)、T波峰-末(T_(p)-T_(e))间期、T_(p)-T_(e)/QT比值、心率变异性(HRV)水平变化及其与冠脉病变严重程度的关系。方法选择2018年8月至2021年10月在宝鸡市人民医院就诊的98例CHD心绞痛患者作为研究组,根据冠脉病变程度分为轻度组34例、中度组40例和重度组24例,选择同期来我院检查的非CHD心绞痛患者60例作为对照组。CHD心绞痛患者均经PCI治疗,收集两组患者的一般资料,比较对照组和研究组患者PCI手术前后的QTd、T_(p)-T_(e)间期、T_(p)-T_(e)/QT比值、HRV及心肌肌钙蛋白I(cTnI)、肌酸激酶同工酶(CK-MB)水平,采用Pearson相关性分析心电指标与术前心肌酶谱指标及冠脉病变严重程度的关系。结果研究组患者术前的cTnI、CK-MB、QTd、T_(p)-T_(e)间期以及T_(p)-T_(e)/QT比值水平明显高于对照组,术后的cTnI、CK-MB、QTd、T_(p)-T_(e)间期以及T_(p)-T_(e)/QT比值虽然明显低于其术前,但仍明显高于对照组,差异均有统计学意义(P<0.05);研究组患者术前的HRV各参数水平明显低于对照组,术后,研究组患者的HRV各参数水平虽然明显高于其术前,但仍明显低于对照组,差异均有统计学意义(P<0.05);术后,三组不同冠脉病变程度患者的QTd、T_(p)-T_(e)间期、T_(p)-T_(e)/QT比值随着冠脉病变程度的增加而升高,HRV各参数水平随着冠脉病变程度的增加而降低,差异均有统计学意义(P<0.05);经Pearson相关性分析结果显示,QTd、T_(p)-T_(e)间期、T_(p)-T_(e)/QT比值与cTnI、CK-MB水平、冠脉病变严重程度均呈正相关(P<0.05),HRV各参数与cTnI、CK-MB水平、冠脉病变严重程度均呈负相关(P<0.05)。结论CHD心绞痛患者的心肌酶谱、QTd、T_(p)-T_(e)间期、T_(p)-T_(e)/QT比值及HRV各参数水平均出现异常,CHD心绞痛患者PCI术后的各心电指标与患者术前心肌损伤、冠脉病变严重程度均相关。

“T/C⁃P不整合双地层结构”的压实—离心流渗滤作用与油气富集——以准噶尔盆地玛东斜坡区三叠系百口泉组为例

为探讨大气淡水对不整合面上覆地层的渗滤效应,利用地震—地质综合剖面、储层物性、油—水等流体地球化学参数及试油、试采等资料,综合分析与不整合面有关的地层结构及压实—离心流分布特征,揭示了在“T/C‑P不整合双地层结构”控制下,大气淡水通过压实—离心流方式对T/P不整合面上覆地层进行垂向渗滤,导致玛东斜坡区三叠系百口泉组油气充注程度较低。结果表明:玛东斜坡区T/P不整合面之上的百口泉组压实—离心流渗滤带的流体势方向与重力势方向相反,其成因与百口泉组底部富泥砂砾岩岩相及伴生的润湿水相的毛细管自吸作用密切相关;大气淡水主要沿着T/P不整合面之上百口泉组富泥砂砾岩内部的微细孔喉向上渗滤,形成自下而上流动的压实—离心流;压实—离心流垂向渗滤深度约为45 m,平面延伸距离约为28 km;压实—离心流的逆重力势方向流动特征导致百口泉组油气充注程度整体较低,油气主要富集于砂层组中上部物性较优的贫泥砂砾岩储层中。最后,“根据T/C‑P不整合双地层结构”的压实—离心流渗滤作用与油气富集特征确定百口泉组油层测井定量识别标准为lgRT>1.4Ω·m(电阻率RT>25Ω·m)、纵波阻抗IMP<9000 g·cm^(−3)·m·s^(−1);利用RT‑IMP联合约束油层定量预测图板预测了夏子街扇东翼(面积为98 km^(2))、玛东盐北扇(面积为104 km^(2))两个油气富集区。

葡萄糖B-Z体系中酸度变化诱导的复杂振荡反应

本文首次报导了葡萄糖-KBrO_3-丙酮-MnSO_4-H_2SO_4体系的化学振荡反应,在这一体系中改变酸度可产生一系列复杂的振荡现象,当[H_2SO_4]_0>0.36mol·l^(-1)或[H_2SO_4]_0<0.074mol·l^(-1)时,体系分别出现二种不同类型的振荡波形OA和OB,OA振荡存在一诱导期,OB振荡无锈导期;OA的振幅较小,但振荡频率比OB快得多;OB的振荡周期逐渐缩短,但OA.却相反变化.当0.074mol·l^(-1)<[H_2SO_4]_0<0.36mol·l^(-1)时,体系同时出现上述二种类型的振荡波形,中间存在一过渡区域,即产生连续振荡波形.文章讨论了诱导期及过渡时间与[H_2SO_4]_0的关系,对酸度的影响机理作了说明.

复合材料胶接用发泡胶的工艺验证与固化动力学

通过动态差示扫描量热分析(DSC)研究了一种中温固化的发泡胶的固化工艺和固化动力学。为证实DSC峰值温度T_(p)与升温速率β的自然对数存在线性关系,在DSC测试中除采用β为5、10、15和20 K/min的升温速率组合外,还特意设定升温速率β为1、2.718、7.389和20 K/min,则lnβ等于或近似为0、1、2、3以便于计算,由此可确定固化工艺参数并快速地估算活化能E_(a)。结合其他关于热固化、热分解甚至一些高分子材料结晶的文献数据,进一步证实了T_(p)与lnβ往往存在线性关系。利用上述线性关系所获得的特性温度参数T_(1)和ΔT值,可以解释活化能的大小并快速求解动力学数据。研究结果建立并证实了区别于Kissinger和Ozawa方法的另一种简易而且可靠的反应动力学求解方法,并用数学极限的方法进行推导给出了活化能的解析解。上述简易方法求解热致反应或结晶变化的动力学参数是合理有效的。

基于Petri网的网上股票交易系统模拟与验证

给出了基于时序Petri网下的网上证券交易系统,其模型过于复杂。由于Petri网本身很强的模拟能力,本文用P/T_系统,模拟了证券交易所的网上证券交易系统,进而用S-不变等方法对其进行了验证。

基于扩展P/T-系统的工作流模型及执行算法研究

根据PetriNet理论提出了基于扩展P/T＿系统的工作流模型及执行算法,并论证了保证工作流模型正确性的条件。该方法在模型的流关系上具有逻辑判断功能,使工作流执行中的控制关系通过资源携带的相关数据得以实现,解决了工作流中冲突关系的决策及处理发生权的判断问题,提高了工作流的性能。实例表明,该方法容易实现业务过程与系统模型的真实对应,具有直观、描述能力强、容易维护的优点,可保证系统具有良好的安全性、进展性等性能。

2015年宁夏首场降雪成因分析及客观要素预报检验评估

2015年1月27—28日宁夏出现首场降雪过程,利用常规气象资料,从首场降雪环流演变特征、影响系统、T-ln P图的应用等方面进行了分析。结果表明,中纬度500 h Pa有清晰的高空锋区和冷平流输送;700 h Pa有低涡、切变及偏南低空急流配合;地面有倒槽和回流形势。大于80%高湿区主要集中在700 h Pa以下层,银川湿对流有效位能CAPE从0增加至180 J/kg,说明冬季降雪需储备一定的能量条件。将宁夏日常业务中常用的EC_MOS、T639_MOS、WRF等3种数值模式和中央指导产品的客观要素预报与区台订正预报进行比较,使用了Ts评分和误差分析对该次降雪各预报产品的日最高、最低温度和晴雨(雪)在宁夏的预报效果进行检验评估,总结了各模式产品在本地的预报性能特点。