期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
基于形式化方法的混成系统验证
1
作者 唐敏 吴熊 +2 位作者 李平 唐晨 杨国荣 《软件导刊》 2018年第4期39-41,44,共4页
对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基于形式化方法是根据混成系统的形式规范与属性,使用数学方法证明其正确性或非正确性。对温控系统实现了抽... 对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基于形式化方法是根据混成系统的形式规范与属性,使用数学方法证明其正确性或非正确性。对温控系统实现了抽象算法的形式化,首先对线性混成系统的状态空间进行分割,然后将其转化为图的可达性问题,利用图算法求解,最终对系统进行了安全性验证。实验结果表明,采用形式化方法对混成系统进行安全性验证具有较高的可靠性与可信性。 展开更多
关键词 形式化方法 抽象算法 混成系统 温控系统
下载PDF
一个抽象算法的收敛性定理
2
作者 俞建 《贵州工学院学报》 1989年第3期66-68,共3页
本文提出了一个抽象算法,并证明了收敛性定理。
关键词 点到集映象 抽象算法 收敛性
下载PDF
阿拉善荒漠区的植物新分布记录种 被引量:3
3
作者 梁存柱 朱宗元 王炜 《干旱区资源与环境》 CSCD 1999年第3期94-96,共3页
在《内蒙古植物志》(第二版)自 1989 年陆续分卷出版后,本文作者在阿拉善地区的科学考察与采集的植物标本中,又发现了内蒙古植物区系的新记录种 14个种,1 个变种,1 个新变种。分别隶属于蓼科(2 种,1 变种,2 属)、... 在《内蒙古植物志》(第二版)自 1989 年陆续分卷出版后,本文作者在阿拉善地区的科学考察与采集的植物标本中,又发现了内蒙古植物区系的新记录种 14个种,1 个变种,1 个新变种。分别隶属于蓼科(2 种,1 变种,2 属)、藜科(1 种,1属)、石竹科(1 新变种,1 属)、十字花科(1 种,1 属)、豆科(1 种,1 属)、大戟科(2种, 1 属)、玄参科(1 种,1 属)、菊科(5 种,4 属)、麻黄科(1 种,1 属)等 9 科,13属。标本存于内蒙古大学生物标本馆( H I M U)。 展开更多
关键词 阿拉善荒漠区 植物区系 新记录种 新分布 内蒙古
下载PDF
Optimized quantum random-walk search algorithm for multi-solution search 被引量:1
4
作者 张宇超 鲍皖苏 +1 位作者 汪翔 付向群 《Chinese Physics B》 SCIE EI CAS CSCD 2015年第11期133-139,共7页
This study investigates the multi-solution search of the optimized quantum random-walk search algorithm on the hypercube. Through generalizing the abstract search algorithm which is a general tool for analyzing the se... This study investigates the multi-solution search of the optimized quantum random-walk search algorithm on the hypercube. Through generalizing the abstract search algorithm which is a general tool for analyzing the search on the graph to the multi-solution case, it can be applied to analyze the multi-solution case of quantum random-walk search on the graph directly. Thus, the computational complexity of the optimized quantum random-walk search algorithm for the multi-solution search is obtained. Through numerical simulations and analysis, we obtain a critical value of the proportion of solutions q. For a given q, we derive the relationship between the success rate of the algorithm and the number of iterations when q is no longer than the critical value. 展开更多
关键词 quantum search algorithm quantum random walk multi-solution abstract search algorithm
下载PDF
基于hLDA的科技文献主题摘要生成算法与实现——以电力行业论文为例 被引量:1
5
作者 王庆红 王平 《图书情报知识》 CSSCI 北大核心 2014年第4期63-67,共5页
随着信息爆炸时代的到来,科技文献数量的快速增长,科技工作者对于科技文献有效信息获取的要求也越来越高。本文提出了一种科技文献主题自动摘要生成算法。利用hLDA模型对科技文献数据集进行主题建模,并通过摘要候选句的选择,综合多个因... 随着信息爆炸时代的到来,科技文献数量的快速增长,科技工作者对于科技文献有效信息获取的要求也越来越高。本文提出了一种科技文献主题自动摘要生成算法。利用hLDA模型对科技文献数据集进行主题建模,并通过摘要候选句的选择,综合多个因素的句子打分策略,自动为科技文献中潜在的主题生成摘要。在实验中,提出基于主题覆盖度的摘要评价方法。实验结果验证了本文提出的主题摘要生成算法的有效性。 展开更多
关键词 科技文献 主题摘要 生成算法 hLDA
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部