教学课程资源库 更多>>

关键词： 产学合作   高校推荐   推荐算法   能力评价   UML建模  

摘要： 在"大众创业,万众创新"的背景下,创新驱动发展战略的部署和落实成为我国政府的工作重点,其中,在我国提高自主创新能力的道路上,引导和支持创新要素向校企汇集并促进科技成果转化为生产力的产学合作起着不可替代的作用。随着产学合作相关工作的不断推进,也发现了其中不少的问题:产学合作的深度有待加深;高校的科技成果与真实的市场需求无法有效衔接从而影响产学合作的质量;由于缺乏相应的渠道和信息获取平台,容易造成校企双方信息的不对称,一般作为需求方的企业选择合作高校的方式单一,多是通过学校名气或熟人介绍,在一定程度上会导致高校相关能力无法与企业的需求进行匹配,使得知名度不太高但在相关领域专业能力较强的高校失去合作的机会,同时企业资源也无法得到合理配置。随着互联网的发展,信息的超载问题使得信息的筛选和过滤变得十分重要,如何利用先进的大数据技术,通过海量数据的分析为产学两方解决目前的信息不对称问题,并选择合适的产学合作伙伴,从而实现资源的更合理地配置,提高产学合作质量和效率成为本研究的重点。本文面向产学合作,通过高校产学合作现状的分析和相关文献的研究,梳理了高校产学合作能力的关键指标,为高校推荐模型的构建奠定基础。从企业需求出发,对需求内容本身进行文本预处理、特征提取和关键词分类,使企业需求能够被较准确地分到某一领域或类别中。再结合产学合作的特点,站在企业选择合作伙伴的角度,在"高校基础科研能力"、"高校成果转化能力"、"高校产学合作背景"这三个一类关键指标的基础上继续细化和丰富指标,结合专家意见,采用5级标度赋值法,通过最小二乘法进行回归微调,最后确定了各级指标的权重值。基于企业需求类别信息,利用网络爬虫相关技术,引入asynchttpclient包和htmlparser包,获取高校的一部分与类别相匹配的产学信息,包括论文及科研项目,共同构建出基于企业需求的高校推荐算法模型,接着通过一个算例在一定程度上对算法进行了验证。最后采用面向对象的方法,基于UML对面向产学合作的高校推荐系统进行了分析建模与设计,并借助AxureRP原型工具,设计了系统的界面,完成了 Web页面的展示和交互,使得推荐模型进一步得到应用。

关键词： 助困管理   数据库建模   UML建模   保山学院  

摘要： 随着社会经济的高速发展,在现今形式下计算机信息化和互联网技术高度普及在社会事务的各个领域,高校工作要转变为高效率、高覆盖、多层面、多角度的信息化管理成为趋势。随着国家资助政策的变化,保山学院每年度依据国家、省资助中心政策要求要落实的资助名额和资金也逐年增加,而保山学院学生居多、教师及管理工作人员不足的矛盾也越发明显。为此,研究和分析一个针对保山学院学生助困管理的信息管理系统,是提高保山学院助困工作效率和助困事务管理效率的必然要求。原有的学校助困管理日常事务主要依赖word、excel、纸质材料来完成和存档,既耗费人力、又容易出错,同时还出现纸质档案保存期限受限等问题。论文结合保山学院学生助困管理的实际情况,对目前学生助困管理系统国内外的研究现状分析,研究和分析出本系统。首先,论文对系统业务需求问题、保山学院组织结构、系统用户角色完成分析;第二,运用流程图分析系统原有的业务流程,优化学生助困管理系统的业务流程,设计了一个涵盖七大功能模块的系统,包括系统的基础信息管理、贫困认定管理、助困审批管理、学生资助管理、勤工助学管理、意见反馈管理以及系统管理,并分析其子模块。第三、对系统功能进行详细分析,从用户角色到系统用例图,然后给出系统功能包图,完整分析出此系统的功能。采用面向对象方法把整个系统的业务、功能、数据系统研究与分析,把保山学院学生助困管理系统的应用于工作实际,将有利于保山学院学生助困管理工作的高速运转,降低助困管理成本。

关键词： 软件测试   面向对象软件测试   自适应随机测试   时间开销   限制性区域  

