基于CDIO理念的大学生课外实践项目体系构建研究

实践教学是培养大学生创新创业能力和工程实践能力最重要和最有效的教学环节,大学生课外实践活动项目是实践教学内容的重要组成部分.文章以CDIO工程教育理念,提出了大学生课外实践活动项目体系构建的原则,并以大学生创新创业能力和工程实践能力培养为目的,从6个方面对项目体系构建进行了阐述.大学生课外实践活动项目体系的构建,可扩展学生的成才空间,促进学生的个性发展,使学生从多方面获取科学知识和工程能力.     

基于CDIO理念的大学生课外实践项目体系构建研究

实践教学是培养大学生创新创业能力和工程实践能力最重要和最有效的教学环节,大学生课外实践活动项目是实践教学内容的重要组成部分。文章以CDIO工程教育理念,提出了大学生课外实践活动项目体系构建的原则,并以大学生创新创业能力和工程实践能力培养为目的,从6个方面对项目体系构建进行了阐述。大学生课外实践活动项目体系的构建,可扩展学生的成才空间,促进学生的个性发展,使学生从多方面获取科学知识和工程能力。     

智能科学与技术专业创新实践体系的构建

在实验室与创新实践基地建设的基础上,提出以课程实验教学为基础,以课程设计与毕业设计为核心,以校外实习为补充的课内实践教学体系和以实验室课外开放项目培训为基本内容,以学科竞赛为动力支撑与效果检验,以参与教师科研与学生自主科技创新为补充的课外实践教学体系。强调课外创新实践教学的地位和作用,重点介绍实验室课外开放项目设计方案和课外创新实践活动开展的经验与体会。实践表明,创新实践体系的构建激发了学生学习兴趣,培养了学生的创新实践能力,有利于提高人才培养质量。     

应用型本科高校的开放式课外实践创新平台研究

针对应用型高校应用实践活动培养学生实践能力和创新精神的问题,探讨课外实践环节的重要性,介绍开放式课外创新平台如何为本科生提供交流和共享的Web管理系统,探索通过知识和信息分享调动学生的积极性,激发学生充分利用课余时间投身创新和创业活动。实践证明,该课外实践创新平台为培养高素质的应用型人才奠定了基础。     

智能科学与技术专业本科实践课程的建设

介绍南开大学智能科学与技术专业本科实践课程的创新和建设,探讨以课内实践教学体系为基本、以课外学生自主科技创新和综合竞赛为补充,丰富教学内容,激发学生学习兴趣。探索在课内专业实践课程中采用固高教学实验设备,结合自动控制课程设计实验内容;在课外学生活动中组织本科生创新科研"百项工程"和"飞思卡尔"杯智能汽车竞赛。实践表明,课内和课外实践教学的有机结合,培养了学生的创新能力和实践能力,取得了良好的教学成果。     

专业工作室环境下的高职学生自主学习能力培养模式的探索

自主学习作为学生课外的一种非常重要的学习活动,具有非常重要的现实意义。本文通过在计算机网络工作室的实践和探索,提出了如何在专业工作室环境下培养学生的自主学习能力,对于提高学生课外学习能力具有非常重要的意义。     

开展课外科技活动,培养学生创新精神

本文提出课外科技活动是培养大学生实践能力与创新素质的重要载体,构建以兴趣小组、学生科技社团为基础,以科技立项、创新实验室、IT文化节、参与教师科研、校园网服务为活动平台,以系列竞赛活动为展示平台,以学生实践能力与创新素质培养为核心目标的课外科技活动体系,并就相关活动的开展情况及效果作了介绍。     

课内外协同的《计算机组成原理》课程教学模式探索与实践

为解决在《计算机组成原理》课程教学过程中学生课内未能按时完成实验任务和课外自主学习积极性不高的问题,课程组选取Logisim作为实验平台,在课内采用多种教学手段,借助在线学习资源,通过将实验案例的任务分解到课外的方法,并引入新的考核方式,以激励和引导学生自我学习。实践表明发挥课内课外协同作用,有助于提升学生的实践能力和自学能力。     

计算机专业学生能力提升的探索

企业聘不到所需员工,学生就不了业,说明学校培养出来的学生难以满足企业的岗位需要。针对计算机专业学生萎缩现状,指出了学生能力培养上存在的问题,提出了从人才培养方案制定、认知实践、教学方法手段、课外能力提升活动等四个方面来有效提升计算机专业学生能力的措施与对策。     

电子类专业应用型人才培养模式探索与研究

以培养应用型人才为目标,探究了应用型人才的含义,电子类专业应用型人才培养的主要问题。从电子类专业学生实践应用能力需求出发,对人才培养方案、课程体系建设、教学内容及师资队伍建设综合改革进行了研究,构建课堂教学、常规实验、课外实践、工业实习四位一体的人才培养模式。加强学生的实践应用能力。更好的满足社会对应用型人才的需求,提高学生的就业能力。     

智能科学与技术实验室信息化建设探讨

