教学课程资源库 更多>>

关键词： 计算机网络   协议分析   Event-B方法   数据传输  

摘要： 随着信息技术的发展，计算机网络正以惊人的速度向各个领域渗透，它帮助人们可以在虚拟世界里从事越来越多的复杂活动。然而，网络在为人们提供便捷生活的同时，其带来的安全问题也越来越突出。网络协议作为一种规范，在确保网络安全环境的同时，还在不同的层面细致地规定了参与者之间的行为，同时定义了交互过程中数据传输的类型和格式。因此，如何保证网络协议在遭受攻击时仍然可以安全、正确的运行，一直都是很大的挑战。针对这一问题，研究者们提出了利用形式化方法来对协议进行分析，并逐渐划分为三种类别:形式化逻辑方法、模型检测方法和定理证明方法。但遗憾的是目前的研究工作大都集中于前两者。　　基于此，本文采用了一种基于定理证明的形式化方法，完成了对数据链路层传输协议以及Needham-Schroeder认证协议的形式化分析，同时在Rodin系统中完成了相关的模型与实验。　　本文所作的工作主要体现在以下几个方面:　　(1)利用Event-B方法对数据链路层的滑动窗口传输协议完成了分析;本文从一个理想信道上运行的滑动窗口协议开始，利用Event-B实现其模型并通过一系列的证明保证了协议目标的正确可达;随后在此基础上，引入了错误处理及重传机制，完成了在有噪信道中传输的滑动窗口协议的分析;(2)利用Event-B方法对网络安全领域著名的Needham-Schroeder协议及其修正的安全性完成了分析;本文首先完成了朴素的Needham-Schroeder协议的分析，验证了其可以达成预期的认证目标;接着针对其在重放攻击下失效的缺陷，对一种修改进行了形式化的分析，证明了即使在重放攻击下，协议预期的认证目标仍然能够达成。

关键词： 金融业   信贷业务   C/S设计模式   UML建模   关系数据库设计  

摘要： 伴随着我国改革开放的进一步深入开展,我国的农村经济取得了飞速发展,山东省农信社信贷业务的发展也取得了长足的发展。旧的农信社信贷管理系统已经很难适应当前农村经济的快速发展。为了使农信社信贷管理业务更好地为农村经济的发展保驾护航,急需对现有的农信社信贷管理系统进行改造。计算机信息处理技术和网络技术的发展,为金融业的发展提供了有力的支持,信息技术已经能够使人们从繁杂的数据处理中解放出来,可以借助信息技术更加高效合理地去管理信贷业务。 山东省农信社信贷管理系统在设计和实现时用到了多种计算机技术和网络技术,其中包括UML建模技术、关系数据库技术、基于.Net Framewrok4.0平台的C#编程、基于openssl协议的网络通信加密等技术。在进行需求分析和设计阶段,用到了微软的visio2007建模工具对系统进行了UML建模。在实现阶段用到了C#编程技术和关系数据库技术以及基于TCP/IP协议的网络通信技术和基于openssl协议的加密技术。 通过对系统的需求分析、概要设计、详细设计和编程,系统终于实现了山东省农信社信贷业务各个模块的功能,包括客户信息管理、贷款审批管理、贷款发放与收回管理、贷后管理、查询分析和资料维护。系统基本管理实现了登记客户、登记客户关联人、信贷业务。客户信息管理实现了客户基本信息、黑名单、客户共同的管理,个人、机构贷款卡入库。贷款审批实现了贷款申请,调查,审查,审议,审定和审批。贷款发放与回收管理实现了业务贷款、保证人、抵押物、质押物、收费、贷款展期和贷款收回的管理。贷后管理实现了诉讼管理、贷后检查、抵债资产管理、催收单的打印、贷款催收回执登记。查询分析实现了业务流水账、科目汇总、贷款审批明细、已审批未发放贷款统计、汇总统计的查询。资料维护实现了凭证管理、修改证件号码、客户经理、客户类型、客户所属机构的调整。 本系统的运行将会大大提高山东省农信社信贷管理工作人员的工作效率,将会使信用社对客户信息及信贷业务信息的管理更为安全便捷,从而推动山东省农信社信贷业务的快速发展。

关键词： J2EE   信息管理系统   UML建模  

