教学课程资源库 更多>>

关键词： design process representation   software architectures   situation calculus  

摘要： Software architecture design is an interactive, complex, decision-making process. Such a design process involves the exploration, evaluation, and composition of design alternatives. Increasingly, new computer-aided tools are available to help designers in these complex activities. However, these tools do not know how design is actually done, in other words, by means of which design activities the final artefact was obtained. In fact, the architectural design knowledge exclusively rests in the mind of designers, and there is an urgent need to move it, as much as possible, to a computer-supported environment that enables the capture of this type of knowledge. This contribution addresses this need by introducing a model for capturing how products under development are generated and transformed along the software architecture design process. The proposed model follows an operational perspective, where architectural design decisions are modelled by means of sequences of operations that are applied on the design products. Situation calculus is used to formally express the existence of an object in a given state of a design process. In addition, this formalism allows us expressing without ambiguities when an operation can be performed in a specific state of the design process.

关键词： PERSONALITY tests   EVALUATION   EMPATHY   MEDICINE -- Study & teaching   SCHOOL entrance requirements  

摘要： Several letter to the editor is presented in response to the articles in the September 2012 issue include "Situational judgement tests: the role of coaching," "Evaluations of situational judgement tests to assess non-academic attributes in selection," and "The effects of coaching on situational judgement tests in high-stakes selection. "

关键词： Linear control systems   Optimal control   Interconnected systems   Decentralized control   Large-scale systems   Structural constraints  

摘要： We introduce the family of limited model information control design methods, which construct controllers by accessing the plant's model in a constrained way, according to a given design graph. We investigate the closed-loop performance achievable by such control design methods for fully-actuated discrete-time linear time-invariant systems, under a separable quadratic cost. We restrict our study to control design methods which produce structured static state feedback controllers, where each sub-controller can at least access the state measurements of those subsystems that affect its corresponding subsystem. We compute the optimal control design strategy (in terms of the competitive ratio and domination metrics) when the control designer has access to the local model information and the global interconnection structure of the plant-to-be-controlled. Finally, we study the trade-off between the amount of model information exploited by a control design method and the best closed-loop performance (in terms of the competitive ratio) of controllers it can produce. (C) 2012 Elsevier Ltd. All rights reserved.

关键词： 烟叶收购   电子结算   交易安全   高并发控制   UML建模   C/S结构  

摘要： 本论文论述了烟叶收购电子结算综合业务系统研究的背景和意义、国内外现状及成果，介绍了系统的技术路线和研究方法，应用软件工程的方法，使用结构化的设计思想，从需求分析、系统设计、系统实施和测试等方面对系统进行了详细的研究和分析。\n 烟叶收购电子结算综合业务系统采用C/S结构，服务器端采用SUSE Linux操作系统，数据库使用sybase ASE12.5，客户端操作系统使用WindowsXP/Windows2000，开发工具选用标准C和Delphi7.0，在设计过程中应用UML建模、数据库范式分析，黑盒测试等软件开发方法。\n 烟叶收购电子结算综合业务系统的设计思想和技术特点具有一定的创新意义，系统应用非堵塞通讯模式、消息队列，实现快速的业务响应，使用多进程抢占调度，实现大数据量业务请求吞吐。为保证烟草和银行方交易的一致性，系统采用合理的对账流程，确保资金安全。系统应用环境涉及AIX、Linux、Windows多种操作系统和CICS、Socket多种通信方式，通过构建统一的接口调用模式，成功实现跨平台使用。系统以先进的电子结算手段为客户提供了有效的金融解决方案和优质的金融服务，给烟草公司和烟农带来了实惠，提高了农行“金穗惠农卡”的品牌形象，同时对于云南农行加强与云南省烟草公司的深度和广度合作具有重要意义。

关键词： 账务管理系统   UML建模   数据库技术   功能模块   通讯科技企业  

摘要： 目前东莞大江通讯科技有限公司账务处理已经基本实现了单机计算机管理，但随着现在数据量的庞大，很多数据未能达成共享，且只能局限于办公室内进行操作管理，不能满足远程操作和原地管理，因此，本人借助于研究生期间学到的软件工程知识分析和设计了东莞大江通讯科技有限公司账务处理系统。\n 本文以东莞大江通讯科技有限公司账务处理系统的建设为具体背景，采用基于UML的面向对象的方法对本系统进行分析和设计，文章在分析了账务处理系统的国内外发展现状及其存在的问题的基础上，进行了系统的业务需求分析并给出了系统业务需求，在业务需求的基础上给出了系统的功能需求分析、数据需求及非功能需求分析，从总账初始、凭证管理、账簿管理、账套管理、期末处理、综合统计查询和系统管理七个方面给出了系统的功能需求，功能需求分析中给出了系统五大功能模块的用例图和用例规约。在系统设计阶段给出了系统功能结构设计、系统功能模块的设计及系统数据库设计，给出了系统基础设置、凭证管理、账簿查询、账套管理、期末处理、期末处理和系统管理七个主要功能模块的详细设计;在数据库设计模块，给出了数据库设计原则、数据库概念结构设计及数据库逻辑结构设计，最后对论文存在的不足之处进行阐述。

