课程文献中心 更多>>

关键词： 区块链   合同签署协议   Fabric   双向信任   公平性形式化验证  

摘要： 保证交易的公平性对于解决网络交易风险的不确定性具有至关重要的作用,为之出现的公平合同签署协议(Fair Contract Signing Protocol,FCSP),根据有无可信第三方分为两种模式。其中传统中心化的有可信第三方管理模式随着网络交易的快速发展负担越来越大;而无可信第三方管理中引入区块链技术完成去中心化实现,不仅可以避免因第三方的频繁参与而导致的性能瓶颈,而且分布式实现模式降低了交易的公平成本。然而蓬勃发展的线上交易市场也使得区块链应用越来越复杂,如何利用区块链技术既保证交易的公平性又不影响交易效率是当前网络交易市场亟待解决的关键问题之一。在综合分析基于区块链公平合同签署协议的国内外研究现状后,本文研究并提出一种基于Fabric的公平合同签署协议及其形式化验证方法,设计了车险区块链中的公平合同签署协议,并给出其公平性形式化证明。论文的具体工作如下:针对现有的基于区块链的公平合同签署协议存在的问题,包括内容复杂、效率低、应用困难等,提出基于Fabric联盟链的快速公平合同签署协议(Towards Fair Contract Signing Protocol,TFCSP),本文详细描述了该协议的设计思路,将协议划分为三个阶段,分别在交易的提交、验证、上传三个阶段提供了公平性保障。另外设计了车险区块链的架构,并在Fabric联盟链上模拟了车险交易环境,对多种基于区块链的公平合同签署协议进行性能比较,证明了本文所提出协议的有效性。针对区块链链码(智能合约)上链即不可修改的属性和线上存在大额交易现象,应用在区块链上的协议必须严格保证其正确,因此综合基于交替迁移系统(Alternating-time Temporal Logic,ATL)的模型检测和基于BAN(Burrows,Abadi and Needham,BAN)逻辑的定理证明,沿用一种已有的针对协议的形式化分析方法—状态转换模型,提出针对TFCSP的交替状态转换系统,通过对协议的消息、进程、规范和执行序列进行形式化描述,建立起协议的状态交替转换模型,并描述出其形式化验证目标。通过对协议系统状态转换的数学推导,证明系统状态在可信执行序列下能够满足公平性。另外,本文使用形式化验证工具对协议进行公平性自动化验证,同样证明了所提出协议的公平性。本文针对当前基于区块链的公平合同签署协议存在的各种问题,提出了基于Fabric的公平合同签署协议及其形式化验证方法,为公平合同签署协议的发展提供了新的思路。

关键词： 病毒性肝炎   血小板   凝血功能   病情  

摘要： 目的:观察分析病毒性肝炎患者进行血小板和凝血指标联合检验对病情程度及预后的评估作用.方法:将2019年01月至2020年12月我院接收的150例病毒性肝炎患者,将其中急性病毒性肝炎患者50例列为急性组,慢性病毒性肝炎50例列为慢性组,重症病毒性肝炎50例列为重症组,另选取同时间前往我院体检的50例健康人员列为对照组.对所有人均行血小板及凝血指标联合检测,比较不同病情的肝炎患者与对照组的凝血四项及血小板检测值.结果:不同病情的肝炎患者的的凝血四项及血小板检测值均与对照组的检测值存在显著差异,组间比较有较大的差别(P<0.05),且与对照组的差异大小为从急性组-慢性组-重型组的递增,且其组间比较PT、TT、PLT均存在显著差异,且患者的病情越严重,与对照组的差异约为显著,组间比较有较大的差别(P<0.05).结论:在病毒性肝炎患者的临床诊断中,行血小板及凝血四项检测,能够为患者的病情评估提供多角度分析渠道,从而提升医师诊断的准确性,有助于提升患者的治疗即预后,值得临床推广.

关键词： 产业结构升级   碳排放   技术创新   环境规制  

