教学课程资源库 更多>>

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

摘要： 在高层建筑中，剪力墙体系是种应用十分广泛的结构形式，对于提升建筑整体的抗震性能和承载能力有着非常重要的作用。高层建筑的水平承载作用效应明显，如何在满足使用条件的前提下实现剪力墙体系结构设计的安全性和经济性，是建筑设计人员需要充分考虑的问题。本文结合相应的工程实例，对高层建筑剪力墙体系结构设计的要点进行了分析，具有一定借鉴价值。

关键词： 结构化   电子病历   信息集成  

摘要： 医药卫生体制改革的不断深入,信息化管理和建设被医院越来越重视。电子病历(EMR)是医院病历信息化、现代化管理的必然趋势。我院采用结构化的电子病历,结合本院专业专科特点,实现信息共享,高工作效率,上线使用最新电子病历取得了满意效果。电子病历系统是一套软件系统,主要用于实现病人信息的采集、加工、存储等相关服务,是病人信息的载体,在临床信息学中处于核心地位。 本文对结构化电子病历系统进行了综述,分析了目前医院在使用电子病历系统中存在的问题,并在医院信息化管理背景和项目解决难点的基础上,提出了从未形成电子病历系统到全院信息共享,分析了结构化电子病历系统的总体模块研究、子模块研究,并讨论了各模块、子模块所要完成的功能需求。以基于Oracle后台数据库支持的电子病历为基础,以病人诊疗信息为主线,集成医嘱、门诊、PACS与医技检查、临床路径、检验(LIS)、体温单与护理记录等信息的电子病历系统的实现方法,以电子病历为载体实现了临床信息的整合。在需求分析的基础上,做了全面的调研工作,并在详细研发中对各层的功能进行了研究分析。在各功能细节的设计中,通过图形,表格,文字等形式讨论了系统各部分的功能组成和实现方法、步骤。对于特别重要的模块的描述还写出了使用说明。最后,本文从研发功能出发,对我院上线使用结构化的电子病历系统进行了测试及培训方案,同时我院使用结构化电子病历为我院的医护工作者带来了便利。 结构化的电子病历系统能够适应我院的发展,其功能能够扩展并延伸到医院需要的每个角落。通过本文的设计及研发,该系统的应用为医生提供多角度、广视野、超越纸质病历,掌握病人病情的有效工具,有利于医生对病人的诊断与治疗,提高医护人员工作效率,优化医院工作流程,减少差错发生,促进医疗质量的提高；构建了病历质量实时控制体系,提高了管理效率与质量。

关键词： 视频会议管理系统   J2EE   UML建模  

摘要： 近年来,随着世界经济一体化的发展,企业规模不断扩大,国内企业之间的竞争更是日益激烈,企业对于现代化视频会议管理系统的要求愈发急迫。企业必须借助先进信息技术构建一套规范、健全的视频会议体系,从而提高企业管理效率、降低成本。 本文首先综述了国内外视频会议管理系统现状,针对其业务标准不匹配、安全隐患大、成本高、操作性差以及系统维护性差的问题,提出基于国家制定规范的C/S架构视频会议管理系统。其次,对系统进行需求分析,清晰明白地描述了企业视频会议管理的需求现状,同时,对系统进行了总体设计,从总体上描述了整个系统的架构,并通过UML对系统进行了多层次建模,使结构更加清晰。然后,对系统进行了详细的分析,分别从用户登录、系统管理、会议管理、视频管理和综合设置管理等模块进行了详细设计。最后对系统各个模块的实现进行了规范的系统测试,保证了系统的稳定性。 本文主要基于SQL Server数据库,采用成熟的J2EE技术,设计并实现了视频会议管理系统：为了保证系统安全稳定,符合当代企业业务需求,采用规范的软件测试方法进行了全面的系统测试,实际中的使用证明,该系统有效地提高了工作效率,规范化了业务操作,保障了数据安全与操作安全,并为管理人员提供了强大的统计分析功能,基本实现了模板系统的要求。

关键词： 车辆控制系统   UML建模   动态仿真  

摘要： 文章阐述了车辆控制系统的设计原则,介绍了UML统一建模方法在车辆控制系统设计中的应用案例。整个建模过程从需求分析入手,先归纳出系统的基本功能,然后设计出系统整体构架及控制流程,建立了基于车辆控制系统的可视化模型,并进行动态仿真验证。

关键词： Web服务测试   测试用例表示   测试数据自动测试   单子技术   余代数方法  

摘要： 鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。

关键词： 毕业设计综合管理平台   UML   类图  

摘要： 一个好的管理模式能有效地精简对毕业生的毕业设计进行管理的环节。本文通过UML语言的类图,详细描述了基于B/S架构的毕业设计综合管理平台是如何支持学生、指导教师和系统管理员这三种用户角色的。该管理平台的搭建更便于师生间的及时交流和指导,能方便实时地解决学生在毕业设计中遇到的各种问题,其完善的功能和友好的界面使学生在毕业设计的完成过程中能更加高效、便利,减少毕业设计管理流程中的冗余环节,节约管理工作的人力资源,进而提高毕业设计的管理质量。

关键词： 奖金核算   UML   存储过程   B   S模式  

摘要： 针对当前医院信息管理系统没有科室奖金核算的缺点,结合医院奖金核算复杂性和特殊性的特点,提出应用UML建模技术设计开发的系统解决方案.本文分析面向对象的UML建模技术,从系统开发过程的视角着重介绍了UML建模技术在需求分析和结构设计层次中的应用,提出了医院奖金核算管理系统开发问题的新思路.根据建模的用例图、活动图和序列图描述出系统设计的构架,用类图反映出数据对象的属性和操作.最终实现一个功能完善,性能可靠的医院奖金核算管理系统.

关键词： UML语言   业务流程管理   工作流   用例建模  

摘要： UML作为一种面向对象的可视化的统一建模语言,在软件分析与设计过程中起着非常重要的作用。在系统需求设计方法中,UML中的用例模型已成为获取系统需求的主要技术。以中石化某项目业务流程管理系统为例,详细阐述了业务工作流的用例模型的设计。

关键词： 铁路联锁系统   模型检测   形式化方法   梯形逻辑   NuSMV模型检测  

摘要： 铁路联锁系统设计通常采用梯形逻辑进行建模。为了实现对铁路联锁系统进行形式化验证的目的,根据梯形逻辑的状态变迁语义,将梯形逻辑表示的联锁系统模型转换成模型检测工具NuSMV的语言,并将铁路联锁系统的安全需求表示为计算树逻辑(CTL),最后实现基于NuSMV的铁路联锁系统设计模型的形式化验证。

关键词： BLP模型   安全策略   形式化方法   自动化验证   定理证明   安全操作系统  

摘要： 在《信息安全技术操作系统安全技术要求》中,提出访问验证保护级安全操作系统的研发过程需要完全形式化的安全策略模型。针对该情况,对经典的数据机密性BLP模型进行相应改进,为系统中的主客体引入多级安全标签以及安全迁移规则,使其满足实际系统开发的需求。运用完全形式化的方法对改进模型的状态、不变量、迁移规则等进行描述,使用Isabelle定理证明器证明了迁移规则对模型的不变量保持性,从而实现对模型正确性的自动形式化验证,并保证了模型的可靠性。