中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [32]
计算技术研究所 [13]
长春光学精密机械与物... [2]
新疆理化技术研究所 [2]
过程工程研究所 [1]
高能物理研究所 [1]
更多
采集方式
OAI收割 [52]
内容类型
期刊论文 [35]
学位论文 [17]
发表日期
2023 [1]
2022 [1]
2021 [1]
2020 [2]
2019 [2]
2018 [1]
更多
学科主题
计算机软件::软件工... [3]
Computer S... [1]
计算机科学技术 [1]
计算机科学技术::计... [1]
筛选
浏览/检索结果:
共52条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
面向自动驾驶测试的危险变道场景泛化生成
期刊论文
OAI收割
自动化学报, 2023, 卷号: 49, 期号: 10, 页码: 2211-2223
作者:
赵祥模
;
赵玉钰
;
景首才
;
惠飞
;
刘建蓓
  |  
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2024/04/24
智能车辆
自动驾驶测试
变道场景
危险场景生成
序列生成对抗网络
基于机器学习的处理器验证高强度用例提取
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2022
作者:
戚航
  |  
收藏
  |  
浏览/下载:52/0
  |  
提交时间:2022/06/15
机器学习
功能验证
测试用例生成
面向差分测试的深度学习框架测试用例变异方法设计与实现
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2021
作者:
周智勇
  |  
收藏
  |  
浏览/下载:49/0
  |  
提交时间:2021/06/24
深度学习框架
差分测试
测试用例生成
测试预言
带约束的覆盖数组生成问题的局部搜索算法研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2020
作者:
傅英杰
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2020/06/11
组合交互测试
覆盖数组生成
局部搜索
加权机制
增量式计算
基于通信协议的接口测试用例自动生成框架
期刊论文
OAI收割
测控技术, 2020, 卷号: 39, 期号: 01, 页码: 46-54
作者:
刘逻
;
郭立红
;
陈媛
;
王俊杰
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2021/07/06
接口测试
自动生成框架
输入模型
关联矩阵
生成算法
离子液体/低共熔溶剂中甲壳素制备及功能化研究
学位论文
OAI收割
: 中国科学院大学, 2019
作者:
冯咪
  |  
收藏
  |  
浏览/下载:71/0
  |  