摘要： 近年来,随着经济全球化的发展和计算机技术迅猛地发展,计算机深入到我们学习和生活中的方方面面,成为必不可少的辅助工具。然而随着企业逐步向大型化,规模化发展,对于企业有关的文档和档案会急剧增加。在这种情况下单靠人工来处理这些文档不但显得力不从心,而且极容易出错。三这种情况下建立企业信息文档管理系统,实现档案管理电子化已经成为企业信息文档管理的方向,也是提升档案工作层次、最大限度地激活档案信息资源的必然要求。它将有助于管理人员从繁琐的管理工作中解脱出来,使管理系统化、条哩化,能迅速的获得有用的信息。本文首先阐述了信息文档管理系统的研究背景,分析所构建系统自身的特点,总结出了设计一个信息文档管理系统的业务需求。在需求分析的基础上构建出了该系统的所要达到的目标,描述了各个功能及数据库的设计。通过面向对象的技术将功能划分为系统参数设置模块、用户管理功能模块、借阅管理功能模块、文管理模块、案卷管理功能模块以及数据管理功能模块,在业务需求的基础上采用以J2EE为技术架构的B/S开发模式,最后利用各种开发技术实现了系统。

关键词： 电信企业   大客户业务   商机管理   信息系统   UML建模   软件开发  

摘要： 本论文重点阐述了云南电信大客户商机管理系统云南电信政企客户商机管理系统的分析与设计。　　随着全业务经营时代的到来，大客户已成为各大运营商相互争夺的焦点。大客户的服务工作将紧密围绕企业转型战略，从整体服务链为视图，以客户感知和客户关怀为切入点，不断提高客户满意度，建立服务比较优势，保持通信行业领先地位。　　近几年，云南电信逐步建立了“面向客户”的运维支撑体系，特别是大客户，专门成立了大客户支撑中心，优化了政企服务支撑流程，然而目前对大客户业务全流程支撑在IT系统建设方面比较分散，前后端业务不能贯通，数据也较分散，不能够对大客户业务做到精确化管理的要求，故建立一套对大客户业务全流程支撑的系统显得尤为重要。　　为实现云南电信大客户商机管理系统，而采用相关的体系结构与技术路线，实现云南电信大客户商机管理系统的建设目标，为云南电信大客户或特定的个人客户提供销售过程或销售支持的管理，业务流程贯穿大客户业务的整个生命周期，实现大客户业务的售前、售中、售后的相关业务处理。建立全省大客户业务支撑集中信息平台，实现省、市、县政企销售过程管控的三级联动与管控。

关键词： 面向对象   UML建模   酒店管理   管理信息系统  

摘要： 旅游酒店行业传统的经营管理方式已经不能适应现代化市场经济发展的需要,管理过程中日常数据传送慢,错误率高,效率低,难以及时提供准确完整的数据给酒店管理者,大大影响了酒店的经济效益。计算机信息处理技术在各行业的渗透,带来了管理方式的改变,极大地提高了经营管理效率,同样给旅游酒店行业的发展带来新的发展机遇。旅游酒店管理行业信息管理系统软件大部分是从国外引进的,其软件运行已经经过改进和创新,功能非常全面,但一方面,其操作语言是英语,加之价格不菲,在我国普及有一定难度,另一方面我国酒店管理模式和方法与西方国家有很大差异,这样在具体操作和维护,二次开发方便存在很大困难;国内开发的酒店管理信息系统软件,大部分是专业设计人员而不是酒店人员参与开发设计,对于酒店管理的内部条例、管理和细节部分处理不到位,也不适合酒店实际管理需要。该系统具有以下特性:系统采用三层数据架构设计,即数据层、业务规则层以及界面层,这种设计方式的好处是便欲系统日后的功能扩展和日常系统维护。数据库采用SQLServer2008,SQL Server 2008相对于SQL Server 2000功能更加强大,性能更加稳。该系统可实现对云南福来酒店的预定管理、接待管理、结账管理、问询管理、夜审管理、财务管理、客房中心管理、商房中心管理和系统管理的9项管理功能。经过试运行,证明能够满足对云南福来酒店包括前台客服管理到后台数据维护的一切需求,使云南福来酒店的管理效率大为提高。限于本人的技术水平,以及投入系统开发的财力等主客观因素的限制,系统很多重要的功能模块如酒店管理系统与电子商务的集成等等还有待今后予以扩充。该系统的开发现在只是起到抛砖引玉的效果,相信今后随着信息技术的进步,更新、更优秀的酒店管理软件会辈出,从而使云南福来酒店的日常管理工作的效率更上一层楼。

关键词： 项目管理系统   项目分包   UML建模   MVC结构   设计模式  

