郭亮

作品数：12被引量：28H指数：4
导出分析报告
供职机构：中国科学院软件研究所更多>>
发文主题：MVBXYZ/E电路单元时序逻辑语言列车网络更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《软件学报》《计算机工程》《计算机工程与设计》《计算机辅助设计与图形学学报》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金“九五”国家科技攻关计划国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
利用并行GPU对分层分布式狄利克雷分布算法加速被引量：2
《计算机应用》2013年第12期3313-3316,3330,共5页温腊 芮建武 何婷婷 郭亮 
国家科技支撑计划项目(2011BAH14B02);核高基重大专项(2012ZX01039-004);中国科学院知识创新工程重要方向项目(KGCX2-YW-174);新闻出版重大科技工程项目(GAPP-ZDKJ-ZK/23)
分层分布式狄利克雷分布(HD-LDA)算法是一个对潜在狄利克雷分布(LDA)进行改进的基于概率增长模型的文本分类算法,与只能在单机上运行的LDA算法相比,可以运行在分布式框架下,进行分布式并行处理。Mahout在Hadoop框架下实现了HD-LDA算法,...
关键词：分层分布式狄利克雷分布 潜在狄利克雷分布 文本分类 分布式框架 并行图形处理器 
基于OPNET的一种典型现场总线的研究与仿真被引量：1
《计算机应用与软件》2011年第6期96-100,共5页朱涛 郭亮 
国家高技术研究发展计划项目(2006AA010201)
随着网络规模的扩大,使用仿真软件对网络进行仿真,对关键参数和原理进行验证,已经是一种流行的网络开发模式。首先对现场总线和仿真软件OPNET进行了相关介绍和分析,接着对一种典型的现场总线的特征进行了详细说明,然后基于OPNET对该典...
关键词：现场总线 网络仿真 OPNET 时延 
基于FPGA和ARM的现场总线设备被引量：1
《计算机工程》2011年第4期255-257,266,共4页廖世高 郭亮 黄东 邢立巍 
国家"863"计划基金资助项目(2006AA010201;2007AA010601)
根据现场总线的特点,提出一种基于现场可编程逻辑门阵列(FPGA)和高级精简指令集机器(ARM)的现场总线设备设计框架。FPGA负责完成协议栈链路下层逻辑和物理线路控制逻辑,该部分功能有严格的时延限制,ARM负责完成协议栈链路上层逻辑和网...
关键词：现场可编程逻辑门阵列 高级精简指令集机器 现场总线设备 协议栈 
现场总线设备链路层软件实时性分析与实现
《计算机工程与设计》2011年第3期855-858,共4页余子玉 郭亮 刘晖 于佳晨 
国家863高技术研究发展计划基金项目(2006AA010201;2007AA010601)
为满足一种现场总线设备的实时性,分析了其链路层软件的实时性需求,并实现了链路层软件。链路层软件由设备驱动程序和和消息接收发送线程组成,通过设备驱动程序实现对FPGA板卡的控制以及中断处理,使用消息队列实现消息收发线程与用户线...
关键词：现场总线设备 实时多处理器系统 链路层 设备驱动程序 消息队列 
基于时序逻辑证明编译优化程序变换的保义性被引量：3
《软件学报》2009年第8期2074-2086,共13页陶秋铭 赵琛 郭亮 
国家自然科学基金No.60573164;国家高技术研究发展计划(863)No.2006AA010201~~
基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义语句交换Texch和保义变量替换Tsub,并基于一种归纳证明框架对它们...
关键词：时序逻辑 形式规约 优化编译 程序变换 语句交换 变量替换 语句重排 
嵌入式DSP系统中SDF模型的层次化存储优化方法
《计算机辅助设计与图形学学报》2009年第3期362-368,共7页刘国鑫 郭烈恩 贺也平 郭亮 
国家“八六三”高技术研究发展计划(2006AA010201)
在同步数据流模型(SDF)描述的嵌入式数字信号处理(DSP)系统中,计算体单一出现调度(SAS)算法对于存在反馈环和数据密集处理的应用不可解或内存优化效果很差.文中提出了将SAS和Non-SAS类型调度算法相结合的层次化的存储优化方法,定义了数...
关键词：嵌入式系统 同步数据流 存储优化 调度序列 
基于RTEMS的软件容错系统设计被引量：5
《计算机应用研究》2009年第3期911-913,共3页李小群 张文君 潘远明 肖贺 郭亮 姜志颖 
国防预研项目;国家"863"计划资助项目(2006AA010201)
在空间环境下运行的计算机系统,高空辐射可能引发各种各样的异常或错误而导致故障。为了提高系统的可靠性,同时尽可能减少对系统实时性能的影响,需要对其进行有效的容错。针对节点和应用软件的故障检测和故障恢复进行研究与分析,提出了...
关键词：实时多处理器系统 软件容错 高可用 高可靠 硬实时 
用于C语言程序验证的性质描述语言C-PDL
《苏州大学学报（自然科学版）》2007年第3期31-36,共6页左春华 张广泉 郭亮 
江苏省高校自然科学基金资助项目(05KJB520119);重庆市自然科学基金资助项目(CSTC;2006BB2259);中国科学院计算机科学国家重点实验室开放课题(SYSKF0303)
为了保证程序的正确性,可以先将程序抽象成模型,再采用模型检测技术对模型进行验证.模型检测工具只接受形式化的性质描述语言,而一般程序员很难正确地使用,因此,文章提出了半形式化的描述语言C-PDL,并介绍了采用C-PDL描述性质的验证系统...
关键词：C-PDL 规范模式系统 程序性质 模型检测 XYZ/AE 
程序性质的描述及证明被引量：2
《计算机科学》2003年第3期146-148,共3页官荷卿 郭亮 
国家自然科学基金YCK15028
XYZ/E是一种基于Manna-Pnueli线性时序逻辑的线性时序逻辑语青(LTLL),其主要特征为它在统一的时序逻辑框架下既能表示程序的静态规范(XYZ/AE)也能表示可执行代码(XYZ/EE),因此程序规范和程序可执行代码的语义一致性也就得以在时序逻辑...
关键词：程序性质 程序设计 XYZ语言 AE语言 时序逻辑语言 
XYZ/E面向对象程序语义概述被引量：5
《软件学报》2003年第3期356-361,共6页郭亮 唐稚松 
Supported by the National Natural Science Foundation of China under Grant No.60073020 (国家自然科学基金); ;the National High Technology Development 863 Program of China under Grant No.863-306-ZT02-04-01 (国家863高科技发展计划)
XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.
关键词：XYZ/E 面向对象 程序语义 程序设计语言 时序逻辑语言 代理机构 语义一致性 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部