教学课程资源库 更多>>

关键词： 教育大数据   数据量化   UML建模   授课推荐   系统设计  

摘要： 为了能有效地采集教务管理信息平台和各类教学信息平台中的相关数据形成教育大数据,实现课程授课教师推荐系统,首先将系统划分成数据采集、数据建模和授课推荐三个子系统,并对各子系统的主要构成元素和使用的主要方法进行了规范,然后采用UML建模技术,对系统的用例建模、静态建模和动态建模进行了分析与设计,从而为后期开发实现课程授课教师推荐系统提供了技术指导。

关键词： 图形处理器   统一建模语言   SystemC语言   片段   事务级建模  

摘要： GPU片段处理单元位于图形处理器渲染管线的末尾,执行对将要存储到缓冲区的片段的测试、混合、屏蔽、逻辑等所有操作。为了在RTL设计之前快速研究GPU片段处理单元的硬件结构及功能算法,文中联合使用统一建模语言(unified modeling language,UML)和SystemC语言对GPU片段处理单元进行事务级建模(transaction-level modeling,TLM)。首先设计了GPU片段处理单元的类图、结构图、行为图等视图,对系统进行静态结构和动态行为的描述;然后将UML可视化视图转换为基于SystemC的事务级模型,详细描述了GPU片段处理单元的模块、接口、端口、进程等建模过程,模块之间通过端口和层次化通道通讯,具有建模效率高和仿真速度快的优点;最后基于Linux操作系统仿真平台验证了架构和算法的正确性,实现了在设计的前期进行软硬件的协同仿真和算法的验证、优化,对硬件架构进行探索,有利于加速以图形处理器为核心的设计和开发。

关键词： 软件工程   专业实践   实验室建设  

摘要： 软件工程专业连续多年名列计算机类人才需求榜首,但一些学校的软件工程专业学生就业质量不高,大多集中在前端开发,在服务器端开发非常少,系统架构层面更少。文章提出通过建设一个好的软件工程专业实践实验室,学生能够接触到云平台、服务器、新的流行技术框架、行业案例等,体验具有企业开发氛围。学习云平台架设,集群架设、大数据分析、虚拟机安装、容器使用,以及负载均衡等企业的功能。还有云计算平台、大数据平台、双屏开发工作站、实际工程案例库。经过半年的实践和研究,取得了良好的效果。

关键词： 校企合作   共建专业   协同育人  

摘要： 高校与惠普(济宁)共建专业是山东省政府主导的产教融合项目。本着“人才共育、过程共管、成果共享、责任共担”的原则,软件工程专业与惠普(济宁)在人才培养模式构建,人才培养方案制定,实践教学体系设计、“双师型”教学团队建设等方面开展了一系列实践探索,学生的创新创业能力有了显著提高,在全国大学生“互联网+”创新大赛等获奖的数量和等级逐年提升。实验实训条件得到了显著改善,课程体系建设逐步完善,专业特色逐渐形成,不仅专业被评为山东省人才培养模式创新实验区和高水平应用型重点专业(群)建设项目,而且其合作开发的专业核心教材、云平台教学系统和教学资源库已在区域专业联盟高校实现了共享。教师专业发展水平不断提高,实现了从理论型教师向技能型教师的转变,创新能力、实战能力和国际化视野不断增强。

关键词： Model checking  

摘要： We address the problem of selecting a model from a list of potential models in the field of dynamical systems. The selection is based on model behaviour specified in temporal logic rather than time series. This provides more global constraints on the system dynamics. Not only to select one model but also to create an ordered structure, we propose the model ordering problem. We suggest and apply several ordering relations comparing models given property specification. To provide a formal method with global results for the proposed setting we employ and adapt model checking and parameter synthesis methods. To evaluate the method, we apply the proposed method to several qualitative models of regulatory networks. © 2020 The Author(s)

关键词： 大学物理   全英授课   软件工程留学生   教学探索与实践  

