教学课程资源库 更多>>

关键词： 闽西职业技术学院   学生作品管理   信息系统   需求分析   UML建模  

摘要： 随着教学内容改革的不断深化和发展,大学生教学实践内容越来越丰富多彩,随之大学生的教学作品形式也越来越多样化,尤其是设计类专业,闽西职业技术学院艺术设计类作品也是如此。但学校当前的作品管理方式无法很好的保存作品,发挥学生作品的价值,因此学生作品管理信息系统研究尤为重要。论文介绍了闽西职业技术学院学生作品管理信息系统的项目背景和现状,还介绍了本人的主要工作；优化了学生作品管理的原有业务流程；进行用例分析和用例描述详细描述,给出系统的总体功能包图和基本信息包图、学生作品任务布置包图、学生作品创作储存包图、学生作品评价包图、学生作品展示包图、系统管理子包图;分析学生作品管理系统中所需的控制类之间的关系,给出了各功能模块的缩略图,详细分析实体类关系图和各个实体类之间的关系,建立了数据库表,并详细介绍了数据库表的主键和外键；论文结尾总结了学生作品管理信息系统的研究与分析,并对进一步的工作进行了展望。

关键词： Architecture   Design education   Design cognition   Spatial abilities   University entry score   Design ability  

摘要： Purpose - The purpose of this paper is to provide an insight into the relationship between students' spatial ability and their university entrance score (Australian Tertiary Admissions Rank [ ATAR]). The ATAR provides entry into university studies but does not necessary provide a good measure of students' spatial skills. Spatial abilities are fundamental to success in many design courses. This paper aims to show whether the ATAR is a good predictor of spatial skills and considers the implications of this. Design/methodology/approach - Students entering university design courses in architecture were tested three times during their first year using a three-dimensional (3D) Ability Test (3DAT), an online psychometric test of 3D spatial ability. The students' results in 3DAT were then compared to students' ATAR scores using a Pearson's correlation test were also conducted to assess the relationship between ATAR and spatial performance. Findings - There was no correlation between ATAR and spatial performance. Therefore, there was no relationship between an individual's ATAR and their spatial performance upon entering university. Research limitations/implications - Participants were required to select their ATAR from ranges, i.e. 71-80, 81-90 and 91-100, which meant their exact ATAR was not recorded. This meant that the participants were clustered, making it difficult to establish a linear relationship that was a true reflection of the population. Practical implications - Initiatives to support students entering design courses may be necessary to compensate for the range of spatial skills students possess when entering university because of their school experiences. Social implications - Individuals who have strong spatial skills are able to perform spatial problems faster and more efficiently than those with weak spatial skills. High spatial performance has been shown relate to performance in areas such as mathematics science technology and design. Originality/value - Th

关键词： 奶粉   安全   追溯   信息   供应链  

