期刊文献+
共找到412篇文章
< 1 2 21 >
每页显示 20 50 100
Cat Swarm Algorithm Generated Based on Genetic Programming Framework Applied in Digital Watermarking
1
作者 Shu-Chuan Chu Libin Fu +2 位作者 Jeng-Shyang Pan Xingsi Xue Min Liu 《Computers, Materials & Continua》 2025年第5期3135-3163,共29页
Evolutionary algorithms have been extensively utilized in practical applications.However,manually designed population updating formulas are inherently prone to the subjective influence of the designer.Genetic programm... Evolutionary algorithms have been extensively utilized in practical applications.However,manually designed population updating formulas are inherently prone to the subjective influence of the designer.Genetic programming(GP),characterized by its tree-based solution structure,is a widely adopted technique for optimizing the structure of mathematical models tailored to real-world problems.This paper introduces a GP-based framework(GPEAs)for the autonomous generation of update formulas,aiming to reduce human intervention.Partial modifications to tree-based GP have been instigated,encompassing adjustments to its initialization process and fundamental update operations such as crossover and mutation within the algorithm.By designing suitable function sets and terminal sets tailored to the selected evolutionary algorithm,and ultimately derive an improved update formula.The Cat Swarm Optimization Algorithm(CSO)is chosen as a case study,and the GP-EAs is employed to regenerate the speed update formulas of the CSO.To validate the feasibility of the GP-EAs,the comprehensive performance of the enhanced algorithm(GP-CSO)was evaluated on the CEC2017 benchmark suite.Furthermore,GP-CSO is applied to deduce suitable embedding factors,thereby improving the robustness of the digital watermarking process.The experimental results indicate that the update formulas generated through training with GP-EAs possess excellent performance scalability and practical application proficiency. 展开更多
关键词 Cat swarm algorithm genetic programming digital watermarking update mode mode generation framework
在线阅读 下载PDF
REST:Embracing the Rust Programming Language for Modern Electronic Structure Theory
2
作者 Zhiyun Li Tianyi Gao +11 位作者 Shirong Wang Sheng Bi Rulin Feng Zhenyu Zhu Yilin Zhao Wenjie Yan Lingyue Yu Qirui Gao Zihan Lin Jianming Wu Igor Ying Zhang Xin Xu 《Chinese Journal of Chemical Physics》 2025年第6期788-796,I0237,I0238,共11页
REST(Rust-based electronic structure toolkit)is a modern open-source electronic structure code entirely written in Rust,combining high performance,memory safety,and expressive concurrency.As a community-driven project... REST(Rust-based electronic structure toolkit)is a modern open-source electronic structure code entirely written in Rust,combining high performance,memory safety,and expressive concurrency.As a community-driven project,its source code is freely available at https://gitee.com/restgroup,fostering open collaboration and transparent development.It supports a wide range of density functional methods-from local density approximation(LDA),generalized gradient approximation(GGA),meta-GGA,and hybrids to doubly hybrids,as well as machine learning-augmented functionals-enabling high-accuracy simulations with low computational overhead.Its“disk-free”RI-based(RI:resolution-of-the-identity)implementation and efficient shared-memory parallelism(via Rayon)ensure rapid calculations even for challenging systems.REST also of-fers unique user support through large language model-assisted input generation and develop-erfriendly tensor libraries for rapid algorithm prototyping. 展开更多
关键词 Density functional theory Rust programming language XYG3-type doubly hy-brid(xDH) Fearless concurrency open-source software
在线阅读 下载PDF
Educational and research utility of the registrar clinical encounters in training(ReCEnT)project:an exploration of mechanisms using the context,input,process and product(CIPP)framework
3
作者 Michael Tran Susan Wearne +1 位作者 Andrew Davey Parker Magin 《Family Medicine and Community Health》 2025年第3期72-80,共9页
Background The Registrar Clinical Encounters in Training(ReCEnT)project is an Australian general practice vocational training programme with integrated and interdependent education and research functions.Trainees(regi... Background The Registrar Clinical Encounters in Training(ReCEnT)project is an Australian general practice vocational training programme with integrated and interdependent education and research functions.Trainees(registrars)contemporaneously document in-consultation clinical experience and actions.Objectives Using a realist lens,we elucidate the mechanisms underpinning project outcomes to answer questions around programme effectiveness,impacts,sustainability and the lessons and findings that are translatable to other primary care training programmes.Methods The context,input,process and product framework was used.As a means to understand the interactions between each of the interdependent components,it allows for inferences regarding causal mechanisms for specific outcomes.Results Context:ReCEnT occurs within an apprenticeship-like model of general practice vocational training entailing a central supervisor/apprentice relationship.ReCEnT has demystified the content and characteristics of registrar consultations.Input:multiple stakeholder involvement is both advantageous and a logistical challenge,with the programme’s success dependent on registrars,practices and training providers providing detailed and accurate data,with prompt subsequent processing.Process:contemporaneous consultation data collection in different stages of training constitutes a component of registrars’programmatic assessment.Product:individualised feedback provides educational benefit through reflection.Clinical and educational research questions can be addressed with resulting research translation feeding back into the programme model and government policy.Clinical behaviour change is also evaluated.Conclusion ReCEnT is unique,globally,in its scope and longevity(2010–present).Creation of meaningful,individualised feedback facilitates reflection and provides both immediate educational benefits and the substrate for further research,programme and policy design and targeted formal teaching and learning. 展开更多
关键词 training program data collection context input process product CIPP framework registrar clinical encounters feedback apprenticeship model realist lens elucidate mechanisms underpinning
原文传递
一种基于Parlay Framework API的应用侧框架系统的设计与实现 被引量:2
4
作者 张小强 李立 +1 位作者 邹华 杨放春 《北京邮电大学学报》 EI CAS CSCD 北大核心 2004年第z2期168-172,共5页
支持采用安全的、开放式API(应用编程接口)的业务访问方式是下一代网络业务层发展的必然趋势.介绍了下一代网络开放式的应用编程接口ParlayAPI,重点分析了其中Framework(框架)接口的特点及其功能,提出了一种安全、高效的基于ParlayFrame... 支持采用安全的、开放式API(应用编程接口)的业务访问方式是下一代网络业务层发展的必然趋势.介绍了下一代网络开放式的应用编程接口ParlayAPI,重点分析了其中Framework(框架)接口的特点及其功能,提出了一种安全、高效的基于ParlayFrameworkAPI的应用侧框架系统结构,包括Framework应用侧模块CORBA(公共对象请求代理体系结构)适配层、Framework应用侧模块实际功能层、安全工具包,并讨论了其原型实现. 展开更多
关键词 下一代网络 PARLAY 框架 应用编程接口
在线阅读 下载PDF
美国新教师入职培训的改革与创新——ETS的Pathwise^(■) Framework入职项目述评 被引量:2
5
作者 姜蕴 《集美大学学报(教育科学版)》 2013年第3期5-11,共7页
Pathwise Framework入职项目隶属美国教育考试服务中心(ETS),是美国入职培训领域中培训质量最好、培训内容最紧凑的入职支持项目,是同类培训的典范。该项目旨在通过为新教师提供反思性支持和评估来促进他们的职业发展,帮助新教师在备... Pathwise Framework入职项目隶属美国教育考试服务中心(ETS),是美国入职培训领域中培训质量最好、培训内容最紧凑的入职支持项目,是同类培训的典范。该项目旨在通过为新教师提供反思性支持和评估来促进他们的职业发展,帮助新教师在备课—教学—反思—改进这一动态、循环和持续的过程后成为一名自主能力较强的教师。研究其理论基础、内容、组织过程、特点,无疑对建立我国自己的教师入职培训体系具有积极的借鉴意义。 展开更多
关键词 新教师入职培训 Pathwise^(■) framework入职项目 夏洛特.丹尼尔森'专业实践构成框架'
在线阅读 下载PDF
基于金属有机框架材料ZIF-8构建荧光适配体传感器用于血液中PD-L1检测的新方法
6
作者 李俊丽 施利萍 +3 位作者 李娟 黄重庆 罗媚 盛赠美 《现代检验医学杂志》 2026年第1期105-110,169,共7页
目的基于金属有机框架材料(MOFs)沸石咪唑酯骨架-8(ZIF-8)来构建荧光适配体传感器,开发一种相对简单、实时、无创、稳定的血液中程序性死亡配体1(PD-L1)检测新方法。方法利用ZIF-8作为荧光淬灭剂,结合核酸适配体对靶标的特异性识别,构... 目的基于金属有机框架材料(MOFs)沸石咪唑酯骨架-8(ZIF-8)来构建荧光适配体传感器,开发一种相对简单、实时、无创、稳定的血液中程序性死亡配体1(PD-L1)检测新方法。方法利用ZIF-8作为荧光淬灭剂,结合核酸适配体对靶标的特异性识别,构建用于检测血液中PD-L1蛋白的荧光适配体传感器。对淬灭时间、反应温度、缓冲液的pH值等进行条件优化,评价干扰实验,建立以牛胎血清以及健康者和肿瘤患者血清为基础的荧光传感平台,验证该传感器的稳定性。通过荧光恢复率与PD-L1浓度之间的关系,建立线性方程来定量测量PD-L1蛋白浓度。结果基于ZIF-8构建的荧光适配体传感器的方法检测PD-L1蛋白,在最优条件下,PD-L1蛋白在低浓度时与F/F_(0)有良好的线性关系,相关系数r^(2)为0.9098,线性方程为:F/F_(0)=0.01304×C_(PD-L1)+1.452(C为PD-L1蛋白浓度,单位为ng/ml),线性范围1~150 ng/ml,实际检测下限为1ng/ml。对同家族的B7-H3、B7-1人重组蛋白及血清中其他肿瘤标志物如癌胚抗原(CEA)、甲胎蛋白(AFP)、糖类抗原(CA125、CA199)在相同体系下评估,该传感器对PD-L1具有更好的特异性。在胎牛血清中的回收率100.16%~125.1%,肿瘤患者与健康人血清中PD-L1蛋白浓度相比,前者F/F_(0)明显高于后者(2.97±0.49 vs1.23±0.20),差异具有统计学意义(t=10.382,P<0.001)。结论基于金属有机框架材料ZIF-8构建的荧光适配体传感器检测血液中PD-L1的新方法表现出较高的选择性和特异性,为建立有效的临床检测方法提供依据。 展开更多
关键词 金属有机框架材料 沸石咪唑酯骨架 核酸适配体 程序性死亡配体-1 荧光适配体传感器
暂未订购
教育科技人才体制机制一体改革下应用型法治人才培养的因应策略
7
作者 范佳洋 《高教学刊》 2026年第3期164-168,共5页
应用型法治人才是服务国家治理现代化和区域法治建设的中坚力量。当前,地方应用型高校在对接区域发展战略中存在培养目标与时代需求存在偏差、法治人才的能力进阶体系尚未完善、实践教学与职业需求存在脱节等问题,制约法治人才培养质量... 应用型法治人才是服务国家治理现代化和区域法治建设的中坚力量。当前,地方应用型高校在对接区域发展战略中存在培养目标与时代需求存在偏差、法治人才的能力进阶体系尚未完善、实践教学与职业需求存在脱节等问题,制约法治人才培养质量的整体提升。在教育、科技、人才体制机制改革一体推进的框架之下,需从重塑法学教育的战略定位、增强法治人才培养的标识度、推动各界资源的整合优化等维度协同发力,构建契合国家需求与地方特色的法学教育新范式,实现法治人才培养的提质增效。 展开更多
关键词 一体改革 法治人才 应用型法学教育 培养方案 协同框架
在线阅读 下载PDF
基于微信小程序的考勤签到系统设计与实现
8
作者 涂蓝 《现代信息科技》 2026年第2期103-108,共6页
随着移动互联网发展,微信小程序凭借便捷特性成为多领域信息化服务首选。在职业教育学生手机近乎全覆盖的背景下,文章设计并实现一套基于微信小程序的考勤签到系统。该系统利用SpringBoot框架接入微信JSSDK,利用其丰富的开发组件,如表... 随着移动互联网发展,微信小程序凭借便捷特性成为多领域信息化服务首选。在职业教育学生手机近乎全覆盖的背景下,文章设计并实现一套基于微信小程序的考勤签到系统。该系统利用SpringBoot框架接入微信JSSDK,利用其丰富的开发组件,如表单、导航链接、和位置服务等,旨在实现课堂教学管理的全面信息化,提高教学效率,并有效解决传统签到方式存在的效率低、易代签、数据难统计等问题。系统利用微信开发组件,采用模块化与前后端分离架构,实现多角色权限管理及用户管理、签到统计等核心功能,测试显示其能快速响应、精准签到,有效解决了传统签到弊端,大幅提升课堂管理信息化水平。 展开更多
关键词 微信小程序 SpringBoot框架 考勤签到系统 前后端分离
在线阅读 下载PDF
An international program on Silk Road Disaster Risk Reduction--a Belt and Road initiative (2016-2020) 被引量:11
9
作者 LEI Yu CUI Peng +5 位作者 Amar Deep REGMI Virginia MURRAY Alessandro PASUTO Giacomo TITTI Muhammad SHAFIQUE Tilak PRIYADARSHANA D.G. 《Journal of Mountain Science》 SCIE CSCD 2018年第7期1383-1396,共14页
Belt and Road Initiative(BRI) is a Chinese national strategy which calls for cooperative economic, political and cultural exchange at the global level along the ancient Silk Road. The overwhelming natural hazards loca... Belt and Road Initiative(BRI) is a Chinese national strategy which calls for cooperative economic, political and cultural exchange at the global level along the ancient Silk Road. The overwhelming natural hazards located along the belt and road bring great challenges to the success of BRI. In this framework, a 5-year international program was launched to address issues related to hazards assessment and disaster risk reduction(DRR). The first workshop of this program was held in Beijing with international experts from over 15 countries. Risk conditions on Belt and Road Countries(BRCs) have been shared and science and technology advancements on DRR have been disseminated during the workshop. Under this program, six task forces have been setup to carry out collaborative research works and three prioritized study areas have been established. This workshop announced the launching of this program which involved partners from different countries including Pakistan, Nepal, Russia, Italy, United Kingdom, Sri Lanka and Tajikistan. The program adopted the objectives of Sendai Framework for Disaster Risk Reduction 2015-2030 and United Nation Sustainable Development Goals 2030 and was implemented to assess disaster risk in BRCs and to propose suitable measures for disaster control which can be appropriate both for an individual country and for specific sites. This paper deals with the outcomes of the workshop and points out opportunities for the near future international cooperation on this matter. 展开更多
关键词 Natural hazards Silk Road Disaster risk reduction Belt and Road Initiative Sendai framework International collaboration program
原文传递
Programming for scientific computing on peta-scale heterogeneous parallel systems 被引量:1
10
作者 杨灿群 吴强 +2 位作者 唐滔 王锋 薛京灵 《Journal of Central South University》 SCIE EI CAS 2013年第5期1189-1203,共15页
Peta-scale high-perfomlance computing systems are increasingly built with heterogeneous CPU and GPU nodes to achieve higher power efficiency and computation throughput. While providing unprecedented capabilities to co... Peta-scale high-perfomlance computing systems are increasingly built with heterogeneous CPU and GPU nodes to achieve higher power efficiency and computation throughput. While providing unprecedented capabilities to conduct computational experiments of historic significance, these systems are presently difficult to program. The users, who are domain experts rather than computer experts, prefer to use programming models closer to their domains (e.g., physics and biology) rather than MPI and OpenME This has led the development of domain-specific programming that provides domain-specific programming interfaces but abstracts away some performance-critical architecture details. Based on experience in designing large-scale computing systems, a hybrid programming framework for scientific computing on heterogeneous architectures is proposed in this work. Its design philosophy is to provide a collaborative mechanism for domain experts and computer experts so that both domain-specific knowledge and performance-critical architecture details can be adequately exploited. Two real-world scientific applications have been evaluated on TH-IA, a peta-scale CPU-GPU heterogeneous system that is currently the 5th fastest supercomputer in the world. The experimental results show that the proposed framework is well suited for developing large-scale scientific computing applications on peta-scale heterogeneous CPU/GPU systems. 展开更多
关键词 heterogeneous parallel system programming framework scientific computing GPU computing molecular dynamic
在线阅读 下载PDF
Teaching programming skills to finance students:how to design and teach a great course 被引量:1
11
作者 Yuxing Yan 《Financial Innovation》 2017年第1期478-491,共14页
A motivated finance-major student should master at least one programming language.This is especially true for students from quantitative finance,business analytics,those attending a Master of Science in Finance or oth... A motivated finance-major student should master at least one programming language.This is especially true for students from quantitative finance,business analytics,those attending a Master of Science in Finance or other financial engineering programs.Among the preferred languages,R holds one of the first places.This paper explains seven critical factors for designing and teaching a programming course:strong motivation,a good textbook,hands-on learning environment,being data intensive,a challenging term project,multiple supporting R datasets,and an easy way to upload such R datasets. 展开更多
关键词 programming skills Quantitative-finance Financial engineering R open-source finance Data analytics
在线阅读 下载PDF
.Net Framework下数据加解密方法的实现
12
作者 吴永丰 钟诚 《计算机技术与发展》 2006年第10期137-138,142,共3页
分析了.Net Framework环境提供的安全机制。基于C#.Net编程语言,通过建立DESCryptoServiceProvider对象、生成EncryptString()和DecryptString()函数的方法,给出实现对称密码系统DES数据加解密的程序示例;此外,通过建立RSACryptoService... 分析了.Net Framework环境提供的安全机制。基于C#.Net编程语言,通过建立DESCryptoServiceProvider对象、生成EncryptString()和DecryptString()函数的方法,给出实现对称密码系统DES数据加解密的程序示例;此外,通过建立RSACryptoServiceProvider对象、生成EncryptData()和DecryptData()函数的方法,给出实现非对称密码系统RSA数据加解密的程序示例。所给出的方法对于开发应用密码系统具有参考价值。 展开更多
关键词 .NET framework 密码算法 C#程序设计
在线阅读 下载PDF
A New Communication Framework for Networked Mobile Games
13
作者 Chong-wei Xu 《Journal of Software Engineering and Applications》 2008年第1期20-25,共6页
This paper introduces a two-layer UDP datagram-based communication framework for developing networked mobile games. The framework consists of a physical layer and a data-link layer with a unified interface as a networ... This paper introduces a two-layer UDP datagram-based communication framework for developing networked mobile games. The framework consists of a physical layer and a data-link layer with a unified interface as a network communication mechanism. A standalone two-player mobile game, such as a chess game and the like, can be easily plugged on to the communication framework to become a corresponding networked mobile game. 展开更多
关键词 SOFTWARE framework GAMES NETWORKED MOBILE GAMES Network programMING GAMES in EDUCATION
在线阅读 下载PDF
多源流理论视域下“国优计划”政策议程探析 被引量:2
14
作者 何军 顾立新 莫甲凤 《现代大学教育》 北大核心 2025年第5期86-94,F0003,共10页
“国优计划”标志着高水平大学开展教师教育从自愿式试点步入建制化发展阶段。在多源流理论视域下,“国优计划”的出台是问题源流、政策源流和政治源流三者耦合汇聚的结果。关键指标反映的教师学历水平偏低问题、问题图景呈现的教师异... “国优计划”标志着高水平大学开展教师教育从自愿式试点步入建制化发展阶段。在多源流理论视域下,“国优计划”的出台是问题源流、政策源流和政治源流三者耦合汇聚的结果。关键指标反映的教师学历水平偏低问题、问题图景呈现的教师异化劳动现象以及政策反馈显露的科学教师需求缺口,构成问题源流;政策共同体的建言献策、相关教师教育政策实施经验以及部分高校试点经验,构成政策源流;国家对教师队伍建设与科学教育的高度重视以及社会公众对强化教师师德师风和职业能力建设的迫切诉求,构成政治源流。习近平总书记关于“教育强国建设”的重要讲话为高水平大学建制化开展教师教育提供了合法性依据,成为加速三大源流汇聚与“国优计划”出台的政策之窗。“国优计划”的未来发展应树立问题意识,聚焦阶段性发展问题;健全政策体系,注重政策更新与协同;立足国情民意,营造良好的政治环境. 展开更多
关键词 “国优计划” 政策议程 多源流理论 教师教育 科学教师培养 高水平大学
在线阅读 下载PDF
Exploration of nurses ’ experience in clinical application of stroke nursing scheme based on PARIHS framework
15
作者 Xue-Jing Li Hong Chen 《Nursing Communications》 2022年第1期167-172,共6页
Objective: Based on evidence-based thinking, a qualitative research method was used to analyze the clinical application status of the traditional Chinese medicine nursing program to provide scientific references for i... Objective: Based on evidence-based thinking, a qualitative research method was used to analyze the clinical application status of the traditional Chinese medicine nursing program to provide scientific references for its optimization. Methods: Based on the three elements of the PARIHS framework, combined with clinical investigation, the interview outline was determined to interview the users and promoters of the program. After transcribing and coding the collected data with Nvivo software, referring to Colaizzi ’ s seven-step analysis and generic analysis, all codes are classified and integrated with the core elements and specific connotations of the PARIHS framework to form a theme. Results: The interviewees thought that although the program promoted the development of traditional Chinese medicine nursing to a certain extent, the content lacked scientific research evidence support, and some contents were inconsistent with clinical scenarios and past experience, and the implementation method was rigid, and the effect evaluation was unreasonable. There were 11 themes in three categories. Conclusion: Specific operation processes and scientific research evidence should be added to the scheme, and it should be improved according to clinical practice. 展开更多
关键词 traditional Chinese medicine nursing program PARIHS framework evidence-based nursing qualitative research
暂未订购
面向AI时代的程序设计课程教学框架设计与应用 被引量:1
16
作者 章丽玲 雷建军 《湖北第二师范学院学报》 2025年第8期89-93,共5页
在AI技术深刻影响教育变革的背景下,程序设计课程面临学生学习动机弱化、学用脱节等挑战。本文提出面向AI时代的程序设计课程教学框架,通过“教学理念重构—教学内容重组—教学模式创新—教学服务优化”四维联动,系统提升学生的程序设... 在AI技术深刻影响教育变革的背景下,程序设计课程面临学生学习动机弱化、学用脱节等挑战。本文提出面向AI时代的程序设计课程教学框架,通过“教学理念重构—教学内容重组—教学模式创新—教学服务优化”四维联动,系统提升学生的程序设计能力,促进计算思维的养成。该框架将现实问题抽象(R-A模型)与问题驱动项目结合,强化学生的抽象建模和编程实践能力,采用分层分级和个性化反馈机制,破解学生学用脱节难题。 展开更多
关键词 程序设计 教学框架 程序设计 通用教学框架
在线阅读 下载PDF
对推进水预算管理的几点思考 被引量:2
17
作者 王亦宁 《水利发展研究》 2025年第9期6-11,25,共7页
水预算管理是发挥市场机制作用,促进从严从细管好水资源、精打细算用好水资源的创新探索,代表了一种更能反映现代管理理念的供用水管理方式。近年来水利部在全国积极探索开展水预算管理试点建设,取得一定成效和经验,同时由于水预算管理... 水预算管理是发挥市场机制作用,促进从严从细管好水资源、精打细算用好水资源的创新探索,代表了一种更能反映现代管理理念的供用水管理方式。近年来水利部在全国积极探索开展水预算管理试点建设,取得一定成效和经验,同时由于水预算管理是一项创新事物,对水预算管理的目的、特征、优势等问题,各方关注度很高,但认识上还存在一些不清晰的地方。文章研究提出,水预算管理着眼于统筹水资源供需平衡和高效利用,注重保障发展需求和强化约束管理的有机结合,发挥水要素对引导产业结构优化和促进高质量发展的作用,并能够带动现有水资源管理和技术体系的升级,具有突出优势。并从强化水预算管理法律支撑、加强水预算管理制度顶层设计、突出为市场经济服务扩大水预算管理影响力、注重处理好水预算与现行水资源管理制度衔接和创新、加快水预算管理数字化信息化建设、加强水预算试点建设的技术指导和跟踪评估等方面,提出了进一步推进水预算管理的建议。 展开更多
关键词 水预算 水预算管理 水预算管理试点建设 节水制度政策体系 水资源管理
在线阅读 下载PDF
LLM赋能的Datalog代码翻译技术及增量程序分析框架 被引量:1
18
作者 王熙灶 沈天琪 +1 位作者 宾向荣 卜磊 《软件学报》 北大核心 2025年第6期2515-2534,共20页
Datalog是一种声明式逻辑编程语言,在不同领域得到了广泛应用.近年来,学术界和工业界对Datalog的兴趣高涨,设计并开发了多种Datalog引擎和相应方言.然而,多方言带来的一个问题是以一种Datalog方言实现的代码,一般而言不能在另一种方言... Datalog是一种声明式逻辑编程语言,在不同领域得到了广泛应用.近年来,学术界和工业界对Datalog的兴趣高涨,设计并开发了多种Datalog引擎和相应方言.然而,多方言带来的一个问题是以一种Datalog方言实现的代码,一般而言不能在另一种方言的引擎上执行.因此,当采用新Datalog引擎时,需要将现有Datalog代码翻译到新方言上.目前的Datalog代码翻译技术可分为人工重写代码和人工设计翻译规则两类,存在耗时长、大量重复劳动、缺乏灵活性和可拓展性等问题.提出了一种大语言模型(LLM)赋能的Datalog代码翻译技术,利用LLM强大的代码理解和生成能力,通过分治翻译策略、基于少样本提示和思维链提示的提示工程、基于检查-反馈-修复的迭代纠错机制,可以在不同Datalog方言之间实现高精度代码翻译,减轻开发人员重复开发翻译规则的工作量.基于此代码翻译技术,设计并实现了一种通用的基于Datalog的声明式增量程序分析框架.在不同Datalog方言对上评估了所提出的LLM赋能的Datalog代码翻译技术的性能,评估结果验证了所提代码翻译技术的有效性.对通用声明式增量程序分析框架进行了实验评估,验证了基于所提代码翻译技术的增量程序分析的加速效果. 展开更多
关键词 DATALOG 代码翻译 大语言模型 程序分析 增量分析框架
在线阅读 下载PDF
基于开源程序的大跨桥梁模型更新 被引量:1
19
作者 郑俊浩 王达荣 +1 位作者 管仲国 林楷奇 《工程力学》 北大核心 2025年第3期181-190,共10页
大跨桥梁作为重要的基础工程设施,准确评估其即时服役状态、建立高保真数值模型是提升城市交通防灾水平的重要途径,实现上述目标依赖于高效可靠的复杂结构模型更新与分析技术。但已有研究多依赖商业软件平台,存在价格昂贵、算法更新速... 大跨桥梁作为重要的基础工程设施,准确评估其即时服役状态、建立高保真数值模型是提升城市交通防灾水平的重要途径,实现上述目标依赖于高效可靠的复杂结构模型更新与分析技术。但已有研究多依赖商业软件平台,存在价格昂贵、算法更新速度较慢和软件接口复杂等局限性,限制了相关研究的深入发展。因此,该文基于开源有限元分析平台OpenSees和编程语言Python,开发了适用于复杂工程结构模型更新的开源程序框架。基于Python开发了工程结构模型更新所需的高效并行优化算法,进一步编写不同功能模块的软件接口,连接模型分析平台与并行优化算法,实现复杂工程结构模型的并行分析和模型更新。在此基础上,以一个简支梁损伤识别为例,验证了上述计算程序的有效性与计算精度。以苏通大桥振动台试验缩尺模型为研究对象,采用模态置信准则匹配有限元模型和振动台试验获得的模态振型和频率数据,构建模型更新所需的优化函数,采用高性能计算平台,开展试验桥梁的模型更新并验证上述程序框架的计算效率。结果表明,该框架可以实现大跨斜拉桥精细有限元模型的高效更新,匹配实测获得的结构模态数据,各阶计算频率与试验模型的误差在1%以下。进一步地,计算更新后的数值模型在PGA=0.1 g地震动作用下的动力时程响应,与试验数据对比验证了模型更新结果的准确性。研究成果可以为基于开源平台的复杂大跨桥梁的精细化与数据驱动建模提供参考。 展开更多
关键词 开源程序框架 并行优化算法 大跨度桥梁 精细化有限元模型 模型更新
在线阅读 下载PDF
上一页 1 2 21 下一页 到第
使用帮助 返回顶部