教学课程资源库 更多>>

关键词： 形式化方法   云计算   模型检查  

摘要： 在当今信息时代,随着互联网技术的飞速发展,人们需要能够便捷存储和处理大量信息的技术,因而云计算技术得到了广泛的应用.云计算技术有着快速灵活、资源共享、网络连接、按需服务等特点,但由于云计算系统非常复杂,以致难以管理和测试.为了向用户保证云计算系统中存储的可靠性、程序的鲁棒性、数据的安全性等等,必须使用形式化方法对云计算系统的有关性质进行验证.本文主要调研了近年来使用形式化方法对云计算系统进行研究的工作,对云计算系统资源管理、云计算系统安全性等方面的工作分别进行了介绍.

关键词： 软件工程专业   本科生   科研和实践创新  

摘要： 本科教育在我国人才培养体系中占据基础地位,本科生培养质量的高低直接影响着高等教育整体质量。为培养高层次应用型人才,更好地促进软件工程专业本科学生的发展,以软件工程人才培养定位为基础,从课程教学、教师、学术环境、学术团队建设、实践应用等方面对软件工程专业本科生培养模式进行研究,以切实提高软件工程专业本科生的培养质量,助推新时代国家对人才结构的调整。

关键词： 软件工程课程   教学研讨会   工程实践   复杂工程   工程能力培养   人才培养   课程教学   工程教育  

摘要： 国际工程教育认证突出强调以学生为中心的课程教学和人才培养理念,注重以“解决复杂工程问题能力”等为代表的能力和素质培养。新工科教育将工程能力培养提升到一个非常高的高度。软件工程课程最为适合培养学生解决复杂工程问题的能力,因为软件本身就是一个极为复杂的逻辑系统,软件开发是一项集成了技术、管理、人员和工具等要素的复杂工程。

关键词： 结构化设计   道路桥梁   设计  

摘要： 近年来,我国大力兴建道路、桥梁和铁路等交通基础设施,交通运输业发展迅速。作为我国城市基础设施的重要组成部分,道路桥梁的建设质量会直接影响城市经济发展。而在道路桥梁建设过程中,结构化设计是道路桥梁设计不可或缺的组成部分,只有制定科学的设计方案才能保证施工效率和质量,因此人们高度重视结构化设计在道路桥梁设计中的应用。

关键词： Human error   Erroneous human behavior   Task analysis   System safety   Formal methods  

摘要： Erroneous human behavior is often cited as a major factor to system failure. However, the complexity of the human-automation interaction can make it difficult for engineers to anticipate how erroneous human behavior can contribute to failures. In this work, we introduce a novel method for generating human errors based on the task-based taxonomy of erroneous human behavior. This allows erroneous acts to manifest as divergences from task models. We implement our method using the Enhanced Operator Function Model. We further show how the method can be used with formal system modeling and formal verification with model checking to prove whether or not potentially unanticipated erroneous behavior could contribute to system failures. We evaluate how our method scales and use it to evaluate three case studies: a radiation therapy machine, a pain medication pump, and an Apache helicopter. We discuss these results and explore options for future work.

关键词： GPU   cache   shared memory   thread  

摘要： GPUs provide high-bandwidth/low-latency on-chip shared memory and L1 cache to efficiently service a large number of concurrent memory requests. Specifically, concurrent memory requests accessing contiguous memory space are coalesced into warp-wide accesses. To support such large accesses to L1 cache with low latency, the size of L1 cache line is no smaller than that of warp-wide accesses. However, such L1 cache architecture cannot always be efficiently utilized when applications generate many memory requests with irregular access patterns especially due to branch and memory divergences that make requests uncoalesced and small. Furthermore, unlike L1 cache, the shared memory of GPUs is not often used in many applications, which essentially depends on programmers. In this article, we propose Elastic-Cache, which can efficiently support both fine- and coarse-grained L1 cache line management for applications with both regular and irregular memory access patterns to improve the L1 cache efficiency. Specifically, it can store 32- or 64-byte words in non-contiguous memory space to a single 128-byte cache line. Furthermore, it neither requires an extra memory structure nor reduces the capacity of L1 cache for tag storage, since it stores auxiliary tags for fine-grained L1 cache line managements in the shared memory space that is not fully used in many applications. To improve the bandwidth utilization of L1 cache with Elastic-Cache for fine-grained accesses, we further propose Elastic-Plus to issue 32-byte memory requests in parallel, which can reduce the processing latency of memory instructions and improve the throughput of GPUs. Our experiment result shows that Elastic-Cache improves the geometric-mean performance of applications with irregular memory access patterns by 104% without degrading the performance of applications with regular memory access patterns. Elastic-Plus outperforms Elastic-Cache and improves the performance of applications with irregular memory access

关键词： 玉米育种分析   结构化设计   ThinkPHP(3.2.3)框架   MVC模式  

摘要： 在当前时代背景下,育种的过程依然非常复杂,需要考虑诸多因素,比如遗传因素,环境因素,育种家的个人学识,和选种技巧以及社会环境等等过程。如果单靠个人的经验和学识去从事育种开发的工作,需要长时间的积累才能获得一定的进展,现代计算机技术的发展,互联网的使用以及作物育种科学的持续发展,为数据的存储、处理、计算奠定了基础,为育种家提供了强大的信息技术支持。该信息管理平台利用PHP和MySQL编程实现种子的信息管理,考种的信息管理和有关玉米的文献查阅为主要板块分析玉米的性状信息并且对其进行了有效的管理和分类,该平台对玉米的信息管理实现了高效率的信息整理和对其性状进行研究管理,提高了玉米育种的效率,这是一种新型的数据化育种,其管理的高效率和方便性都优于之前的Excel记录信息的管理,是具有综合分析功能的玉米育种信息管理平台。