教学课程资源库 更多>>

关键词： Lungs   Systematic literature review   Sensors   Estimation   Databases   Reliability   Monitoring   Data mining   Computer science   Volume measurement   Biotechnology   lung volume (LV) and capacity   respiratory sensors   systematic review   wearable devices  

摘要： Accurate lung volume (LV) estimation is critical for assessing respiratory health and diagnosing conditions such as asthma, chronic obstructive pulmonary disease (COPD), and restrictive lung diseases. While clinical gold-standard tools-spirometry, plethysmography, helium dilution, and arterial blood gas (ABG) analysis-provide reliable data, they are constrained by invasiveness, clinical setting requirements, and the inability to support continuous or ambulatory monitoring. These limitations underscore the demand for wearable, noninvasive technologies capable of enabling real-time, patient-centered respiratory tracking. This systematic literature review (SLR) assesses LV estimation technologies, focusing on wearable and contactless approaches. Studies published between 2014 and 2024 were sourced from IEEE Xplore, Scopus, and PubMed. A structured selection process based on the Angela guidelines was employed, narrowing an initial set of 304 publications to 45 relevant studies. Each study was analyzed based on device type, sensing methodology, measured lung parameters, participant characteristics, activity context, and validation strategies. The review highlights notable progress in wearable respiratory monitoring, particularly through flexible, textile-based, and printable sensor technologies. However, significant gaps persist in the standardization of validation methods, consistency of performance across diverse respiratory activities, and generalizability due to limited participant diversity. Most studies lack longitudinal data necessary for chronic disease monitoring. Future research must prioritize robust validation protocols, inclusive participant sampling, and long-term performance studies in real-world conditions. Addressing these challenges is essential when it comes to advancing wearable lung monitoring from experimental prototypes to clinically viable tools, enhancing early detection, remote monitoring, and personalized respiratory care, which could have far-

关键词： Resource management   Federated learning   Vehicle-to-everything   Training   Sidelink   Reliability   3GPP   Vehicle dynamics   Computer science   Processor scheduling   Distributive training   federated learning   NR-V2X Mode 2   semi-persistent scheduling (SPS)  

摘要： The Third Generation Partnership Project (3GPP) introduced cellular vehicle-to-everything (C-V2X) for vehicular communications. In the standard, C-V2X Mode 4 is defined for the distributed resource selection. Subsequently, in 3GPP Release 16, NR-V2X is introduced with Mode 1 and Mode 2 for vehicular communications. Likewise C-V2X Mode 4, NR-V2X Mode 2 is used for decentralized resource scheduling. The vehicles select the resources based on their local observations by utilizing the semi-persistent scheduling (SPS). Since, the vehicles select the resources based on the local observation, sensing nature of SPS is challenged by the hidden node problem that lead to resource conflict. To resolve the contention, 3GPP also introduced the physical sidelink feedback channel (PSFCH) to assist the distributive resource scheduling based on the receiver feedback. However, this incurred a signaling overhead. In this work, federated learning is exploited for distributive training via offline method and distributive multiagent-based resource scheduling is performed following the principles of NR-V2X Mode 2. Distributed training favors the model accuracy by accommodating the varying affect of the environment due to the high mobile dynamics. Simulation is conducted by integrating SUMO in conjunction with 3GPP NR-V2X standard. Performance results demonstrate a substantial improvement compared to other deep learning methods, where centralized training and random resource selection procedures are employed. This research marks a significant stride toward efficient and conflict-resilient resource allocation in vehicular communications.

关键词： 社会建构主义   跨学科   句法复杂度   学术摘要   学科性  

摘要： 本研究基于社会建构主义理论(Hyland, 2004),通过构建计算机科学(CS)和应用语言学(AL)学科期刊摘要的语料库,系统分析两学科摘要在句法复杂度方面的差异及其社会建构机制。结果显示,AL摘要在句子长度、T-unit长度、主从复合句使用比例和复杂名词短语密度上显著高于CS摘要;而CS摘要则倾向于使用更为精练、术语化的名词短语结构。这些差异反映了各学科的特定话语实践与学科身份建构逻辑。研究不仅深化了对不同学科语言差异的理论理解,也为学术写作教学与跨学科交流提供了实践启示。

关键词： 一流学科建设   精准学科服务   高校图书馆  

