Correctness is a key attribute of software. Parameterized bisimulation provides a kind of abstract description to verify the correctness of software under environment. In real world situations, many softwares contain ...Correctness is a key attribute of software. Parameterized bisimulation provides a kind of abstract description to verify the correctness of software under environment. In real world situations, many softwares contain some probabilistic information. In this paper, we focus on the probabilistic construction of parameterized bisimulation. Firstly, we extend parameterized bisimulation to probabilistic parameterized bisimulation. Secondly, a quantitative model of approximate correctness of software is proposed. Finally, the subsititutivity laws of quantitative model with various combinators are proved.展开更多
智能健康穿戴产品在老年群体中展现出的巨大应用潜力和发展前景,引发学术界广泛研究探讨。为全面剖析国内外老年智能健康穿戴产品领域的研究态势,本文采用文献计量方法,通过共现、聚类及突现分析等多维手段,系统梳理与评估2013—2023年...智能健康穿戴产品在老年群体中展现出的巨大应用潜力和发展前景,引发学术界广泛研究探讨。为全面剖析国内外老年智能健康穿戴产品领域的研究态势,本文采用文献计量方法,通过共现、聚类及突现分析等多维手段,系统梳理与评估2013—2023年中国知网和Web of Science数据库收录的相关文献,借助VOSviewer和CiteSpace进行可视化呈现。结果表明:美国和中国在国际研究中占据主导地位;国内外的研究热点各有侧重,且国外已从技术设备开发与系统集成应用转向探讨老年人对技术的接受与采用;国际研究的知识基础可分为老年技术采纳评估、健康监测技术创新和智能健康管理应用三类。后续应加强工程学和医学多领域的跨学科交叉研究,在健康监测技术与医疗产品融合、用户体验优化及长期效用验证等方面进行深入探讨。展开更多
目的了解我国指南制订相关领域的专家及研究人员对患者指南(patient version of guidelines,PVG)的认知度。方法在"2017中国医师协会循证医学专业年会暨甘肃省医师协会/甘肃省医学会循证医学专业年会"会议期间,对指南制订专...目的了解我国指南制订相关领域的专家及研究人员对患者指南(patient version of guidelines,PVG)的认知度。方法在"2017中国医师协会循证医学专业年会暨甘肃省医师协会/甘肃省医学会循证医学专业年会"会议期间,对指南制订专场的参会人员发放纸质版问卷调查;同时跟随国家卫生计生委医管中心标准处的指南调研团队进一步调查深圳、广州、西安、北京等地的指南制订者对PVG的认知度。问卷设计了10个问题以了解被调查者对PVG的知晓度及对PVG制订过程的看法与意见。排除无效问卷后采用Excel 2013软件进行数据录入,采用SPSS 19.0软件进行数据分析。结果共发放调查问卷150份,回收问卷107份(71.3%),其中有效问卷90份(60.0%)。关于PVG的知晓度:30.0%的被调查者停留在"仅听说过"的层面,34.4%的被调查者表示"未听说过";且知晓度与学历、部门、专业、地区间均无显著相关性(P>0.05)。关于对PVG本身及其制订过程的看法与意见:86.7%的被调查者认为需要制订PVG;90%的被调查者认为需要参照一定的规范来呈现和报告PVG;45.6%的被调查者认为制订PVG最大的障碍在于认知不足。结论 PVG制订目前在中国正处于起步阶段,国内指南相关专家对其认知度较低,PVG的制订方法也有待进一步探索。未来应积极开展相关研究促进并推广PVG在国内的发展与应用,从而促进临床实践的优化。展开更多
基金Supported by the National Natural Science Foundation of China(61300048)the Anhui Provincial Natural Science Foundation(1308085QF117,1508085MA14)+2 种基金the Key Natural Science Foundation of Universities of Anhui Province(KJ2014A003,KJ2014A223)the Major Teaching Reform Project of Anhui Higher Education Revitalization Plan(2014ZDJY058)the Excellent Young Talents in Universities of Anhui Province
文摘Correctness is a key attribute of software. Parameterized bisimulation provides a kind of abstract description to verify the correctness of software under environment. In real world situations, many softwares contain some probabilistic information. In this paper, we focus on the probabilistic construction of parameterized bisimulation. Firstly, we extend parameterized bisimulation to probabilistic parameterized bisimulation. Secondly, a quantitative model of approximate correctness of software is proposed. Finally, the subsititutivity laws of quantitative model with various combinators are proved.
文摘智能健康穿戴产品在老年群体中展现出的巨大应用潜力和发展前景,引发学术界广泛研究探讨。为全面剖析国内外老年智能健康穿戴产品领域的研究态势,本文采用文献计量方法,通过共现、聚类及突现分析等多维手段,系统梳理与评估2013—2023年中国知网和Web of Science数据库收录的相关文献,借助VOSviewer和CiteSpace进行可视化呈现。结果表明:美国和中国在国际研究中占据主导地位;国内外的研究热点各有侧重,且国外已从技术设备开发与系统集成应用转向探讨老年人对技术的接受与采用;国际研究的知识基础可分为老年技术采纳评估、健康监测技术创新和智能健康管理应用三类。后续应加强工程学和医学多领域的跨学科交叉研究,在健康监测技术与医疗产品融合、用户体验优化及长期效用验证等方面进行深入探讨。
文摘目的了解我国指南制订相关领域的专家及研究人员对患者指南(patient version of guidelines,PVG)的认知度。方法在"2017中国医师协会循证医学专业年会暨甘肃省医师协会/甘肃省医学会循证医学专业年会"会议期间,对指南制订专场的参会人员发放纸质版问卷调查;同时跟随国家卫生计生委医管中心标准处的指南调研团队进一步调查深圳、广州、西安、北京等地的指南制订者对PVG的认知度。问卷设计了10个问题以了解被调查者对PVG的知晓度及对PVG制订过程的看法与意见。排除无效问卷后采用Excel 2013软件进行数据录入,采用SPSS 19.0软件进行数据分析。结果共发放调查问卷150份,回收问卷107份(71.3%),其中有效问卷90份(60.0%)。关于PVG的知晓度:30.0%的被调查者停留在"仅听说过"的层面,34.4%的被调查者表示"未听说过";且知晓度与学历、部门、专业、地区间均无显著相关性(P>0.05)。关于对PVG本身及其制订过程的看法与意见:86.7%的被调查者认为需要制订PVG;90%的被调查者认为需要参照一定的规范来呈现和报告PVG;45.6%的被调查者认为制订PVG最大的障碍在于认知不足。结论 PVG制订目前在中国正处于起步阶段,国内指南相关专家对其认知度较低,PVG的制订方法也有待进一步探索。未来应积极开展相关研究促进并推广PVG在国内的发展与应用,从而促进临床实践的优化。
