-
题名几种针叶树种离体培养条件的研究
被引量：14
- 1
-
-
作者
韩素英
齐力旺
杨云龙
冯晓燕
杜云开
-
机构
山西农业大学林学系
-
出处
《林业科技通讯》
1995年第10期20-22,共3页
-
基金
山西省科学基金
-
文摘
取油松、白皮松、华山松、青的休眠芽外植体，进行了离体培养条件的研究。结果表明：基本培养基以ＷＰＭ和ＭＳ为宜，ＳＨ次之；激素ＢＡ比ＫＴ作用明显，浓度以０．２～０．７５ｍｇ／ｌ为宜；ＮＡＡ０．５～１．５ｍｇ／ｌ配合使用少量ＩＢＡ，利于愈伤组织的诱导和分化；ＢＡ／ＮＡＡ＜１适宜于针叶树种离体培养，从而为优良针叶树种的无性转化和针叶树组培快速繁殖提供了依据。
-
关键词
离体培养
愈伤组织
白皮松
华山松
青杵油松
-
分类号
S791.240.4
[农业科学—林木遗传育种]
-
-
题名使用双层分类器在垂直搜索中自动识别交互式查询接口
- 2
-
-
作者
王琳
王行甫
杜云开
-
机构
中国科学技术大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2016年第6期1138-1142,共5页
-
基金
国家自然科学基金项目(61472382
61272472
+1 种基金
61232018)资助
国家科技重大专项项目(2012ZX10004-301-609)资助
-
文摘
一框式检索功能普遍提供于各类互联网信息门户的首页,由于需要交互式操作以及返回页面仅包含与用户所提交关键字相关的查询结果等原因,较少受到传统搜索引擎的关注.但是在垂直搜索中,若能够有效利用远程服务器自带的站内检索功能,将在显著降低本地计算资源和带宽消耗的同时,提高查全和查准率.提出并实现了一种用于在主题相关的页面采集过程中自动定位交互式查询接口的双层分类器.针对8个不同领域主题的规模化实验显示,该分类器能够准确过滤非相关域名和非可查表单,实现搜索接口的有效识别.
-
关键词
垂直搜索
查询接口识别
表单特征分类
HTML解析
支持向量分类
决策树
-
Keywords
deep web data source
domain-specific crawler
searchable forms
html analysis
SVM classifier
decision tree algorithm
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于控件路径的跨设备UI自动化测试方法
被引量：3
- 3
-
-
作者
侯津
顾乃杰
丁世举
杜云开
-
机构
中国科学技术大学计算机科学与技术学院
安徽省计算与通信软件重点实验室
-
出处
《计算机系统应用》
2018年第10期240-247,共8页
-
文摘
随着移动应用的爆炸式增长,如何高效、正确地进行UI自动化测试成为了一个重要问题.传统自动化方法大多需手动编写测试脚本,自动化程度更高的录制回放方法则普遍具有跨设备能力不足的问题,而且现有断言机制已经不足以描述丰富的UI语义.针对上述问题,本文提出一种跨设备能力强且可以描述丰富UI语义的录制回放自动化测试方法.该方法使用控件路径精确定位控件,并结合跨设备UI自适应方法以提高跨设备能力;通过提出两种新的断言机制以支持与数字排序和图片相关的UI语义.在该方法基础上,本文面向Android和iOS应用程序实现了一种自动化测试框架RRF,实验结果表明RRF的回放成功率比其他自动化测试工具更高.
-
关键词
UI自动化测试
跨设备
控件路径
断言
-
Keywords
UI automated testing
cross-device
widget path
assertion
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于Petri网验证的数据竞争检测方法
被引量：1
- 4
-
-
作者
杜云开
顾乃杰
邵祎康
丁世举
-
机构
中国科学技术大学计算机科学与技术学院
安徽省计算与通信软件重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2017年第10期2352-2357,共6页
-
基金
安徽省自然科学基金项目(1408085MKL06)资助
-
文摘
数据竞争是并行程序中常见的一类问题,由于并行程序的时序不确定性而导致数据竞争难以检测.传统的基于Lockset的检测算法速度快,但检测结果中包含较多误报,影响了算法的实用性.为了降低Lockset算法的误报率,本文提出一种将Lockset算法与模型检查相结合的方法,充分利用模型检查的高准确性的特点,逐个验证Lockset算法报出的潜在数据竞争.在模型选择上,本文选择使用Petri网,并且提出了Petri网验证数据竞争的算法.此外,还介绍了我们基于此方法实现的检测工具Peser X,通过对SPLASH2测试集进行测试,我们发现提出的方法能够有效地降低数据竞争检测的误报率,使得数据竞争检测进一步走向实用.
-
关键词
数据竞争
误报
漏报
PETRI网
Lockset
-
Keywords
data race
false positive
false negative
Petri-net
Lockset
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名高效而精确的锁别名分析方法
- 5
-
-
作者
陈露
顾乃杰
黄理
杜云开
-
机构
中国科学技术大学计算机科学与技术学院
中国科学技术大学安徽省计算与通信软件重点实验室
中国科学技术大学先进技术研究院
-
出处
《计算机系统应用》
2016年第2期212-218,共7页
-
基金
安徽省自然科学基金(1408085MKL06)
高等学校学科创新引智计划(B07033)
-
文摘
锁别名分析能够得到锁指针变量的指向信息,有效的锁别名分析可以更好地辅助数据竞争分析和死锁分析.现有锁别名分析往往采用保守的方式处理,进而影响分析结果的准确性.针对这一问题,提出了一种锁别名分析方法,该方法首先使用GCC插件获取SSA形式的中间代码,然后对中间代码进行预处理以获得与锁、函数指针操作相关的语句,最后对预处理后的程序使用本文提出的FP_LOCK算法进行准确的流敏感、上下文敏感分析.实验结果表明该方法能精确地确定锁别名,并且经过预处理后的FP_LOCK算法对分析大程序平均有9.95倍的加速比.
-
关键词
锁别名分析
SSA
中间代码
FP_LOCK
流敏感
上下文敏感
-
Keywords
lock alias analysis
SSA
intermediate code
FP_LOCK
flow-sensitive
context-sensitive
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种有效的Python字节码保护方法
- 6
-
-
作者
陈悟
顾乃杰
杜云开
-
机构
中国科学技术大学计算机科学与技术学院
中国科学技术大学安徽省计算与通信重点实验室
中国科学技术大学先进技术研究院
-
出处
《电子技术（上海）》
2017年第6期17-22,16,共7页
-
文摘
针对Python软件目前面临反编译攻击威胁的问题,提出一种有效的基于密码技术和导入钩子技术的Python字节码保护方法。通过在加密端使用密码技术高强度加密字节码文件并使用密钥隐藏技术保证密钥的安全,使得字节码文件丧失其原有结构的规律性。通过在应用启动时注册具有动态解密功能的Python导入钩子,使得Python程序在导入加密模块过程中可以动态解密并加载模块,其运行方式和未加密软件没有任何区别。实验结果表明,本方法能够在保持软件功能等价的基础上有效地抵抗现有的反编译工具攻击,并且对应用软件额外的性能开销不超过0.5%,在安全性和性能方面都可以满足实际运用的要求。
-
关键词
PYTHON
软件安全
反编译
加密
导入钩子
-
Keywords
Python
software security
decompile
encryption
import hook
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名白皮松营养袋育苗及造林技术研究
- 7
-
-
作者
杜云开
-
机构
交城县林业局
-
出处
《风景名胜》
2020年第7期0117-0117,共1页
-
文摘
本国在绿化造林上经常使用白皮松作为主要树种,而白皮松的成活率是最为关键的重要部分,合适、科学的育苗方式能够使得白皮松的成活率大大的提升,并使得造林的经济成本得到有效的控制。全文着重探讨了白皮松在育苗阶段以及造林阶都需要注意什么以及技术的重点、难点,仅供参考。
-
关键词
白皮松
营养袋
育苗
造林技术
-
分类号
K
[历史地理]
-
