期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
SSAC,一个基于软件科学法的Ada程序复杂性度量工具
1
作者
陈敏
王振宇
《计算机与数字工程》
1998年第2期17-22,44,共7页
SSAC是一个基于软件科学法的Ada程序复杂性度量工具,其主要特征是能同时分别度量程序的顺序复杂性和并发复杂性。文中描述了Ada程序中并发操作符和并发操作元的定义和识别。同时提出在Ada程序复杂性综合度量中,并发复杂性的加权思想。
关键词
软件科学法
复杂性度量
ssac
ADA语言
程序设计
在线阅读
下载PDF
职称材料
基于序列的子问题相容性技术
2
作者
陈德泉
张永刚
+1 位作者
辛颖
刘文壮
《计算机科学》
CSCD
北大核心
2015年第7期28-31,37,共5页
研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性（SSAC）,并给出相应的实现算法。然后分析其时空、空间复杂性及正确性,证明SSAC化简不改变原约束满足问题的解集,同时证明...
研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性（SSAC）,并给出相应的实现算法。然后分析其时空、空间复杂性及正确性,证明SSAC化简不改变原约束满足问题的解集,同时证明SSAC的约束传播能力介于SAC和AC之间。通过对随机问题和composed问题的测试表明,所提算法的效率是已有算法SAC-SDS和SAC-3的2~3倍。
展开更多
关键词
约束满足
相容性技术
ssac
在线阅读
下载PDF
职称材料
大电网调度稳态自适应巡航场景架构
被引量：
10
3
作者
姚建国
王珂
+3 位作者
许丹
葛朝强
吴炳祥
杨胜春
《电力系统自动化》
EI
CSCD
北大核心
2019年第22期179-186,共8页
电力调度控制中心作为电网运行控制的指挥中枢和"决策大脑",其自动化和智能化程度亟待提升。在此背景下,文中提出新一代电网调度稳态自适应巡航场景架构,在横向上将感知、评估、决策和控制等功能环节灵活组合和智能联动,在纵...
电力调度控制中心作为电网运行控制的指挥中枢和"决策大脑",其自动化和智能化程度亟待提升。在此背景下,文中提出新一代电网调度稳态自适应巡航场景架构,在横向上将感知、评估、决策和控制等功能环节灵活组合和智能联动,在纵向上以任务为导向实现多级调度的协同控制。在介绍新一代电网调控系统场景理念的基础上,设计了大电网调度稳态自适应巡航场景的相关功能模块。原型系统上的试运行验证了设计的合理性。
展开更多
关键词
大电网调度
稳态自适应巡航场景
功能架构
智能联动
在线阅读
下载PDF
职称材料
题名
SSAC,一个基于软件科学法的Ada程序复杂性度量工具
1
作者
陈敏
王振宇
机构
武汉数字工程研究所
出处
《计算机与数字工程》
1998年第2期17-22,44,共7页
文摘
SSAC是一个基于软件科学法的Ada程序复杂性度量工具,其主要特征是能同时分别度量程序的顺序复杂性和并发复杂性。文中描述了Ada程序中并发操作符和并发操作元的定义和识别。同时提出在Ada程序复杂性综合度量中,并发复杂性的加权思想。
关键词
软件科学法
复杂性度量
ssac
ADA语言
程序设计
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于序列的子问题相容性技术
2
作者
陈德泉
张永刚
辛颖
刘文壮
机构
吉林大学计算机科学与技术学院
吉林大学符号计算与知识工程教育部重点实验室
出处
《计算机科学》
CSCD
北大核心
2015年第7期28-31,37,共5页
基金
国家自然科学基金面上项目:基于自适应约束传播的约束求解方法研究(61170314)
国家自然科学基金面上项目:结合自主搜索机制的约束求解方法研究(61373052)资助
文摘
研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性（SSAC）,并给出相应的实现算法。然后分析其时空、空间复杂性及正确性,证明SSAC化简不改变原约束满足问题的解集,同时证明SSAC的约束传播能力介于SAC和AC之间。通过对随机问题和composed问题的测试表明,所提算法的效率是已有算法SAC-SDS和SAC-3的2~3倍。
关键词
约束满足
相容性技术
ssac
Keywords
Constraint satisfaction
Arc consistency technique
ssac
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
大电网调度稳态自适应巡航场景架构
被引量：
10
3
作者
姚建国
王珂
许丹
葛朝强
吴炳祥
杨胜春
机构
中国电力科学研究院有限公司(南京)
国家电网华东电力调控分中心
南瑞集团有限公司(国网电力科学研究院有限公司)
出处
《电力系统自动化》
EI
CSCD
北大核心
2019年第22期179-186,共8页
基金
国家重点研发计划资助项目(2017YFB0902600)
国家电网公司总部科技项目(52110418002A)~~
文摘
电力调度控制中心作为电网运行控制的指挥中枢和"决策大脑",其自动化和智能化程度亟待提升。在此背景下,文中提出新一代电网调度稳态自适应巡航场景架构,在横向上将感知、评估、决策和控制等功能环节灵活组合和智能联动,在纵向上以任务为导向实现多级调度的协同控制。在介绍新一代电网调控系统场景理念的基础上,设计了大电网调度稳态自适应巡航场景的相关功能模块。原型系统上的试运行验证了设计的合理性。
关键词
大电网调度
稳态自适应巡航场景
功能架构
智能联动
Keywords
large-scale power grid dispatching
steady-state adaptive cruise scenario(
ssac
S)
function architecture
intelligent linkage
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
SSAC,一个基于软件科学法的Ada程序复杂性度量工具
陈敏
王振宇
《计算机与数字工程》
1998
0
在线阅读
下载PDF
职称材料
2
基于序列的子问题相容性技术
陈德泉
张永刚
辛颖
刘文壮
《计算机科学》
CSCD
北大核心
2015
0
在线阅读
下载PDF
职称材料
3
大电网调度稳态自适应巡航场景架构
姚建国
王珂
许丹
葛朝强
吴炳祥
杨胜春
《电力系统自动化》
EI
CSCD
北大核心
2019
10
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
