时限性

摘要： 不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻辑方法,包括推理规则和安全性质模型.展示新方法的应用时,使用其分析了ZG和KPB这两个局部逻辑正确性已知的两方不可否认协议,以及YLL这个逻辑正确性尚在讨论的基于区块链的多方不可否认协议.实验显示,对前两个协议的分析结果与既有事实相符,对第三个协议的分析发现其无法为收方提供设计者所宣称的时限性.以上结论从逆向工程角度佐证了扩展ZQZ逻辑方法是一种行之有效的不可否认协议分析新方法.

摘要： 多方不可否认协议需要满足不可否认性、公平性和时限性三大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆盖所有的安全目标分析;同时,对单一安全目标的分析能力有限,分析结果不可靠.首先,综合比较现有的分析技术,选定SVO逻辑进行扩展,显式引入时间因素,给出对应的语法定义和时间演算公理.然后,对改进逻辑的语义模型进行介绍,并证明了逻辑系统的可靠性,使得改进后的逻辑系统支持对多方不可否认协议三大安全目标的分析.最后,选取一个典型的多方不可否认协议,分别对其时限性和公平性进行分析,发现了其中存在的时限性和公平性缺陷,并给出了对应的攻击方法.其中,公平性缺陷是首次被发现.

摘要： 多方不可否认协议有着广泛的应用场景,诸如多方电子支付和视频会议等.在这些应用场景中,各参与方互不信任,有着事后否认曾参与协议的可能,多方不可否认协议便是为解决这一问题而产生的一类密码协议.为实现协议的公平性,现有的多方不可否认协议都依赖于可信第三方TTP的参与,中心化的TTP成为了协议的性能瓶颈,同时,在现实中很难保证TTP的完全可信,给协议带来了潜在的安全威胁.在区块链中,所有的节点通过共识算法共同维护一个公开链结构,提供了类似去中心化TTP的功能,有助于解决由中心化TTP带来的性能和安全问题.本文基于公开链结构,提出一个完全无TTP参与的多方不可否认协议,并用形式化分析方法证明了协议满足不可否认性、公平性和时限性.与经典协议进行对比,所提协议在各项指标中均显示了良好的性能.

摘要： 时限性原则即，表达情绪要选择恰当的时间。如对方正生气时不要表达，以免激怒对方，导致火上浇油的后果；不要等到时过境迁了再表达，这样不但不能引起对方的反省，还会认为你爱记仇。另外，自己正处在火气头上时也不要表达，以免言语过激，节外生枝。

摘要： 目的 制订环节病历时限性专项质控标准,应用于环节病历时限性专项检查中.方法 根据《病历书写基本规范》,应用德尔菲专家咨询法制订环节病历时限性专项质控标准,并根据此项标准,依托信息化平台,应用电子病历质控系统对全院环节病历进行时限性专项检查.结果 最终制订的环节病历时限性专项质控标准包涵4个一级指标和25个二级指标;依据该标准对2017年5月某院1000份环节病历进行时限性专项检查,按时完成的病历数为744份,总体合格率为74.4%,其中,入院记录、手术记录及出院记录的合格率均达到95%以上,而病程记录存在较大的时限性缺陷.结论 制订的环节病历时限性专项质控标准具有较高的科学性和可靠性,可为环节病历质量控制提供科学依据,同时对于提高医院整体病案质量具有重要意义.%Objectives To formulate the special quality control standard of the medical record timeliness, and apply it to the special examination of the timeliness of the medical record.Methods According to the "basic norms of medical records", Delphy used expert consultation method to develop special timeliness link medical records quality control standards, and according to this standard, based on the information platform, the application of electronic medical record quality control system for the timeliness of the special inspection of the link of medical records. Results The final formulation of the timeliness of the special link medical records quality control standard includes 4 first grade indexes and 25 level two indexes; on the basis of the timeliness of the special inspection of the hospital in May 20171000 link medical records were the standard, the number of records completed on time is 744, the overall pass rate was 74.4%, among them, hospital records, surgical records and discharge records of qualified rate reached more than 95%, while the course record exists timeliness defect.Conclusions The special quality control standard of medical record timeliness had high scientific and reliability. It could provide scientific basis for the quality control of medical record link, and it had an important significance for improving the overall quality of hospital medical records.