关键词： Android平台   图书管理   UML建模   手机客户端   功能架构  

摘要： 智能手机是移动互联网时代的一个标志性的客户端工具，Android是目前最具有可移植性的手持设备的操作系统，具有独立的操作系统，用户可以自由安装、卸载软件。传统的基于PC端的图书管理系统在一定程度上提高了图书的管理效率和流通速度，但是读者不能随时随地登录网络查看图书资源，具有一定的局限性。本论文提出了基于Android的图书管理手机客户端的课题，对图书馆的管理有重要的意义和价值，且与传统的Web应用进行了良好的互补。\n 论文首先介绍了基于Android的图书管理手机客户端的研究背景，以及国内外的研究现状，讨论了项目研究的目的和意义，阐述了本论文研究的内容、结构以及本人的主要工作;简要介绍了Android平台以及开发环境的搭建，重点分析了Android系统架构、面向对象方法和UML建模技术等相关开发方法和技术。论文对系统进行了详细的需求分析，包括业务需求、功能需求、数据需求以及非功能需求。在系统的功能需求分析中，给出了系统的总体用例，并详细描述了各个功能模块的用例。在系统设计中，对系统进行了总体框架以及功能架构的设计，包括查询图书、挂失图书、预约图书等功能模块，给出了模块设计的功能结构图（包图）、类图、顺序图（协作图）和核心处理流程图，并进行了界面设计。详细阐述了设计内容，使用实体类图、E-R图和数据库表结构对数据库进行了详细设计。论文最后对研究的内容进行了总结，阐述了本人的主要工作，指出了论文存在的不足，并对进一步的工作进行了展望。

关键词： 政府办公事务管理系统   UML建模   自动化系统   E-R图  

摘要： 随着办公自动化进程的推进，乡镇办公速度滞后成为了急需解决的问题。本文首先简单介绍了系统的开发背景，国内办公系统的发展情况和需要解决的问题，在对现状进行分析之后提出乡镇办公管理系统。\n 文中使用UML的设计方法进行建模，在需求分析阶段使用用例图对功能需求进行分析，活动图对主要的事务流程进行描述;在设计阶段，使用包图对架构进行设计，类图、顺序图对系统功能进行详细设计，并采用了E-R图对数据库进行概念设计，在此基础上设计出了数据表。通过以上的分析与设计，开发出的系统具有了乡镇办公所需的事务功能，使乡镇办公事务管理工作更加自动化、信息化、智能化。

关键词： 在线考试系统   数据库开发   于C/S结构   UML建模   需求分析  

摘要： 信息技术的迅速发展加快了教育行业的现代化与信息化的进程。计算机技术与教育的结合促进了教育的现代化和信息化建设。现代教育信息化建设的目的是通过建立网络教学系统，建立现代化的教学模式，最大限度地发挥教育的意义，最大受益人群，最大限度地发挥有限教育资源的大众共享。\n 通过对教学中，考试业务的进行有效的分析和研究，对相关技术进行综述研究后，完成了考试业务系统需求分析，包括了业务需求、功能需求和非功能需求分析，给出了用户管理、考试题库管理、试卷管理、成绩管理、课程专业管理等用例图和用例描述，提出了非功能需求。需求分析基础上，进行了系统设计，包括总体设计、模块设计、数据库设计，给出了系统体系结构、功能结构，采用HIPO方法表达了功能模块的设计，采用E-R方法表达了数据库设计，给出了实体属性图、E-R图和数据库表结构。最终设计实现了在线考试系统的基本业务功能。\n 本系统基于C/S结构。系统分别选用Visual C++和Microsoft SQL Server2008作为开发环境和后台数据库开发工具，并适时使用了UML建模。\n 本系统模拟实现了在线考试基本业务系统的用户管理、考试题库管理、试卷管理、成绩管理、课程专业管理等功能。

关键词： 农村建房   规划管理   信息系统   UML建模   软件开发  