摘要： 奶粉是最具营养价值的食品,它在提高人民身体健康、增强国民基本素质方面起到了重要作用。近年来奶粉安全事件不断出现,带来国民对我国奶粉安全失去了信心,也是中国奶粉行业走入低谷。分析其原因,很重要的问题在于奶粉生产的整个产业链不健全,出现监管漏洞,造成一些不法商贩有可乘之机,由此看出建立从奶牛养殖,牛奶运输,奶粉生产等全产业链可追溯体系是保障奶粉质量安全的重要防控手段之一。本课题以河北省奶业为基础,以石家庄君乐宝乳业公司为研究对象,从奶牛饲养,牛奶采集运输,到奶粉生产,贮存销售的全过程进行追溯体系结构研究,分析了整个产业链可能存在的安全隐患,系统设计了各个环节的数据采集和记录关键点。同时,建立了奶粉安全追溯体系数据库结构,根据所设定的关键技术参数,设计出全程无缝隙监控体系,为中国奶粉行业的健康发展打下良好的基础。研究内容包括:1.研究了奶牛牧场养殖从奶牛的养殖环境,养殖模式,饲料和添加剂来源,疫病防控等过程中可能存在的不安全影响因素,设置了较为合理的关键监控点,并对奶牛养殖过程的数据进行采集和记录。2.根据奶牛挤奶过程和牛奶运输过程的特点,确定了挤奶过程从工作人员个人卫生,挤奶设备运转,奶牛验奶、消毒、挤奶,牛奶质量指标监测数据采集、记录的关键点;建立了牛奶运输过程中车辆的卫生,车辆的运输路线,牛奶的交接制度,保证了牛奶的质量安全。3.研究了奶粉生产过程,从原料奶接收,质量安全检测,添加剂、营养制剂使用控制,到奶粉产品检测实现了全程监控;对奶粉生产过程中从牛奶验收、净乳、配料、均质、杀菌、浓缩、喷雾干燥,到成品包装、检验等各个环节进行数据采集和记录,并对车间安全卫生状况、设备运转情况进行记录,确保奶粉产品质量。4.通过对奶粉产品的供应链分析,将奶粉生产整个过程分为四个环节,包括奶牛养殖,牛奶采集运输,奶粉生产和贮存销售,并根据不同环节的特点,设计了可追溯编码,确定了奶粉质量追溯的必要信息,完成了奶粉追溯体系数据库的结构设计,为建立奶粉的计算机全程追溯体系做好基础数据准备。

关键词： 推理   验证   Z规约   测试用例   形式化方法  

摘要： 近年来,一系列的软件安全事件引发了国人的安全顾虑。面对软件开发所处的现状,国人期待着理论有所突破,研制或实践一种新的开发方法已经迫在眉睫。没有形式化描述,就没有系统规范的软件产业。Z语言精确地描述系统(软件/硬件)“做什么”而不涉及“怎么做”。通过输入变量和输出变量,利用一些抽象的已知特性来为软件系统的状态特征和行为特征建立数学逻辑模型。另外,还可以利用形式化软件对Z规格说明进行推理、验证以及测试。形式化推理主要是对前置条件的证明,即证明操作能够成功执行的必要条件。形式化验证就是从集合的角度出发验证操作成功执行之后,各状态变量是否正确。形式化测试就是通过对操作模式的前置、后置条件的演算将该操作转化成对应的主析取范式,然后对其极小项赋予实际意义从而得到测试用例集。本文首次将Z语言贯穿应用到软件生命周期的各个阶段,是利用形式化Z语言解决软件问题的一次有效尝试。

关键词： 形式化方法   形式化验证   模型检测   状态爆炸  

摘要： 随着计算机系统的功能日益强大,对其进行功能和正确性测试与验证的复杂度也越来越大。形式化方法作为对计算机系统进行描述与验证的重要途径,得到学术界普遍的关注与认可。文章主要介绍形式化方法,详细介绍模型检测的检测原理及其主要技术,介绍了几种典型的模型检测工具,并对它们的性能进行比较,同时研究了模型检测中普遍存在的状态爆炸问题及缩减状态方法,最后介绍模型检测的新进展。文章可为模型检测方法研究提供参考和理论支撑。

关键词： 物联网   智能电网   UML建模   软件测试  

摘要： 随着计算机技术和互联网技术的不断发展,各行各业都因此而经历深刻的变革,加快信息化的建设也已经成为社会发展的必然趋势。为促进物联网技术的发展,打造物联网产业链,国家有关部委出台了多项促进物联网技术发展的政策和措施,要求开展物联网关键技术研究和区域应用示范。国家电网公司积极响应国家号召,开展电网领域的“物联网区域应用示范项目”,促进物联网在智能电网中的应用,带动物联网产业发展。因此,必须开发一套符合规范、功能强大、稳定可靠、具有较高可扩展性的智能电网统一应用系统。本文首先综述了智能电网统一应用系统的发展现状,以及当今网络信息化技术的发展背景,针对其功能单一、可扩展性差和数据处理能力不强等问题,设计并实现了基于C/S架构并且符合国家制定规范的统一应用系统。其次,通过调研分析智能电网统一应用系统的需求现状,对整个系统进行了总体架构设计,并通过软件工程通用建模语言UML对系统进行了层次化建模,清晰描述了智能电网统一应用系统的整体业务流程。然后,分别从变电站智能化管理、配电线路状态监测与预警、绿色机房管理和基础配置管理等方面进行了详细设计。最后为了保证系统的稳定性,对系统各个模块的实现进行了规范化的系统测试。本文使用成熟的计算机技术,基于Oracle数据库,完成了智能电网统一应用系统的设计和实现。为了保证系统的安全与稳定,符合电力公司业务需求,采用软件测试的规范方法进行全面的系统测试,实际使用证明,该系统的工作效率得到了有效提高,并且业务操作的规范化确保了数据安全和运行的稳定性,并为管理人员提供了一个强大的分析平台,基本实现了模板系统需求。