摘要： 时限性是法律的一个重要特性,西欧法律自其还是习惯法时便带有很强的时限性,从日耳曼人的《萨利克法典》,到封建社会时的庄园法、城市法等,其中无不体现时限性.法律中的时限性不但加强了法律的强制性,还将领主对农奴的权利限制在一定的范围里,使得农奴可以在封建社会中运用法律为自己获得自由争取机会.它是西欧法律制度的一个重要特性,习惯法体系中的这一特性对近现代乃至当代司法审判有着深远影响.

摘要： 由于药品兼具产品专属性、质量重要性、时限性、公益性,并兼具私人物品和公共物品性质,长期以来,药品价格一直是政府价格规制的重点和难点之一。近年来,随着医疗费用和药品负担比例的快速上涨,药品价格虚高、患者药品消费过重、医保开支增速失控、政府降低药价引发大量常用药断供、外资药企全面控制制药产业等问题日益突出,引发了社会各届对药价监管政策的种种议论。2015年5月4日,国家发改委等7部委联合发布

摘要： 保证信息交换中的公平性和安全性是多方不可否认协议的重要任务.文章对基于双重组加密的多方不可否认(DGKMNP)协议进行分析研究,发现其存在不满足时限性的缺陷,并且不能抵抗合谋攻击,针对这些问题提出一种新的改进思路.通过向协议消息中添加时间限制信息和加密身份标识的办法对该协议作出了改进,使用SVO逻辑对其安全性进行形式化分析,结果表明改进后的协议满足时限性和公平性,且协议执行效率高.

摘要： 目的：探讨微创介入引流肝脓肿引流后拔管的时间窗. 方法：对32例肝脓肿住院患者,利用DSA机定位下行肝脓肿穿刺引流,抽吸脓液、冲洗脓腔,并停留肝外引流管作持续冲洗及引流. 结果：首次清除脓液量约90％,并平均留置外引流管七天,病人无发热后3天即出院.复查CT提示肝脓肿直径平均缩小53％。 结论：该治疗方法对肝组织的损伤较小,操作简单,但留置外引流管的时间应该在无发热的3天即取出,以减少住院天数,减少病人的经济负担,并达到治愈的目的。

摘要： 本发明提供一种具有集成释热阱的无时限非能动联合排热系统，在双层混凝的安全壳夹层气空间的中下部设置有集成释热阱，集成释热阱是由耐腐蚀金属板围成的环形水池，安全壳夹层上部气空间的内层安全壳壁面上设置有至少一组的通往安全壳内部气空间的联通管线和单向阀，所述集成释热阱连接有安全壳快速泄压系统、自动泄压系统、非能动余热排出系统、非能动低压安注系统、非能动堆腔注水系统、过滤排放系统，本发明用以简化核电厂反应堆系统布置、缩小安全壳体积、为安全壳提供无时限的热量导出，最终为提高先进核动力电厂的经济性和非能动安全性提供可行方案。

摘要： 本发明提供了一种具有时限除错模式的装置及其时限除错方法，该装置包括除错接口、计数器及除错启用电路。除错启用电路被配置成接收除错启用输入，且回应除错启用输入，启用除错接口及启动计数器。计数器被配置成在从计数器被启动的时间的预定持续时间之后，输出其输出信号，导致除错接口变成禁用。其他实施例也被描述。

摘要： 本发明涉及轨道交通，公开了一种基于移动闭塞的重载铁路临时限速方法及临时限速服务器，该方法包括：从调度集中控制设备接收第一临时限速信息；发送所述第一临时限速信息至无线闭塞中心；当在第一预定时间内从所述无线闭塞中心接收生效的临时限速信息时，判断所述第一临时限速信息与所述生效的临时限速信息是否一致；在所述第一临时限速信息与所述生效的临时限速信息一致时，存储所述第一临时限速信息，并发送指令使所述无线闭塞中心使用所述生效的临时限速信息对重载列车进行限速。本发明实现了临时限速的动态设置、取消以及校核，减轻操作人员压力的同时将人为操作可能带来的潜在风险降至最低，提高了系统的安全性。

