您的位置： 专家智库 > >

陈意云

作品数：133 被引量：646H指数：16
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
相关领域：自动化与计算机技术电子电信文化科学经济管理更多>>

合作作者

文献类型

  • 124篇期刊文章
  • 6篇会议论文
  • 3篇科技成果

领域

  • 119篇自动化与计算...
  • 9篇电子电信
  • 4篇文化科学
  • 2篇经济管理
  • 1篇电气工程
  • 1篇自然科学总论

主题

  • 17篇代码
  • 13篇HOARE逻...
  • 9篇指针逻辑
  • 9篇计算机
  • 8篇人脸
  • 8篇网络
  • 7篇分布式
  • 7篇程序设计
  • 6篇代码迷惑
  • 6篇动画
  • 6篇编译器
  • 6篇出具证明编译...
  • 5篇代数规范
  • 5篇通信
  • 4篇代数规范说明
  • 4篇形式化
  • 4篇虚拟机
  • 4篇移动代码
  • 4篇软件工程
  • 4篇设计语言

机构

  • 133篇中国科学技术...
  • 6篇中国科学院软...
  • 4篇青岛大学
  • 3篇信息技术有限...
  • 2篇安庆师范学院
  • 2篇中国科学院
  • 2篇安徽省电力中...
  • 1篇五邑大学
  • 1篇解放军电子工...
  • 1篇中国人民解放...
  • 1篇安徽省计算与...

作者

  • 133篇陈意云
  • 20篇张昱
  • 17篇李兆鹏
  • 17篇董兰芳
  • 10篇华保健
  • 8篇华蓓
  • 7篇郭帆
  • 7篇王洵
  • 7篇胡荣贵
  • 6篇王志芳
  • 6篇罗奇鸣
  • 5篇王奎武
  • 5篇万里红
  • 5篇郭宇
  • 5篇葛琳
  • 4篇吴萍
  • 4篇陈晖
  • 4篇郭青
  • 4篇林志勇
  • 4篇林春晓

传媒

  • 45篇小型微型计算...
  • 14篇计算机研究与...
  • 11篇计算机工程
  • 10篇计算机学报
  • 6篇软件学报
  • 5篇计算机工程与...
  • 4篇计算机工程与...
  • 4篇计算机仿真
  • 3篇计算机应用
  • 2篇中国科学技术...
  • 2篇电子技术（上...
  • 2篇计算机应用与...
  • 2篇微型机与应用
  • 2篇计算机辅助设...
  • 2篇计算机科学
  • 2篇计算机教育
  • 1篇电信科学
  • 1篇中国大学教学
  • 1篇电力系统自动...
  • 1篇教育与现代化

年份

  • 3篇2019
  • 4篇2017
  • 1篇2016
  • 1篇2015
  • 1篇2014
  • 3篇2013
  • 1篇2012
  • 3篇2011
  • 5篇2010
  • 6篇2009
  • 12篇2008
  • 8篇2007
  • 12篇2006
  • 12篇2005
  • 6篇2004
  • 10篇2003
  • 6篇2002
  • 8篇2001
  • 9篇2000
  • 3篇1999
