您的位置： 专家智库 > >

卢亮

作品数：3 被引量：5H指数：1
供职机构：南京大学更多>>
发文基金：国家高技术研究发展计划江苏省高校自然科学研究项目江苏省“六大人才高峰”高层次人才项目更多>>
相关领域：自动化与计算机技术医药卫生更多>>

合作作者

文献类型

  • 2篇学位论文
  • 1篇期刊文章

领域

  • 2篇自动化与计算...
  • 1篇医药卫生

主题

  • 2篇微内核
  • 2篇线程
  • 2篇线程机制
  • 2篇内核
  • 1篇多线程
  • 1篇多线程机制
  • 1篇形式化
  • 1篇形式化描述
  • 1篇形式化设计
  • 1篇药物
  • 1篇药物合成
  • 1篇药物设计
  • 1篇喹唑啉
  • 1篇喹唑啉类
  • 1篇微内核操作系...
  • 1篇微内核架构
  • 1篇架构
  • 1篇构效
  • 1篇构效关系
  • 1篇构效关系研究

机构

  • 3篇南京大学
  • 1篇常熟理工学院

作者

  • 3篇卢亮
  • 1篇黄皓
  • 1篇钱振江

传媒

  • 1篇计算机科学

年份

  • 1篇2016
  • 1篇2013
  • 1篇2011
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
VTOS微内核操作系统线程机制研究
操作系统是最基础的计算机软件之一，其可靠性、安全性、性能等对于整个系统的正常高效运转至关重要。　　操作系统的架构可以是宏内核的，也可以是微内核的。相比于宏内核操作系统，微内核架构的操作系统主要具有这些特点:内核小，系统服...
卢亮
关键词：操作系统微内核线程机制
喹唑啉类VEGFR2抑制剂与双氧环Schiff碱类FabH抑制剂的设计、合成与构效关系研究
本论文主要进行了两部分内容的论述:(1)喹唑啉类VEGFR2激酶抑制剂的设计、合成和构效关系研究;(2)双氧环Schiff碱衍生物作为FabH抑制剂的设计，合成和构效关系研究。　　对肿瘤而言，新生血管的生成是其发生、发展...
卢亮
关键词：药物设计药物合成构效关系
微内核架构多线程机制的形式化设计研究被引量：5
2013年
微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式对微内核架构多线程和安全机制进行描述和设计,提出一个微内核线程分层对象语义模型,用以设计多线程机制的线程间通信、调度和互斥同步方案。在已实现和验证的微内核操作系统VTOS中对多线程功能和性能进行了测试,结果表明VTOS有效地实现了多线程机制,并具有很好的系统性能。
钱振江卢亮黄皓
关键词：微内核多线程形式化描述形式化设计
全选 清除 导出
共1页<1>
聚类工具0