简介:摘要目的探讨血常规临床检验结果的影响因素和提高血常规临床检验结果可靠性和准确性的方法。方法选择于2017年1月至2017年11月到我院接受血常规检验的90例患者,均采集静脉血液以及无名指末梢血液,将检验结果进行分析,总结其影响血常规的因素。结果无名指末梢血液标本中的红细胞指数、白细胞指数、血红蛋白指数明显高于静脉血液标本,差异具有统计学意义(P<0.05);而静脉血液标本中血小板指数则明显高于无名指末梢血液标本,差异具有统计学意义(P<0.05)。结论临床中在对行血常规检验的时候,要规范血常规的操作过程,控制人为因素导致的检测误差,从而提高血常规检验结果的有效性和准确性。
简介:在软硬件系统的模型检验中经常需要检测系统模型和规约模型的行为之间的包含关系.为提高模型检验技术的自动化程度,提出一种针对有限状态机的仿真检验方法.首先在有限状态系统的基础上,提出系统及其外部行为的概念,然后定义了系统间的仿真关系,之后结合不动点定理,设计了和仿真关系定义相似的FP算子,这就把两个系统外部行为之间的包含关系转化为通过FP寻找组合系统间的最大不动点.如最大不动点存在,称系统模型满足规约属性.最后,通过等价关系给出一种对于无限状态系统转换成有限状态系统的方法,使得该方法可同样应用于无限状态系统.实例显示,该方法能够很好地满足模型检验的要求.