摘要： 中国传统的褐色经济发展模式致使能源消耗和碳排放量骤增,对资源和环境承载力造成较大的负担,加剧了经济发展与环境保护之间的矛盾,严重阻碍了经济社会的可持续发展。当前我国是世界上最大的二氧化碳排放国,碳减排势在必行。在环境问题和资源约束的双重压力下,为了实现“碳达峰”目标,优化和转变产业结构成为发展低碳经济的重要途径。鉴于碳减排是一个复杂的系统工程,受多重因素共同作用,由此通过构建被调节的中介模型,深入挖掘产业结构升级对碳排放的内在作用机制,对于我国解决环境问题和实现低碳化转型具有重要的现实意义。本文首先对理论基础进行论述,并梳理、评述国内外产业结构升级和碳排放相关文献;其次,基于技术创新理论、外部性理论等,以技术创新为中介变量,环境规制为调节变量,构建环境规制嵌入下产业结构升级、技术创新与碳排放关系的理论模型;最后基于理论假设,采集2008-2017年中国30个省(市)面板数据,运用固定效应、Bootstrap和动态面板差分GMM等方法,实证检验产业结构升级对碳排放的直接效应、技术创新的中介效应以及环境规制在三者间的调节效应。研究结果表明:(1)产业结构在不断调整和优化的过程中,通过发挥经济效应、分配效应和规模效应显著抑制了碳排放,改善了生态效益;(2)在产业结构升级抑制碳排放的作用过程中,技术创新发挥部分中介效应。随着产业结构向合理化、高级化与生态化方向升级,企业须不断致力于技术创新,进而促进碳减排效果的发挥;(3)环境规制在产业结构升级、技术创新和碳排放关系间呈正向的调节作用。环境规制一方面促使产业间形成逐顶竞争的态势,加快产业结构升级进程;另一方面引导企业向低碳化转变,加大对新技术的需求,因此强化了产业结构升级和技术创新的减排效应;(4)产业结构升级的减排效应在东部、中部和西部地区存在区域异质性,产业结构优化在东部和中部地区的减排效果显著,而对西部地区碳排放的抑制作用并不明显。基于以上研究结果,本文就深入推进产业结构升级进程、强化技术创新的驱动能力和制定合理的环境规制政策提出相关政策建议。

关键词： 脑卒中   血清   氧化应激指标   临床检验  

摘要： 目的:探究分析对脑卒中患者进行血清各项氧化应激指标检验的效果及其检验作用。方法:将我院检验科接收的100例脑卒中患者纳入本组研究,将其设为观察组（脑梗死58例,脑出血42例）,再选取同时间段的65例健康体检者作为对照实验对象,设为对照组,收集整理两组人员的基本病例资料,检测其血清各项氧化应激指标,对比两组受检者之间的指标水平差异。结果:观察组患者的SOD和T-AOC指标水平更低,MDA水平更高,数据对比差异显著（P<0.05）;相较于脑梗死组,脑出血组的SOD水平更低,MDA水平更高,数据对比差异显著（P<0.05）。但在T-AOC水平上,两组患者的检验数据对比,无显著差异（P>0.05）。结论:对脑卒中患者进行血清各项氧化应激指标检验能够提高疾病的诊断效果,有助于为后期治疗方案的制定提供可靠的诊断数据,是一种有效的脑卒中临床检验诊断方式。

关键词： 血常规红细胞参数检验   地中海贫血   缺铁性贫血   鉴别诊断  

摘要： 目的:探究血常规红细胞参数检验在地中海贫血和缺铁性贫血鉴别诊断中的重要作用。方法:选取本院2016年10月至2019年4月就诊的155例贫血患者和80例健康志愿者为研究对象,按照患者的贫血类型分为甲组和乙组,其中75例缺铁性贫血患者为甲观察组,80例地中海贫血患者为乙观察组,80例志愿者为对照组。对所有的患者进行血常规红细胞参数检验,比较血常规红细胞参数的差异。结果:甲观察组患者的红细胞分布宽度(RDW)、平均红细胞体积(MCV)及平均红细胞血红蛋白量(MCH)指标数据明显都高于乙观察组患者,乙观察组患者的红细胞(RBC)、血红蛋白(Hb)以及平均红细胞血红蛋白浓度(MCHC)指标数据都明显高于甲观察组患者,组间比较,差异均具有统计学意义(P<0.05)。结论:血常规红细胞参数检验为地中海贫血和缺铁性贫血的鉴别诊断提供重要的参考依据,值得推广利用。

关键词： 溶血   免疫检验   生化检验   干扰   作用  

摘要： 目的:就溶血对临床免疫检验项目及生化检验项目的干扰与作用展开分析和探讨.方法:在2017年5月至2020年5月在我院接受静脉血检验分析的病例中抽取38例无溶血现象的受检者作为本次研究的参照组,另选取有溶血现象的38例受检者作为本次研究的观察组,比较两组受检者的临床免疫检验结果和生化检验结果.结果:相较于参照组受检者,观察组受检者血液标本中AST、CK、LD指标水平明显更高,Cr、ALP水平明显更低;观察组受检者血液标本中2hPG、FPG、HbA1c、TG指标水平均明显高于参照组受检者(P<0.05).结论:溶血现象会对临床免疫检验及生化检验的结果产生较大影响,为确保所得检验结果的准确性,应在为患者诊断期间充分注重对溶血现象发生的预防.

