教学课程资源库 更多>>

关键词： Formal methods  

摘要： The hit of the COVID-19 pandemic has hugely affected higher education in the world, and as a result, most of the physical classes have been (partially) replaced by online teaching platforms. This transition is challenging even for experienced software engineering instructors, as they were pushed to break their habits and tricks developed over the years . This paper is an experience report in teaching an undergraduate course (revolving theoretical computer science topics) for the first time in an online format, and some observations and ideas of how to engage students during online lectures. Copyright © 2021, The Authors. All rights reserved.

关键词： 考试模式   Computer Science   CAIE   高考   信息技术  

摘要： 介绍和分析CAIE英式课程考试中Computer Science学科的课程内容、考试制度、试题模式,借鉴其成功经验与考试制度,以期借他山之石对我国信息技术课程纳入高考选考的相关研究提供助力。

关键词： 大数据   计算机专业   教学研究   精准教学  

摘要： 移动互联网的发展使得大数据技术得到了广泛的应用,精准教学充分利用大数据的优势,分析大量相关教学数据了解教学现状,总结教学重点,明确教学目的。文章通过对计算机专业教学过程中的现有问题进行分析整理,在大数据的基础上引入了精准教学的概念,以云教学考核一体化平台为依托,研究了在计算机专业教学中以大数据技术为辅助进行精准教学的方法和思路,为计算机专业的教学改革指明了一条创新路径。实践表明该方法不但可以使计算机专业教学更加高效,而且更能激发学习兴趣,培养出为各行各业服务的高素质计算机人才。

关键词： Computer science   Leadership   Pandemics   Education   Software   Standards  

摘要： Kathy Herring Hayashi believes that, throughout their lives, people have different waves of time and energy to devote to personal and professional goals. Understanding this has allowed her to develop and adapt to her own timeline; when her children were young, she was a software consultant, which provided her with flexibility as a new mother. As they got older, she took on IEEE leadership, computer science teaching, and a full-time job, and most recently, used the extra time while staying at home during the pandemic to codevelop the SA-EDI standard.

关键词： Protocols   Big Data   Cloud computing   Data integrity   Heuristic algorithms   Computer science   Cloud storage   auditing protocol   dynamic audit   private key reveal attack  

摘要： In this article, we point out the security weakness of Shang et al.'s identity-based dynamic data auditing protocol for big data storage. Specifically, we identify that their protocol is vulnerable to a secret key reveal attack, i.e., the service provider (SP) can reveal the secret key of the data owner (DO) from the stored data. Further, SP can also generate a proof to pass the challenge of TPA (third party auditor) even if all block and tag pairs have been deleted. We hope that by identifying these design flaws, similar weaknesses can be avoided in future designs.

关键词： 美国食品药品监督管理局   医疗器械   监管科学   研究项目   有源医疗器械   计算机模拟  

摘要： 目的:通过介绍美国FDA开展的医疗器械监管科学研究项目,为我国医疗器械监管科学研究提供参考。方法:通过翻译和整理美国FDA发布的各类文件资料和研究项目摘要,介绍其正在开展的监管科学研究项目。结果与结论:美国FDA与科研机构、临床机构、其他政府机构及产业界合作开展医疗器械监管科学研究,取得的研究成果用于确保医疗器械的安全性和有效性,并促进医疗器械企业创新和高质量发展。在有源医疗器械领域,开展的研究项目有关于产品性能的研究,如电磁兼容性、磁共振成像安全、无线共存等;有计算机模拟和人工智能方面的研究,如人机交互、数字病理学评估、虚拟影像临床试验等;也有针对先进技术的研究,如患者生理信号监控技术、个性化心脏疗法等。

关键词： Electrical engineering   Computer science   Engineering profession   Education   STEM   Meteorology  

摘要： In the fall of 2019, Dr. Linda Katehi joined the faculty at Texas A&M University as a professor of electrical engineering and computer science. One year in, she couldn’t be happier. Throughout the course of her successful career in academia, Katehi has been dean of engineering, provost and vice chancellor of academic affairs, and chancellor, but at Texas A&M, Katehi has recaptured the energy of her first teaching position at the University of Michigan. The students are bright and curious. The faculty is engaged. The weather is beautiful. Most importantly, after more than almost two decades of administrative roles, Katehi is back in the research lab and classroom. She continues to be a mentor and advocate for women in science, technology, engineering, and math while embarking on new research in embedded intelligent chips that could change the way we interact with technology.

关键词： Digital fabrication   computational thinking   active learning   professional training  

摘要： Studies show that contemporary teaching methodologies are based on skills and competences directed to different areas of professional practice,such as Architecture,Design and Computer *** learning spaces gain strength,stimulating the development of new skills by *** Digital Manufacturing Laboratories(Fab Labs)and Makerspaces are entering the school environment and starting a movement for change in traditional *** they are seen as potential drivers for higher quality education,the lack of specific training for teachers in the face of new digital information and communication technologies,especially in basic education,becomes limiting in the development of new active ***,this study aimed to develop a training dynamic for basic education teachers,addressing the use of tools and equipment for digital manufacturing and prototyping,2D and 3D modeling applications and software,and programming and *** methodology consists of literature review,followed by the action research method with two workshops given through an online and synchronous *** importance of incorporating creative and innovative methodologies in education is understood,and above all,there is a dynamic,planned and effective structure,geared towards the orientation of teachers.