靳勇

作品数：37被引量：50H指数：3
导出分析报告
供职机构：常熟理工学院更多>>
发文主题：跨层设计无线传感器网络协作通信控制策略自适应更多>>
发文领域：自动化与计算机技术电子电信医药卫生文化科学更多>>
发文期刊：《计算机工程与应用》《北京邮电大学学报》《计算机工程》《自动化应用》更多>>
所获基金：国家自然科学基金江苏省自然科学基金江苏省“六大人才高峰”高层次人才项目教育部留学回国人员科研启动基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于深度强化学习的面向无线充电的电动汽车路径规划
《自动化应用》2025年第2期72-75,共4页靳勇 陈政超 杨惠珍 
常熟市科技计划(社会发展)项目(CS202204);苏州市社会发展科技创新项目(SS202155)。
电动汽车的广泛应用使得电动汽车充电面临成本高、效率低和城市电网负荷大等一系列问题。为此,在行车道铺设无线充电线圈以实现电动汽车的无线充电,形式化了电动汽车无线充电调度问题;基于深度强化学习,提出了电动汽车调度算法,以使所...
关键词：电动汽车 无线充电 路径规划 带限制的最短路径 深度强化学习 
基于Isabelle/HOL的文件系统形式化设计与验证
《计算机工程》2024年第4期277-285,共9页王文斌 钱振江 靳勇 孙高飞 邢晓双 苏超 孙天琦 
江苏省自然科学基金面上项目(BK20191475);常熟市社会发展项目(CS202204)。
对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工...
关键词：形式化验证 文件系统 定理证明 有限状态机 微内核 
基于Isabelle/HOL的离散数学实验教学设计与实践被引量：1
《常熟理工学院学报》2021年第5期110-115,共6页钱振江 聂盼红 肖乐 闫海英 严卫 殷旭东 靳勇 龚声蓉 
江苏省高等教育教学改革研究项目“产教融合背景下应用型本科人工智能行业学院模式的探索与实践”(2019JSJG582);江苏省高校“青蓝工程”中青年学术带头人培养对象项目(2019)。
传统的离散数学实验教学,通常使用C、C++等程序设计语言来完成相应的课程验证性实验.学生在花费大量的时间和精力完成程序设计后,依然对程序的正确性没有直观的认识.借助Isabelle/HOL交互式定理证明器工具和形式化方法,构建离散数学实...
关键词：离散数学 实验教学 形式化方法 Isabelle/HOL 
基于服务质量机会测量的传感器网络协作控制机制
《计算机应用研究》2018年第5期1511-1513,1518,共4页靳勇 钱振江 
江苏省档案局科技项目(2016-14);江苏省文化厅科研项目(16YB12);国家自然科学基金资助项目(61402057);江苏省科技计划自然科学研究项目(BK20140418);苏州市2016年度产业前瞻性应用研究(工业)指导性计划项目(2016)
为了消除制约无线传感器网络性能的因素和提高网络控制效率,基于实时网络服务质量机会测量提出了传感器网络协作控制机制。首先,基于发送端节点和接收端节点状态以及中继节点的协作,测定无线传感器网络实时状态;其次,分析能耗品质和负...
关键词：网络状态 服务质量 机会测量 协作控制 
基于WEKA数据挖掘平台的医学数据分类及肾病早期预测被引量：4
《中国数字医学》2018年第3期38-40,62,共4页夏开建 王建强 靳勇 
苏州市科技发展计划项目(编号:SYSD2015014);常熟市科技局资助性项目(编号:CS201503)~~
目的:随着医院信息化建设的发展,如何从海量医院临床信息挖掘出隐藏的关联数据,为患者提供早期辅助诊断,是目前智能医疗诊断领域热门的研究方向。方法:在WEKA数据挖掘平台的基础上,对慢性肾脏疾病数据进行挖掘分析,并比较不同挖掘算法...
关键词：数据挖掘 WEKA平台 慢性肾病 RANDOM Fores 
核最小模最小平方误差方法医学图像识别算法
《中国医疗设备》2018年第2期73-76,80,共5页夏开建 靳勇 
苏州市科技发展计划项目(SYSD2015014);常熟市科技局资助性项目(CS201503)
最小平方误差方法(Least Square Error,MSE)因其在对模式分类中所具备的有效性和高效性,在模式识别领域得到广泛的应用。同时基于核方法的非线性理论的不断成熟,针对医学图像识别通常存在的非线性可分问题,提供了一种有效的解决途径。...
关键词：最小平方误差 核方法 核最小模最小平方误差方法 核主分量分析 医学目标识别 
基于人体微观生理大数据的主动感知临床应用研究
《医学信息学杂志》2017年第11期19-22,48,共5页夏开建 王建强 靳勇 
苏州市科技发展计划项目(项目编号:SYSD2015014);常熟市科技局资助性项目(项目编号:CS201503)
介绍人体微观生理系统及大数据线性规划模型的建立,阐述主动感知临床应用的处理算法,对系统性能进行验证,多位患者的一周内临床应用实验证明该方案在算法能耗、数据精度和临床满意度等方面均表现优秀。
关键词：人体微观参数 生理大数据 主动感知 临床应用 
基于GOP分帧协作的多媒体多流并行传输机制被引量：1
《电子技术应用》2017年第6期110-112,117,共4页靳勇 钱振江 
江苏省文化厅科研项目(16YB12);江苏省档案局科技项目(2016-14);国家自然科学基金项目(61402057);江苏省科技计划自然科学研究项目(BK20140418)
针对移动多媒体通信的可靠性和并行多流的实时性保障问题,通过组建GOP分帧协作网络,提出了多媒体多流并行动态传输机制。首先,基于多媒体流结构和视频帧优先级与吞吐率、可解码帧率和信道质量的关系,提出了GOP分帧协作传输网络的构建和...
关键词：GOP分帧 协作传输 多媒体流 动态调度 多流并行 
基于物联网的报警系统设计被引量：5
《实验室研究与探索》2017年第1期280-282,共3页闫海英 靳勇 王晓喃 
国家自然科学基金(61202440);常熟市科技局科技支撑计划(社会发展部分)项目(cs201413);江苏省大学生创新项目(201510333034Y)
针对校车安全问题多发现象,在分析其原因的基础上,指出了目前校车安全系统的不足,设计了一种基于物联网的校车安全报警系统。该系统主要由传感器、协调器、报警主机、声光报警、屏幕显示、控制设备、短信服务器及数据库服务器8个组成部...
关键词：物联网 校车 报警 ZIGBEE GPRS 
基于虚拟现实深度融合的锡剧互联网+产业发展研究
《戏剧之家》2017年第3期260-261,共2页靳勇 霍进芳 金冬梅 王迎春 
江苏省文化厅科研项目;项目编号:16YB12
互联网+锡剧产业发展涉及编剧、展演和人脸表情识别、行为分析、人员定位、多媒体挖掘与信息安全等领域和技术。针对上述技术融合复杂度高、未知因素多和用户体验多样性等问题,本文基于虚拟现实技术和互联网+产业平台,为锡剧的互联网+...
关键词：互联网+ 锡剧产业化 用户体验 软硬件协同 个性化服务 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部