您的位置： 专家智库 > >

郭亮

作品数：38 被引量：45H指数：5
供职机构：中国科学院软件研究所更多>>
发文基金：国家高技术研究发展计划国家自然科学基金“九五”国家科技攻关计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 23篇专利
  • 12篇期刊文章
  • 1篇学位论文
  • 1篇会议论文
  • 1篇科技成果

领域

  • 15篇自动化与计算...

主题

  • 8篇总线
  • 6篇电路
  • 5篇时序逻辑
  • 5篇网络
  • 5篇接口
  • 5篇计算机
  • 5篇仿真
  • 5篇MVB
  • 4篇电路单元
  • 4篇列车
  • 4篇XYZ/E
  • 4篇处理器
  • 3篇信号
  • 3篇容错
  • 3篇时序逻辑语言
  • 3篇现场总线
  • 3篇列车网络
  • 3篇逻辑语言
  • 3篇描述语言
  • 3篇可编程逻辑

机构

  • 38篇中国科学院软...
  • 5篇中国科学院研...
  • 2篇中科方德软件...
  • 1篇南昌大学
  • 1篇苏州大学
  • 1篇中国科学院大...

作者

  • 38篇郭亮
  • 13篇黄东
  • 12篇武斌
  • 11篇赵琛
  • 10篇侯玮玮
  • 9篇杨洪陶
  • 6篇韩超
  • 4篇李明树
  • 4篇唐稚松
  • 4篇梁国政
  • 3篇潘远明
  • 2篇徐帆江
  • 2篇邓勇
  • 2篇张广泉
  • 2篇刘立宇
  • 2篇薛云志
  • 2篇郭思彤
  • 2篇翁彦
  • 2篇戴小文
  • 2篇刘超

传媒

  • 4篇软件学报
  • 1篇计算机工程
  • 1篇计算机应用与...
  • 1篇计算机应用
  • 1篇计算机应用研...
  • 1篇计算机辅助设...
  • 1篇计算机工程与...
  • 1篇苏州大学学报...
  • 1篇计算机科学
  • 1篇中国科学院计...

年份

  • 5篇2017
  • 3篇2016
  • 13篇2014
  • 2篇2013
  • 3篇2011
  • 1篇2010
  • 3篇2009
  • 1篇2007
  • 1篇2004
  • 3篇2003
  • 3篇2002
共 38 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
现场总线设备链路层软件实时性分析与实现
2011年
为满足一种现场总线设备的实时性,分析了其链路层软件的实时性需求,并实现了链路层软件。链路层软件由设备驱动程序和和消息接收发送线程组成,通过设备驱动程序实现对FPGA板卡的控制以及中断处理,使用消息队列实现消息收发线程与用户线程的通信。对影响实时性的关键时间段进行分析,为精确测量时间,在关键模块进出口使用发送脉冲到示波器,使用示波器对软件的关键模块运行时间进行测量。测量结果表明,能够满足设备的实时性需求。
余子玉郭亮刘晖于佳晨
关键词：现场总线设备实时多处理器系统链路层设备驱动程序消息队列
一种基于PicoBlaze的MVB控制器
本发明公开了一种基于PicoBlaze的MVB控制器，属于轨道列车通信领域。本发明包括pMVB控制器，通信存储器，ARM适配器，总线仲裁器；其中，pMVB控制器、通信存储器、ARM适配器、总线仲裁器分别与外部总线BUS1...
李明树赵琛武斌包瑜亮郭亮刘立宇侯玮玮于佳晨
文献传递
基于时序逻辑证明编译优化程序变换的保义性被引量：3
2009年
基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义语句交换Texch和保义变量替换Tsub,并基于一种归纳证明框架对它们的保义性进行了证明.此外,基于变换Texch对程序基本块内保依赖语句重排的保义性也给出了一种构造性的证明.
陶秋铭赵琛郭亮
关键词：时序逻辑形式规约
一种基于ispPAC的铁路电源启动模块及方法
本发明涉及基于ispPAC的铁路电源启动模块及方法，由输入信号保护电路单元、信号调理电路单元、信号隔离比较电路单元、A/D模数转换采样及逻辑控制电路单元、断路器驱动电路单元以及通讯接口电路单元组成，启动方法为：1）在铁路...
杨洪陶黄东于佳晨韩超郭亮
文献传递
三机冗余容错系统的描述和验证被引量：8
2003年
使用XYZ/E描述和验证三机冗余容错系统.考虑每台计算机加载了一个不断向外界环境输出数据的确定性顺序程序P,用XYZ/E程序SingleProcessorP刻画程序P在单机上运行,用时序逻辑式SpecP刻画P向外部环境输出的数据所满足的性质.最后证明,采用三机冗余模式所得到的程序TripleProcessorsP即使在出现硬件错误的情况下运行,也能满足性质SpecP.
郭亮唐稚松
关键词：计算机容错性
一种高速列车控制网络半实物仿真系统
本发明涉及一种高速列车控制网络的半实物仿真系统，其包括若干NetFPGA模块和若干计算机模块，所述NetFPGA模块作为列车网络仿真接口，负责转发列车网络数据报文；各NetFPGA模块通过千兆以太网口构成线性的网络拓扑结...
武斌戴小文郭亮侯玮玮朱懿
文献传递
一种可扩展的工业组态或仿真软件通信方法
本发明公开了一种可扩展的工业组态或仿真软件通信方法，属于计算机通信技术领域。本方法为：1)服务器端配置组态或仿真软件，在组态或仿真软件内设置一信号读写模块和一通信代理模块；其中，所述通信代理模块中包括多种外围设备接口的通...
武斌郭亮翁彦梁国政周瑜谭海涛
文献传递
一种基于FPGA的源边电流检测和控制模块及方法
本发明涉及基于FPGA的源边电流检测和控制模块及方法，由输入信号调整单元、模拟加法器单元、控制逻辑电路单元、阀值比较与脉宽控制单元以及断路器驱动电路单元组成，1）输入一差分电流，经过差分单端转化单元、全波整流单元以及滤波...
杨洪陶黄东于佳晨韩超郭亮
文献传递
一种数据维护系统快速原型开发系统及方法
本发明公开了一种数据维护系统快速原型开发系统及方法，该数据维护系统集成框架软件系统包括主程序框架、XML配置部分，主程序通过解析XML配置文件自动生成相应的图形界面，通过该图形界面操作数据库，进行数据编辑。其步骤包括：将...
徐帆江张明安邓勇刘静涛郭亮侯玮玮梁国政郭思彤刘超吴伊萌
文献传递
一种基于CPLD的IO站数字量输出模块
本发明公开了一种基于CPLD的IO站数字量输出模块。本发明包括复杂可编程逻辑器件CPLD、漏极开路驱动电路、隔离电路和通信接口电路；所述复杂可编程逻辑器件CPLD输出接口通过所述隔离电路连接到所述漏极开路驱动电路，所述复...
杨洪陶黄东郭亮于佳晨韩超
文献传递
全选 清除 导出
共4页<1234>
聚类工具0