Through analyzing the cases of Xiao Zhijun and the Yulin maternal jumping incident,the authors found significant disputes between the requests for non-indicated cesarean section and medical risk prevention,as well as ...Through analyzing the cases of Xiao Zhijun and the Yulin maternal jumping incident,the authors found significant disputes between the requests for non-indicated cesarean section and medical risk prevention,as well as between the psychology of avoiding childbirth pain and surgical responsibility.Currently,based on people’s current awareness and the responsibility orientation of expert opinions in disputes,medical institutions tend to satisfy family members’surgical requirements after fulfilling their obligation to fully inform about risks,to reduce the risk of losing disputes.This phenomenon actually reflects the contradiction between the demands of patients’families and the responsibilities of medical staff in medical decision-making.To balance the responsibilities of medical staff and the demands of patients’families,the authors believe that multiple governance paths need to be constructed:first,optimizing the level of medical staff’s communication;second,strengthening medical risk science popularization relying on modern information technology to improve patients’risk cognition ability;and third,raising society’s correct understanding of cesarean section through multiple channels.These measures can help to enhance patients’trust in hospital diagnosis and treatment results and promote harmonious development of doctor-patient relationships.展开更多
Demand response has been intensively studied in recent years. It can motivate customers to change their consumption patterns according to the dynamic(time-varying) electricity price, which is considered to be the most...Demand response has been intensively studied in recent years. It can motivate customers to change their consumption patterns according to the dynamic(time-varying) electricity price, which is considered to be the most cost-effective and reliable solution for smoothing the demand curve. However, many existing schemes, based on users' demand request in each period, require users to consume their requested electricity exactly, which sometimes causes inconvenience and losses to the utility, because customers cannot always be able to consume the accurate electricity demand due to various personal reasons. In this paper, we tackle this problem in a novel approach. Instead of charging after consumption, we adopt the prepayment mechanism to implement power request. Furthermore, we propose a trading market running by the control center to cope with the users' dynamic demand. It is noteworthy that both users' original demand and trading records are protected against potential adversaries including the curious control center. Through the numerical simulation, we demonstrate that our scheme is highly efficient in both computation and communication.展开更多
物联网(Internet of Things,IoT)对广域通信提出了高效、可靠、低功耗的要求,因此窄带物联网(Narrow Band Internet of Things,NB-IoT)技术应运而生,其通过优化网络升级和降低成本,实现了广泛分布式的设备连接。可靠数据报协议(Reliable...物联网(Internet of Things,IoT)对广域通信提出了高效、可靠、低功耗的要求,因此窄带物联网(Narrow Band Internet of Things,NB-IoT)技术应运而生,其通过优化网络升级和降低成本,实现了广泛分布式的设备连接。可靠数据报协议(Reliable User Datagram Protocol,RUDP)对传统UDP进行增强,旨在提供低延迟通信和可靠保证,其中快速可靠传输协议(KCP)因其轻量和灵活被广泛采用。为满足窄带物联网在分布式复杂场景下的传输需求,本文优化了KCP传输逻辑,设计发布-订阅、请求-响应两种模式满足应用层需求,并引入了心跳检测和选举机制,以提升系统的稳定性和容错性。展开更多
针对基于控制器局域网络(controller area network,CAN)总线J1939协议的请求响应类报文传统开发方式配置参数复杂、软件升级适应性差的问题,结合请求响应类报文不同协议数据单元(protocal data unit,PDU)格式、参数组编号(parameter gro...针对基于控制器局域网络(controller area network,CAN)总线J1939协议的请求响应类报文传统开发方式配置参数复杂、软件升级适应性差的问题,结合请求响应类报文不同协议数据单元(protocal data unit,PDU)格式、参数组编号(parameter group number,PGN)请求报文传输方式对应的数据响应及传输协议连接管理下广播公告消息(broadcast announce message,BAM)、请求发送(request to send,RTS)报文、准备发送(clear to send,CTS)报文、消息结束应答(end of message acknowledgment,EMA)报文与放弃连接(connection abort,CA)报文5种报文格式的组成与属性,优化报文数据处理流程,采用PDU1格式下特定请求报文特定单包响应、PDU2格式下特定请求报文全局单包响应、PDU1格式下特定请求连接模式下的请求发送报文多包响应、PDU2格式下全局请求广播公告消息报文多包响应4种数据传输类型进行验证。结果表明:请求响应类报文开发采用优化后的数据传输流程,报文数据配置更灵活,标定参数减少,升级流程简化,PGN请求报文识别灵活,自适应响应能力提高。展开更多
Security protocol is specified as the procedure of challenge-response, which uses applied cryptography to confirm the existence of other principals and fulfill some data negotiation such as session keys. Most of the e...Security protocol is specified as the procedure of challenge-response, which uses applied cryptography to confirm the existence of other principals and fulfill some data negotiation such as session keys. Most of the existing analysis methods, which either adopt theorem proving techniques such as state exploration or logic reasoning techniques such as authentication logic, face the conflicts between analysis power and operability. To solve the problem, a new efficient method is proposed that provides SSM semantics-based definition of secrecy and authentication goals and applies authentication logic as fundamental analysis techniques, in which secrecy analysis is split into two parts： Explicit-lnformaUon-Leakage and Implicit-Information-Leakage, and correspondence analysis is concluded as the analysis of the existence relationship of Strands and the agreement of Strand pa- rameters. This new method owns both the power of the Strand Space Model and concision of authentication logic.展开更多
团队是动态不可预测性环境下协作问题求解的有效方式,联合意图是团队联合求解的关键.因此,主体在团队活动中如何采用言语动作形成、维护、解除联合意图,是一个值得研究的重要问题.旨在设计一种基于主体通信语言FIPA(foundation for inte...团队是动态不可预测性环境下协作问题求解的有效方式,联合意图是团队联合求解的关键.因此,主体在团队活动中如何采用言语动作形成、维护、解除联合意图,是一个值得研究的重要问题.旨在设计一种基于主体通信语言FIPA(foundation for intelligent physical Agent) ACL(Agent communication language)的多主体团队交互协议.首先,分析了现有FIPA ACL支持团队联合求解的充分性问题.在概念上明确区分了联合请求与委托请求,指出委托请求言语动作不能充分支持团队协作.并扩展定义了联合请求,讨论了相关定理.然后,基于联合请求动作,提出一种主体团队交互协议,并给出了协议的形式化语义,最后讨论了协议的实际应用.区别于现有的基本动作请求协议、合同网协议以及拍卖协议,团队交互协议描述了另一类主体交互模式,对主体交互模块的设计具有指导意义.展开更多
文摘Through analyzing the cases of Xiao Zhijun and the Yulin maternal jumping incident,the authors found significant disputes between the requests for non-indicated cesarean section and medical risk prevention,as well as between the psychology of avoiding childbirth pain and surgical responsibility.Currently,based on people’s current awareness and the responsibility orientation of expert opinions in disputes,medical institutions tend to satisfy family members’surgical requirements after fulfilling their obligation to fully inform about risks,to reduce the risk of losing disputes.This phenomenon actually reflects the contradiction between the demands of patients’families and the responsibilities of medical staff in medical decision-making.To balance the responsibilities of medical staff and the demands of patients’families,the authors believe that multiple governance paths need to be constructed:first,optimizing the level of medical staff’s communication;second,strengthening medical risk science popularization relying on modern information technology to improve patients’risk cognition ability;and third,raising society’s correct understanding of cesarean section through multiple channels.These measures can help to enhance patients’trust in hospital diagnosis and treatment results and promote harmonious development of doctor-patient relationships.
基金supported by the National Key Research and Development Plan of China under Grant No.2016YFB0800301the Fund of Science and Technology on Communication Networks Laboratory under Grant No.KX162600024Youth Innovation Promotion Association CAS under Grant No.2016394
文摘Demand response has been intensively studied in recent years. It can motivate customers to change their consumption patterns according to the dynamic(time-varying) electricity price, which is considered to be the most cost-effective and reliable solution for smoothing the demand curve. However, many existing schemes, based on users' demand request in each period, require users to consume their requested electricity exactly, which sometimes causes inconvenience and losses to the utility, because customers cannot always be able to consume the accurate electricity demand due to various personal reasons. In this paper, we tackle this problem in a novel approach. Instead of charging after consumption, we adopt the prepayment mechanism to implement power request. Furthermore, we propose a trading market running by the control center to cope with the users' dynamic demand. It is noteworthy that both users' original demand and trading records are protected against potential adversaries including the curious control center. Through the numerical simulation, we demonstrate that our scheme is highly efficient in both computation and communication.
文摘物联网(Internet of Things,IoT)对广域通信提出了高效、可靠、低功耗的要求,因此窄带物联网(Narrow Band Internet of Things,NB-IoT)技术应运而生,其通过优化网络升级和降低成本,实现了广泛分布式的设备连接。可靠数据报协议(Reliable User Datagram Protocol,RUDP)对传统UDP进行增强,旨在提供低延迟通信和可靠保证,其中快速可靠传输协议(KCP)因其轻量和灵活被广泛采用。为满足窄带物联网在分布式复杂场景下的传输需求,本文优化了KCP传输逻辑,设计发布-订阅、请求-响应两种模式满足应用层需求,并引入了心跳检测和选举机制,以提升系统的稳定性和容错性。
文摘针对基于控制器局域网络(controller area network,CAN)总线J1939协议的请求响应类报文传统开发方式配置参数复杂、软件升级适应性差的问题,结合请求响应类报文不同协议数据单元(protocal data unit,PDU)格式、参数组编号(parameter group number,PGN)请求报文传输方式对应的数据响应及传输协议连接管理下广播公告消息(broadcast announce message,BAM)、请求发送(request to send,RTS)报文、准备发送(clear to send,CTS)报文、消息结束应答(end of message acknowledgment,EMA)报文与放弃连接(connection abort,CA)报文5种报文格式的组成与属性,优化报文数据处理流程,采用PDU1格式下特定请求报文特定单包响应、PDU2格式下特定请求报文全局单包响应、PDU1格式下特定请求连接模式下的请求发送报文多包响应、PDU2格式下全局请求广播公告消息报文多包响应4种数据传输类型进行验证。结果表明:请求响应类报文开发采用优化后的数据传输流程,报文数据配置更灵活,标定参数减少,升级流程简化,PGN请求报文识别灵活,自适应响应能力提高。
基金National Natural Science Foundation of China (Grant Nos. 90412014 and 90604004)Jiangsu Provincial Key Laboratory of Network and Information Security (Grant No. BM2003201)Jiangsu Provincial High-Tech Research Program (Grant No. BG2004036)
文摘Security protocol is specified as the procedure of challenge-response, which uses applied cryptography to confirm the existence of other principals and fulfill some data negotiation such as session keys. Most of the existing analysis methods, which either adopt theorem proving techniques such as state exploration or logic reasoning techniques such as authentication logic, face the conflicts between analysis power and operability. To solve the problem, a new efficient method is proposed that provides SSM semantics-based definition of secrecy and authentication goals and applies authentication logic as fundamental analysis techniques, in which secrecy analysis is split into two parts： Explicit-lnformaUon-Leakage and Implicit-Information-Leakage, and correspondence analysis is concluded as the analysis of the existence relationship of Strands and the agreement of Strand pa- rameters. This new method owns both the power of the Strand Space Model and concision of authentication logic.
文摘团队是动态不可预测性环境下协作问题求解的有效方式,联合意图是团队联合求解的关键.因此,主体在团队活动中如何采用言语动作形成、维护、解除联合意图,是一个值得研究的重要问题.旨在设计一种基于主体通信语言FIPA(foundation for intelligent physical Agent) ACL(Agent communication language)的多主体团队交互协议.首先,分析了现有FIPA ACL支持团队联合求解的充分性问题.在概念上明确区分了联合请求与委托请求,指出委托请求言语动作不能充分支持团队协作.并扩展定义了联合请求,讨论了相关定理.然后,基于联合请求动作,提出一种主体团队交互协议,并给出了协议的形式化语义,最后讨论了协议的实际应用.区别于现有的基本动作请求协议、合同网协议以及拍卖协议,团队交互协议描述了另一类主体交互模式,对主体交互模块的设计具有指导意义.
