教学课程资源库 更多>>

关键词： 安全协议   安全性分析   形式化方法   网络安全  

摘要： 协议安全是确保网络数据安全的基础。传统的基于观察的人工分析协议安全性分析已不能满足安全需求。如何研究安全协议及安全属性的性质,使两者在统一框架下实现可分析和验证是亟待解决的问题,形式化分析为解决这一问题提供了精确的数学手段和强大的分析工具。对已有的安全协议形式化分析方法进行了归纳和总结,并从等价验证、协议优化和增强分析准确度三方面提出了未来的研究设想。

关键词： Research Article  

摘要： Background Randomized controlled trials (RCTs) are important sources of information on the benefits and harms patients may expect from treatment options. The aim of this structured literature review by the German Institute for Quality and Efficiency in Health Care was to explore whether and how the end-of-life (EoL) situation of patients with advanced cancer is considered in RCTs investigating anti-cancer treatments. Methods Our journal pool comprised 19 medical journals, namely five preselected key general medical journals as well as 14 specialist journals (mainly cancer) identified via a scoping search. We systematically searched these journals in MEDLINE to identify RCTs investigating anticancer treatments for the following four cancer types: glioblastoma, lung cancer (stage IIIb-IV), malignant melanoma (stage IV), and pancreatic cancer (search via OVID;November 2012). We selected a representative sample of 100 publications, that is, the 25 most recent publications for each cancer type. EoL was defined as a life expectancy of <= two years. We assessed the information provided on (1) the descriptions of the terminal stage of the disease, (2) the therapeutic goal (i.e. the intended therapeutic benefit of the intervention studied), (3) the study endpoints assessed, (4) the authors' concluding appraisal of the intervention's effects, and (5) the terminology referring to the patients' EoL situation. Results Median survival was <= one year for each of the four cancer types. Descriptions of the terminal stage of the disease were ambiguous or lacking in 29/100 publications. One or more therapeutic goals were mentioned in 51/100 publications;these goals were patient-relevant in 38 publications (survival alone: 30/38;health-related quality of life (HRQoL) or HRQoL and survival: 6/38;symptom control or symptom control and survival: 2/38). Primary end-points included survival (50%), surrogates (44%), and safety (3%). Patient-reported outcomes (PROs) were assessed in 36/100 R

关键词： Integrated plant/controller design   Gain-scheduling   Robust self-scheduling   Flight control system   Optimization   Structured H-infinity design  

摘要： This paper presents a new procedure for the integrated plant and flight control system design in the presence of parametric uncertainties. The proposed approach is based on a design procedure consisting in casting gain-scheduling and robustness requirements into the framework of structured H-infinity design. As both controller architecture and gain-scheduling structure are defined a priori, the scheduled gains can be tuned by the newly available MATLAB-based tool systune to minimize H-infinity constraints related to performance requirements over both operating and uncertain domains. It is shown that this technique allows for optimization and adjustment of plant's physical parameters while satisfying closed-loop performance requirements. The proposed procedure is applied to the F-16 Fighting Falcon flight control system design under mass and center of gravity uncertainties by adjusting the location of an additional accelerometer to optimize the closed-loop performance while minimizing the horizontal tail area. Numerical studies are carried out to evaluate the effectiveness of the proposed approach. (C) 2015 Elsevier Masson SAS. All rights reserved.

关键词： CONFERENCES & conventions   COMPUTER programming   GRAPH theory   FORMAL methods (Computer science)   INDUSTRIAL costs  

关键词： 结构化   产科门诊电子病历  

摘要： 随着医院信息化建设的不断完善，住院电子病历和普通门诊电子病历已被广泛应用。但在产科这一专科领域的结构化门诊电子病历的研究和应用还存在空白。为提高产科门诊专科病历的信息化水平，我们建立了一个内容全面、结构科学、应用方便、资源共享且有利于资料累积和研究的结构化产科门诊专科电子病历管理信息系统，本文详细介绍了该系统的设计和主要特点。

关键词： 面向对象   软件测试   方法   分析  

摘要： 近年来,随着各种软件应用的增多,软件开发发展的越来越迅速,由此,使得软件测试受到人们广泛的重视。在传统的软件测试中,通常由程序员来自行完成。在软件开发技术发展的过程中,软件开发开始应用面向对象法,虽然这种方法带来了很大的便利,但是对于软件测试工作来说,难度也增大了许多,因此,本文介绍了面向对象的软件测试模型,同时分析了面向对象的软件测试方法。

关键词： 装备技术体系结构   体系结构设计   视图产品  

摘要： 装备技术体系结构设计是装备体系结构研究的重要组成部分,国内外对装备技术体系结构设计研究不够深入,缺乏对装备技术体系结构视图的设计与描述研究,借鉴美军Do DAF、英军Mo DAF等国外成熟的体系结构设计方法,以及我国装备体系结构研究成果,分析得出装备技术体系结构的概念与构建要素,对装备技术体系结构视图进行设计研究,给出了7个装备技术体系结构视图产品,相应研究能够为我军装备技术体系结构设计提供理论和方法支撑。

关键词： AADL   可靠性模型   IMC模型转换   形式化方法  

摘要： 随着嵌入式软件在安全关键领域广泛应用,系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显重要。结构分析设计语言AADL是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。由于AADL是一种半形式化模型,需要精确描述其语义才能进行定量分析。提出一种基于AADL的系统可靠性建模方法。首先,结合AADL模型和AADL错误模型附件,得到AADL可靠性模型;然后,提出一种模型转换方法,将AADL可靠性模型的基本元素和错误传播等特殊元素转换到交互式马尔科夫链模型IMC,进行可靠性定量分析;最后,结合法国空中交通控制系统的实例,证明该方法的可行性和有效性。

关键词： 行政服务中心   标准体系   结构设计  

摘要： 文章通过对不同类型标准体系结构和功能的对照,结合福建省行政服务中心标准体系结构在不同时期的变化及比较,基于戴明环理论提出科学构建福建省行政服务中心标准体系结构的探讨。

关键词： 高速列车   列车追踪   Event-B方法   形式化方法   交通仿真   建模  

摘要： 针对铁路移动闭塞系统中高速列车间隔动态实时变化的特征,结合Agent理论对Event-B方法中Machine动态属性进行改进,提出一种基于Event-B建模方法的高速列车追踪运行模型。给出高速列车追踪运行形式化控制策略,研究运行过程中速度变化关系、不同发车间隔时间对高速铁路运营的影响,得到相应的定量与定性分析。仿真结果表明,该模型能够准确描述高速列车追踪运行机理,有助于列车间隔动态控制,具有较强的适用性。