关键词： 末梢血   静脉血   血常规检验   作用  

摘要： 目的:比较末梢血与静脉血在血常规检验中的作用。方法:选取本院2019年1月至2020年6月进行血常规检测的68例门诊患者为研究对象,分别取患者的末梢血与静脉血,将检验结果进行比较。结果:静脉血检测中的白细胞计数、红细胞计数、血红蛋白计数、血细胞比容、血小板计数、平均红细胞体积,红细胞平均血红蛋白浓度水平优于末梢血检测,组间比较,差异具有统计学意义(P<0.05),且静脉血检测值更符合血常规检测标准。结论:静脉血在血常规检测中较末梢血检测更准确,可为患者临床疾病的诊断提供依据,值得在临床推广并借鉴。

关键词： 血液形态学检验   缺铁性贫血   病情进展   预后评估  

摘要： 目的:分析在缺铁性贫血患者的检验中应用血液形态学检验方法对患者病情进展与预后的评估价值.方法:抽取时间段选定为2019年1月至2020年12月,抽取病例数为80例,抽取疾病类型为缺铁性贫血,以此作为研究样本,经双盲法将患者分为实验组与参照组,每组各40例,参照组患者单独应用血常规检验,实验组患者在血常规基础上联合血液形态学检验,比较分析两组患者的灵敏度与特异度.结果:实验组患者的灵敏度为87.5％、特异性为93.75％;参照组患者的灵敏度为60％,特异性为86.67％,实验组的灵敏度、特异度均高于参照组.结论:血液形态学检验应用于缺铁性贫血患者的临床检验当中可以有效评估患者病情进展与预后,应用价值较高,值得推广.

关键词： 消毒供应室   质量管理   手术室器械  

摘要： 目的:分析消毒供应室质量管理对手术室器械清洗,分类,包装,灭菌,发放的影响.方法:选择2019年1月-2020年1月我院消毒供应室内清洗、包装的500件手术器械,依据随机分组法分为实验组和对照组,每组250件.结果:实验组清洗质量、分类质量、包装质量、灭菌质量、发放质量高于对照组,P<0.05.结论:消毒供应室内实施质量管理效果显著,可明显提升手术器械清洗,分类,包装,灭菌,发放质量.

关键词： 人民币国际化   银行业开放   商业银行效率   DEA  

摘要： 随着中国经济实力、贸易规模等方面的不断增强以及国际社会对于以美元为主导的国际货币体系改革的呼声日益高涨,人民币国际化是一种必然的趋势。而中国商业银行作为人民币国际化的载体和直接参与者,必然会受到人民币国际化的影响。此外,扩大银行业对外开放是近年金融改革的重要内容,中资银行“走出去”与外资银行“引进来”作为银行业对外开放的两部分,对人民币国际化与中国商业银行均会产生影响。商业银行作为中国金融体系的主体,其稳定性直接关系到整个金融体系的稳定性,银行效率又在很大程度上决定了银行体系的稳定性。在国内外金融领域潜在风险不断累积的情况下,防范化解重大金融风险,维持金融稳定是重中之重。因此研究人民币国际化对商业银行效率的影响以及银行业对外开放条件下二者间的关系具有重要的现实意义。本文基于2011年第一季度-2019年第四季度中国商业银行季度数据,利用DEAMalmquist模型测算了中国商业银行全要素生产率及其分解效率,探讨人民币国际化对中资银行效率的影响并分析银行业对外开放的调节作用,研究发现:（1）人民币国际化对中国商业银行的全要素生产率的提升有显著的促进作用,即人民币国际化总体上提高了中国商业银行效率,此外,人民币国际化对于分解效率中的技术进步效率、纯技术效率和规模效率均有显著的促进作用。（2）人民币国际化对结算业务规模不同的商业银行和股权结构不同的商业银行效率的促进作用存在异质性。（3）银行业对外开放会强化人民币国际化对中国商业银行效率的促进作用,表现为中资银行“走出去”会强化人民币国际化对全要素生产率、技术进步效率和规模效率的促进作用,外资银行“引进来”会强化人民币国际化对全要素生产率、技术进步效率、纯技术效率和规模效率的促进作用。