简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:摘要院为了优化施工进度,合理计算工程开工时间、完工周期等,需要严格计算网络图时间参数,网络图时间参数对于整个工程具有重要的意义,因此完善网络时间参数的识记工作是提高建筑工程效率的重要手段。本文以网络图时间参数的重要意义为阐述的切入点,分析网络图时间参数的内容,以及如何加深对网络图时间参数的识记经验。
简介:摘要目的研究禁欲时间对少精子症和弱精子症患者精液参数的影响。方法采用回顾性队列研究,收集2018年1月至2019年12月期间就诊于四川大学华西第二医院生殖男科的正常育前检查、少精子症和弱精子症人群的临床资料。比较不同禁欲时间(分别为禁欲2 d、3 d、4 d、5 d、6 d、7 d)对少精子症(n=5127)、弱精子症(n=4003)和正常对照男性(n=4529)精液参数的影响,观察不同组别男性的精子浓度、前向精子百分比、活动精子总数(total motile sperm count,TMSC)等参数随禁欲时间的变化。结果正常育前检查组随禁欲时间延长,精液体积从(3.3±1.2)mL升至(4.1±1.3)mL(r=0.167,P<0.001),精子浓度从(89.0±60.9)×106/mL升至(125.2±82.3)×106/mL(r=0.181,P<0.001),精子总数从(273.2±169.8)×106/次升至(473.5±193.7)×106/次(r=0.310,P<0.001),前向精子百分比从62.1%±13.0%降至59.5%±13.3%(r=-0.057,P<0.001),存活率从80.6%±8.5%降至79.0%±9.1%(r=-0.048,P<0.001)。少精子症组随禁欲时间延长,精液体积从(3.1±1.4)mL升至(3.9±1.6)mL(r=0.171,P<0.001),精子浓度从(10.3±5.5)×106/mL降至(8.7±4.3)×106/mL(r=-0.043,P<0.001),精子总数从(29.0±17.1)×106/次升至(38.6±19.8)×106/次(r=0.285,P<0.001),前向精子百分比从41.1%±17.0%降至35.1%±17.3%(r=-0.141,P<0.001),存活率从71.1%±12.3%降至63.1%±16.6%(r=-0.225,P<0.001),禁欲2 d时精子浓度和前向精子百分比达峰值。弱精子症组随禁欲时间延长,精液体积从(3.1±1.4)mL升至(3.8±1.9)mL(r=0.197,P<0.001),精子浓度从(35.1±30.5)×106/mL升至(49.7±31.9)×106/mL(r=0.071,P<0.001),精子总数从(109.1±82.3)×106/次升至(170.1±99.3)×106/次(r=0.394,P<0.001),存活率从59.6%±16.4%降至54.0%±16.4%(r=-0.081,P<0.001),前向精子百分比、圆细胞浓度与禁欲时间均无相关性(均P>0.05),TMSC(r=0.119,P<0.001)随禁欲时间延长而增高。结论延长禁欲时间可不同程度地增加少精子症患者、弱精子症患者和正常生育男性的精液体积和精子总数,并使精子存活率降低。少精子症患者缩短禁欲时间可得到精子浓度、前向精子百分比、存活率、正常形态精子百分比较高的精子,但TMSC并未显著增加;弱精子症患者通过延长禁欲时间能得到浓度、TMSC较高的精子,但前向精子百分比并未显著改善。
简介:摘要目的观察肝硬化患者的凝血酶原时间和血小板检测,并分析探讨肝硬化患者凝血酶原时间和血小板参数的变化。方法对106例研究对象进行凝血酶原时间检测,并进行血小板参数检测,包括平均血小板体积(MPV)、血小板计数(PLT)、血小板压积(PCT)、血小板分布宽度(PDW),其中64例肝硬化患者作为实验组,42例同期健康者作为对照组,同时对其凝血酶原时间、血小板参数检测结果分析,讨论变化情况。结果在64例肝硬化患者中,凝血酶原时间明显延长,血小板参数检测MPV、PDW明显升高,PLT、PCT明显降低,结果与健康对照组有明显差异,差异有统计学意义(P<0.05)。结论与对照组相比,肝硬化患者的凝血酶原时间和血小板参数会有异常升高,凝血酶原时间和血小板参数能反映肝脏受损情况,两者的变化对肝硬化的临床诊断与治疗具有更重要的价值。
简介:摘要目的探讨标本放置时间及温度对血细胞参数的影响。方法采集40例本院健康体检者静脉血每位4m1,分二组注入EDTA—K2真空抗凝管中,一组放在室温保存,另一组放在4℃条件下保存。采用贝克曼库尔特ATC-diff2全自动血细胞分析仪,按仪器的操作要求分别于采血后0、4、8、24h进行血细胞参数检测。放在4℃条件下保存的标本每次检测前10min从冰箱中取出回温待测,每批检测前、中、后均对仪器进行全血质控的监测。结果室温标本随着时间的延长对结果有影响,保存在4℃的标本在24h内完成除MPV外基本保特恒定。结论血液标本采集后应尽量在4h内检测完毕,在4℃条件下保存,放置的时间也不能太长。