期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于模块化Abstract-Refine算法框架的软件模型检测方法
被引量：
1
1
作者
王舜
杜晔
韩臻
《电子学报》
EI
CAS
CSCD
北大核心
2020年第5期997-1002,共6页
Abstract-Refine(抽象—精炼)方法是软件模型检测领域中较为有效的设计思想,具有较高的通用性和效率优势,但目前并没有一个框架可以对其精确进行描述及实现有效的模块化使用和替换.本文提出了一种模块化的Abstract-Refine算法框架,分析...
Abstract-Refine(抽象—精炼)方法是软件模型检测领域中较为有效的设计思想,具有较高的通用性和效率优势,但目前并没有一个框架可以对其精确进行描述及实现有效的模块化使用和替换.本文提出了一种模块化的Abstract-Refine算法框架,分析和解释了Abstract-Refine算法所接受的输入程序的精细结构和特性,并对Abstract-Refine算法和相关子算法运用平衡操作符做以模块化解耦,使得子算法的修改和更换不需要依赖对上层的变更.经过实验验证,本方法可有效实现传统算法模块化解耦,同时不对原算法的性能造成冲击.
展开更多
关键词
软件模型检测
模块化方法
抽象—精炼(
abstract
-Refine)
通用算法
抽象程序
下载PDF
职称材料
通过抽象程序证明复杂具体程序
被引量：
1
2
作者
李彬
汤震浩
+1 位作者
翟娟
赵建华
《软件学报》
EI
CSCD
北大核心
2017年第4期786-803,共18页
描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点...
描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点和具体程序程序点的对应关系.基于对应关系,抽象程序和具体程序一致性证明可以分解,从而容易并可能自动证明.
展开更多
关键词
程序证明
一致性
抽象程序
精化
分解
下载PDF
职称材料
堆芯计算的框架方法及其原型软件NAC4R的设计
3
作者
明平洲
刘婷
+5 位作者
李治刚
尹强
芦韡
刘东
曾辉
余红星
《中国核电》
2020年第5期599-605,共7页
框架方法常常用于复杂软件的研制,为充分利用集群计算资源,减小堆芯并行计算软件的研制难度,该方法被引入至核动力工程软件的研发阶段。原型软件NAC4R被设计和编程实现,按照层次化结构提供串行环境和分布式内存环境下的基础数据操作、...
框架方法常常用于复杂软件的研制,为充分利用集群计算资源,减小堆芯并行计算软件的研制难度,该方法被引入至核动力工程软件的研发阶段。原型软件NAC4R被设计和编程实现,按照层次化结构提供串行环境和分布式内存环境下的基础数据操作、数值代数、图分区和线性方程组求解等功能,并使用解释型脚本语言来实现自动化控制。离散纵坐标法(SN)屏蔽输运程序Hydra-SN3D的并行算法在NAC4R内重新编程实现,通过统一的软件结构和共性计算的抽象来论证并行软件研制效率和计算效率的改善程度。数值实验表明,NAC4R使用之后样本程序的核心并行算法有了更进一步的性能提升和更简洁的数值程序编写流程。
展开更多
关键词
堆芯计算
框架方法
抽象程序
中子输运
并行算法
下载PDF
职称材料
管理软件设计中的表驱动思想与软件重用
被引量：
2
4
作者
李订芳
余永跃
+1 位作者
李晓红
李家斌
《管理信息系统》
1997年第2期49-52,共4页
本文提出管理软件设计过程中表驱动思想支持下的软件重用技术,通过提取不同应用类的共同控制信息,从而使数据与程序分离,形成可重用抽象控制程序部件,实践证明是提高软件生产率、可靠性的有效途径。
关键词
软件重用
软件开发
MIS系统
下载PDF
职称材料
基于Arnold置乱和小波变换的数字水印算法
5
作者
郑杰辉
《电脑编程技巧与维护》
2010年第24期114-115,150,共3页
深入讨论了基于Arnold置乱和小波变换的数字水印算法,使用Arnold变换将水印图像置乱,通过小波变换将水印图像和载体图像进行融合,完成水印的嵌入,实验证明该算法有较好的嵌入效果和鲁棒性。
关键词
ARNOLD
小波变换
数字水印
下载PDF
职称材料
题名
基于模块化Abstract-Refine算法框架的软件模型检测方法
被引量：
1
1
作者
王舜
杜晔
韩臻
机构
北京交通大学计算机与信息技术学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2020年第5期997-1002,共6页
基金
国家自然科学基金(No.61672092)。
文摘
Abstract-Refine(抽象—精炼)方法是软件模型检测领域中较为有效的设计思想,具有较高的通用性和效率优势,但目前并没有一个框架可以对其精确进行描述及实现有效的模块化使用和替换.本文提出了一种模块化的Abstract-Refine算法框架,分析和解释了Abstract-Refine算法所接受的输入程序的精细结构和特性,并对Abstract-Refine算法和相关子算法运用平衡操作符做以模块化解耦,使得子算法的修改和更换不需要依赖对上层的变更.经过实验验证,本方法可有效实现传统算法模块化解耦,同时不对原算法的性能造成冲击.
关键词
软件模型检测
模块化方法
抽象—精炼(
abstract
-Refine)
通用算法
抽象程序
Keywords
software
model
checking
modularity
abstract
-Refine
general
algorithm
abstract
program
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
通过抽象程序证明复杂具体程序
被引量：
1
2
作者
李彬
汤震浩
翟娟
赵建华
机构
计算机软件新技术国家重点实验室(南京大学)
出处
《软件学报》
EI
CSCD
北大核心
2017年第4期786-803,共18页
基金
国家自然科学基金(61632015
61561146394)
国家重点基础研究发展计划(973)(2016YFB1000802)~~
文摘
描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点和具体程序程序点的对应关系.基于对应关系,抽象程序和具体程序一致性证明可以分解,从而容易并可能自动证明.
关键词
程序证明
一致性
抽象程序
精化
分解
Keywords
program
verification
consistency
abstract
program
refinement
decomposition
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
堆芯计算的框架方法及其原型软件NAC4R的设计
3
作者
明平洲
刘婷
李治刚
尹强
芦韡
刘东
曾辉
余红星
机构
中国核动力研究设计院
出处
《中国核电》
2020年第5期599-605,共7页
基金
中国核动力研究设计院探索基金(堆芯并行计算软件的形式化方法)。
文摘
框架方法常常用于复杂软件的研制,为充分利用集群计算资源,减小堆芯并行计算软件的研制难度,该方法被引入至核动力工程软件的研发阶段。原型软件NAC4R被设计和编程实现,按照层次化结构提供串行环境和分布式内存环境下的基础数据操作、数值代数、图分区和线性方程组求解等功能,并使用解释型脚本语言来实现自动化控制。离散纵坐标法(SN)屏蔽输运程序Hydra-SN3D的并行算法在NAC4R内重新编程实现,通过统一的软件结构和共性计算的抽象来论证并行软件研制效率和计算效率的改善程度。数值实验表明,NAC4R使用之后样本程序的核心并行算法有了更进一步的性能提升和更简洁的数值程序编写流程。
关键词
堆芯计算
框架方法
抽象程序
中子输运
并行算法
Keywords
core
calculation
framework
abstract
program
neutron
transport
parallel
algorithm
分类号
TL334 [核科学技术—核技术及应用]
下载PDF
职称材料
题名
管理软件设计中的表驱动思想与软件重用
被引量：
2
4
作者
李订芳
余永跃
李晓红
李家斌
出处
《管理信息系统》
1997年第2期49-52,共4页
文摘
本文提出管理软件设计过程中表驱动思想支持下的软件重用技术,通过提取不同应用类的共同控制信息,从而使数据与程序分离,形成可重用抽象控制程序部件,实践证明是提高软件生产率、可靠性的有效途径。
关键词
软件重用
软件开发
MIS系统
Keywords
software
reuse
table
driving
idea
abstract
control
information
abstract
control
program
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
TP399 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
基于Arnold置乱和小波变换的数字水印算法
5
作者
郑杰辉
机构
厦门海洋职业技术学院
出处
《电脑编程技巧与维护》
2010年第24期114-115,150,共3页
文摘
深入讨论了基于Arnold置乱和小波变换的数字水印算法,使用Arnold变换将水印图像置乱,通过小波变换将水印图像和载体图像进行融合,完成水印的嵌入,实验证明该算法有较好的嵌入效果和鲁棒性。
关键词
ARNOLD
小波变换
数字水印
Keywords
Arnold
Wavelet
Transform
Digital
watermark
A
Handy
Utility
Function
Curve
Drawing
program
LU
Ning（Nanjing
Xingang
Vocational
School
Nanjing
210028）
abstract
：
program
an
ASP
page
to
dynamic
draw
function
curves
based
on
dynimage.dll
for
school
websites.
Key
words：dynamic
link
library
dynimage
VB
Script
function
curves
graphing
program
分类号
TP309.7 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于模块化Abstract-Refine算法框架的软件模型检测方法
王舜
杜晔
韩臻
《电子学报》
EI
CAS
CSCD
北大核心
2020
1
下载PDF
职称材料
2
通过抽象程序证明复杂具体程序
李彬
汤震浩
翟娟
赵建华
《软件学报》
EI
CSCD
北大核心
2017
1
下载PDF
职称材料
3
堆芯计算的框架方法及其原型软件NAC4R的设计
明平洲
刘婷
李治刚
尹强
芦韡
刘东
曾辉
余红星
《中国核电》
2020
0
下载PDF
职称材料
4
管理软件设计中的表驱动思想与软件重用
李订芳
余永跃
李晓红
李家斌
《管理信息系统》
1997
2
下载PDF
职称材料
5
基于Arnold置乱和小波变换的数字水印算法
郑杰辉
《电脑编程技巧与维护》
2010
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
