期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于自动控制理论的系统功能需求分析方法
被引量：
1
1
作者
马赞
王鹏
崔明山
《河南理工大学学报（自然科学版）》
CAS
北大核心
2021年第2期111-117,共7页
针对系统功能需求分析存在难以准确、充分、结构化识别等问题,本文通过先识别系统所有运行状态,再识别每种运行状态下系统对外部所有输入信号组合的响应输出,综合后获得系统的完整功能需求,显著提高了系统功能需求识别的完整性、准确性...
针对系统功能需求分析存在难以准确、充分、结构化识别等问题,本文通过先识别系统所有运行状态,再识别每种运行状态下系统对外部所有输入信号组合的响应输出,综合后获得系统的完整功能需求,显著提高了系统功能需求识别的完整性、准确性。该功能需求识别方法是结构化的方法,易于使用和自动化。结合系统用例、外部参与者、系统外部接口关系、系统外部信号有效范围等方面,提出一种基于自动控制理论的、提升系统功能需求完整性和准确性的分析方法。最后,通过自适应巡航系统实例分析,验证了该方法的有效性。
展开更多
关键词
需求
分析
功能
需求
需求完整性
结构化
需求
分析
自动控制系统
在线阅读
下载PDF
职称材料
基于环境建模的物联网系统TAP规则生成方法
被引量：
7
2
作者
边寒
陈小红
+1 位作者
金芝
张民
《软件学报》
EI
CSCD
北大核心
2021年第4期934-952,共19页
用户需求是物联网智能服务的根本驱动力,如IFTTT等很多物联网框架允许用户使用简单的触发-命令编程(TAP)规则进行编程,但它们描述的是设备调度程序,并不是用户服务需求.一些物联网系统提出采用面向目标的需求方法,支持服务目标的分解,...
用户需求是物联网智能服务的根本驱动力,如IFTTT等很多物联网框架允许用户使用简单的触发-命令编程(TAP)规则进行编程,但它们描述的是设备调度程序,并不是用户服务需求.一些物联网系统提出采用面向目标的需求方法,支持服务目标的分解,但很难保证物联网不同服务间的一致性和服务部署的完整性.为了支持正确的"用户编程"并保证用户服务需求的一致性与完整性,提出了基于环境建模的TAP规则自动生成方法,在用户提供的服务需求的基础上,根据环境模型自动推导出所需的系统行为,以检测系统行为的一致性和完整性,并最终自动生成TAP规则,实现从用户服务需求到物联网设备调度的自动生成.构建了物联网应用场景的环境本体以建模环境,并定义了基于环境本体的服务需求的描述方法.另外,针对方法的准确性、效率、性能以及构建环境本体的时间开销,在智能家居场景上进行了评估.结果表明,所提方法的准确性、效率和性能均超过可用阈值,且在需求达到一定数量后,构建环境本体花费的时间可忽略不计.
展开更多
关键词
物联网系统
用户服务
需求
需求
一致性
需求完整性
环境建模
在线阅读
下载PDF
职称材料
题名
基于自动控制理论的系统功能需求分析方法
被引量：
1
1
作者
马赞
王鹏
崔明山
机构
中国民航大学民航航空器适航审定技术重点实验室
北京畅研汇明科技有限公司
出处
《河南理工大学学报（自然科学版）》
CAS
北大核心
2021年第2期111-117,共7页
基金
国家自然科学基金-中国民航局民航联合研究基金资助项目(U1533105)。
文摘
针对系统功能需求分析存在难以准确、充分、结构化识别等问题,本文通过先识别系统所有运行状态,再识别每种运行状态下系统对外部所有输入信号组合的响应输出,综合后获得系统的完整功能需求,显著提高了系统功能需求识别的完整性、准确性。该功能需求识别方法是结构化的方法,易于使用和自动化。结合系统用例、外部参与者、系统外部接口关系、系统外部信号有效范围等方面,提出一种基于自动控制理论的、提升系统功能需求完整性和准确性的分析方法。最后,通过自适应巡航系统实例分析,验证了该方法的有效性。
关键词
需求
分析
功能
需求
需求完整性
结构化
需求
分析
自动控制系统
Keywords
requirement analysis
functional requirement
integrity of requirement
structured requirement analysis
automotive control system
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于环境建模的物联网系统TAP规则生成方法
被引量：
7
2
作者
边寒
陈小红
金芝
张民
机构
上海市高可信计算重点实验室(华东师范大学)
北京大学信息科学技术学院计算机科学与技术系
高可信软件技术教育部重点实验室(北京大学)
出处
《软件学报》
EI
CSCD
北大核心
2021年第4期934-952,共19页
基金
国家自然科学基金(61620106007,61751210,61872146)
国家重点研发计划(2018YFB2101300)
上海市科技计划(20ZR1416000)。
文摘
用户需求是物联网智能服务的根本驱动力,如IFTTT等很多物联网框架允许用户使用简单的触发-命令编程(TAP)规则进行编程,但它们描述的是设备调度程序,并不是用户服务需求.一些物联网系统提出采用面向目标的需求方法,支持服务目标的分解,但很难保证物联网不同服务间的一致性和服务部署的完整性.为了支持正确的"用户编程"并保证用户服务需求的一致性与完整性,提出了基于环境建模的TAP规则自动生成方法,在用户提供的服务需求的基础上,根据环境模型自动推导出所需的系统行为,以检测系统行为的一致性和完整性,并最终自动生成TAP规则,实现从用户服务需求到物联网设备调度的自动生成.构建了物联网应用场景的环境本体以建模环境,并定义了基于环境本体的服务需求的描述方法.另外,针对方法的准确性、效率、性能以及构建环境本体的时间开销,在智能家居场景上进行了评估.结果表明,所提方法的准确性、效率和性能均超过可用阈值,且在需求达到一定数量后,构建环境本体花费的时间可忽略不计.
关键词
物联网系统
用户服务
需求
需求
一致性
需求完整性
环境建模
Keywords
Internet of Things
user service requirement
requirements consistency
requirements completeness
environment modeling
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于自动控制理论的系统功能需求分析方法
马赞
王鹏
崔明山
《河南理工大学学报（自然科学版）》
CAS
北大核心
2021
1
在线阅读
下载PDF
职称材料
2
基于环境建模的物联网系统TAP规则生成方法
边寒
陈小红
金芝
张民
《软件学报》
EI
CSCD
北大核心
2021
7
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
