教学课程资源库 更多>>

关键词： 软科学科排名   计算机科学与技术   师范类高校  

摘要： 软科学学科排名从较为权威的角度衡量了各个学校下属的相关学科目前在世界上的水平,各高校可以根据此排名明确自身学科目前所处的位置去制定未来的发展目标。文章以江苏师范大学计算机科学与技术学科在该排名中的位置为起点,详细分析了其背后的师资、学科论文成果等因素,并以另外两所师范类高校为标杆,用同样的因素分析各个学校学科之间的异同。

关键词： Mathematical model   Azimuth   Navigation   Sensor phenomena and characterization   Scattering   Computer science   Analytical models   Bionic polarized light navigation   polarized skylight pattern   solar position   infinity characteristic model   linear fitting  

摘要： It's a key issue in the research of polarized light navigation to obtain the solar position information efficiently and accurately by using the polarized skylight pattern. But existing calculation methods for solving solar position use time-consuming data-processing algorithms that solve nonlinear equations. In this paper, we propose a linear data-processing method to calculate solar position by utilizing the infinity characteristic model of the polarized skylight pattern. The linear analytic model of the solar azimuth angle and zenith angle are established respectively by polar coordinate transformation of the infinity characteristic model of polarized skylight pattern, which transforms the solution of solar position into the slope solution of the linear equations. The measured experiments under clear, cloudy and partial occlusion conditions verify the effectiveness and better robustness of our linear algorithm, which can provide a more simple and efficient method to achieve the solar position.

关键词： 实践教学体系   信息技术   生命科学   新工科  

摘要： 健康大数据与数字医疗的出现使得对复合型的新工科专业人才需求更加迫切。要发展新工科的专业建设,必须结合我国发展现代医学的要求,培养服务于现代医学的专业技术人才。利用先进的人工智能和大数据技术改造传统的生命科学,有助于探索疾病发病机制,药物快速研发,疾病防疫等。文章讨论了发展生物医学信息化技术的新内涵,研究了建设生命科学与计算机交叉的实践教学体系,探讨了新型医学信息技术人才的培养路径。

关键词： 计算机科学与技术   信息安全   大数据  

摘要： 随着人类社会的不断进步,计算机科学与技术的现代化应用与发展已经成为大势所趋,如今计算机科技所带来的便捷服务渗透到人类生活中的每个角落。但是,在为人类提供便利的同时,计算机也涌现出了一些不容忽视的应用问题。基于此,本文主要围绕计算机科学与技术应用概况、应用现状、应用措施和应用创新这4个方面,并结合相关应用实例,对计算机科技的现代化应用展开了全面的研讨,以为相关人员提供借鉴。

摘要： Join Dr Keegan as she guides you through a range of challenging transfusion scenarios focusing on the laboratory investigations required to manage these complex clinical situations. This interactive session will explore the complexity of the RhD b...

关键词： 人工智能(AI)   计算机专业   能力培养   教学改革  

摘要： 人工智能(AI)是以计算机技术为支撑的。随着我国即将跨入AI时代,肩负培养计算机高级专业人才的高校计算机老师,如何为国家培养符合AI时代发展要求的计算机专业本科生,是一个值得深思的重要问题。文章针对这一问题,就目前我国非重点高等院校计算机本科专业教学中存在的一些问题,从培养思路、教学方法、教学内容、师资队伍建设等方面入手,探讨顺应AI时代要求的计算机本科专业教学的改革,以达到提高教学质量、培养计算机专业本科生具有较强综合实践能力的目的。

关键词： 黑釉瓷盏   宋代   茶文化   斗茶  

摘要： 在宋代茶文化达到了鼎盛时期,尤其是在斗茶文化盛行下,黑釉瓷盏受到了更多的推崇,宋徽宗曾说:“盏以青绿为贵,兔毫为上”,这也使得在宋代时期点茶、品茶、斗茶以黑釉瓷盏为尊,在宋代茶文化中黑釉瓷盏具有极强的标志性,对后世的茶文化有着深远的影响。

关键词： Standards   Hardware   Floating-point arithmetic   Computer science   Lips   Error analysis   Transforms   Floating-point arithmetic   numerical reproducibility   rounding error analysis   error-free transforms   rounding mode   formal proof  

摘要： The 2019 version of the IEEE 754 Standard for Floating-Point Arithmetic recommends that new "augmented" operations should be provided for the binary formats. These operations use a new "rounding direction": round-to-nearest ties-to-zero. We show how they can be implemented using the currently available operations, using round-to-nearest ties-to-even with a partial formal proof of correctness.

关键词： Training   Data models   Collaborative work   Mathematical model   Servers   Optimization   Computer science   Client selection   contextual combinatorial multi-arm bandit   fairness scheduling   federated learning   lyapunov optimization  

摘要： The issue of potential privacy leakage during centralized AI's model training has drawn intensive concern from the public. A Parallel and Distributed Computing (or PDC) scheme, termed Federated Learning (FL), has emerged as a new paradigm to cope with the privacy issue by allowing clients to perform model training locally, without the necessity to upload their personal sensitive data. In FL, the number of clients could be sufficiently large, but the bandwidth available for model distribution and re-upload is quite limited, making it sensible to only involve part of the volunteers to participate in the training process. The client selection policy is critical to an FL process in terms of training efficiency, the final model's quality as well as fairness. In this article, we will model the fairness guaranteed client selection as a Lyapunov optimization problem and then a C(2)MAB-based method is proposed for estimation of the model exchange time between each client and the server, based on which we design a fairness guaranteed algorithm termed RBCS-F for problem-solving. The regret of RBCS-F is strictly bounded by a finite constant, justifying its theoretical feasibility. Barring the theoretical results, more empirical data can be derived from our real training experiments on public datasets.