针对以教学科研型为主的大学如何培养智能科学与技术专业高素质应用型人才的问题,在分析学校定位、指导思想、发展目标、专业定位及培养目标的基础上,提出智能科学与技术实验室的信息化建设模式,结合专业特点及应用型人才培养现状等实际情况,对实验环境、实验项目、教学过程、开放实验、管理制度等方面的信息化建设进行了有益的探索,实践表明这种实验室建设模式的探索与实践在培养本科生实际动手能力方面取得了显著效果。     

PBL教学法在数据库原理教学中的应用

针对数据库原理课程在高等院校信息管理与电子商务专业教学中存在的具体问题,本文从实际出发,通过分析该课程理论教学和实践教学等环节的特点,在相关实验环节,引入PBL教学法,提升学生的综合运用能力,实现理论与实践的结合。在实际开发应用中取得了较好的效果。     

通用型“手—眼”式多关节机器人视觉系统物像关系的研究

本文着重研究了“手-眼”式通用型多关节机器人视觉系统中基体坐标系.物体坐标系和图象坐标系之间的关系.利用空间坐标系的投影变换和映射等方法,推导了“手-眼”式机器人系统中摄象机图象点和空间点对应的数学关系式.同时对固定式也进行了探讨.本文以多关节机器人视觉系统的实际情况为基础,在实际的机器人坐标系上导出了一个简便实用的算法,可以通过对摄象机摄取的图象中的点的坐标运算,求出其对应的空间点在机器人基体坐标中的坐标,因而能迅速准确地引导机器人根据视觉图象正确地运行到所求的空间点的位置.     

Toward a practical approach for BGP stability with root cause check

The instability issues of the Border Gateway Protocol (BGP), such as route oscillations and path explorations, can decrease the performance of packet forwarding and place heavy workload on routers. While BGP instability has been extensively studied, existing solutions mainly solve individual instances of BGP instability. Thus, with the existing solutions, the route selection processes of ASes or routers may not realize the actual root cause of BGP instability and hence cannot effectively solve the BGP instability problem. In this paper, we propose a simple, integrated solution called stable BGP (stableBGP) that practically solve a general class of BGP instability issues, including route oscillations and path explorations. stableBGP seeks to adapt the route selection process to best address the root cause of route changes so that the route selection process can quickly stabilize. We formally prove that stableBGP can achieve BGP stability. Extensive simulation results show that in the link failure scenario, stableBGP significantly reduces the number of route changes, the convergence time, and the number of route update messages when compared to prior solutions. We also analyze the performance of stableBGP when it is partially deployed. Our work provides insights into developing a practical solution that addresses the BGP instability problem.     

动态进化导向的系统分析与设计

信息系统的动态进化是其适应IT发展、组织业务和环境变化需求的一种重要能力,特别是在实时系统和分布式系统当中,正引起学者的广泛关注和深入研究。综述了相关领域的研究成果,并提出用系统化的建模方法,从信息系统动态进化的行为连续性、触发机制、系统化的抽象层次三个角度来研究信息系统的动态进化。这一系列的信息系统动态进化理论和提出的系统建模方法、建议的工具、系统构架构成了一定的动态进化导向的信息系统分析和设计的方法论,推动当前相关领域的理论研究和实践探索。     

State-space caching revisited

State-space caching is a verification technique for finite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storing only all states of just one execution sequence plus as many other previously visited states as available memory allows. So far, this technique has been of little practical significance: it allows one to reduce memory usage by only twoo to three times, before an unacceptable blow-up of the run-time overhead sets in. The explosion of the run-time requirements is due to redundant multiple explorations of unstored parts of the state space. Indeed, almost all states in the state space of concurrent systems are typically reached several times during the search.In this paper, we present a method to tackle the main cause of this prohibitive state matching: the exploration of all possible interleavings of concurrent executions of the system which all lead to the same state. Then, we show that, in many cases, with this method, most reachable states are visited only once during state-space exploration. This enables one not to store most of the states that have already been visited without incurring too much redundant explorations of parts of the state space, and makes therefore state-space caching a much more attractive verification method. As an example, we were able to competely explore a state space of 250,000 states while storing simultaneously no more than 500 states and with only a three-fold increas of the run-time requirements.     

Simulation Study of Aspects of the Classical Hydrogen Atom Interacting with Electromagnetic Radiation: Elliptical Orbits

The present study examines the behavior of a classical charged point particle in near-elliptic orbits about an infinitely massive and oppositely charged nucleus, while acted upon by applied electromagnetic radiation. As recently shown for near-circular orbits, and now extended here to the elliptical case, rather surprising nonlinear dynamical effects are readily produced for this simple system. A broad range of stability-like conditions can be achieved by applying radiation to this classical atom. A perfect balance condition is examined, which requires an infinite number of plane waves representing harmonics of the orbital motion. By applying a scale factor to this radiation, stability-like conditions are produced where periodic variations in semimajor and semiminor axes occur for extended periods of time, before orbital decay eventually takes over due to the effects of radiation reaction. This work is expected to lead to both practical suggestions on experimental ideas involving controlling ionization and stabilization conditions, as well as hopefully aiding in theoretical explorations of stochastic electrodynamics.