关键词： 销售管理系统   UML建模   Python   B/S架构   MySQL数据库   MVC模式  

摘要： 本课题针对某碳酸氢钠生产企业开发了一套销售管理系统。对于碳酸氢钠的销售管理来说,其特点是产量大、销售面广以及客户信息多。碳酸氢钠的传统销售管理模式存在很多问题,比如说在人工处理库存信息方面,偶尔会发生计算出的库存变动与实际清点数不符的情况;在对销售人员的管理方面,绩效考核的公平性也难以保证;手工填写票据的方式也会耗费大量的人力以及时间。显然,随着竞争的日益激励以及企业信息化的快速发展,传统的管理方式以不再适用于现代化的企业管理。因此,本课题针对该企业设计开发了一套销售管理系统,以期提高该企业的管理水平,同时降低管理成本,最终实现企业利益的最大化。在研究学习了软件工程开发的基础知识及相关技术后,本课题确定了基于UML建模的系统分析设计方法,以Python为开发语言,以MVC为开发框架,基于B/S架构和MySQL数据库开发了企业的销售管理系统。在软件开发过程中,首先对企业进行实地考察分析,并结合目前流行的ERP和CRM管理理念,详细的分析了销售管理系统的需求,基于销售业务流程将系统划分为销售、CRM、库存、生成、采购、项目、会计、人力资源8个模块。然后基于UML用例图以及需求分析,对每个模块的功能进行了设计。最后基于UML的状态图对每个模块不同功能之间的逻辑进行梳理,通过功能之间的逻辑建模实现了第三章所设计的全部功能,完成了销售管理系统的开发。

关键词： 创新   创业   软件工程   实践教学  

摘要： 软件工程人才在当代社会的地位越来越重要,学校为了真正改善软件工程专业实践教育的成效,培养出更多软件工程人才为祖国做贡献,纷纷改善教育竞争机制,从创新创业角度对教育理念进行改革,用更好的教育资源来培养人才,达到实践教育体制的改革.

关键词： 软件工程   翻转课堂   微课   教学云平台  

摘要： 面对软件工程课程教学中出现的教学困难,基于对教学中学生教师身份的再认识,应用"翻转课堂"理念,借助教学云平台发布微课等教学资源,结合学习者和行业发展需求,采取案例教学法和项目导向学习法,改革课程考核方式,对《软件工程》课程教学内容、方式及进程再造,激发学习者自主学习的热情,提升课程教学效果。

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

摘要： 随着学校的扩建,目前江门一职设备使用数量越来越多,急需开发一套适全江门一职管理的设备管理系统。论文首先概述了江门一职设备管理系统的背景及研究现状,随后进行需求调研,在业务分析中主要研究内容是设备采购管理、设备库存管理、设备运行管理、设备维修管理的业务流程及其优化流程；根据业务分析,论文进行了功能分析,主要研究内容是设备采购管理、设备库存管理、设备运行管理、设备维修管理的用例分析、包图分析；根据功能分析,论文进行了数据分析,主要研究内容是设备采购管理、设备库存管理、设备运行管理、设备维修管理的缩略图、实体类关系图模型的建立。