摘要： 软件测试作为一种保证软件质量的有效方法,在软件开发过程中不可缺少。随着市场对软件产品的需求日益增多,软件产品的开发技术也越来越多,其中面向对象技术因为在重用性及扩展性等方面具有独特的优势,使得其成为应用最广的软件开发技术之一。但同时面向对象技术具有的特性也给软件开发带来了很多新的问题,对软件测试的影响最为明显。当前,面向对象软件测试方法中常用的是随机测试(Random Testing,RT)。实验证明,RT减少了挑选测试用例时的时间开销,降低了软件开发的成本,但是RT的有效性并不好。为了提高RT检测错误的有效性,***等人提出了改进后的RT方法即自适应随机测试(Adaptive Random Testing,ART)方法。ART算法有多种实现方案,其中基于限制性区域的自适应性随机测试(Restricted Random Testing,RRT)算法是一种常用的ART实现方案。RRT在所有已执行测试用例周围生成一个排斥区域,下一个测试用例在所有排斥区域之外选取。实验证明RRT算法的有效性优于RT算法,但是RRT算法挑选测试用例的时间开销过大,这意味着在使用RRT进行软件测试时要花费过多的时间,不利于软件开发商节省人力物力,所以提高RRT算法的时间效率很有必要。本文针对上述问题提出了RRTtp算法,同时为了验证RRTtp的有效性和正确性,论文对两种算法做了大量的实验对比分析;并将两种算法应用到了面向对象程序的测试。论文的主要工作阐述如下:1.针对RRT在挑选测试用例时的时间开销过大的缺点,提出了一种改进的RRTtp算法。RRTtp的主要思想是在所有已执行测试用例周围生成排斥区域和可选区域,然后将所有可选区域进行比较挑出其中最大的一个,下一个测试用例就在该最大区域中随机生成。在进行最大可选区域的挑选时,首先对所有已执行测试用例进行排序,得到两个测试用例间可选区域的大小;然后对比所有的可选区域并挑出最大的一个;在每次比较时都需要记录并更新最大可选区域的起始点和终点,以便在最大区域随机生成下一个测试用例。2.实现了RRT和RRTtp算法在面向对象中的应用。在测试数值型程序时,测试用例间的距离即为数值上的差异,但是将两种算法应用到面向对象程序测试时,无法直接计算测试用例之间的距离。基于这个问题论文首先给出了本文所使用的测试用例间的距离表现形式;然后对测试用例的结构进行了研究分析;将测试用例的距离定义动态距离和静态距离之和,并分别给出了具体的动态部分和静态部分的距离计算公式,从而结合RRT和RRTtp算法实现了测试用例间的距离计算及其在面向对象软件测试中的应用。3.设计并实现了基于RRT和RRTtp算法的测试原型系统。该系统根据RRT和RRTtp在数值型程序和面向对象程序之间的应用,分别设计了数值型程序测试模块和非数值型程序测试模块。其中数值型程序模块主要包括算法执行和结果分析两大模块;非数值型程序测试模块包括类图录入、测试用例距离度量、算法执行和结果分析模块等。

关键词： 安全苛求型系统   联锁系统   形式化方法   EVENT-B   可视化仿真  

摘要： 安全苛求型系统指对安全性和可靠性有特殊要求的系统。铁路车站的联锁系统是一种典型的安全苛求型系统,其作用是组织列车和调车在铁路车站内行车,同时保证其行车安全和行车效率,因此使用有效的方法尽可能地保证联锁系统功能的安全性和可靠性显得非常有必要。通过对软件系统和硬件系统的需求规范进行形式化描述,建立模型并验证,可完善系统设计需求,从而提高系统开发过程的可靠性。论文以铁路车站的联锁系统为研究对象,对其选排进路、锁闭进路、信号开放、信号保持、解锁进路的控制流程进行了详细的分析,并提取出了联锁系统较为关键的一些环境类规范和技术规范,同时基于EVENT-B语言,借助Rodin形式化建模和验证工具对联锁系统进行了形式化建模,并对Rodin工具生成的686条证明义务全部进行了证明。论文中对联锁系统功能进行了更为全面的形式化描述,特别地对列车进出站、调车转场、信号机故障、道岔故障、轨道区段故障、区段故障解锁,信号重开等功能进行了抽象化描述,同时考虑了超限绝缘节、条件检查等更为细致的站场条件。论文最后以典型的三股道站场对联锁模型进行了实例化,并以实例化后的模型对模型公理之间的矛盾性和死锁性进行了验证,同时使用BMotionWeb图形化工具对模型执行结果进行了可视化仿真。论文中实现了联锁系统整体功能的抽象化描述,联锁系统的形式化模型对应生成的686证明义务亦全部证明通过,同时可视化仿真的结果显示实例化的模型可完成联系系统功能。这表明EVENT-B语言适用于对铁路车站联锁系统类复杂系统进行形式化描述,可提高需求分析至程序实现过程中可靠性,为系统代码级开发的安全可靠性奠定了基础。此外,论文针对模型中AXIOM逻辑描述过于复杂,导致不能在ProB中正常执行的情形,提出了使用具体数据实例化模型的解决方案;同时利用定理的特性及实例化后的数据,对AXIOM之间的矛盾性及模型前后的一致性进行了验证和保证。文中提出的对联锁系统进行建模和验证的流程,对于提高联锁系统开发过程的可靠性具有一定的参考借鉴意义。