摘要： 大学物理是软件工程专业留学生的必修基础课,对留学生学习专业课程具有重要作用。该文通过近三年对软件工程专业留学生课程教学探索,提出了大学物理全英授课教学方法:针对软件工程专业的培养目标,制定教学计划,根据专业需求侧重教学内容;采取灵活多样的教学方法,提高留学生自主获取知识能力,拓展专业视野;采取分阶段考核评价模式,注重考核综合素质;鼓励留学生参与大学物理学术竞赛,培养团队精神和创新能力。

关键词： 校企合作   软件工程   实践教学   评价考核  

摘要： 基于学习的能力产出是工程教育认证的基本理念之一,为提高软件工程专业学生的工程实践能力,让学生适应产业需要和社会发展,笔者以地方应用型高校的软件工程专业人才培养为例,以校企合作为基础,构建了一套集中实践教学环节,在整个软件工程人才培养方案中设置5个层次的集中实践环节,并根据实践教学实施过程中的反馈情况,提出了一些改进方案,有利于进一步完善实践教学模式。

关键词： 运输能力   形式化方法   铁路运输网络   交通量  

摘要： 采用了基于进程代数的并发TCSP语言,规范了整个计算过程,精确地描述了列车的移动行为,统计了列车在给定时间段、给定观察区域的最大数量。给出了计算的表达式,还用该语言表示了计算过程。通过迹行为的精化,能判断运输能力的容量。这种方法以标准化、形式化的方式表示了整个过程的计算框架,同时也为验证系统关键性质打下了坚实的基础。

关键词： Cognitive architecture   Vision models   Interaction   User models   Emotions   Moderators   Model fit   Model optimization   ACT-R   Genetic algorithm   Pattern matching  

摘要： We note some future areas for work with cognitive models and agents that as Colbert (I am America (and so can you!), 2007) notes, "so can you". We present three approaches as something like design patterns, so they can be applied to other architectures and tasks. These areas are: (a) Interacting directly with the screen-as-world. It is now possible for models to interact with uninstrumented interfaces both on the machine that the model is running on as well as remote machines. Improved interaction can not only support a broader range of behavior but also make the interaction more accurately model human behavior on tasks that include interaction. Just one implication is that this will force models to have more knowledge about interaction, an area that has been little modeled but essential for all tasks. (b) Providing the cognitive architecture with more representation of the body. In our example, we provide a physiological substrate to implement behavioral moderators' effects on cognition. Cognitive architectures can now be broader in the measurements they predict and correspond to. This approach provides a more complete and theoretically appropriate way to include new aspects of behavior including stressor effects and emotions in models. And (c) using machine learning techniques, particularly genetic algorithms (GAs), to fit models to data. Because of the model complexity, this is equivalent to performing a multi-variable non-linear stochastic multiple-output regression. Doing this by hand is completely inadequate. While there is a danger of overfitting using a GA, these fits can help provide a better understanding of the model and architecture, including how the architecture changes under moderators such stress. This paper also includes some notes on model maintenance and reporting.

关键词： IoT   heterogeneous computing systems   fault tolerance   network-on-chip   router architecture   permanent fault  

摘要： Network-on-chip (NoC) architectures have become a popular communication platform for heterogeneous computing systems owing to their scalability and high performance. Aggressive technology scaling makes these architectures prone to both permanent and transient faults. This study focuses on the tolerance of a NoC router to permanent faults. A permanent fault in a NoC router severely impacts the performance of the entire network. Thus, it is necessary to incorporate component-level protection techniques in a router. In the proposed scheme, the input port utilizes a bypass path, virtual channel (VC) queuing, and VC closing strategies. Moreover, the routing computation stage utilizes spatial redundancy and double routing strategies, and the VC allocation stage utilizes spatial redundancy. The switch allocation stage utilizes run-time arbiter selection. The crossbar stage utilizes a triple bypass bus. The proposed router is highly fault-tolerant compared with the existing state-of-the-art fault-tolerant routers. The reliability of the proposed router is 7.98 times higher than that of the unprotected baseline router in terms of the mean-time-to-failure metric. The silicon protection factor metric is used to calculate the protection ability of the proposed router. Consequently, it is confirmed that the proposed router has a greater protection ability than the conventional fault-tolerant routers.