摘要： 沈阳区管中心是国内民航系统七大区域管制中心之一,该项目已列入民航局空管系统“十一五”规划中,是民航“十一五”重点工程项目之一。拟建的沈阳区管中心项目建成后将对沈阳、哈尔滨、大连和海拉尔四个高空管制区兼中低空管制区,以及长春、大连两个进近管制区进行整合,实现统一管理。因此,急需一个能够管理该工程项目管理系统。 本文设计和实现的区域管制中心项目管理系统,是专门针对空管的特点而开发设计的,该软件选择了C/S模式,开发语言选择了C++.NET,数据库选择了Microsoft SQL Server2012,最终的程序运行在Windows平台下。针对该系统的特点和研究现状,基于已有的研究成果,该项目课题解决的问题如下：提高了对资产、资料、项目风险等的管理效率,建立了资料电子管理平台,给项目负责人作出合理的决策提供理论指导,这个系统根据数据采集技术,建立资料项目管理系统；通过现有技术来开发这个系统,能够满足用户的多样化需求；系统包含了多个功能模块,具有很高的集成性。 在系统实现过程中严格遵守沈阳区域管制中心的编码规范、开发流程,充分运用面向对象的设计思想和MVC等设计模式；充分发挥了.NET开发平台为开发者提供的设计、编码和测试工具。文中最终实现的系统已经实际用于区域管制中心项目的管理上,达到了预期的项目要求。

关键词： 建筑板柱结构   体系结构设计   SLAB程序  

摘要： 本文介绍了建筑板柱结构体系的内容和应用，阐述了建筑设计中板柱体系的设计。并对SLAB程序上关于柱上板带宽度的取值进行了科学合理的探究，给建筑板柱结构体系结构设计新探带来了积极的指导意义。

关键词： 软件安全性   形式化方法   交互式定理证明   Coq  

摘要： 随着软件开发技术的不断发展和演变，软件的发展已日趋于精细化和智能化。但是，软件安全问题仍是困扰软件开发人员的关键问题。人们对软件安全的要求逐步提高，高可信软件越来越受到亲睐。如何保证软件系统的安全，已经成为一个迫切需要解决的问题。使用传统的软件测试方法对软件进行测试时，所测试软件总是存在错误或漏洞，无法保证软件的绝对安全性。近年来，用形式化方法在软件开发过程中进行严格推理是提高软件安全性的有效途径。在众多的形式化方法中，从构造程序形式证明的角度来支持代码安全性的研究引起了广泛关注。 本文针对数组越界、空指针引用和缓冲区溢出三类威胁软件安全的不规范操作，提出了一种基于Coq的验证上述三类操作的形式化方法和证明系统。首先编写三类安全问题的程序实例，并采用形式化方法进行标注；其次运用Frama-C和Why工具对标注程序进行解析，生成需要证明的定理；最后基于Coq集成开发环境证明定理，实现安全问题的验证。结果表明，本文提出的方法有效验证了软件安全中的三类问题，为形式化方法在软件安全性验证方面的应用奠定了基础。

关键词： Unified Modeling Language  

摘要： There is a problem that it is difficult to express and understand the PQKD (Parallel Quantum Key Distribution) processes with quantum entanglement states for its novelty and complexity. To solve this problem, the control idea is adopted to model the PQKD system for the design of the corresponding PQKD schemes using the tool of UML (Unified Modeling Language). The results of demon animations by the UML models show that the dynamic processes of PQKD with entangled states can be illustrated more clearly and intuitively than before, while the PQKD control system remains the advantage of unconditional security. These models are important to develop large-capacity long-distance PQKD. © Wu et al.

关键词： 培训课程管理系统   UML建模   学员评价   员工考核  

摘要： 随着计算机技术的快速发展,企业对信息化人才的需求越来越大,另一方面,学校对人才的培养模式不能完全满足企业的实际需求,在这种环境下,诞生了很多计算机类培训机构。杭州欧鹏科技有限公司就是一家IT培训机构,虽然公司拥有良好的软硬件环境和师资团队,培训的课程也很丰富,但是在培训过程中也遇到了一些问题,比如工作效率低下,学员与讲师互动性较差,对学员学习效果的考察以及对培训教师的考核等等,为了完善公司的培训管理工作,提高培训质量,本文提出了杭州欧朋计算机类培训课程管理系统。 本文首先介绍了杭州欧朋科技有限公司的背景和现状,从国内外对建立计算机类培训课程管理系统所需要解决的问题及方法进行了分析与研究,并且讨论了系统研究的目的和意义。接着,简要介绍了计算机类培训课程管理系统分析与设计的方法,包括使用面向对象方法和数据库技术。然后针对计算机类培训课程管理系统进行了具体的需求分析和总体目标的确立,分别对课程发布、学生选课、小组汇报、项目评价、问卷调查和教学质量评价6个子系统进行了详细的需求分析,包括业务需求、功能需求、数据需求和非功能需求,给出了每个子系统的活动图、用例图和用例描述。根据分析,对系统进行总体设计以及课程发布、调查管理和项目评价3个重点功能模块的详细设计,给出了模块设计的功能结构图、类图和动态流程图,并对界面进行了详细的设计。最后本文总结了已取得的研究成果,特别是分析了有待解决的问题,指出进一步的研究方向。