2025年1月9日
星期四
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
蒋树
作品数:
8
被引量:1
H指数:1
供职机构:
北京航空航天大学
更多>>
发文基金:
国家自然科学基金
国家高技术研究发展计划
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
胡凯
北京航空航天大学计算机学院
张腾
北京航空航天大学
杨志斌
北京航空航天大学
姜泮昌
北京航空航天大学
王哲
北京航空航天大学计算机学院
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
6篇
专利
1篇
期刊文章
1篇
会议论文
领域
4篇
自动化与计算...
主题
4篇
语言
4篇
模型转换方法
4篇
目标语
4篇
目标语言
4篇
标语
3篇
通信
2篇
调度
2篇
调度器
2篇
叶子
2篇
源语
2篇
源语言
2篇
树形
2篇
树形数据
2篇
通信网
2篇
通信网络
2篇
网络
2篇
线程
2篇
环境变量
2篇
集群系统
2篇
抽象机
机构
8篇
北京航空航天...
作者
8篇
胡凯
8篇
蒋树
4篇
姜泮昌
4篇
杨志斌
4篇
张腾
2篇
陈陆佳
2篇
顾彬
2篇
丁毅
2篇
张新宇
2篇
顾斌
2篇
王哲
1篇
尹宝林
传媒
1篇
计算机研究与...
年份
2篇
2014
3篇
2012
2篇
2011
1篇
2010
共
8
条 记 录,以下是 1-8
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
AADL2TASM模型转换方法
本发明涉及一种模型转换方法,用于将AADL模型转换为TASM模型,使用KM3描述源语言AADL的元模型,使用KM3描述目标语言TASM的元模型,针对AADL模型中的线程构件、分发器、模式变换、调度器,分别使用线程构件的转...
胡凯
蒋树
杨志斌
顾彬
姜泮昌
张腾
大规模集群系统的数据传输网络及其构建方法
一种用于大规模计算机集群的树形数据传输网络结构,该结构由集群系统的计算机节点构成平衡或者准平衡树形通信网络,组成网络的计算机节点包括:唯一的根节点、至少一个中间节点、至少一个叶子节点,每一层节点只与其直接相连的节点进行通...
胡凯
丁毅
蒋树
陈陆佳
张新宇
文献传递
支持复杂负载模型的互连网络性能模拟研究
大规模并行计算机系统互连网络的设计对并行程序执行效率有重要影响,当前千万亿次计算机系统拥有上万个节点,给互连网络的性能带来新的挑战。然而,目前互连网络性能研究大多考虑消息目的地均匀分布等简单负载模型,这同真实并行应用的网...
胡凯
陈陆佳
王哲
蒋树
关键词:
互连网络
性能分析
网络模拟
并行计算机系统
k-元n-立方体网络局部通信模式下的性能模型
被引量:1
2011年
大规模并行计算机互连网络的设计对并行应用程序的执行效率有重要影响,k-元n-立方体是广泛使用的拓扑结构.局部通信是并行应用的主要通信模式之一,研究局部通信模式下互连网络的性能有重要意义,已有分析模型缺乏对这方面的充分研究.引入局部通信率和局部通信区域半径组成的二元参数,刻画k-元n-立方体网络节点间通信的空间局部性.利用排队论对网络建模,研究延迟和吞吐量随负载的变化规律,比较局部性参数对网络性能的影响强度,针对长、短消息情况分别进行详细讨论.最后采用改进的网络模拟器,验证分析模型具有较高的准确性.为具有局部通信性质的大规模并行应用,提供了一种有效预测延迟和吞吐量的方法.
胡凯
王哲
蒋树
尹宝林
关键词:
M/G/1排队模型
吞吐量
TASM2UPPAAL模型转换方法
本发明涉及一种模型转换方法,用于将TASM模型转换为UPPAAL模型,使用KM3描述目标语言UPPAAL的元模型;针对TASM模型的环境变量与抽象机,执行规则语法元素,使用环境变量的转换方法和主抽象机与执行规则的转换方法...
胡凯
张腾
杨志斌
顾斌
蒋树
姜泮昌
文献传递
AADL2TASM模型转换方法
本发明涉及一种模型转换方法,用于将AADL模型转换为TASM模型,使用KM3描述源语言AADL的元模型,使用KM3描述目标语言TASM的元模型,针对AADL模型中的线程构件、分发器、模式变换、调度器,分别使用线程构件的转...
胡凯
蒋树
杨志斌
顾彬
姜泮昌
张腾
文献传递
TASM2UPPAAL模型转换方法
本发明涉及一种模型转换方法,用于将TASM模型转换为UPPAAL模型,使用KM3描述目标语言UPPAAL的元模型;针对TASM模型的环境变量与抽象机,执行规则语法元素,使用环境变量的转换方法和主抽象机与执行规则的转换方法...
胡凯
张腾
杨志斌
顾斌
蒋树
姜泮昌
文献传递
大规模集群系统的数据传输网络及其构建方法
一种用于大规模计算机集群的树形数据传输网络结构,该结构由集群系统的计算机节点构成平衡或者准平衡树形通信网络,组成网络的计算机节点包括:唯一的根节点、至少一个中间节点、至少一个叶子节点,每一层节点只与其直接相连的节点进行通...
胡凯
丁毅
蒋树
陈陆佳
张新宇
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张