期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
SPFA算法的分析及改进
被引量：
17
1
作者
夏正冬
卜天明
张居阳
《计算机科学》
CSCD
北大核心
2014年第6期180-184,213,共6页
SPFA(Shortest Path Faster Algorithm)算法是一种对任意有向图求单源最短路径的算法。该算法实现简单,实际运行效果较好,在国内有着比较大的影响力。但遗憾的是,该算法一直缺少正确的理论分析。对该算法进行了分析,指出该算法在不存在...
SPFA(Shortest Path Faster Algorithm)算法是一种对任意有向图求单源最短路径的算法。该算法实现简单,实际运行效果较好,在国内有着比较大的影响力。但遗憾的是,该算法一直缺少正确的理论分析。对该算法进行了分析,指出该算法在不存在源点可达负圈的有向图中,最坏情况运行时间为Θ(|V||E|);在存在源点可达负圈的有向图中,算法将无限运行下去。对此,给出了改进的SPFA算法,对于任意的有向图,该算法能够在O(|V||E|)内运行完毕。最后,从实际运行角度将SPFA算法与其它思想上同源的最短路径算法进行了一系列比较。
展开更多
关键词
组合算法
单源最短路径
SPFA算法
Bellman-Ford算法
在线阅读
下载PDF
职称材料
航空机载嵌入式控制软件需求建模的形式化工程方法
被引量：
7
2
作者
黄怿豪
冯劲草
+2 位作者
郑寒月
缪炜恺
蒲戈光
《计算机工程与科学》
CSCD
北大核心
2019年第6期1016-1025,共10页
嵌入式控制软件是现代航空飞行器的核心部件之一。构建软件需求的形式化规约精确地刻画人们对软件期望的功能和运行场景,是确保此类安全攸关软件质量的根本途径。在工业界,形式化需求建模的大规模应用尽管有成功的案例,但仍面临众多的...
嵌入式控制软件是现代航空飞行器的核心部件之一。构建软件需求的形式化规约精确地刻画人们对软件期望的功能和运行场景,是确保此类安全攸关软件质量的根本途径。在工业界,形式化需求建模的大规模应用尽管有成功的案例,但仍面临众多的困难。其根本性难点在于缺少一种系统化的工程方法来引导工业界软件实践者,从原始需求开始最终完成形式化需求规约,并能确认该规约真实、充分地反映了人们对软件期望的功能。针对上述挑战,提出了一种面向机载控制软件需求建模的形式化工程方法ACSDL-MV,以形式化方法为理论基础,结合软件需求工程的基本原理,引导工程人员从原始需求出发以演化式的过程逐步完成需求规约的构建;定制了航空控制软件的形式化描述语言ACSDL,用以构建形式化规约;为了确认软件需求规约准确、充分地描述了人们对软件期望的功能,该方法给出了基于图形的静态审查和基于模型的动态模拟技术。在航空发动机公司中的实验结果表明,该方法相比传统方法探测到了更多的潜在错误。
展开更多
关键词
软件需求建模
需求确认
形式化工程方法
形式化方法
在线阅读
下载PDF
职称材料
基于Bell多项式求解非线性发展方程Hirota双线性形式的新算法
3
作者
杨云青
陈勇
《数学年刊（A辑）》
CSCD
北大核心
2014年第2期247-256,共10页
基于Bell多项式,构造了获得非线性发展方程双线性形式的一个新算法,并且开发了相应的程序包.非线性发展方程与其双线性形式之间的变换可由该程序包自动推导,同时给出了一些具有代表性的实例验证了该程序包的有效性与可靠性.
关键词
BELL多项式
Hirota双线性形式
符号计算
在线阅读
下载PDF
职称材料
题名
SPFA算法的分析及改进
被引量：
17
1
作者
夏正冬
卜天明
张居阳
机构
华东师范大学上海市可信重点实验室
出处
《计算机科学》
CSCD
北大核心
2014年第6期180-184,213,共6页
基金
国家自然基金青年基金(61003068)
华东师范大学科研创新基金资助
文摘
SPFA(Shortest Path Faster Algorithm)算法是一种对任意有向图求单源最短路径的算法。该算法实现简单,实际运行效果较好,在国内有着比较大的影响力。但遗憾的是,该算法一直缺少正确的理论分析。对该算法进行了分析,指出该算法在不存在源点可达负圈的有向图中,最坏情况运行时间为Θ(|V||E|);在存在源点可达负圈的有向图中,算法将无限运行下去。对此,给出了改进的SPFA算法,对于任意的有向图,该算法能够在O(|V||E|)内运行完毕。最后,从实际运行角度将SPFA算法与其它思想上同源的最短路径算法进行了一系列比较。
关键词
组合算法
单源最短路径
SPFA算法
Bellman-Ford算法
Keywords
Combinational algorithm
Single-source shortest paths
SPFA algorithm
Bellman-Ford algorithm
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
航空机载嵌入式控制软件需求建模的形式化工程方法
被引量：
7
2
作者
黄怿豪
冯劲草
郑寒月
缪炜恺
蒲戈光
机构
华东师范大学
上海市
高
可信
重点
实验室
出处
《计算机工程与科学》
CSCD
北大核心
2019年第6期1016-1025,共10页
基金
国防科工局项目(JCKY 2016212B004-2)
文摘
嵌入式控制软件是现代航空飞行器的核心部件之一。构建软件需求的形式化规约精确地刻画人们对软件期望的功能和运行场景,是确保此类安全攸关软件质量的根本途径。在工业界,形式化需求建模的大规模应用尽管有成功的案例,但仍面临众多的困难。其根本性难点在于缺少一种系统化的工程方法来引导工业界软件实践者,从原始需求开始最终完成形式化需求规约,并能确认该规约真实、充分地反映了人们对软件期望的功能。针对上述挑战,提出了一种面向机载控制软件需求建模的形式化工程方法ACSDL-MV,以形式化方法为理论基础,结合软件需求工程的基本原理,引导工程人员从原始需求出发以演化式的过程逐步完成需求规约的构建;定制了航空控制软件的形式化描述语言ACSDL,用以构建形式化规约;为了确认软件需求规约准确、充分地描述了人们对软件期望的功能,该方法给出了基于图形的静态审查和基于模型的动态模拟技术。在航空发动机公司中的实验结果表明,该方法相比传统方法探测到了更多的潜在错误。
关键词
软件需求建模
需求确认
形式化工程方法
形式化方法
Keywords
software requirements modeling
requirement validation
formal engineering method
formal method
分类号
TP311.521 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于Bell多项式求解非线性发展方程Hirota双线性形式的新算法
3
作者
杨云青
陈勇
机构
浙江海洋学院数理与信息学院
华东师范大学
上海市
高
可信
重点
实验室
出处
《数学年刊（A辑）》
CSCD
北大核心
2014年第2期247-256,共10页
基金
国家自然科学基金(No.11075055
No.11275072)
+2 种基金
浙江省自然科学基金(No.LQ12A01008)
高校博士点专项科研基金(No.20120076110024)
浙江海洋学院科研启动基金的资助
文摘
基于Bell多项式,构造了获得非线性发展方程双线性形式的一个新算法,并且开发了相应的程序包.非线性发展方程与其双线性形式之间的变换可由该程序包自动推导,同时给出了一些具有代表性的实例验证了该程序包的有效性与可靠性.
关键词
BELL多项式
Hirota双线性形式
符号计算
Keywords
Bell polynomial, Hirota bilinear form, Symbolic computation
分类号
O175.29 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
SPFA算法的分析及改进
夏正冬
卜天明
张居阳
《计算机科学》
CSCD
北大核心
2014
17
在线阅读
下载PDF
职称材料
2
航空机载嵌入式控制软件需求建模的形式化工程方法
黄怿豪
冯劲草
郑寒月
缪炜恺
蒲戈光
《计算机工程与科学》
CSCD
北大核心
2019
7
在线阅读
下载PDF
职称材料
3
基于Bell多项式求解非线性发展方程Hirota双线性形式的新算法
杨云青
陈勇
《数学年刊（A辑）》
CSCD
北大核心
2014
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