摘要： 本发明提供一种工单时限提示装置，包括处理模块、数据存储模块、触发信号发生模块、时钟模块、显示模块，处理模块分别与数据存储模块、触发信号发生模块、时钟模块、显示模块相连。处理模块根据时钟模块提供的本地时钟信息和数据存储模块提供的工单的起止时间信息，计算工单结束的时间差信息。触发信号发生模块，用于按照预定时间间隔向处理模块输出触发信号，控制处理模块计算时间差信息；显示模块，用于实时地显示处理模块发送的时间差信息。此外，还提供一种利用上述装置进行时限提示的方法。本发明技术方案就可实时地向操作人员进行时限的监控与提醒，操作人员所掌握的时限信息与本地时间是实时同步的，这就保证了时限监控的准时性和正确性。

摘要： 无线基地系统将向新用户的发送时限由通常的发送时限移动并直接分配到新用户移动终端装置欲进行连接的时隙内最合适的发送时限位置。因此没有必要事先将向该时隙内先连接着的用户的发送时限变窄。

摘要： 本发明公开了一种浮吊系统的定时限过流保护方法及其相关组件，涉及过流保护领域，通过获取浮吊系统的变压器的工作电流和电流频率，然后判断工作电流是否大于预设电流且电流频率是否大于预设频率，若均大于，则触发预设定时限过流保护动作，否则，闭锁预设定时限过流保护动作。由于通过电流和频率共同进行过流保护判断，能够避免将正常工作中可能出现的大电流小频率的情况误判为故障的情况，从而避免在浮吊系统正常工作时误触发定时限过流保护动作的情况，进一步避免货物损坏而造成经济损失。

摘要： 本实用新型公开了一种定时限与反时限微机型过流保护装置，包括微机主体，微机主体下端设置有底座，底座两端设置有夹板，微机主体卡放在夹板之间，夹板上设置有除尘滤网，除尘滤网外侧设置有散热风扇，微机主体与底座之间设置有减震机构，减震机构包括底壳与顶壳，顶壳套装在底壳外侧，底壳下端设置有两个安装脚，安装脚内设置有安装螺孔，顶壳上端设置有连接吸盘，顶壳下端设置有导柱，底壳内设置有导柱插槽，导柱外侧设置有若干个减震弹簧，通过风冷的方式对微机进行风冷冷却操作，提高了散热能力，使得微机保持很好的工作温度，通过下端设置多个减震机构托起微机，减少震动对微机内部电器元件的损伤，值得推广。

摘要： 本发明公开一种ZQZ逻辑扩展方法及其对YLL协议时限性缺陷进行修复的方法，本发明通过向ZQZ逻辑添加时间表达式实现扩展ZQZ逻辑，且本发明在建模与分析时将协议性质按照是否与时间相关做了区别对待，仅在分析时间相关的性质（如时限性）时才涉及到事件发生时间及约束关系的处理，极大地简化了协议分析的复杂度；通过本发明扩展后的ZQZ逻辑还能够分析出现有YLL协议不具有时限性这一缺陷，并再对YLL协议进行修复和优化，本发明能够广泛应用于安全协议分析技术领域。

摘要： 本发明公开一种民航机场站坪停机位时限性动态约束方法，涉及基于约束条件的民航机场航班停机位实时分配、调整及控制技术领域，解决现有技术由于仅使用固定约束而无法高效且灵活地适应动态变化的待分配停机位可用性态势等技术问题。本发明通过时限性动态约束和固定约束的联合处理，以及真假冲突算法和甘特图呈现优化逻辑，实时为客户提供更加精准、合理和安全的停机位分配和管理决策，以期提高停机位资源利用率和站坪安全。

摘要： 本发明公开一种民航机场站坪停机位时限性动态约束方法，涉及基于约束条件的民航机场航班停机位实时分配、调整及控制技术领域，解决现有技术由于仅使用固定约束而无法高效且灵活地适应动态变化的待分配停机位可用性态势等技术问题。本发明通过时限性动态约束和固定约束的联合处理，以及真假冲突算法和甘特图呈现优化逻辑，实时为客户提供更加精准、合理和安全的停机位分配和管理决策，以期提高停机位资源利用率和站坪安全。