期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
角色自律分散系统概念及体系结构
被引量：
8
1
作者
谭永东
钱清泉
《中国铁道科学》
EI
CAS
CSCD
北大核心
2007年第1期99-105,共7页
从理论研究和应用研究等角度综述自律分散系统技术的国内外研究现状,归纳出系统潜在功能的自律表达应用模式。对自动化系统进行多层次抽象,明确了集中式、客户/服务器和自律分散结构的适应领域,明确了系统功能及其表达方式的时空关系。...
从理论研究和应用研究等角度综述自律分散系统技术的国内外研究现状,归纳出系统潜在功能的自律表达应用模式。对自动化系统进行多层次抽象,明确了集中式、客户/服务器和自律分散结构的适应领域,明确了系统功能及其表达方式的时空关系。自动化系统的功能包括固定功能、人工进化功能、潜在功能和自我进化功能;系统功能表达方式的时空关系有时空不变、时间可变和时空可变3种。对系统潜在功能的自律(时空可变)表达模式进行提炼,定义角色自律分散系统的概念。提出角色域与数据域双重驱动的角色自律分散系统的体系结构,角色和数据通过角色域与数据域进行交互,角色自律控制器实现角色转换的协调,数据仲裁器确保分散环境中的数据一致性,角色/功能/对象调度器分别实现系统角色,功能和对象的调度与激活。将角色自律分散系统体系结构应用于铁路调度系统中,表明技术上是可行性的。
展开更多
关键词
角色自律分散系统
角色
域
数据域
角色
自律
控制器
数据仲裁器
铁路调度指挥
系统
在线阅读
下载PDF
职称材料
角色自律分散系统的RN-C形式化描述方法
被引量：
1
2
作者
谭永东
钱清泉
《铁道学报》
EI
CAS
CSCD
北大核心
2008年第3期51-60,共10页
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础。角色随时空变化的动态表达取决于系统的自律度和环境条件。在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和...
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础。角色随时空变化的动态表达取决于系统的自律度和环境条件。在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素。应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述。指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点。
展开更多
关键词
形式化描述
角色
规范-条件
角色
自律
度矩阵
角色自律分散系统
角色
行为原语
在线阅读
下载PDF
职称材料
题名
角色自律分散系统概念及体系结构
被引量：
8
1
作者
谭永东
钱清泉
机构
西南交通大学电气工程学院
出处
《中国铁道科学》
EI
CAS
CSCD
北大核心
2007年第1期99-105,共7页
基金
科技部创新基金资助项目(00C26225121336)
中日合作研究基金资助项目(Q024131104010001)
西南交通大学科学研究基金资助项目(2004A06)
文摘
从理论研究和应用研究等角度综述自律分散系统技术的国内外研究现状,归纳出系统潜在功能的自律表达应用模式。对自动化系统进行多层次抽象,明确了集中式、客户/服务器和自律分散结构的适应领域,明确了系统功能及其表达方式的时空关系。自动化系统的功能包括固定功能、人工进化功能、潜在功能和自我进化功能;系统功能表达方式的时空关系有时空不变、时间可变和时空可变3种。对系统潜在功能的自律(时空可变)表达模式进行提炼,定义角色自律分散系统的概念。提出角色域与数据域双重驱动的角色自律分散系统的体系结构,角色和数据通过角色域与数据域进行交互,角色自律控制器实现角色转换的协调,数据仲裁器确保分散环境中的数据一致性,角色/功能/对象调度器分别实现系统角色,功能和对象的调度与激活。将角色自律分散系统体系结构应用于铁路调度系统中,表明技术上是可行性的。
关键词
角色自律分散系统
角色
域
数据域
角色
自律
控制器
数据仲裁器
铁路调度指挥
系统
Keywords
Role autonomous decentralized system
Role field
Data field
Role autonomous control processor
Data arbitrator
Railway traffic control system
分类号
U284.59 [交通运输工程—交通信息工程及控制]
TP303 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
角色自律分散系统的RN-C形式化描述方法
被引量：
1
2
作者
谭永东
钱清泉
机构
西南交通大学电气工程学院
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2008年第3期51-60,共10页
基金
轨道交通控制与安全国家重点实验室(北京交通大学)开放课题基金资助(SKL2007k001)
文摘
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础。角色随时空变化的动态表达取决于系统的自律度和环境条件。在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素。应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述。指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点。
关键词
形式化描述
角色
规范-条件
角色
自律
度矩阵
角色自律分散系统
角色
行为原语
Keywords
formal specification role norm-condition（RN-C）
role autonomy matrix
role autonomous decentralized system
action primitive of role
分类号
TP303 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
角色自律分散系统概念及体系结构
谭永东
钱清泉
《中国铁道科学》
EI
CAS
CSCD
北大核心
2007
8
在线阅读
下载PDF
职称材料
2
角色自律分散系统的RN-C形式化描述方法
谭永东
钱清泉
《铁道学报》
EI
CAS
CSCD
北大核心
2008
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
