中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共19条，第1-10条 帮助

条数/页： 排序方式：
时间敏感网络流量调度算法研究 学位论文  OAI收割
沈阳: 中国科学院沈阳自动化研究所, 2021
作者:  李庆
  |  收藏  |  浏览/下载：85/0  |  提交时间：2021/06/12
云环境下网络感知的虚拟机分配问题的求解方法 期刊论文  OAI收割
吉林大学学报. 工学版, 2020, 卷号: 50, 期号: 4, 页码: 1455
作者:  吕帅;  徐玥;  张桐搏
  |  收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
利用 3D 打印假花验证植物的花特征演化 学位论文  OAI收割
: 云南大学, 2019
作者:  王力平
  |  收藏  |  浏览/下载：34/0  |  提交时间：2022/08/29
传粉者介导的选择作用被普遍认为是被子植物花部特征演化的重要驱动因素， 但对某个特定花性状的演化仍需要进一步解析。利用人工制作的假花操控单花或 花序性状是探讨传粉者与花特征相互作用的重要实验方法。3D 打印的花具有可自 由控制形状，仿真程度高等特点，可以自由组合不同的花展示和花结构，再加上人 工控制花颜色以及花气味等方法，可以很好地满足花演化研究的需要。本文以 3D 打印的花和购买的欧洲熊蜂 Bombus terrestris 为研究对象，利用 3D 打印技术模拟 了自然界中不同大小的花（大和小）和不同对称性的花（两侧对称和辐射对称）， 在人工控制实验条件下观察熊蜂对不同形态花的访花行为，从熊蜂的访问偏好及 访花恒定性两方面分析传粉者行为在植物的花特征演化中的作用。本研究将 3D 打印技术与传粉昆虫行为结合，量化了熊蜂对不同大小和对称性花的访花行为，结果发现对于不同形态的花，熊蜂的访花行为（访问偏好、访花恒定性）表现出明显的规律。这种传粉者访花行为的规律对植物的花特征演化具有一定的介导作用。同时，本研究为深入探究植物与传粉者的相互关系提供了新的方法和思路。  
线性析取约束优化算法理论与应用研究 学位论文  OAI收割
博士, 北京: 中国科学院大学, 2019
作者:  吕荫润
  |  收藏  |  浏览/下载：56/0  |  提交时间：2019/06/12
A computational framework for Karl Popper＇s logic of scientific discovery 期刊论文  OAI收割
中国科学：信息科学（英文版）, 2018, 卷号: 61.0, 期号: 004, 页码: 042101
作者:  Li Wei;  Sui Yuefei
  |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04
面向无穷数据的形式模型综述 期刊论文  OAI收割
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690
宋富; 吴志林
  |  收藏  |  浏览/下载：17/0  |  提交时间：2016/12/09
基于树状线性规划搜索的单调速率优化设计 期刊论文  OAI收割
软件学报, 2015, 卷号: 26, 期号: 12, 页码: 3223-3241
陈力; 王永吉; 吴敬征; 吕荫润
  |  收藏  |  浏览/下载：39/0  |  提交时间：2016/12/09
命题模态逻辑的模型构造和完备性证明 期刊论文  OAI收割
计算机应用与软件, 2014, 卷号: 31, 期号: 8, 页码: 9-12,24
柳欣欣; 李小燕
  |  收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16
命题动态逻辑及其递归扩展 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2012
薛冰天
  |  收藏  |  浏览/下载：16/0  |  提交时间：2012/06/01
不动点逻辑中的模型构造与推演系统的完备性 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2012
屈楠
  |  收藏  |  浏览/下载：32/0  |  提交时间：2012/07/06