摘要： 学科服务工作是高校图书馆服务学校一流学科建设的重要途径,是智慧时代图书馆深化服务、创新发展的着力点。以一流学科建设为导向,以学科用户需求为中心,对照学校一流学科建设任务,构建精准、高效、快速的学科服务模式,并基于大连海事大学重点建设的“计算机科学”学科进行了实践探索,以期为高校图书馆开展精准学科服务,助力一流学科建设提供参考和借鉴。

关键词： 人工智能技术   计算机专业   教学   信息化   教育创新  

摘要： 信息化快速发展的时代背景下,人工智能技术已成为推动教育创新与变革的关键力量。不仅能实现教学内容的智能化推荐,还能对学生的学习历史及学习能力等进行多维度评估,从而为他们制定科学的学习计划和方案,有利于提高学习的效率。文章旨在探讨人工智能技术在计算机专业教学中的应用,首先阐述人工智能技术在计算机专业教学中的作用,然后分析阻碍人工智能技术在计算机专业教学发展的因素,并提出应用对策,以期为计算机专业教学的发展提供有益的参考和启示。

关键词： 文旅融合   数字经济   游戏产业   文化资源   符号资本   黑神话:悟空  

摘要： 厘清游戏产业助推文旅融合的特征和机制,对补充完善文旅融合发展研究具有重要意义。文章以《黑神话:悟空》为例,运用场域转换理论,剖析文化符号在虚拟场域和现实文旅场域之间的流动和转换。研究发现,数字技术赋能不仅打破了文化资源的物理空间限制,还增强了文化资源的互动性与传播力,推动符号资本的增值和跨域传播,带动符号资本向实体文化资本、社会资本、经济资本的转换。同时,游戏产业与文旅产业的深度融合推动了文旅消费模式的转型升级,提升了文化认同、促进地方经济发展,但仍面临诸多挑战。

关键词： Blockchains   Smart contracts   Internet of Things   Uncertainty   NIST   Reliability   Security   Logic   Information technology   Computer science   Cross-chain   nonblockchain systems (NBS)   smart contract variables   uncertainty issues  

摘要： Smart contracts are essential tools for enabling interaction between blockchain and Internet of Things (IoT) systems. For example, in cold chain logistics, the blockchain can obtain the states of the logistics system through smart contracts. However, direct interactions between smart contracts and these systems introduce uncertainties, potentially leading to network forks or state inconsistencies, which can compromise the security and reliability of the blockchain. To address these challenges, a novel smart contract variable, ExState, is proposed, specifically designed to track and store the dynamic states of IoT systems. Additionally, a corresponding operational logic is defined to organize these states into sequential records, ensuring that the state sequences obtained by each node remain consistent, effectively mitigating state conflicts. In addition, a formal model is developed, accompanied by a theoretical analysis of its determinacy. Experimental results demonstrate that, in cross-chain scenarios, this method achieves a performance improvement of up to 50.41% compared to the traditional Oracle method.

关键词： Security   Authentication   Blockchains   Vehicular ad hoc networks   Privacy   Computational efficiency   Computer science   Smart contracts   Computational modeling   Elliptic curve cryptography   Authenticated key agreement (AKA)   blockchain   Internet of Vehicles (IoV)   security   trust  

摘要： The Internet of Vehicles (IoV) enhances road safety through real-time vehicle-to-vehicle (V2V) communication of traffic messages. However, V2V wireless connectivity poses security and privacy threats, as malicious adversaries can eavesdrop and modify V2V messages or compromise vehicle identity privacy. Existing authenticated key agreement (AKA) schemes attempt to address these threats but suffer from security flaws, computational inefficiency, high communication overhead, single points of failure, and trust deficits, making them unsuitable for resource-constrained and delay-sensitive IoV applications. To address the above challenges, we propose a blockchain-powered AKA scheme with a reputation-incentive mechanism (BAKARI) for V2V communication. BAKARI employs Schnorr signatures and lightweight elliptic curve cryptographic operations to improve computational efficiency, and minimizes communication overhead by completing the AKA phase with only two messages. BAKARI leverages blockchain ledger and smart contracts to maintain vehicle authentication information and V2V messages. Additionally, it incorporates a reputation-incentive model, where trustworthy vehicles are rewarded while malicious ones are penalized. A rigorous security analysis, including formal proof under the random or real model, informal analysis, and ProVerif verification, demonstrates BAKARI's resilience against security and privacy threats. Performance evaluation shows that BAKARI balances computational efficiency, communication overhead, and security better than the benchmark schemes. Finally, simulations on Hyperledger Fabric and Veins frameworks validate BAKARI's practicality in real-world IoV environments.