中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	面向安卓应用的密码误用自动化检测研究学位论文 OAI收割硕士, 北京: 中国科学院大学, 2022 作者: 章文达· \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2022/06/14 密码学密码误用自动化检测安卓应用商用密码算法
	机器学习在化学工程中应用研究的若干进展期刊论文 OAI收割化学工程, 2022, 卷号: 50, 期号: 09, 页码: 23-29 作者: 程全中; 谭博仁; 王勇; 齐涛 \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2023/06/08 机器学习算法优化工业互联网单元操作连续化自动化
	ARX类密码算法的差分和线性分析学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2020 作者: 张丹夏 \| 收藏 \| 浏览/下载：41/0 \| 提交时间：2020/06/15 ARX类密码算法差分分析线性分析自动化搜索
	基于随机场的边坡可靠度分析方法研究学位论文 OAI收割成都: 中国科学院大学, 2019 作者: 任斌斌 \| 收藏 \| 浏览/下载：30/0 \| 提交时间：2020/03/30 边坡可靠度非平稳随机场自动化算法钻孔位置
	基于SVM的合成语音检测会议论文 OAI收割中国黑龙江哈尔滨, 2017-09-22 作者: 杨朔; 计哲; 郭耀辉; 颜永红 \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2018/06/11 近年来在电信网络中存在越来越多的人工合成语音。合成语音对后续的语音识别说话人识别关键词识别的性能都会造成一定影响。随着机器学习算法的发展为高效精准的自动化检测提供了可能针对合成语音的自动检测受到了广泛的重视。
	可靠性设计软件的调研及其问题分析期刊论文 OAI收割电子产品可靠性与环境试验, 2008, 卷号: 26, 期号: 4, 页码: 19-23 刘国才; 于强; 董晓铮; 金大荣; 张九华收藏 \| 浏览/下载：32/0 \| 提交时间：2014/04/30 可靠性自动化综合设计遗传算法
	算法程序变换研究与进展期刊论文 OAI收割计算机科学, 2007, 卷号: 34, 期号: 11, 页码: 232-238 石海鹤; 石海鹏; 郑宇军; 薛锦云 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/01 算法程序变换自动化形式化方法算法设计算法程序程序变换软件自动化程序开发设计方法学程序的可靠性支撑工具研究方向相关概念适用领域生产效率设计能力科学领域计算机语言课题分类
	使用SPEC#开发高可靠性的算法程序期刊论文 OAI收割计算机工程与应用, 2006, 卷号: 42, 期号: 12, 页码: 114-117,130 郑宇军; 马燕; 薛锦云 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/13 SPEC# 形式化方法算法程序契约开发高可靠性软件自动化对象不变式契约机制可维护性基本特性后置条件程序规约形式化可读性语言前置描述