王翀

作品数：6被引量：38H指数：3
导出分析报告
供职机构：中国科学院更多>>
发文主题：中医知识图谱测试用例自动生成SMT云计算更多>>
发文领域：自动化与计算机技术航空宇航科学技术医药卫生文化科学更多>>
发文期刊：《医学信息学杂志》《载人航天》《计算机研究与发展》《软件学报》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
国外载人航天应用成果管理研究及启示被引量：1
《载人航天》2023年第4期536-546,共11页张九星 张伟 李绪志 王翀 覃帮勇 
空间站任务规划论证(Y3140511UN)。
应用成果管理是载人航天工程管理过程的重要环节,也是空间科学与应用成果产出和推广的必要步骤,对高效促进成果产出和转移转化,以及充分发挥载人航天工程的综合应用效益等具有重要意义。在分析载人航天应用成果的特点和分类,以及调查国...
关键词：载人航天 应用成果 成果管理 空间科学与应用 空间站 
我国空间科学与应用领域的科技成果评估被引量：1
《科技管理研究》2023年第12期59-67,共9页张九星 张伟 李绪志 韩培 王翀 刘艳 韩樾夏 
中国科学院载人航天工程空间应用系统项目“空间站任务规划论证”(Y3140511UN)。
我国空间科学与应用领域在研制任务相关技术评估方面已形成了相关法律法规、国家顶层政策、部委政策和工程管理政策等4个层次结构,在国家加强科技成果规范评价的背景下,对其科技成果进行规范化和体系化评估成为有待进一步研究的重点。因...
关键词：空间科学 空间应用 科技成果评估 科学与应用 经济与社会 中国 
隐蔽信道新型分类方法与威胁限制策略被引量：10
《软件学报》2020年第1期228-245,共18页王翀 王秀利 吕荫润 张常有 吴敬征 关贝 王永吉 
国家自然科学基金(U1636213,61772507,61672508);国家重点研发计划(2017YFB1002300)。
隐蔽信道是指恶意通信双方通过修改共享资源的数值、特性或状态等属性,来编码和传递信息的信道.共享资源的选取,由隐蔽信道的类型与具体通信场景所决定.早期,存储隐蔽信道和时间隐蔽信道主要存在于传统操作系统、网络和数据库等信息系统...
关键词：隐蔽通信 隐蔽信道 隐蔽信道分类 信息隐藏 行为隐蔽信道 
深度学习基础上的中医实体抽取方法研究被引量：16
《医学信息学杂志》2019年第2期58-63,共6页张艺品 关贝 吕荫润 王翀 吴炳潮 王永吉 毕诗旋 
科技部国家重点研发计划重点专项(项目编号:2017YFB1002300);大数据驱动的中医智能辅助诊断服务系统课题一"多模态异构中医药大数据高效获取与资源库建设"(项目编号:2017YFB1002301)和课题三"基于深度学习的中医多尺度认知方法和辩证论治分析模型"(项目编号:2017YFB1002303)
介绍命名实体识别及模型应用研究情况,以中医典籍作为数据源,采用深度学习方法,进行中医疾病、方剂、中草药等实体抽取,设计BiLSTM-CRF序列标注模型,构建中医典籍实验语料进行实验,结果表明该模型算法具有高度准确性。
关键词：知识图谱 实体抽取 中医 深度学习 
基于混合搜索的含逻辑“与”“或”的RM优化算法
《软件学报》2017年第10期2525-2538,共14页吕荫润 陈力 王翀 吴敬征 王永吉 
中国科学院-国家外国专家局创新团队国际合作伙伴计划;国家自然科学基金(61170072);青年科学基金(61303057)~~
相对于标准约束优化问题,广义约束优化问题(或称析取优化问题)的等式或不等式约束条件中不仅包含逻辑"与"关系,还含有逻辑"或"关系.单调速率(RM)优化问题是广义约束优化问题的一个重要应用.目前RM优化问题已有的解法包括函数变换、混合...
关键词：约束优化问题 实时系统 单调速率 线性规划 搜索算法 
SMT求解技术的发展及最新应用研究综述被引量：11
《计算机研究与发展》2017年第7期1405-1425,共21页王翀 吕荫润 陈力 王秀利 王永吉 
国家自然科学基金项目(61170072;61303057);中国科学院;国家外国专家局创新团队国际合作伙伴计划~~
可满足性模理论(satisfiability modulo theories,SMT)是判定一阶逻辑公式在组合背景理论下的可满足性问题.SMT的背景理论使其能很好地描述实际领域中的各种问题,结合高效的可满足性判定算法,SMT在测试用例自动生成、程序缺陷检测、RTL(...
关键词：可满足性模理论 SMT求解器 SMT求解算法 测试用例自动生成 程序缺陷检测 云计算 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部