张广泉
【姓名】 张广泉
【职称】 教授;
【研究领域】 计算机软件及计算机应用;互联网技术;自动化技术;
【研究方向】 软件工程和形式化方法
【发表文献关键词】 并发程序,软件体系结构,粒度求精,限制临界引用,软件体系结构风格,交替计算,重叠执行,体系结构描述语言,公平转换系统,XYZ/E,XYZ/ADL,结构描述语言,时态逻辑,ACME,并发系统,反应系统,...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/52 33 49 8 409 9833
中国期刊全文数据库    共找到52篇
[1]刘正浩;张广泉;.基于WSAN的物联网软件分布式知识框架及其实现方法[J]计算机科学.2019,(01)
[2]王莉莉;陈国彬;张广泉;.基于小波蚊子的车联网性能评价方法[J]四川大学学报(自然科学版).2018,(02)
[3]邓怀勇;马琴;陈国彬;张广泉;.基于量子谐振子的RoQ攻击识别方法[J]四川大学学报(自然科学版).2018,(04)
[4]王莉莉;陈国彬;张广泉;.认知无线电网络中基于公平性的功率控制方案[J]计算机工程与应用.2017,(03)
[5]蒋丽丽;陈国彬;张广泉;.一种考虑网络能效优化的队列管理方法[J]四川大学学报(自然科学版).2017,(03)
[6]蒋丽丽;陈国彬;张广泉;.认知无线电网络中基于盲源分离的频谱检测算法[J]中国科技论文.2017,(08)
[7]宋相君;张广泉;.基于扩展混成Petri网的CPS无人车系统建模与分析[J]计算机科学.2017,(07)
[8]宋振华;张广泉;.基于AOP的时空Petri网的CPS建模[J]计算机科学.2017,(07)
[9]蒋丽丽;陈国彬;张广泉;.基于微电机系统的多参数传感器与检测系统设计[J]科学技术与工程.2016,(06)
[10]蒋丽丽;陈国彬;张广泉;.基于时间帧的处理器PFair调度改进算法[J]计算机应用研究.2016,(04)
更多