关键词： 档案管理   MVC模式   SQL Server   UML建模  

摘要： 随着我国信息化程度的不断提高,传统行业正在跟互联网相结合,以实现更高的生产效率。对于档案管理来说,原有的纸质化档案无法满足各单位对档案信息高效管理的需求,必须加快推进档案管理信息化的进程。我国的各个企事业也纷纷对现有的档案管理结构进行调整,努力的推进档案信息化,提高管理效率,增强自身的核心竞争力。在全面分析国内外相关研究的基础上,本论文结合某单位的档案管理现状和发展情况,通过走访及座谈等形式进行调研,对现有的档案管理流程进行了分析,提出了建设档案管理系统的功能性需求及非功能性需求,明确了系统需要所要达到的各项目标。然后对系统体系架构、系统网络拓扑、系统功能模块组成和系统数据库等进行了设计。本系统采用Java语言进行开发,系统架构遵循MVC模式,前端页面采用jQuery UI框架,数据库使用SQL Server 2008 R2,并使用Eclipse开发工具,实现了本系统的各个功能,并结合UML建模技术完成了本系统的设计和实现,最后使用Junit等进行系统测试。本系统投入运行后,档案管理人员解脱了办公室界限的约束,实现了安全、高效的档案管理,提高了档案管理效率,取得了较好的应用效果。

关键词： UML建模   ArcGIS Engine   社区管理系统   .NET  

摘要： 随着城市化进程的推进和城市流动人口数量的增加,社区作为城市的基本组织单位,其结构和功能日趋多样化和复杂化,传统的管理方式已经无法满足社区的需要,社区的信息化管理逐步成为人们关注的重点。目前大多数学者进行社区管理系统设计时主要考虑社区人口和社区物业等方面,没有涉及社区体育的管理。然而,随着社会经济的发展和人们健身意识的提高,社区体育管理已成为社区管理中的重要组成部分。本文以桂林市某社区信息数据为基础,基于UML建模思想、结合ArcGIS Engine组件库、Access数据库和.NET技术设计和实现了一个社区管理系统,解决社区管理中存在的一些问题,帮助社区管理者工作的开展,提高社区管理者的工作效率,促进社区服务管理的长远发展。本文围绕社区管理系统的构建,从需求分析、系统设计以及系统实现所采取的方法和技术进行阐述。本文首先介绍系统的研究背景和意义、分析国内外研究现状并阐述论文的研究内容和论文组织结构。其次根据客户实际需求优化系统的业务操作流程,将系统划分为六个功能模块:系统管理模块、人口信息管理模块、建筑物信息管理模块、体育设施管理模块、查询与统计管理模块、地图管理模块,对每个模块功能进行介绍并确定系统的性能。在此基础上,使用UML建模工具对系统数据库进行设计并以类图和时序图的方式展示系统各功能模块的设计过程。根据系统的详细设计,以Visual Studio 2010为开发工具对系统功能进行编码实现并对全文工作做出总结和展望。目前该系统的功能已全部实现。系统运行稳定,满足客户的业务需求的同时对构建类似的软件系统提供借鉴作用。

关键词： 工程管理系统   UML建模   数据库   功能模块  