摘要： 广州市规划局番禺分局传统的工作方式是以纸质文件进行村民建房报建审批，资料的保存和查询效率较低并且纸质文件层层审批、资料递送耗费人力物力，影响业务办理的速度。研究开发一个适用于番禺农村村民建房报建的管理信息系统是势在必行，信息化的大力推行，可以将政府改造成为高效、精简、弹性，能够创新和具有应变能力、具有更高服务品质的政府。\n 本论文结合广州市规划局番禺分局实际需求，对系统进行了详细的需求分析，包括业务需求、功能需求、数据需求和非功能需求，给出了系统的业务流程图、用例图和概念类图，进行了用例描述;在系统设计中，对系统进行了总体设计与模块设计，包括村民建房业务收件、技术审核管理、行政审批、后台管理等功能模块，给出了模块设计的功能活动图、用例图、流程图和类图，详细阐述了设计内容，进行了界面设计，并使用实体类图、E-R图和数据库表结构对数据库进行了详细设计;论文最后对研究的内容进行了总结，阐述了本人的主要工作，指出了论文存在的不足，并对进一步的工作进行了展望。

关键词： 形式化方法   推理证明   公平性   抽象化   网络协议活性   活性验证  

摘要： 从计算机软硬件开发的角度上看，如何确保计算机软件与硬件的正确性、可靠性和安全性是科学家们奋斗的终极目标。形式化方法用抽象的模型描绘所研究的系统、用逻辑公式描述所关注的性质，通过推导、验证等一系列技术得出软件是否可靠、安全的最终结论。模型检测技术是通过计算机查找所有可能出现的情况，进行搜索，看是否能够找到可能存在的反例，以此验证相关性质对于研究的模型是否成立。这样的方法主要用于检测模型中的漏洞，对于不满足某些性质的模型找到其出现漏洞的位置。而与之对应的另外一种方式:推理证明，则更侧重于说明这样的模型是如何满足我们所关注的性质的。推理证明具有较详细的推理过程和对应的推理规则，能够逐步地推导出最终的结论。\n 对于并发系统而言，多个进程间相互作用的描述和刻画，这样的情况比较复杂，需要占用大量的空间，容易引起状态爆炸的问题。为了更接近反映真实世界的实际情况，但不构成状态爆炸问题，合适的抽象技术和辅助约束就显得尤为重要。作为有效的辅助方法之一的公平性，在描述并发系统或者网络协议中，能够起到十分重要的作用。这样的考虑公平性的应用，在并发系统、无线传感器网络协议、嵌入式系统等重要领域的性质验证方面具有广泛的应用价值。基于以上的阐述，本论文主要研究如何在合理的约束和抽象的基础上，对并发系统、网络协议的活性（终止性）进行验证和分析。\n 论文的主要研究内容和贡献归纳如下:\n (1)我们在公平的分布系统中考虑了不同强度的公平性:弱公平性、强公平性，提出了断言形式的“扩展的强公平性”，在考虑上述约束及K步约束下的限界公平性的基础上提出了“混合公平性”的概念，使得一般的安全性可以在弱公平性下得到保障。部分并发系统的活性可以通过一般情况下的强弱公平性的结合得到。而一些特殊形式:环结构下的网络协议的自稳定性，需要加入扩展的强公平性约束，从而得到保证。而混合的公平性，类似一个通用的结构，可以将前面提到的公平性中各个“最终”的因素结合细化到K（整数）步的约束。从而适用于更为广泛的系统行为描述。\n (2)我们提出了一系列考虑多种公平性因素的推理证明规则，并提出了一个通用框架。并且对其可靠性和相对完备性进行了证明。与已有的相关工作相比，我们将公平性考虑为系统自带而非中途引入的，并且针对我们定义的扩展的公平性给出相应规则，并扩展到K步约束和“最终”情况的混合约束中。针对以上推理规则，我们提出了相应构造规则有效前提（辅助结构）的系列算法。并加入抽象（谓词抽象、秩抽象）使得能解决无穷状态系统的活性验证问题。\n (3)针对现有的规模变化(Size-Change)终止性分析原理，我们将该原理进行扩展使用了新的结构，并考虑公平性的约束来体现某种对应关系。终止性是活性的一种特殊情况，对终止性的分析，在计算机软件正常运行中有很重要的作用。十几年来各国科学家针对2001年在POPL会议上首次提出的规模变化终止性分析原理进行了不同程度、各种方面的扩展和应用。本论文中我们首次将公平性因素考虑进来，使得对于更多的问题，如某些递归函数调用（函数返回结果作为下一次的输入）问题的终止性做进一步的分析。并且对于一些用原本的分析方法不能直接刻画的情况，运用公平性的约束，增加谓词，从而正确刻画其变量的变化规律，最终得到终止性的相关分析。