共 133 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种出具证明编译器中的汇编级断言和证明生成的方法被引量：1
2011年
携带证明代码允许代码消费方通过检查代码生产方提供的证明,来判断代码是否满足相应的安全规范.本文实现了一个类C语言的出具证明编译器原型,它在将带有规范标注的源代码编译成汇编代码的同时,还能产生汇编代码满足相应规范的Coq可检查证明,从而保证汇编代码的安全性.本文设计了一种Hoare风格的汇编级验证框架,并在此框架下提出并实现一种新的自动生成汇编级断言和证明的方法.
张臻婷李兆鹏陈意云杨思敏庄重
关键词：出具证明编译器
支持指定QoS的多媒体通信软件平台被引量：1
1997年
由应用程序指定通信服务质量是网络多媒体应用对多媒体通信技术提出的主要要求。本文基于新一代ＩＰ协议ＩＰｖ６、资源预留协议ＲＳＶＰ、ＮａｔｉｖｅＡＴＭ和ＷｉｎＳｏｃｋ２，在传统网络和ＡＴＭ网络上提出了一个支持由应用程序指定ＱｏＳ的多媒体通信软件平台。
李黎陈意云李津生
关键词：QOS多媒体通信软件平台ATMINTERNET网
项重写系统的并行实现方案
1993年
项重写系统的并行归约可以提高归约的效率,在无共享内存的Transput-er网络上实现时要考虑任务的分配、项的拼装、归约任务的控制等问题,其中怎么样减少机间和机内进程的通讯是提高系统效率的关键。本文从控制方式角度讨论在不同拓扑结构的Transputer网络上实现项重写系统的方案,重点介绍基于树形结构下的控制方法,进程安排和通讯形式。
肖勇陈意云
关键词：项重写系统程序语言
循环不变形状图的自动推断被引量：5
2011年
在指针程序的分析和验证过程中,循环不变式的自动推断一直是个研究热点。文章首先介绍所提出的形状图和形状图逻辑,形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。然后在此基础之上,设计了一种基于形状图逻辑的形状分析方法,并提出了一种基于形状图逻辑的循环不变形状图的推断方法。
刘刚陈意云陈意云
关键词：循环不变式
构筑可靠实用的CA系统被引量：7
2000年
基于公开密钥基础结构PKI标准，探讨了CA的组成和各部分特点，并结合我国国情，分析了构筑可靠、实用的CA系统的基本原则。
袁欣刘永陈意云
关键词：电子商务公开密钥加密INTERNET网
基于语言的移动代码安全问题被引量：2
2002年
With the development of Internet, traditional network is converting to active network computing, which makes the problem of mobile-code security emerge as one of the most challenges of research in Computer Science today. The literature introduces one method that solves the problem of mobile-code security: Language-Based Security,and decribes in detail several methods in this research area, such as Proof-Carrying Code(PCC) and Typed Assembly Language(TAL). Our resolvation of mobile-code safety is presented at last.
郭帆陈意云胡荣贵
关键词：信息安全移动代码汇编语言
分割决策函数被引量：2
2000年
四叉树分解常常用在分形图象压缩中以获得变化的位比率．该文就可以改善图象质量和加速编码过程的分解决策函数而提出了熵（平均信息量）的概念．同时也讨论了其他分解决策函数，以及适宜的门限值所带来的优势．
范策陈意云
关键词：限定值决策函数图象编码分形四叉树
一种新型类型化中间语言的优化实现技术
2005年
类型化中间语言是提高代码安全性的一类重要方法。然而在其实现过程中,庞大的类型信息很难被高效地表达和操作。一个未经优化的实现将会给系统带来指数级增长的开销。该文描述了一种新型的类型化中间语言的优化实现技术,并将其成功应用于IntelORP(OpenRuntimePlatform)的即时编译器中。
李筱青陈晖陈意云
关键词：编程语言
代数规范说明的应用
1989年
本文讨论如何应用代数规范说明方法来说明软件系统。
陈意云郭青
关键词：软件工程
获得特定人脸模型变形方法的研究与探讨
2007年
主要目的是想让人们从枯燥的模型变形工作中解脱出来。主要研究如何利用二维图片信息获得特定三维人脸模型,首先介绍人脸模型变形的基本原理,然后提出特定人脸模型变形的一般步骤,提出人脸对几种常用的基于图片的三维人脸模型变形方法并对这些方法作了详细的阐述,分析和对比,总结这些方法各自的优点和不足,最后得到一种新的模型变形思路和方法。此文通过针对典型方法的对比分析中可以了解目前在人脸变形建模方面所做工作的特点及不足,这将对以后工作具有一定的研究意义。
万里红董兰芳陈意云何宏儒
关键词：控制点
全选 清除 导出
共14页<12345678910>
聚类工具0