教学课程资源库 更多>>

关键词： Tweets  

摘要： Context: X, formerly known as Twitter, is one of the largest social media platforms and has been widely used for communication during research conferences. While previous studies have examined how users engage with X during these events, limited research has focused on analyzing the content posted by computer science conferences. Objective: This study investigates how conferences from different areas of computer science perform on social media by analyzing their activity, follower engagement, and the content posted on X. Method: We collect posts from 22 computer science conferences and conduct statistical experiments to identify variations in content. Additionally, we perform a manual analysis of the top five posts for each engagement metric. Results: Our findings indicate statistically significant differences in category, sentiment, and post length across computer science conference posts. Among all engagement metrics, likes were the most common way users interacted with conference content. Conclusion: This study provides insights into the social media presence of computer science conferences, highlighting key differences in content, sentiment, and engagement patterns across different venues. Copyright © 2025, The Authors. All rights reserved.

关键词： Avatars   Authentication   Metaverse   Costs   Protocols   Manipulators   Cryptography   Internet of Things   Tail   Computer science   avatar   metaverse   traceability  

摘要： Metaverse allows users to immersively interact with millions of partners, breaking through the constraints of the physical world. To ensure the traceability of malicious avatars, provers in large-scale commercial activities need to periodically submit identity parameters to the verifier as interaction evidence, imposing a disastrous communication and storage burden on both parties. In this article, we propose a traceable and efficient continuous authentication scheme for large-scale avatars. First, we construct a continuous authentication framework, where the prover's device locally checks its manipulator to submit the starting and ending identities as interaction evidence. Second, we propose a transitive signature scheme with path verifiability to ensure the relevance and unforgeability of the starting and ending identities. Finally, we design a traceable authentication protocol based on the proposed signature scheme to reduce communication and storage costs while guaranteeing traceability. Security analysis shows that the protocol not only defends against the attacks of device hijacking and false accusations but also supports virtual-to-physical tracking. Extensive evaluations show that the communication cost and storage costs are reduced by 95.97% and 98.35%, respectively, which can be used for avatar authentication and tracking in large-scale commercial activities.

关键词： 不插电的计算机科学   计算思维   教育帮扶   西南乡村  

摘要： 人工智能时代学生的计算思维能力培养是全世界普遍关注的教育议题,乡村学生的计算思维能力培养更是关乎我国高质量教育体系建设。在西南乡村教育帮扶活动中,面对计算思维教育理念缺乏支持、计算思维教育师资薄弱等困境,文章阐述了面向计算思维的不插电计算机科学活动的框架和示例,为改善西南乡村计算思维教育落后面貌提供了有益的思路和实践经验。

关键词： Servers   Privacy   Mobile applications   Security   Public key   Encryption   Computer science   Nickel   Internet of Things   Costs   Attribute-based encryption   location sharing   mobile applications   privacy-preserving  

摘要： Location sharing, as an essential component of mobile applications, helps mobile users share location information and enhance their community connections. However, users may be reluctant to share their locations with personal privacy concerns, as anyone including location server who knows these locations can infer much sensitive information about users through analyzing these locations' information plus their background knowledge. Therefore, it poses a natural question for mobile location-sharing applications how to share users' locations without any breach of their privacy. To answer this question, in this article, we describe two practical attribute-based encryption schemes served privacy-preserving mobile location-sharing applications. Our proposals are quite suitable for such a mobile application-location sharing with common interests since in our designs users' interests are also taken into consideration as well as location information. In particular, our two schemes have a higher performance in the sense that in our first construction both ciphertexts and private keys are of constant size simultaneously, and our second construction is an extension of the first that provides a tradeoff between ciphertext size and public-key size. Therefore, the two schemes we designed in this work are quite practical in mobile applications which are often equipped with limited transmission or storage resources. Finally, we offer a formal security proof under a well-defined security model, followed by an experimental evaluation and a theoretical performance comparison.

关键词： 成人本科   课程体系优化   计算机专业  

摘要： 在终身学习型社会背景下,成人本科教育作为高等教育的重要组成部分,面临着诸多挑战与机遇。文章以计算机专业为例,深入探讨成人本科课程体系的优化策略,旨在提升教学质量,满足成人学习者多样化需求。通过对成人本科计算机专业课程目标、学生特点及课程体系现存问题的详细分析,发现当前课程体系存在竞争力不足、内容更新滞后以及重智育轻德育等问题。针对这些问题,提出顺应时代发展、突出办学特色、剔除陈旧内容、引入前沿技术,以及强化专业课程与思政教育融合等优化策略。研究认为,优化课程体系能够有效提升成人本科计算机专业的教学质量,培养更多适应社会需求的高素质计算机专业人才,为推动国家成人教育事业的发展提供有益参考,助力终身学习型社会的建设。

