期刊文献+
共找到251篇文章
< 1 2 13 >
每页显示 20 50 100
Feasibility of Using Optimal Control Theory and Training-Performance Model to Design Optimal Training Programs for Athletes
1
作者 Yi Yang Che-Yu Lin 《Computer Modeling in Engineering & Sciences》 2025年第6期2767-2783,共17页
In order to help athletes optimize their performances in competitions while prevent overtraining and the risk of overuse injuries,it is important to develop science-based strategies for optimally designing training pr... In order to help athletes optimize their performances in competitions while prevent overtraining and the risk of overuse injuries,it is important to develop science-based strategies for optimally designing training programs.The purpose of the present study is to develop a novel method by the combined use of optimal control theory and a training-performance model for designing optimal training programs,with the hope of helping athletes achieve the best performance exactly on the competition day while properly manage training load during the training course for preventing overtraining.The training-performance model used in the proposed optimal control framework is a conceptual extension of the Banister impulse-response model that describes the dynamics of performance,training load(served as the control variable),fitness(the overall positive effects on performance),and fatigue(the overall negative effects on performance).The objective functional of the proposed optimal control framework is to maximize the fitness and minimize the fatigue on the competition day with the goal of maximizing the performance on the competition day while minimizing the cumulative training load during the training course.The Forward-Backward Sweep Method is used to solve the proposed optimal control framework to obtain the optimal solutions of performance,training load,fitness,and fatigue.The simulation results show that the performance on the competition day is higher while the cumulative training load during the training course is lower with using optimal control theory than those without,successfully showing the feasibility and benefits of using the proposed optimal control framework to design optimal training programs for helping athletes achieve the best performance exactly on the competition day while properly manage training load during the training course for preventing overtraining.The present feasibility study lays the foundation of the combined use of optimal control theory and training-performance models to design personalized optimal training programs in real applications in athletic training and sports science for helping athletes achieve the best performances in competitions while prevent overtraining and the risk of overuse injuries. 展开更多
关键词 Banister impulse-response model athletic training and performance coaching education physical fitness sports science computational and mathematical modeling
在线阅读 下载PDF
The Algorithms of Weightening Based on DNA Sticker Model
2
作者 Chunyan Zhang Weijun Zhu Qinglei Zhou 《国际计算机前沿大会会议论文集》 2018年第2期22-22,共1页
关键词 sticker model dna computing sticker machinesWeightening
在线阅读 下载PDF
Solving the independent set problem by sticker based DNA computers
3
作者 Hassan Taghipour Ahad Taghipour +1 位作者 Mahdi Rezaei Heydar Ali Esmaili 《American Journal of Molecular Biology》 2012年第2期153-158,共6页
In this paper, the sticker based DNA computing was used for solving the independent set problem. At first, solution space was constructed by using appropriate DNA memory complexes. We defined a new operation called “... In this paper, the sticker based DNA computing was used for solving the independent set problem. At first, solution space was constructed by using appropriate DNA memory complexes. We defined a new operation called “divide” and applied it in construction of solution space. Then, by application of a sticker based parallel algorithm using biological operations, independent set problem was resolved in polynomial time. 展开更多
关键词 Parallel computing sticker BASED dna COMPUTERS INDEPENDENT Set PROBLEM NP-COMPLETE PROBLEM
在线阅读 下载PDF
生成式人工智能何以赋能学生数字素养培育——基于信息科技课程的实证研究 被引量:14
4
作者 朱莎 李嘉源 +1 位作者 况秀林 白洁 《中国电化教育》 北大核心 2025年第2期75-83,共9页
数字素养是数字时代人才综合素质的重要组成部分,培育学生数字素养是培养符合数字时代需求的高质量人才队伍的必由之路。然而,由于学生数字素养培育理念过于强调技术工具的操作使用,忽视了智能时代倡导的人机协同自主学习,这已成为制约... 数字素养是数字时代人才综合素质的重要组成部分,培育学生数字素养是培养符合数字时代需求的高质量人才队伍的必由之路。然而,由于学生数字素养培育理念过于强调技术工具的操作使用,忽视了智能时代倡导的人机协同自主学习,这已成为制约学生数字素养培育的瓶颈。生成式人工智能在创设灵活开放、包容共享的人机协同环境,引导学生自组织学习方面具有巨大潜力,可为破解上述困境提供新的契机。鉴于此,该文构建了基于自组织学习理论的学生数字素养培育模型,提出面向学生数字素养培育的GAiSOLEs教学模式,并在信息科技课程中开展准实验研究,验证GAiSOLEs教学模式对学生数字素养培育的影响。结果表明,GAiSOLEs教学模式可以显著提升学生的数字素养整体水平,以及信息意识、计算思维和数字化学习与创新等维度水平,但对信息社会责任的提升效果不显著。基于此,提出应该重视技术伦理安全,构建可控教育大模型,关注学生数字知识技能发展,避免陷入认知陷阱,并开展生成式人工智能教学培训,提升教师数字素养。 展开更多
关键词 数字素养 人机协同 生成式人工智能 信息科技课程 教学模式
在线阅读 下载PDF
以大模型产业生态体系孵化人工智能产业研究——基本理论、孵化路径、挑战与对策 被引量:1
5
作者 纪玉山 王涛 《工业技术经济》 北大核心 2025年第10期5-13,共9页
在全球人工智能技术加速迭代的背景下,大模型产业生态体系的构建已经成为孵化人工智能产业的核心力量,不仅能加速技术创新,还能促进产业融合与升级。深入研究以大模型产业生态体系孵化人工智能产业的基本理论与孵化路径,对于把握人工智... 在全球人工智能技术加速迭代的背景下,大模型产业生态体系的构建已经成为孵化人工智能产业的核心力量,不仅能加速技术创新,还能促进产业融合与升级。深入研究以大模型产业生态体系孵化人工智能产业的基本理论与孵化路径,对于把握人工智能发展趋势、提升产业竞争力、推动经济社会数字化、智能化转型具有十分重要的理论与现实意义。习近平总书记今年4月29日在上海“模速空间”大模型创新生态社区调研时指出:“人工智能技术加速迭代,正迎来爆发式发展,上海要总结好以大模型产业生态体系孵化人工智能产业等成功经验,加大探索力度,力争在人工智能发展和治理各方面走在前列,产生示范效应。”本文系统分析大模型产业生态体系构建的基本理论与核心逻辑,提出“国家创新体系-风险投资管理-AI龙头企业-场景裂变创新”四轮驱动的产业孵化路径。要通过国家创新体系稳住大盘,通过风险投资激活市场,通过AI龙头企业提供基础大模型,通过场景裂变加速关键技术落地。针对当前产业转化效率不足、技术壁垒待突破等问题,本文提出算力普惠化、数据合规化、场景工程化、治理前瞻化的对策,为我国人工智能产业集群发展提供理论支撑与实践范式。 展开更多
关键词 大模型产业生态体系 人工智能产业 科学智能 数据要素 API 经济 孵化路径 力普惠 前瞻治理
在线阅读 下载PDF
大模型视域下计算机专业实践课程体系建设探讨 被引量:1
6
作者 吴国栋 涂立静 +1 位作者 李景霞 时国龙 《黑龙江工程学院学报》 2025年第4期60-64,80,共6页
以大模型视域下计算机专业学生实践能力培养模式为研究对象,深入分析大模型技术特点及其教育意义、教育需求变化和当前计算机专业实践课程教学的不足,提出从基础层、技术层、项目层和创新层4个方面构建以大模型为核心的计算机专业实践... 以大模型视域下计算机专业学生实践能力培养模式为研究对象,深入分析大模型技术特点及其教育意义、教育需求变化和当前计算机专业实践课程教学的不足,提出从基础层、技术层、项目层和创新层4个方面构建以大模型为核心的计算机专业实践课程教学体系。在此基础上,重点通过整合大模型技术与计算机专业实践课程内容、创新实践教学方法、建设实践平台、优化实践教学评价机制等方面设计一个大模型视域下计算机专业实践课程教学体系改革方案,旨在构建和完善与大模型发展相适应的计算机专业实践课程教学体系,培养符合未来产业发展需求的高素质、创新型计算机专业人才。 展开更多
关键词 大模型 计算机专业 实践课程 教学体系 教育创新
在线阅读 下载PDF
“计算材料学与材料模拟技术”智慧课堂翻转教学模式的构建与实践
7
作者 牛继南 金芳军 +1 位作者 毛梁 顾修全 《武汉轻工大学学报》 2025年第3期104-108,共5页
“计算材料学与材料模拟技术”作为材料科学与工程领域融汇多学科理论与计算实践的前沿课程,其教学固有的理论艰深、计算密集、应用性强等特点,对传统教学范式构成了挑战。为契合“新工科”对创新人才培养的要求并拥抱教育信息化浪潮,... “计算材料学与材料模拟技术”作为材料科学与工程领域融汇多学科理论与计算实践的前沿课程,其教学固有的理论艰深、计算密集、应用性强等特点,对传统教学范式构成了挑战。为契合“新工科”对创新人才培养的要求并拥抱教育信息化浪潮,立足智慧课堂的技术环境,设计、实施并评估了一种专为该课程定制的翻转教学模式,以学生为核心、技术为支撑进行混合式学习:课前借助在线平台进行基础理论与软件技能的自主预习;课中转入师生深度互动,聚焦复杂问题研讨与高级模拟实践;课后通过项目延伸与持续反馈机制实现知识巩固与能力提升。本文详述了该模式的理论依据、架构设计、关键实施环节及评价策略,并结合教学实践数据进行了效果剖析。实践结果表明,该模式在激发学习主动性、深化理论理解、提升计算模拟与问题解决能力、促进协作精神方面显示出积极成效,为计算材料学领域创新人才的培养提供了有价值的实践参考。 展开更多
关键词 智慧课堂 翻转课堂 计算材料学 材料模拟 教学模式
在线阅读 下载PDF
教育强国建设背景下研考计算机学科专业基础科目能力模型构建及实施路径研究
8
作者 陈曦 姚刚 《计算机教育》 2025年第8期9-15,共7页
聚焦教育强国建设背景下对计算机类专业硕士研究生人才的选育要求,提出构建“一核三维、德才兼备”的研考计算机学科专业基础科目双环结构的能力模型,并对命题实践中该模型的实施路径进行探索讨论,通过运用验证性因素分析方法对该模型... 聚焦教育强国建设背景下对计算机类专业硕士研究生人才的选育要求,提出构建“一核三维、德才兼备”的研考计算机学科专业基础科目双环结构的能力模型,并对命题实践中该模型的实施路径进行探索讨论,通过运用验证性因素分析方法对该模型的结构效度进行验证,说明数据对模型的拟合程度良好,从而为研考计算机科目的评价实践提供新的路径。 展开更多
关键词 研究生招生考试 计算机学科专业基础 能力模型
在线阅读 下载PDF
基于精细异质信息网络表示学习的文献推荐研究
9
作者 李琳娜 郭晓琪 +2 位作者 张运良 王力 张晓丹 《数字图书馆论坛》 2025年第5期11-19,共9页
目前针对异质信息网络的文献推荐主要基于已有的文献间引用、共同作者、同期刊发表等信息构建文献之间的关联关系,没有从文献的研究问题、方法模型等研究人员更关心的文献细粒度内容角度构建文献间关系,不能将这些细粒度的关联关系融入... 目前针对异质信息网络的文献推荐主要基于已有的文献间引用、共同作者、同期刊发表等信息构建文献之间的关联关系,没有从文献的研究问题、方法模型等研究人员更关心的文献细粒度内容角度构建文献间关系,不能将这些细粒度的关联关系融入文献推荐过程,从而影响最终的推荐效果。将文献的研究问题、方法模型两类细粒度标签加入学术信息网络,并提出了文献推荐模型PRM-FHIN,通过对异质信息网络表示学习方法HECO进行优化学习网络节点的结构向量,通过对SciBERT模型进行微调学习网络节点的内容向量,基于融合的内容向量和结构向量实现最终的文献推荐。从开放学术图谱中抽取2010—2020年计算机科学领域的185万篇论文作为实验数据,实验结果表明:优化后的HECO算法能更好地对网络节点进行嵌入式表示,在异质信息网络中融入研究问题和方法模型等细粒度标签可以丰富文献之间的语义信息,从而提高最终的文献推荐效果。 展开更多
关键词 精细异质信息网络 异质信息网络表示学习 文献推荐 细粒度标签 计算机科学 研究问题 方法模型
在线阅读 下载PDF
DNA计算机原理、进展及难点(Ⅳ):论DNA计算机模型 被引量:33
10
作者 许进 谭钢军 +1 位作者 范月科 郭养安 《计算机学报》 EI CSCD 北大核心 2007年第6期881-893,共13页
在DNA计算机研究中,所建模型的好坏直接影响着DNA计算中诸多问题,如编码的难易程度、整个生物操作或生化反应的设计、解空间的大小、计算时间多少、应用范围以及通用性的程度等.如何建立快速的、功能强的、具有一定通用性的DNA计算机模... 在DNA计算机研究中,所建模型的好坏直接影响着DNA计算中诸多问题,如编码的难易程度、整个生物操作或生化反应的设计、解空间的大小、计算时间多少、应用范围以及通用性的程度等.如何建立快速的、功能强的、具有一定通用性的DNA计算机模型,是从事DNA计算机研究者一直关注与感兴趣的难题.为此,该文将主要围绕着DNA计算机的模型建立展开讨论,重点讨论10年来所建立起来的一些主要模型.共分为三种类型:第一种是利用DNA分子结构与特性所建立起来的几种主要模型;第二种是利用生物操作方式所建立的三种模型:试管型、表面型与芯片型;第三种是所谓的DNA计算机模型.文中讨论了这些模型的基本原理、功能、优缺点以及应用的研究进展等.最后,对DNA计算机模型研究中的难点进行了分析,并给出了相应的解决思路. 展开更多
关键词 dna计算 dna计算机 模型
在线阅读 下载PDF
图的最大团与最大独立集粘贴DNA计算模型 被引量:10
11
作者 范月科 强小利 许进 《计算机学报》 EI CSCD 北大核心 2010年第2期305-310,共6页
粘贴模型(stickermodel)是DNA计算中一个很重要的模型.其主要原理就是采用单双链混合型DNA分子进行编码,其优点在于在生物操作过程中不需要DNA链的延伸,不需要生物酶的作用以及DNA链可重复使用等,因此引起了来自不同学科的学者们的广泛... 粘贴模型(stickermodel)是DNA计算中一个很重要的模型.其主要原理就是采用单双链混合型DNA分子进行编码,其优点在于在生物操作过程中不需要DNA链的延伸,不需要生物酶的作用以及DNA链可重复使用等,因此引起了来自不同学科的学者们的广泛关注与兴趣.文中提出了一种求解图的最大团问题的DNA计算模型,该模型采用了两种基本并行计算处理思想,一种是将图分解成小的子图来处理的并行思想;另一种是进行并行生物操作. 展开更多
关键词 dna计算 粘贴模型 最大团问题
在线阅读 下载PDF
DNA计算研究概述与分析 被引量:6
12
作者 支凌迎 殷志祥 +1 位作者 黄晓慧 胡娟 《系统工程与电子技术》 EI CSCD 北大核心 2009年第6期1462-1466,共5页
基于生化反应机理的DNA计算模型受到科学领域内许多不同学科学者们的关注。DNA计算已经形成国际科学前沿领域内研究的一个新的热点。主要介绍了Sticker模型的应用及布尔电路的仿真应用,并分析了DNA计算模型中存在的问题。最后,简要介绍... 基于生化反应机理的DNA计算模型受到科学领域内许多不同学科学者们的关注。DNA计算已经形成国际科学前沿领域内研究的一个新的热点。主要介绍了Sticker模型的应用及布尔电路的仿真应用,并分析了DNA计算模型中存在的问题。最后,简要介绍了DNA计算研究存在的问题及未来的研究方向。 展开更多
关键词 dna计算 sticker模型 布尔电路 最小集合覆盖
在线阅读 下载PDF
基于闭环DNA模型的八皇后问题算法 被引量:18
13
作者 周康 同小军 许进 《计算机工程与应用》 CSCD 北大核心 2007年第6期4-6,13,共4页
给出了闭环DNA计算模型及其基本生化实验,提出了基于闭环DNA的求解八皇后问题全部可行解的DNA算法,分析了算法的实现步骤及其实现方式并得到了全部的可行解。最后讨论了算法的复杂性。
关键词 八皇后问题 闭环dna模型 dna编码 删除实验
在线阅读 下载PDF
DNA计算模型的研究 被引量:4
14
作者 周康 魏传佳 +2 位作者 程珍 黄玉芳 许进 《计算机工程与应用》 CSCD 北大核心 2009年第18期1-5,12,共6页
DNA计算模型在DNA计算的各个研究领域中占有重要的地位,对DNA计算模型进行研究是有意义的。首先回顾了DNA计算模型的发展历史;然后从DNA的基本结构入手研究了DNA计算的机理,并对DNA计算的过程进行了详细分析,从而归纳出DNA计算模型的基... DNA计算模型在DNA计算的各个研究领域中占有重要的地位,对DNA计算模型进行研究是有意义的。首先回顾了DNA计算模型的发展历史;然后从DNA的基本结构入手研究了DNA计算的机理,并对DNA计算的过程进行了详细分析,从而归纳出DNA计算模型的基本概念;再对DNA计算模型按照DNA计算的物质形态进行了分类并对每一类DNA计算模型的理论及其应用进行了详细的分析。 展开更多
关键词 dna计算 模型 机理
在线阅读 下载PDF
基于粘贴模型的图顶点着色问题的DNA算法 被引量:11
15
作者 马季兰 杨玉星 《计算机应用》 CSCD 北大核心 2006年第12期2998-3000,共3页
为了用生化实验的方法解决图的顶点着色问题,基于粘贴模型的巨大并行性,将着色问题转化为可满足性问题,提出一个基于粘贴模型的DNA算法。通过一个实例给出了操作步骤,并对生化反应过程进行了模拟,得出具体的着色方案,证明了该算法的可... 为了用生化实验的方法解决图的顶点着色问题,基于粘贴模型的巨大并行性,将着色问题转化为可满足性问题,提出一个基于粘贴模型的DNA算法。通过一个实例给出了操作步骤,并对生化反应过程进行了模拟,得出具体的着色方案,证明了该算法的可行性。 展开更多
关键词 dna计算 粘贴模型 NP-完全问题 图顶点着色
在线阅读 下载PDF
最短路问题的闭环DNA算法 被引量:14
16
作者 周康 同小军 +1 位作者 刘文斌 许进 《系统工程与电子技术》 EI CSCD 北大核心 2008年第3期556-560,共5页
提出了不等长闭环DNA分子的概念,由此推广了闭环DNA计算模型。给出了固定端点的最短路问题闭环DNA算法,该算法首先对每条弧进行了三组DNA编码,再用有目的的终止技术合成固定端点的所有链,然后通过接入实验和电泳实验得到最短路,并通过... 提出了不等长闭环DNA分子的概念,由此推广了闭环DNA计算模型。给出了固定端点的最短路问题闭环DNA算法,该算法首先对每条弧进行了三组DNA编码,再用有目的的终止技术合成固定端点的所有链,然后通过接入实验和电泳实验得到最短路,并通过检测实验输出所有最短路径。得出了算法的复杂性,为说明算法的有效性给出了一个算例。最后讨论了最短路问题闭环DNA算法在变权网络、自由终点或固定中间点的最短路问题中的应用,并给出了相应的解决方法。由此说明该算法具有广泛的适应性。 展开更多
关键词 闭环dna计算模型 最短路问题 有目的的终止技术 接入实验
在线阅读 下载PDF
最大匹配问题的粘贴DNA算法 被引量:3
17
作者 吴雪 宋晨阳 +2 位作者 张楠 朱煜 陈志华 《计算机科学》 CSCD 北大核心 2013年第12期127-132,140,共7页
最大匹配问题(MMP)是图论中经典的组合优化问题。针对此问题提出了基于DNA粘贴计算模型的求解算法,阐述了该算法如何利用DNA链构建最大匹配问题的初始编码,说明了应用粘贴计算模型寻求最终解的生物操作过程,同时分析了此DNA并行算法的... 最大匹配问题(MMP)是图论中经典的组合优化问题。针对此问题提出了基于DNA粘贴计算模型的求解算法,阐述了该算法如何利用DNA链构建最大匹配问题的初始编码,说明了应用粘贴计算模型寻求最终解的生物操作过程,同时分析了此DNA并行算法的计算复杂度,最后给出了该算法的计算机模拟仿真结果和应用实例,得到了所给问题的最大匹配解,并对算法的可行性进行了验证和总结。 展开更多
关键词 dna计算 最大匹配 粘贴模型
在线阅读 下载PDF
基于闭环DNA计算的最大独立集问题的算法 被引量:12
18
作者 周康 同小军 +1 位作者 刘文斌 许进 《计算机工程》 CAS CSCD 北大核心 2008年第4期40-41,44,共3页
提出闭环DNA计算模型及其基本生化实验,给出解决最大独立集问题的闭环DNA算法。在闭环DNA算法中,提出并实现了用删除实验直接构造所有最大独立集的构想,即通过多次删除实验使顶点集合逐步满足独立集的要求,最后达到最大独立集。该方法... 提出闭环DNA计算模型及其基本生化实验,给出解决最大独立集问题的闭环DNA算法。在闭环DNA算法中,提出并实现了用删除实验直接构造所有最大独立集的构想,即通过多次删除实验使顶点集合逐步满足独立集的要求,最后达到最大独立集。该方法使得算法的设计简单明了。算法仅用到基本的删除实验,实现简捷、可靠。 展开更多
关键词 闭环dna计算模型 最大独立集问题 删除实验 电泳实验
在线阅读 下载PDF
基于DNA计算的线性时序逻辑模型检测方法 被引量:4
19
作者 朱维军 周清雷 张钦宪 《计算机学报》 EI CSCD 北大核心 2016年第12期2578-2597,共20页
该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3′-5′型单链DNA分子对LTL公式的有穷状态自动机(Fi... 该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3′-5′型单链DNA分子对LTL公式的有穷状态自动机(Finite State Automata,FSA)模型进行编码,从而获得实现公式的粘贴自动机;其次,使用5′-3′型单链DNA分子对系统模型进行编码,从而获得粘贴自动机的输入字符串;最后,对表征粘贴自动机的DNA单链分子和表征输入字符串的DNA单链分子实施一系列生化反应,即可判定系统是否满足公式.分子生物学仿真实验结果表明:给出的DNA编码序列能达到99.9%的碱基配对正确率,且新方法成功地对所有4种LTL基本公式与5种LTL常见公式实施了检测;与之对照,已有的方法只能有效检测1种LTL基本公式与0种LTL常见公式.在此基础上,对本实验给出的DNA编码方案直接作位数扩展即可拥有对任意给定LTL一般公式的(理论)检测能力. 展开更多
关键词 模型检测 脱氧核糖核酸 线性时序逻辑 粘贴自动机 有穷状态自动机 dna计算
在线阅读 下载PDF
可满足性问题的闭环DNA算法 被引量:8
20
作者 周康 魏传佳 +1 位作者 刘朔 王防修 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2009年第7期75-78,共4页
给出并证明了可满足性问题有解的一个充分必要条件,即合取范式的成假赋值仅由与简单析取式个数相等的有限个向量决定.在此条件基础上设计出用这些向量对初始赋值进行筛除的可满足性问题过滤算法,该算法的时间复杂性仅与向量个数和维数有... 给出并证明了可满足性问题有解的一个充分必要条件,即合取范式的成假赋值仅由与简单析取式个数相等的有限个向量决定.在此条件基础上设计出用这些向量对初始赋值进行筛除的可满足性问题过滤算法,该算法的时间复杂性仅与向量个数和维数有关.为了在DNA计算模型上实现可满足性问题过滤算法,采用2n维向量的数据结构进行DNA编码代表可满足性问题的赋值;而闭环DNA计算模型的删除实验恰好能够完成对初始赋值的筛选,得到可满足性问题的可行解.最后用闭环DNA计算模型实现了可满足性问题过滤算法,并用实例说明了算法的有效性和可行性. 展开更多
关键词 可满足性问题 闭环dna计算模型 过滤算法 删除实验 接入实验
原文传递
上一页 1 2 13 下一页 到第
使用帮助 返回顶部