提交时间:2020/06/17
从废弃虾蟹壳提取的甲壳素,可用于医药、农业及纺织等领域,实现废弃资源回收,有利于可持续发展。然而,传统甲壳素及其功能化产品的制备工艺,需要大量酸碱溶液及有机溶剂,流程长,水耗大,污染大,已逐渐被淘汰。离子液体具有极低的蒸汽压、良好的热稳定性、可设计的结构及丰富的氢键网络等特点,为甲壳素制备及功能化提供了新选择。目前离子液体中甲壳素的制备及功能化研究尚少,且存在成本高、水耗大及离子液体难循环等问题。此外,尚无有关直接从虾蟹壳制备甲壳素功能化产物的报道。基于以上研究背景,本论文以虾壳为原料,开展基于离子液体/低共熔溶剂中的甲壳素、以及甲壳素/zn复合物、o-酰化甲壳素等功能化甲壳素制备的基础研究,为废弃虾壳的直接转化提供了新思路,主要研究内容及创新性研究成果如下:(1)无机盐水溶液-咪唑离子液体体系中甲壳素的制备。在此体系中,无机盐水溶液通过离子交换去除碳酸钙,离子液体1-丁基-3-甲基咪唑氯盐([Bmim]Cl)通过氢键作用去除蛋白质及引入的杂质镍,从而制得甲壳素。考察了无机盐种类、实验温度对除钙的影响,以及实验温度、料液比对除蛋白及杂质镍的影响。结果表明,虾壳粉依次与niso4水溶液(20 Wt%)、[Bmim]Cl在130 °c反应24 H,可得到纯度为98.8 Wt%的甲壳素。由此可见,离子交换可以去除虾壳中碳酸钙,同时负载金属盐,为甲壳素/金属复合物制备提供新思路。(2)磷酸酯类离子液体-无机盐水溶液体系中甲壳素/zn复合物的制备。首先利用磷酸酯类离子液体去除虾壳中蛋白质,随后利用zn(Oac)2·2h2o水溶液去除碳酸钙同时负载锌,得到甲壳素/zn复合物。考察了磷酸酯类离子液体种类、实验温度、料液比、实验时间对除蛋白的影响,以及zn(Oac)2·2h2o水溶液浓度、实验时间、温度对除钙及负载锌的影响,初步评价了离子液体循环使用性能、甲壳素/zn复合物对pet醇解的催化性能。实验结果表明,在130 °c条件下,虾壳粉依次与1-乙基-3-甲基咪唑磷酸甲酯([Emim][Dmp])、zn(Oac)2·2h2o水溶液(20 Wt%)反应24 H,得到纯度为99.1 Wt%,锌含量为13.4 Wt%的甲壳素/zn复合物
所用[Emim][Dmp]循环使用五次时,仍保持原有除蛋白质能力
所得甲壳素/zn复合物,甲壳素构型为α,锌离子为znCo3/zn(Oh)2,其对pet醇解表现出良好的催化性能。由此可见,不同离子液对虾壳中蛋白质、甲壳素优先溶解能力不同。(3)金属低共熔溶剂水溶液中甲壳素/zn复合物的制备。基于以上研究思路,设计合成金属低共熔溶剂尿素/zn(Oac)2·2h2o(u-zn),其水溶液同时具备除钙、除蛋白及负载金属功能,实现了从虾壳一步制备甲壳素/zn复合物的目的。考察了u-zn水溶液浓度、料液比、实验时间及温度对产物纯度及锌负载量的影响,测试了甲壳素/zn复合物的抗菌效果,探究了u-zn水溶液与虾壳中各组分相互作用,揭示了碳酸钙去除、锌负载及蛋白质去除的机理。实验结果表明,虾壳粉与u-zn(30 Wt%)在130 °c反应24 H,可得纯度为97.2 Wt%、锌含量为34.7 Wt%的甲壳素/zn复合物,其对革兰氏阴性菌及阳性菌具有良好的抑制作用。甲壳素/zn复合物中甲壳素构型保持为α,其聚合度高于甲壳素标样,锌离子以碱式碳酸锌(zn5(Co3)2(Oh)6)的形式存在。机理研究证实,配位能力较高的锌离子与虾壳中钙离子交换,原位形成碳酸锌,然后水解为碱式碳酸锌,释放co2
虾壳中蛋白质分子被包裹于水溶液中的u-zn簇内,溶解于其中,从而去除。由此可见,u-zn水溶液的离子交换能力及聚集作用,是甲壳素/zn复合物形成的主要原因。(4)酸性低共熔溶剂中酰化甲壳素的制备。延续多功能低共熔溶剂设计的理念,设计合成11种氯化胆碱-有机酸低共熔溶剂,同时具备除钙、除蛋白、及酰化的能力,实现从虾壳一步制备酰化甲壳素的目的。考察了低共熔溶剂种类、实验温度、实验时间、料液比及水含量对酰化甲壳素纯度及酰化度的影响,评价了酸性低共熔溶剂的循环性能,测试了酰化甲壳素的抗菌及抗肿瘤效果,探究了低共熔溶剂与虾壳各组分的相互作用,明确了虾壳中碳酸钙去除、蛋白质去除及甲壳素酰化的机理。实验结果表明,虾壳粉与氯化胆碱/dl-苹果酸(1:2,chcl 1/dl-mal 2)在150 °c条件下反应3 H,得到了纯度为98.6 wt%,酰化度为0.46的o-苹果酸酰化甲壳素,其对革兰氏阳性菌及神经胶质瘤c6细胞系表现出一定抑制效果。结构分析确定,所得产物确实为o-酰化甲壳素,且其相对分子质量折合计算后高于甲壳素标样。机理研究证实,在此体系中,虾壳中碳酸钙与酸性低共熔溶剂游离出的h+反应,形成水溶性有机酸盐,同时释放co2,形成绵密气泡
虾壳中一部分蛋白质在酸性条件下降解为可溶于水的氨基酸,另一部分蛋白质与低共熔溶剂形成氢键作用,溶解于其中,转变为水溶性蛋白
甲壳素结构被低共熔溶剂撑开,反应活性提高,在h+催化下与低共熔溶剂反应,从而生成酰化甲壳素。由此可见,所用低共熔溶剂的酸度、氢键形成能力是o-酰化甲壳素生成的主要原因。
基于极小碰集求解算法的测试向量集约简
期刊论文
OAI收割
计算机研究与发展, 2019, 卷号: 56.0, 期号: 011, 页码: 2448
作者:
欧阳丹彤
;
陈晓艳
;
叶靖
;
邓召勇
;
张立明
  |  
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
电路测试
自动测试向量生成
测试向量集
约简
故障覆盖率
极小碰集
固定型故障
流式大数据处理系统性能基准测试工具
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2018
作者:
刘重瑞
  |  
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2018/06/19
流式数据
流式处理
基准测试
数据生成
系统性能
基于需求模型的航天软件测试用例生成方法
期刊论文
OAI收割
光学精密工程, 2016, 期号: 5, 页码: 1185-1196
作者:
哈清华
;
刘大有
;
沈湘衡
;
刘逻
  |  
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2017/09/17
软件测试
航天软件
测试用例生成
用例约简
测试需求
模型
BigDataBench:开源的大数据系统评测基准
期刊论文
OAI收割
计算机学报, 2016, 卷号: 39.0, 期号: 1.0, 页码: 196
作者:
詹剑锋
;
高婉铃
;
王磊
;
李经伟
;
魏凯
  |  
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
大数据
基准测试
工业标准
测试方法
数据生成
应用案例