教学课程资源库 更多>>

关键词： 构件   维修保障   信息系统   体系结构  

摘要： 针对目前维修保障信息系统体系结构庞大、关系复杂、缺少顶层规划设计的问题,提出采用构件化的思想梳理维修保障信息系统体系。主要探讨了构件化信息系统设计思想、构件化维修保障信息系统体系结构设计思想、维修保障功能构件描述、同类维修保障功能构件之间的关系,并针对网络化维修进行了想定实验,对促进维修维修保障信息系统体系一体化设计具有借鉴意义。

关键词： 自动测试系统   软件平台   体系结构   软件适配器   插件  

摘要： 以中国电子科技集团公司(简称中电)第41研究所自主研制的自动测试系统软件平台TestCenter为例,并结合美国NI公司的自动测试系统软件产品,对自动测试系统软件平台的体系结构和重要组成进行了分析,同时对部分关键技术进行了阐述,从而为自动测试系统软件平台的评估、选型、应用提供技术参考。

关键词： 项目驱动   UML   教学改革  

摘要： 针对"统一建模语言UML"课程教学的特点,本文以项目驱动型教学方法为核心设计了课程结构、课程内容组织,探讨了课程的创新性教学方法、教学手段以及课程实践教学等相关问题,以提高UML课程的教学效果,提高学生应用UML分析、设计软件的能力。

关键词： H-infinity control   interval additive gain variations   linear systems   LMIs   non-fragility   sparse structure  

摘要： This paper presents a study on the problem of designing non-fragile H-infinity controllers with sparse structures for linear continuous-time systems. A new algorithm is proposed to define and further design sparse structured controllers. Firstly, sparse structures are specified from a given fully parameterized H-infinity controller. Then, a three-step design procedure for non-fragile dynamic output feedback H-infinity controllers with the sparse structures is provided. The resulting designs guarantee that the closed-loop system is asymptotically stable and the H-infinity performance from the disturbance to the regulated output is less than a prescribed level. A numerical example is given to illustrate the design methods.

摘要： The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection.

摘要： Have formal methods in computer science come of age? While the contributions to this special issue of Mathematical Structures in Computer Science attest to their importance in the design and analysis of particular software systems, their relevance to the field as a whole is far wider. In recent years, formal methods have become more accessible and easier to use, more directly related to practical problems and more adaptable to imperfect and/or approximate specifications in real-life applications. As a result, they are now a central component of computer-science education and research.

关键词： Spiritual care   Quality of life   Meaning   Ultimate life goals   Palliative care   Contingency   Cancer patients   Spiritual wellbeing   Empowerment  

摘要： Background: It is widely recognized that spiritual care plays an important role in physical and psychosocial well-being of cancer patients, but there is little evidence based research on the effects of spiritual care. We will conduct a randomized controlled trial on spiritual care using a brief structured interview scheme supported by an e-application. The aim is to examine whether an assisted reflection on life events and ultimate life goals can improve quality of life of cancer patients. Methods/Design: Based on the findings of our previous research, we have developed a brief interview model that allows spiritual counsellors to explore, explicate and discuss life events and ultimate life goals with cancer patients. To support the interview, we created an e-application for a PC or tablet. To examine whether this assisted reflection improves quality of life we will conduct a randomized trial. Patients with advanced cancer not amenable to curative treatment options will be randomized to either the intervention or the control group. The intervention group will have two consultations with a spiritual counsellor using the interview scheme supported by the e-application. The control group will receive care as usual. At baseline and one and three months after randomization all patients fill out questionnaires regarding quality of life, spiritual wellbeing, empowerment, satisfaction with life, anxiety and depression and health care consumption. Discussion: Having insight into one's ultimate life goals may help integrating a life event such as cancer into one's life story. This is the first randomized controlled trial to evaluate the role of an assisted structured reflection on ultimate life goals to improve patients' quality of life and spiritual well being. The intervention is brief and based on concepts and skills that spiritual counsellors are familiar with, it can be easily implemented in routine patient care and incorporated in guidelines on spiritual care.

关键词： 商业智能   企业决策   信息时代   BI   数据仓库   企业运营成本   体系结构设计   综合管理系统   信息系统   数  

摘要： 商业智能可以为企业决策和提高竞争力提供有力支持。本文分七个部分,首先介绍了商业智能的时代背景和涵义,然后分析了商业智能的功能结构,以及开发流程及核心技术及BI应用的关键环节,最后分析了商业智能的应用前景。

关键词： 机载软件   DO-178C   基于模型软件开发   形式化方法  

摘要： 在航空器领域,机载设备软件的规模越来越大,结构和功能也越来越复杂。本文对机载设备软件取证指南文件DO-178B,及其最新版本DO-178C进行了比较,介绍并分析DO-178C对机载设备软件研发过程中的新技术的考虑,对于研发过程中采用这些新技术的机载设备软件的研制和取证,具有重要意义。

关键词： 高层建筑   剪力墙体系   结构   设计  

摘要： 住房是现代人幸福生活的宠儿,而建筑工程质量是否合格直接影响着人类的生命安全。因此,建筑行业肩负重任。特别是高层建筑的剪力墙体系结构的设计尤为重要,它决定着建筑工程施工的成功与否。