公共文化服务平台

共 6 条记录，以下是 1-6

全选清除导出

排序方式：

基于混合搜索的含逻辑“与”“或”的RM优化算法: 2017年; 相对于标准约束优化问题,广义约束优化问题(或称析取优化问题)的等式或不等式约束条件中不仅包含逻辑"与"关系,还含有逻辑"或"关系.单调速率(RM)优化问题是广义约束优化问题的一个重要应用.目前RM优化问题已有的解法包括函数变换、混合整数规划、线性规划搜索等算法.随着任务数的增多,这些算法的求解时间较长.提出一种基于线性规划的深度广度混合搜索算法(LPHS),将广义约束优化问题拆分成若干子问题,建立线性规划搜索树,合理选择搜索顺序,利用动态剪枝算法减小子问题的规模,最终求得最优解.实验结果表明,LPHS算法比其他方法有明显的效率提升.研究成果与计算机基础理论中的可满足性模理论的研究相结合,有助于提高可满足性模理论问题的求解效率,促进该理论在程序验证、符号执行等领域的进一步应用.; 吕荫润陈力陈力吴敬征王翀; 关键词：约束优化问题实时系统线性规划搜索算法

我国空间科学与应用领域的科技成果评估: 2023年; 我国空间科学与应用领域在研制任务相关技术评估方面已形成了相关法律法规、国家顶层政策、部委政策和工程管理政策等4个层次结构,在国家加强科技成果规范评价的背景下,对其科技成果进行规范化和体系化评估成为有待进一步研究的重点。因此,在总结国家发布的一系列相关政策和标准基础上,分析空间科学与应用成果评估的内涵和目的,总结其基于任务的分层分类分阶段评估、基于价值的多领域多要素多指标综合评估、突出国际前沿比较和应用用户评价、定性与定量相结合评价的特点,提出按任务层次、项目类型和工程阶段等方式的评估分类,以及全周期过程的成果产出与评估理念,形成构建评估模型、形式审查、组建评估专家组、成果评估、评估结果分析与反馈等主要评估流程,给出载荷研制类、科学实验类、科学研究类(或基础研究类)、应用研究类等4类成果的主要体现形式和评估要素,并提出在同行评议基础上采用统计调查法、文献计量法和定量与定性相结合的方法进行评估。最后针对我国空间科学与应用成果评估存在的四大问题给出六点发展建议。; 张九星张伟李绪志韩培王翀刘艳韩樾夏

SMT求解技术的发展及最新应用研究综述被引量：11: 2017年; 可满足性模理论(satisfiability modulo theories,SMT)是判定一阶逻辑公式在组合背景理论下的可满足性问题.SMT的背景理论使其能很好地描述实际领域中的各种问题,结合高效的可满足性判定算法,SMT在测试用例自动生成、程序缺陷检测、RTL(register transfer level)验证、程序分析与验证、线性逻辑约束公式优化问题求解等一些最新研究领域中有着突出的优势.首先阐述SMT问题的基础SAT(satisfiability)问题及判定算法;其次对SMT问题、判定算法进行了总结,分析了主流的SMT求解器,包括Z3,Yices2,CVC4等;然后着重介绍了SMT求解技术在典型领域中的实际应用,对目前的研究热点进行了阐述;最后对SMT未来的发展前景进行了展望,目的是试图推动SMT的发展,为此领域的相关人员提供有益的参考.; 王翀吕荫润陈力王秀利王永吉; 关键词：测试用例自动生成云计算

国外载人航天应用成果管理研究及启示: 2023年; 应用成果管理是载人航天工程管理过程的重要环节,也是空间科学与应用成果产出和推广的必要步骤,对高效促进成果产出和转移转化,以及充分发挥载人航天工程的综合应用效益等具有重要意义。在分析载人航天应用成果的特点和分类,以及调查国外主要航天机构成果管理情况的基础上,重点综述了国际空间站针对应用成果在收集、归档、发布、共享、推广和成果使用等方面的方法和典型案例,分析了国际空间站应用成果管理方面的成功经验。结合中国载人航天应用成果管理的现状,提出了针对中国空间站应用发展阶段大规模空间科学与应用任务进行高效率和高标准成果管理的启示和建议。; 张九星张伟李绪志王翀覃帮勇; 关键词：载人航天成果管理空间站

深度学习基础上的中医实体抽取方法研究被引量：14: 2019年; 介绍命名实体识别及模型应用研究情况,以中医典籍作为数据源,采用深度学习方法,进行中医疾病、方剂、中草药等实体抽取,设计BiLSTM-CRF序列标注模型,构建中医典籍实验语料进行实验,结果表明该模型算法具有高度准确性。; 张艺品关贝吕荫润王翀吴炳潮王永吉毕诗旋; 关键词：知识图谱中医

隐蔽信道新型分类方法与威胁限制策略被引量：7: 2020年; 隐蔽信道是指恶意通信双方通过修改共享资源的数值、特性或状态等属性,来编码和传递信息的信道.共享资源的选取,由隐蔽信道的类型与具体通信场景所决定.早期,存储隐蔽信道和时间隐蔽信道主要存在于传统操作系统、网络和数据库等信息系统中.近年来,研究重点逐渐拓展到了3类新型隐蔽信道,分别为混合隐蔽信道、行为隐蔽信道和气隙隐蔽信道.对近年来国内外隐蔽信道研究工作进行了系统的梳理、分析和总结.首先,阐述隐蔽信道的相关定义、发展历史、关键要素和分析工作.然后,根据隐蔽信道共享资源的类型以及信道特征,提出新的隐蔽信道分类体系.首次从发送方、接收方、共享资源、编码机制、同步机制、评价指标和限制方法这7个方面,对近年来新型隐蔽信道攻击技术进行系统的分析和归纳,旨在为后续隐蔽信道分析和限制等研究工作提供有益的参考.进而,讨论了面向隐蔽信道类型的威胁限制技术,为设计面向一类隐蔽信道的限制策略提供研究思路.最后,总结了隐蔽信道中存在的问题和挑战.; 王翀王秀利王秀利吕荫润吴敬征张常有吴敬征; 关键词：隐蔽通信隐蔽信道信息隐藏

全选清除导出

共1页<1>

王翀