全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
发文数量
被引数量
学者研究热点:
    引用
    筛选:
    文献类型 文献类型
    学科分类 学科分类
    发表年度 发表年度
    基金 基金
    研究层次 研究层次
    排序:
    显示:
    CNKI为你找到相关结果

    随机模型检验研究  CNKI文献

    随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式...

    刘阳 李宣东... 《计算机学报》 2015年11期 期刊

    关键词: 形式验证 / 马尔可夫随机过程 / 随机模型检验 / 定量分析

    下载(538)| 被引(16)

    三维点云场景中对象识别技术研究  CNKI文献

    在复杂的场景中进行物体识别是计算机视觉一个很重要的研究领域。在过去的几十年里,2D物体识别已经被广泛研究,成为一个相对成熟的领域。相比较于2D图像,3D点云可以提供更多几何信息,因此在三维点云中估计物体的姿态比...

    刘阳 导师:武港山 南京大学 2016-05-01 硕士论文

    关键词: 三维物体识别 / 点云库 / 局部特征 / 全局特征

    下载(1343)| 被引(14)

    面向随机模型检验的模型抽象技术  CNKI文献

    随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机模型检验中更...

    刘阳 李宣东... 《软件学报》 2015年08期 期刊

    关键词: 随机模型检验 / 状态空间爆炸 / 模型抽象 / 定量抽象精化

    下载(182)| 被引(2)

    利用SAXS表征不同变质程度煤纳米孔隙特征  CNKI文献

    文章通过小角X射线散射(SAXS)的方法研究了自然演化系列不同煤级煤的纳米孔隙结构和分布特征。结果表明,随着煤级的增高,孔隙表面分形呈多阶段变化:Ro<0.89%,壳质组开始逐渐液化,发育大量孔隙,分形维数不断增大;Ro...

    刘阳 姚素平... 《高校地质学报》 2019年01期 期刊

    关键词: / 小角散射 / 纳米孔隙 / 孔径分布

    下载(133)| 被引(2)

    东濮凹陷及其周缘地区上古生界煤系沉积有机相及煤成烃潜力  CNKI文献

    东濮凹陷上古生界具有优越的煤成烃物质基础,油气生成潜力取决于沉积有机相。通过对东濮凹陷及其周缘地区煤系沉积有机相的类型和分布特征的研究,结合烃源岩生烃热模拟实验,探讨了东濮凹陷上古生界煤成烃的潜力。研究...

    彭君 张云献... 《煤田地质与勘探》 2018年05期 期刊

    关键词: 沉积有机相 / 煤成烃 / 上古生界 / 东濮凹陷

    下载(149)| 被引(0)

    双重身份 双重视角——程抱一与中西文化交流  CNKI文献

    程抱一是法籍华裔诗人、小说家、翻译家、法兰西学士院院士,被称为中西文化的“摆渡人”。他以中西文化交流为己任,不仅介绍、传播中西文化的精粹,而且将东西方思想融于一炉,提升自己的思想高度,通过自己的理论著作和...

    刘阳 《国外文学》 2006年01期 期刊

    关键词: 程抱一 / 身份 / 视角 / 中法文化

    下载(583)| 被引(16)

    Nondeterministic Probabilistic Petri Net—A New Method...  CNKI文献

    There are many variants of Petri net at present,and some of them can be used to model system with both function and performance specification,such as stochastic Petri net,generalized stochastic Petri...

    刘阳 缪淮扣... 《Journal of Computer Science & Technology》 2013年01期 期刊

    关键词: nondeterminism / probabilistic / Petri / net

    下载(92)| 被引(8)

    程抱一访谈录  CNKI文献

    程抱一(弗朗索瓦·程)是华裔法国诗人、小说家、翻译家。1929年,他出生于中国的一个文人家庭。1949年,他在金陵大学外语系读二年级时,获得赴国外留学两年的奖学金。由于特别喜欢罗曼·罗兰和安德烈·纪德...

    卡特琳娜·阿尔冈 刘阳 《当代外国文学》 2002年04期 期刊

    关键词: 程抱一 / 罗曼·罗兰 / 弗朗索瓦 / 国外留学

    下载(415)| 被引(25)

    FLASH在系统编程和DSP并行引导的C语言实现  CNKI文献

    本文介绍了一种在 DSP仿真环境下 ,采用 C语言对 FLASH进行在系统编程 ( ISP)的方法 ,同时介绍了 TMS32 0 VC5 4 0 2的 Bootloader原理 ,给出了 DSP的并行 FLASH引导功能实现方案 ,并且给出了一个简单的测试实例。

    刘兵 徐家恺... 《微处理机》 2004年04期 期刊

    关键词: C语言 / 数字信号处理器 / FLASH / 在系统编程

    下载(423)| 被引(21)

    价键方法对有限长度的石墨烯纳米带的研究  CNKI文献

    有机共轭大分子通常具有独特的光、电、磁性质,广泛被认为是各种金属氧化物或非金属半导体的理想替代品。石墨烯发现以来,其应用前景更加明朗。然而,二维的石墨烯受限于零能隙的特点,在实际应用中需要从二维的石墨烯,...

    刘阳 导师:刘春根 南京大学 2013-05-01 硕士论文

    关键词: 价键理论 / 分子力学 / 密度矩阵重整化群 / 石墨烯纳米带

    下载(120)| 被引(0)

    《天一言》:对生命意义和艺术真谛的探寻  CNKI文献

    《天一言》是法籍华人作家程抱一的自传体小说 ,小说追溯一个华裔文化人坎坷的生活道路 ,描述主人公对生命和艺术进行双重探索的心路历程 ,表现了主人公对生命意义和艺术真谛的追求。作家丰厚的中西文化“知识装备”及...

    刘阳 《当代外国文学》 2003年03期 期刊

    关键词: 程抱一 / 《天一言》 / 生命意义 / 艺术真谛

    下载(489)| 被引(13)

    论中西文化交流的个人媒介——以程抱一、赵无极与米修为例  CNKI文献

    本文以程抱一、赵无极和米修为例 ,探讨了个人媒介在中西文化交往的特殊作用。作者认为 ,这三位当代著名文艺家具有开阔的全球视野、深厚的中西文化学养 ,他们一直致力于沟通中西方文化 ,因而成为中西文化交流的个人媒...

    刘阳 《当代外国文学》 2005年01期 期刊

    关键词: 程抱一 / 赵无极 / 米修 / 个人媒介

    下载(630)| 被引(9)

    Windows应用程序权限控制与资源监控研究  CNKI文献

    从第一个蠕虫病毒问世以来,恶意软件对计算机安全的影响越来越大,操作系统、反病毒软件与恶意软件之间的对抗从未停止过。操作系统是计算机不可缺少的软件平台,在安全中的重要性不言而喻。Windows操作系统采用自主访问...

    刘阳 导师:黄皓 南京大学 2013-05-01 硕士论文

    关键词: Windows7 / 应用程序安全 / 内核对象 / 权限控制

    下载(58)| 被引(1)

    程抱一和他的小说《此情可待》  CNKI文献

    本文对程抱一的长篇小说《此情可待》进行了评析。作者认为 :程抱一的小说讲述了发生在明末清初的一个爱情故事。小说通过对人物和社会背景的描写展现了这一特定时期社会生活的广阔画卷。作品中对女性的歌颂 ,体现了作...

    刘阳 《当代外国文学》 2004年04期 期刊

    关键词: 程抱一 / 小说 / 《此情可待》 / 中西文化

    下载(379)| 被引(14)

    程抱一在法兰西科学院的就位演说  CNKI文献

    法兰西科学院诸位女士、先生 :在许多世纪流逝之后 ,终于有一天 ,有一个人从欧亚大陆的另一端 ,崇文为圣的古老中国来到法国 ,来到这座殿堂 ,向成为西欧灯塔之一的国家的最高文化代表们致敬。这一天就是今天 ,而这个人...

    程抱一 刘阳 《当代外国文学》 2003年04期 期刊

    关键词: 法兰西科学院 / 程抱一 / 瓦雷里 / 罗贝尔

    下载(302)| 被引(7)

    “让我迷失在远方”——亨利·米修笔下的中国形象  CNKI文献

    本文分析了法国当代著名诗人亨利·米修有关中国的文学表征 ,对其作品里的中国形象进行了分析。作者认为 :米修怀着对中国的倾慕态度 ,在作品里描述了作为中国和中国人的“他者”形象 ,为人们认识中国提供了重要的...

    刘阳 《外语研究》 2002年01期 期刊

    关键词: 米修 / 中国 / 文化 / 形象

    下载(422)| 被引(6)

    Windows平台应用程序权限能力控制研究  CNKI文献

    为限制应用程序的恶意行为,通过对Windows平台访问控制机制的研究以及对象管理器对资源管理方式的分析,提出在Windows7操作系统下应用程序权限能力控制方法。该方法使用权限控制和资源监控相结合的方式来实现,利用受限...

    刘阳 黄皓 《计算机应用与软件》 2014年10期 期刊

    关键词: 应用程序 / 权限控制 / 能力控制 / 对象管理器

    下载(70)| 被引(1)

    米修在中国的译介与研究  CNKI文献

    亨利·米修是20世纪法国著名诗人、画家。本文以亨利·米修在中国的译介和研究过程为经,以中国学界译介和研究米修的重要成果为纬,梳理了上世纪80年代以来亨利·米修在中国的译介与研究过程,分别阐述了中...

    刘阳 《当代外国文学》 2006年01期 期刊

    关键词: 亨利·米修 / 中国 / 译介 / 研究

    下载(362)| 被引(1)

    SNS用户“中区”行为初探  CNKI文献

    SNS(Social Networking Service),即社交网络服务。SNS网站的理论依据是六度分隔理论,即"你和任何一个陌生人之间所间隔的人不会超过六个,也就是说,最多通过六个人你就能认识任何一个陌生人"。①

    刘阳 《青年记者》 2009年30期 期刊

    关键词: SNS / 社会情境 / 校内网 / 人人网

    下载(256)| 被引(6)

    VP101和模拟电话接口设计  CNKI文献

    介绍了一款专用分组语音处理芯片VP101,分析了它的硬件结构和软件组成,根据VP101提供的模拟接口,通过SLIC芯片AM79R70,实现了VP101与普通电话机的连接。文章介绍了基于VP101的VOIP模块设计,并且在实验中实现了其相应的...

    徐家恺 刘阳... 《微计算机应用》 2006年06期 期刊

    关键词: VoIP / VP101s / SLIC / AM79R70

    下载(96)| 被引(5)

    学术研究指数分析(近十年)详情>>

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      时间的形状