关键词： 互动达标模式   腹腔镜肝切除术   心理弹性   生活质量  

摘要： 目的:探讨互动达标模式干预对腹腔镜肝切除术患者心理弹性、生活质量的影响。方法:采用随机数字表法将2022年3月至2024年3月期间我院收治的78例行腹腔镜肝切除术患者分为对照组(n=39,常规干预)和研究组(n=39,在对照组基础上接受互动达标模式干预)。对比两组干预前后的临床症状改善情况、心理弹性量表(CD-RISC)评分、视觉模拟评分法(VAS)评分、匹兹堡睡眠质量指数量表(PSQI)评分、健康调查简表(SF-36)评分。结果:相较于对照组,研究组术后排气时间、术后引流时间、进食时间均更短(P<0.05)。干预后,两组乐观、坚韧、自强评分以及SF-36量表各维度评分均升高,且研究组升高更为显著(P<0.05)。干预后,两组VAS、PSQI评分下降,且研究组下降幅度更大(P<0.05)。结论:互动达标模式干预可有效缩短腹腔镜肝切除术患者的术后排气时间、术后引流时间、进食时间,减轻术后疼痛程度,提高睡眠质量,并改善患者的心理弹性和生活质量。

关键词： 学术谱系   知识转移   代际演化   时序演化   计算机科学  

摘要： 【目的】基于学术谱系构建学科知识转移网络,为考溯学科知识体系演化特征提供参考。【方法】首先,基于导学关系数据构建学术谱系网络及识别学者所处代际;其次,借助学科知识分类体系,使用混合推荐算法重新组织并关联学者知识领域;最后,构建知识转移网络并分析学科知识的代际演化和时序演化特征。【结果】获取计算机科学领域学术谱系及论文数据,系统阐述所提方法的应用过程。研究发现,计算机科学领域内学者代际关系多为两代关系,跨学科师承关系占据重要地位。随着领域内代际的增加,学科知识转移更偏向于领域内子领域间传播或同一子领域内的传承。【局限】知识转移是由多种途径实现的,研究未充分考虑融合引文等多源数据,学术谱系数据规模和质量对分析结果具有一定影响。【结论】从学术谱系视角出发构建学科知识转移网络并进行演化分析,能够细化科学发展过程的描述粒度,为探索知识转移的微观机制提供方法参考。

关键词： 新工科   学科竞赛   实践教学   以赛促学  

摘要： 随着新工科背景下高校计算机专业的发展,融合学科竞赛成为一种重要的实践教学方式。论文以阜阳师范大学为例,旨在探索融合学科竞赛在高校计算机专业中的实践教学模式,提高学生的创新能力。通过本文的研究,可以为高校计算机专业的实践教学提供借鉴和参考。

关键词： Computing education   Online labs   Pedagogy   Programming   Virtual labs   Visualization  

摘要： This paper introduces a Multi-Aspect Visualization Framework, a language-agnostic interactive platform designed to enhance programming education by addressing the unique challenges and opportunities inherent in the field. Unlike traditional science laboratories, which rely on hardware-based experiments, this platform uses a versatile visualization framework combined with a user-driven control mechanism, allowing in-depth exploration of program execution across various levels of semantics and logic. Key features include a user navigation control interface, a virtual execution engine, and a visual action translator, enabling students and educators to explore programming concepts through visual depictions, such as machine instructions, finite state machines, and control flow levels. These tools offer deep insights into algorithm dynamics and the significance of key variables, with support for visualizations such as trees and pseudocode. The framework's adaptability to multiple programming languages, coupled with its range of visualizations, highlights its potential to significantly improve student understanding and engagement in programming education. © The Author(s), under exclusive licence to Springer Nature Singapore Pte Ltd. 2025.

关键词： 新质生产力   计算机专业   创新创业   教育   融合   人才  

摘要： 在发展新质生产力背景下,社会需要计算机专业人才具有较强的专业技术、良好的创新意识和开拓性的创业精神。计算机专业教育与创新创业教育融合,是培养高素质计算机人才、促进新质生产力发展的重要教育方式。针对当前高校计算机专业教育与创新创业教育融合存在的问题,该文提出了从理念转变、教师队伍、知识融合、教学方法、评价方式、教学平台6个方面改进的融合措施,为高校计算机专业与创新创业教育融合提供了探索路径,满足社会发展对高素质计算机专业人才的需求。