期刊文献+
共找到391篇文章
< 1 2 20 >
每页显示 20 50 100
一种基于Parlay Framework API的应用侧框架系统的设计与实现 被引量:2
1
作者 张小强 李立 +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
2
作者 姜蕴 《集美大学学报(教育科学版)》 2013年第3期5-11,共7页
Pathwise Framework入职项目隶属美国教育考试服务中心(ETS),是美国入职培训领域中培训质量最好、培训内容最紧凑的入职支持项目,是同类培训的典范。该项目旨在通过为新教师提供反思性支持和评估来促进他们的职业发展,帮助新教师在备... Pathwise Framework入职项目隶属美国教育考试服务中心(ETS),是美国入职培训领域中培训质量最好、培训内容最紧凑的入职支持项目,是同类培训的典范。该项目旨在通过为新教师提供反思性支持和评估来促进他们的职业发展,帮助新教师在备课—教学—反思—改进这一动态、循环和持续的过程后成为一名自主能力较强的教师。研究其理论基础、内容、组织过程、特点,无疑对建立我国自己的教师入职培训体系具有积极的借鉴意义。 展开更多
关键词 新教师入职培训 Pathwise^(■) framework入职项目 夏洛特.丹尼尔森'专业实践构成框架'
在线阅读 下载PDF
基于微信小程序的考勤签到系统设计与实现
3
作者 涂蓝 《现代信息科技》 2026年第2期103-108,共6页
随着移动互联网发展,微信小程序凭借便捷特性成为多领域信息化服务首选。在职业教育学生手机近乎全覆盖的背景下,文章设计并实现一套基于微信小程序的考勤签到系统。该系统利用SpringBoot框架接入微信JSSDK,利用其丰富的开发组件,如表... 随着移动互联网发展,微信小程序凭借便捷特性成为多领域信息化服务首选。在职业教育学生手机近乎全覆盖的背景下,文章设计并实现一套基于微信小程序的考勤签到系统。该系统利用SpringBoot框架接入微信JSSDK,利用其丰富的开发组件,如表单、导航链接、和位置服务等,旨在实现课堂教学管理的全面信息化,提高教学效率,并有效解决传统签到方式存在的效率低、易代签、数据难统计等问题。系统利用微信开发组件,采用模块化与前后端分离架构,实现多角色权限管理及用户管理、签到统计等核心功能,测试显示其能快速响应、精准签到,有效解决了传统签到弊端,大幅提升课堂管理信息化水平。 展开更多
关键词 微信小程序 SpringBoot框架 考勤签到系统 前后端分离
在线阅读 下载PDF
基于金属有机框架材料ZIF-8构建荧光适配体传感器用于血液中PD-L1检测的新方法
4
作者 李俊丽 施利萍 +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 荧光适配体传感器
暂未订购
Programming for scientific computing on peta-scale heterogeneous parallel systems 被引量:1
5
作者 杨灿群 吴强 +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
.Net Framework下数据加解密方法的实现
6
作者 吴永丰 钟诚 《计算机技术与发展》 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
面向AI时代的程序设计课程教学框架设计与应用
7
作者 章丽玲 雷建军 《湖北第二师范学院学报》 2025年第8期89-93,共5页
在AI技术深刻影响教育变革的背景下,程序设计课程面临学生学习动机弱化、学用脱节等挑战。本文提出面向AI时代的程序设计课程教学框架,通过“教学理念重构—教学内容重组—教学模式创新—教学服务优化”四维联动,系统提升学生的程序设... 在AI技术深刻影响教育变革的背景下,程序设计课程面临学生学习动机弱化、学用脱节等挑战。本文提出面向AI时代的程序设计课程教学框架,通过“教学理念重构—教学内容重组—教学模式创新—教学服务优化”四维联动,系统提升学生的程序设计能力,促进计算思维的养成。该框架将现实问题抽象(R-A模型)与问题驱动项目结合,强化学生的抽象建模和编程实践能力,采用分层分级和个性化反馈机制,破解学生学用脱节难题。 展开更多
关键词 程序设计 教学框架 程序设计 通用教学框架
在线阅读 下载PDF
A New Communication Framework for Networked Mobile Games
8
作者 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
多源流理论视域下“国优计划”政策议程探析
9
作者 何军 顾立新 莫甲凤 《现代大学教育》 北大核心 2025年第5期86-94,F0003,共10页
“国优计划”标志着高水平大学开展教师教育从自愿式试点步入建制化发展阶段。在多源流理论视域下,“国优计划”的出台是问题源流、政策源流和政治源流三者耦合汇聚的结果。关键指标反映的教师学历水平偏低问题、问题图景呈现的教师异... “国优计划”标志着高水平大学开展教师教育从自愿式试点步入建制化发展阶段。在多源流理论视域下,“国优计划”的出台是问题源流、政策源流和政治源流三者耦合汇聚的结果。关键指标反映的教师学历水平偏低问题、问题图景呈现的教师异化劳动现象以及政策反馈显露的科学教师需求缺口,构成问题源流;政策共同体的建言献策、相关教师教育政策实施经验以及部分高校试点经验,构成政策源流;国家对教师队伍建设与科学教育的高度重视以及社会公众对强化教师师德师风和职业能力建设的迫切诉求,构成政治源流。习近平总书记关于“教育强国建设”的重要讲话为高水平大学建制化开展教师教育提供了合法性依据,成为加速三大源流汇聚与“国优计划”出台的政策之窗。“国优计划”的未来发展应树立问题意识,聚焦阶段性发展问题;健全政策体系,注重政策更新与协同;立足国情民意,营造良好的政治环境. 展开更多
关键词 “国优计划” 政策议程 多源流理论 教师教育 科学教师培养 高水平大学
在线阅读 下载PDF
群体机器人系统通信编程框架综述
10
作者 彭龙 高元钧 +1 位作者 刘晓东 余杰 《计算机工程》 北大核心 2025年第10期37-52,共16页
算力和网络技术的发展使得机器人逐渐向小型化、群体化、智能化方向发展,部署在硬件设备上的机器人软件需要集成从底层设备驱动和控制到上层运动规划和推理等多种软件模块,软件架构日益复杂。群体机器人通信编程框架从机器人软件标准化... 算力和网络技术的发展使得机器人逐渐向小型化、群体化、智能化方向发展,部署在硬件设备上的机器人软件需要集成从底层设备驱动和控制到上层运动规划和推理等多种软件模块,软件架构日益复杂。群体机器人通信编程框架从机器人软件标准化、模块化、平台化等目标出发,减轻了机器人通信编程的复杂度。分析总结机器人软硬件架构发展趋势,得出群体机器人系统是由各类计算节点、执行器、传感器等硬件设备通过有线或无线网络互联构成的多域异构分布式系统。这种硬件设备的异构性使得软件模块难以通过单一框架集成。归纳分析现有群体机器人系统通信编程框架在易用性、可移植性等方面的特点,从编程模型、异构硬件平台支持、组件间通信机制、编程语言等核心能力方面对通信编程框架进行对比,并在实时性、虚拟化、组件编排和容错支持等扩展能力方面展望通信编程框架的发展趋势,聚焦于以元操作系统(OS)为底座的下一代编程框架,以期构建人机物泛在融合的群体机器人软件架构。 展开更多
关键词 群体机器人 通信编程框架 雾机器人 元操作系统
在线阅读 下载PDF
分切机嵌入式控制器的专用编程体系设计
11
作者 时启兵 王恒升 《机械设计与研究》 北大核心 2025年第5期79-85,92,共8页
针对PLC在分切机控制场景中智能性不足的问题,引入了嵌入式控制器以提升控制系统的运算能力与智能化水平;对于嵌入式控制器开发难度高、配置繁琐、可迁移性差的问题,提出一种分层编程体系,为用户提供简单易用的二次开发环境。编程体系... 针对PLC在分切机控制场景中智能性不足的问题,引入了嵌入式控制器以提升控制系统的运算能力与智能化水平;对于嵌入式控制器开发难度高、配置繁琐、可迁移性差的问题,提出一种分层编程体系,为用户提供简单易用的二次开发环境。编程体系的底层是固化在嵌入式控制器中的固件程序,实现分切机及伺服控制的基本功能,以函数库的形式提供给用户调用;上层是PC端的上位机解释器,是用户的开发端程序界面;中间层是嵌入式芯片中的虚拟机,提供用户程序执行环境与用户调用底层库函数的接口。介绍了该专用编程体系的工作原理和实现方法。编程体系构建在高性能嵌入式控制器之上,允许开发者在上位机开发平台编写逻辑控制程序来快速适配应用系统。在所提出的专用编程平台上,对某型号的分切机控制系统进行配置与程序设计,并通过实验测试验证了平台的有效性和可行性。实验结果表明,利用该编程体系可极大地简化分切机的程序开发,且编写的分切机控制程序可正确、有效地执行,相较于芯片的原生开发,编程体系仅占用了较少的空间和时间资源。该编程体系极大地降低了嵌入式控制器的开发门槛,提升了分切机控制系统的开发效率和灵活性。 展开更多
关键词 嵌入式控制 编程体系 编译原理 分切机
原文传递
基于开源程序的大跨桥梁模型更新
12
作者 郑俊浩 王达荣 +1 位作者 管仲国 林楷奇 《工程力学》 北大核心 2025年第3期181-190,共10页
大跨桥梁作为重要的基础工程设施,准确评估其即时服役状态、建立高保真数值模型是提升城市交通防灾水平的重要途径,实现上述目标依赖于高效可靠的复杂结构模型更新与分析技术。但已有研究多依赖商业软件平台,存在价格昂贵、算法更新速... 大跨桥梁作为重要的基础工程设施,准确评估其即时服役状态、建立高保真数值模型是提升城市交通防灾水平的重要途径,实现上述目标依赖于高效可靠的复杂结构模型更新与分析技术。但已有研究多依赖商业软件平台,存在价格昂贵、算法更新速度较慢和软件接口复杂等局限性,限制了相关研究的深入发展。因此,该文基于开源有限元分析平台OpenSees和编程语言Python,开发了适用于复杂工程结构模型更新的开源程序框架。基于Python开发了工程结构模型更新所需的高效并行优化算法,进一步编写不同功能模块的软件接口,连接模型分析平台与并行优化算法,实现复杂工程结构模型的并行分析和模型更新。在此基础上,以一个简支梁损伤识别为例,验证了上述计算程序的有效性与计算精度。以苏通大桥振动台试验缩尺模型为研究对象,采用模态置信准则匹配有限元模型和振动台试验获得的模态振型和频率数据,构建模型更新所需的优化函数,采用高性能计算平台,开展试验桥梁的模型更新并验证上述程序框架的计算效率。结果表明,该框架可以实现大跨斜拉桥精细有限元模型的高效更新,匹配实测获得的结构模态数据,各阶计算频率与试验模型的误差在1%以下。进一步地,计算更新后的数值模型在PGA=0.1 g地震动作用下的动力时程响应,与试验数据对比验证了模型更新结果的准确性。研究成果可以为基于开源平台的复杂大跨桥梁的精细化与数据驱动建模提供参考。 展开更多
关键词 开源程序框架 并行优化算法 大跨度桥梁 精细化有限元模型 模型更新
在线阅读 下载PDF
高水平旅游类专业本科课程体系优化的经验与启示——以马来西亚泰莱大学酒店、旅游和活动学院为例
13
作者 王永波 张野 程遂营 《旅游论坛》 2025年第7期82-92,共11页
在旅游产业迭代更新、旅游人才需求转变和旅游人才培养体系变革的背景下,优化旅游类专业本科课程体系成为旅游人才培养质量提升的关键举措。文章以马来西亚泰莱大学酒店、旅游和活动学院为例,提炼其旅游类专业本科课程框架与内在取向,... 在旅游产业迭代更新、旅游人才需求转变和旅游人才培养体系变革的背景下,优化旅游类专业本科课程体系成为旅游人才培养质量提升的关键举措。文章以马来西亚泰莱大学酒店、旅游和活动学院为例,提炼其旅游类专业本科课程框架与内在取向,发现其新课程体系呈现课程系统规模化、课程结构整体性和课程选择灵活性等特点。文章基于泰莱大学旅游类专业本科课程体系优化的经验,提出了我国旅游类专业本科课程优化建议:旅游类专业一流本科课程的构建应面向行业未来发展和毕业生就业的需要,在现代数字技术的加持下,推动课程内容的跨学科融合,兼顾培养目标的学术与实践素养,最终构建“立足本土”“面向未来”“世界一流”的旅游类专业本科课程体系。 展开更多
关键词 马来西亚 课程体系 旅游类专业 泰莱课程框架
在线阅读 下载PDF
面向国产智能芯片的统一智能计算架构
14
作者 王豪杰 潘泽众 +3 位作者 黄嘉成 李映辉 赵家程 武永卫 《计算》 2025年第4期25-34,共10页
智能计算架构是人工智能系统的底层基础设施,包含了算子库/通信库、领域编程语言、硬件特定编程语言等关键层次。国际主流智能计算架构以英伟达为主导,国内各厂商虽然也都建立了自己的智能计算架构,但不同芯片之间架构差异较大,无法协同... 智能计算架构是人工智能系统的底层基础设施,包含了算子库/通信库、领域编程语言、硬件特定编程语言等关键层次。国际主流智能计算架构以英伟达为主导,国内各厂商虽然也都建立了自己的智能计算架构,但不同芯片之间架构差异较大,无法协同,导致国内智能计算生态长期落后。启元实验室牵头提出了面向国产智能芯片的九源统一智能计算架构,通过软件优化和标准化建设,实现整个智能计算软硬件生态的高效分工合作,保证芯片与智能计算生态的高可用性。目前九源统一智能计算架构已经在英伟达以及多款国产芯片、不同的中央处理器(central processingunit,CPU)以及端侧芯片上进行了初步适配,支持大模型、图像处理等典型的智能模型推理任务,并具有与芯片原生计算架构相当的性能。 展开更多
关键词 智能计算架构 人工智能芯片 人工智能系统 人工智能编程框架 大模型 国产智能芯片
在线阅读 下载PDF
LLM赋能的Datalog代码翻译技术及增量程序分析框架
15
作者 王熙灶 沈天琪 +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
球馆预约小程序的设计与实现
16
作者 潘雨婷 丁勇 《福建电脑》 2025年第11期100-104,共5页
随着智能手机普及率超过90%,移动化趋势日益显著。针对传统球馆预约方式效率低、管理混乱的问题,开发球馆预约小程序具有重要现实意义。本文基于MVC设计模式,采用微信开发者工具、SpringBoot框架、MyBatis-Plus及MySQL数据库,设计并实... 随着智能手机普及率超过90%,移动化趋势日益显著。针对传统球馆预约方式效率低、管理混乱的问题,开发球馆预约小程序具有重要现实意义。本文基于MVC设计模式,采用微信开发者工具、SpringBoot框架、MyBatis-Plus及MySQL数据库,设计并实现了具备球馆信息查询、预约时段查看、在线预约、评价与反馈等功能的小程序。测试表明,该系统界面简洁、功能完善、操作便捷,能有效提升用户预约体验。 展开更多
关键词 球馆预约 微信小程序 MVC模式 SpringBoot框架
在线阅读 下载PDF
SEPAL:A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation
17
作者 Shu-Hui Zhang Rong Yang +7 位作者 Ling-Yu Zhang Han Li Ming-Xiao Wang Ming-Chen Gao Hao-Ming Hu Hui-Yan Wang Yi Qin Chang Xu 《Journal of Computer Science & Technology》 2025年第4期958-968,共11页
In recent years,human-cyber-physical systems(HCPSs)have become increasingly complex due to the widespread adoption of environmental sensing and behavioral adaption.Apart from the tight coupling between application log... In recent years,human-cyber-physical systems(HCPSs)have become increasingly complex due to the widespread adoption of environmental sensing and behavioral adaption.Apart from the tight coupling between application logic and sensing-adaptation modules,such applications are mainly constrained by erroneous sensing and abnormal adaptation issues,often resulting in misjudgment of scenarios or adaptation behaviors that deviate from intended goals.Reliability in constructing and maintaining such application systems faces significant challenges,especially as human-cyber-physical scenarios exhibit dynamic uncertainties and evolving requirements,further exacerbating the development difficulty.To address these challenges,we design and implement SEPAL,a consistency-driven programming framework and runtime support for HCPSs with reliable environmental sensing and dynamic adaptation.SEPAL simplifies the design of environmental sensing and behavioral adaption in HCPSs through a unified programming framework,and transparently manages the reliability of sensing and the unbiasedness of adaptation through its two built-in consistency-based services.SEPAL also provides a flexible browser-based management interface and a customizable interface design language for ease of usage.Case studies and evaluations demonstrate SEPAL’s facilitation of reliable support for various HCPSs,as well as the effectiveness and efficiency of environmental sensing and behavioral adaption capabilities. 展开更多
关键词 human-cyber-physical system(HCPS) sensing and adaptation assurance programming framework runtime support
原文传递
基于量子框架的喷气织机控制系统设计与开发
18
作者 蔡盛盛 陈天丰 +3 位作者 周祥清 董辉 吴祥 曹金瑞 《计算机测量与控制》 2025年第6期127-135,共9页
纺织行业作为我国国民经济与社会发展的重要支柱产业,需要实现进一步的智能化发展,喷气织机作为纺织行业的关键织造设备,在其中扮演着不可或缺的角色;喷气织机控制系统作为其核心组成部分,对织机的性能和智能化程度起着决定性的作用;针... 纺织行业作为我国国民经济与社会发展的重要支柱产业,需要实现进一步的智能化发展,喷气织机作为纺织行业的关键织造设备,在其中扮演着不可或缺的角色;喷气织机控制系统作为其核心组成部分,对织机的性能和智能化程度起着决定性的作用;针对喷气织机工艺流程复杂和软件模块高耦合度的问题,提出了一种基于量子框架的控制系统开发方案;该方案结合了事件驱动型量子编程框架和面向活动对象的概念,实现了喷气织机控制系统软件部分的分层设计,解决了功能模块之间的耦合问题,并降低了开发复杂度;设计了ARM+FPGA双核控制器的控制系统软硬件架构,开发了参数优化、安全监测等智能化功能,搭建了实验平台,对主要功能模块进行了测试,实现了引纬电磁阀10 ms高压打开及150 ms低压保持,验证了系统设计的可行性;该系统具有良好的市场应用前景,同时为喷气织机控制系统的设计与开发提供了有价值的参考。 展开更多
关键词 喷气织机 控制系统 ARM 量子框架 事件驱动型编程 活动对象
在线阅读 下载PDF
基于Qt框架的多线程编程设计与实现 被引量:1
19
作者 杨小兵 《自动化应用》 2025年第12期219-225,共7页
为了提升多线程编程在复杂应用中的效率和可靠性,基于Qt框架,深入探讨了多线程编程的设计与实现方法。通过对比分析QThread类的run方法、QThread类的moveToThread方法、QRunnable的run函数以及QtConcurrent的run函数,总结了不同多线程... 为了提升多线程编程在复杂应用中的效率和可靠性,基于Qt框架,深入探讨了多线程编程的设计与实现方法。通过对比分析QThread类的run方法、QThread类的moveToThread方法、QRunnable的run函数以及QtConcurrent的run函数,总结了不同多线程实现方式的适用场景及其优缺点。针对多线程编程中的关键技术问题,如线程间数据通信、同步处理和安全机制,提出了相应的解决方案。通过在实际工程中的应用验证,所提多线程编程方法显著提升了系统的实时性和数据处理能力,为高吞吐量、高时效性应用场景提供了有效的技术支持。 展开更多
关键词 Qt框架 多线程编程 线程同步 线程通信 线程安全
在线阅读 下载PDF
基于SpringBoot与Vue的学院人员管理系统设计与实现 被引量:3
20
作者 姚佰允 张豪 杜瑞庆 《无线互联科技》 2025年第2期78-83,共6页
人员管理对于高校学院的信息维护至关重要。传统的人员管理系统在设计上普遍侧重于存储文本信息,忽视了图片信息的存储和维护。为了解决这一问题,文章设计并实现了一种基于SpringBoot与Vue框架的学院人员管理系统。该系统采用前后端分... 人员管理对于高校学院的信息维护至关重要。传统的人员管理系统在设计上普遍侧重于存储文本信息,忽视了图片信息的存储和维护。为了解决这一问题,文章设计并实现了一种基于SpringBoot与Vue框架的学院人员管理系统。该系统采用前后端分离的设计模式,前端选用Vue框架,后端则依托SpringBoot和MyBatis框架,应用模型视图控制器(Model View Controller,MVC)3层架构来实现系统前后端高效、安全的数据交互。同时,系统结合了阿里云对象存储服务,实现了图片的云端存储与高效回显。此外,系统还引入了切面编程技术,以记录增删改操作日志,从而增强了代码的模块化和可维护性。该系统满足了学院对人员信息多样化的需求并提升了对人员信息的维护和管理效率。 展开更多
关键词 人员管理系统 SpringBoot框架 Vue框架 MyBatis框架 面向切面编程技术 对象存储
在线阅读 下载PDF
上一页 1 2 20 下一页 到第
使用帮助 返回顶部