摘要： 随着，国内公共工程投资管理体制的改革的进行，建设、监管、使用一体化的政府工程管理模式正逐渐被专业化的代建模式所取代。代建单位代表投资方与使用单位，履行项目建设管理的职责，组织进行前期管理、投资管理、质量管理、中期管理以及后期管理。　　以具体的代建局工程管理系统为研究课题，首先对国内外相关系统与研究的发展进行了文献综述，主要从工程项目的管理模式的发展以及工程管理信息化系统的发展两个方面进行研究。在此基础上，对天河代建局工程管理的主要业务进行需求分析，从非功能性需求与业务功能需求两个方面进行分析。采用了面对对象的设计方法，对其中主要的前期管理、投资管理、质量管理、中期管理以及后期管理5大业务的流程用到泳道的活动图进行了分析与优化。在需求分析的基础上，进行了用例分析并采用缩略类图进行了功能数据分析与控制逻辑的设计，并且设计了主要的实体类，进而在实体类关系分析的基础上，进行了数据库表的设计。　　最后采用C/S模式进行系统的架构，基于GOVPM系统界面进行了UI的设计，对代建工程管理系统的界面操作与应用进行了介绍。

关键词： 软件工程   实践技能   竞赛  

摘要： 软件工程专业为实践性较强的专业,培养出的学生应能较快适应社会的实际需要,满足企业对软件开发及应用人才的需求。通过综合实践技能竞赛在提高学生的学习积极性与主动性的同时,很好地培养了学生综合利用所学知识解决实际问题的能力。为此提出软件工程专业综合实践技能竞赛改革与创新的途径。

关键词： 学籍管理   信息系统   需求分析   UML建模   数据库设计  

摘要： 教育信息化是教育系统升级的大方向,是我国建设教育强国的重要战略,学籍管理信息化是教育信息化的一个重要部分,本文结合新会一中的实际情况,对新会一中学籍管理信息化进行研究和分析。论文介绍了新会一中学籍管理系统的项目背景和目前的研究与应用现状,结合本人在新会一中的工作,确定了学籍管理的业务需求。通过分析新会一中的组织结构和业务人员情况,对原有业务流程进行了再造和优化,简化的业务流程,减少了人力资源浪费,让业务更科学,更方便,更有效率。通过对优化业务流程的分析,对学籍管理系统的功能进行了设计,分别为:入学报到管理、毕业管理、学籍变动管理、课程管理、奖惩管理、基础数据管理、系统管理。论文经过对系统的用例分析,得出系统总功能包图和子功能包图,并进行了功能数据分析、实体类关系分析,设计了数据库表。在论文的最后,总结了论文内容,查找不足,对学籍管理系统的未来发展进行了思考。

关键词： 职业学院   固定资产   管理系统   需求分析   UML建模  

摘要： 随着计算机技术的飞速发展,高等职业院校组织规模逐渐增大,结构层次繁多,业务活动复杂。近年来国家大力发展民办教育,民办高校迅猛发展,学校资产规模急剧增大,构成日趋复杂,管理难度越来越大。尤其是扩招、校企合作项目、学校内部的相关管理工作等,特别是对后勤管理的要求越来越高,尤其对学校的资产管理工作提出了新要求。信息技术的发展为固定资产管理系统软件的开发与应用提供了相应的技术支持[1]。可以帮助高职院校对固定资产进行科学的管理。本文对《云南经贸外事职业学院固定资产管理系统》进行了分析。论文从云南经贸外事职业学院固定资产管理系统三个方面入手,首先分析了研究历史情况或现实环境、其次项目意义和现在研究与应用情况,再次明确了本论文要做些什么,主要的工作有哪些;并对云南经贸外事职业学院固定资产管理系统进行业务梳理,采用面向对象方法进行需求分析和系统设计,采用UML进行建模。在业务分析中,论文对还没有固定资产管理系统时,用手工来管理固定资产时的优势及劣势进行比较,分了本单位的组织机构是什么样的、分析了原来的业务流程是什么样的,现在用了计算机信息技术来进行优化后,固定资产业务流程又是什么样的;在功能分析中,在论文中画出用例图,再对用例进行详细的描术,要知道系统的功能,就必须画出了系统的总体功能包图,总体功能包图下的所有子功能包图;要进行数据分析,必须根据系统的功能的基础上分析,了解系统各功能的数据是怎么处理的,为什么这么处理,通过画出了实体类关系图;根据各实体类的数据关系属性,得出数据库表,最后对论文进行了总结,并对下一步的工作进行了展望。通过电子信息技术与通信技术对云南经贸外事职业学院固定资产管理信息进行数字化管理,基本满足了当前云南经贸外事职业学院固定资产管理的业务需求。