搜索结果: 1-15 共查到“知识库 计算机科学技术 自动化”相关记录192条 . 查询时间(0.521 秒)
近日，中国科学院中国科学院自动化研究所脑图谱与类脑智能实验室李国齐研究员与西安交通大学赵广社教授合作在人工智能顶级国际期刊IEEE Transactions on Pattern Analysis and Machine Intelligence（TPAMI）上发表了一篇题为“Attention Spiking Neural Networks”的研究。这项工作将注意力机制融入百万级规模脉冲神经网络...
中国科学院自动化研究所长徐波：“拢”出智能科学体系化研究力量
人工智能 徐波 智能科学体系化
2022/12/19
人工智能是交叉性、复合型极强的新兴学科，牵涉范围甚广、研究方向繁多，对研究所方向整合、系统布局而言，挑战巨大。围绕如何统筹、如何切题、如何“有所为有所不为”，自动化所着重做了如下部署。
本文分析了控制理论与应用、模式识别与智能系统、导航制导与控制、系统科学与工程、人工智能与自动化交叉等领域的发展现状.结合科技发展、国内国际研究前沿和新兴领域对自动化科学技术的需求,提出重点发展智能控制理论和方法、高性能作业机器人、信息物理系统、导航与控制技术、重大装备自动化技术、自主智能系统和人工智能驱动的自动化技术优先领域,加强数据驱动控制理论、人工智能基础理论研究,进一步发展人机协同、跨域融合...
中国自动化学会环境感知与保护自动化专业委员会
中国自动化学会 环境感知 保护自动化
2022/12/31
党的十九大提出，建设生态文明是中华民族永续发展的千年大计，把坚持人与自然和谐共生作为新时代坚持和发展中国特色社会主义基本方略的重要内容，把建设美丽中国作为全面建设社会主义现代化强国的重大目标，把生态文明建设和生态环境保护提升到前所未有的战略高度，集中体现了习近平总书记生态文明建设重要战略思想。
Android应用特定行为的定向测试通常被用来测试应用是否存在隐私泄漏、远程控制等恶意行为。为解决已有定向测试方法存在的失败率高和耗时多等问题，提出一种以目标API调用代表程序特定行为的自动化测试方法。首先，用静态分析得出到达目标API调用位置的路径；然后在动态测试过程中，排除无关组件和控件，使应用沿路径自动运行至目标API调用的位置，触发特定行为。实验证明，本方法完成Android应用定向行为测...
恶意代码同源判定对作者溯源、攻击事件责任判定、攻击场景还原等研究工作具有重要作用.目前恶意代码同源判定方法往往依赖人工分析，效率低下，为此，提出一种基于调用习惯的恶意代码自动化同源判定方法.该方法基于7类调用行为，使用数据挖掘算法构建作者编程习惯模型，基于频繁项离群检测算法计算同源度，利用K均值聚类算法选择同源判定阈值，进而实现恶意代码同源判定.实验结果表明，该方法具有99%以上的准确率和可接受的...
PyFuzzer：自动化高效内存模糊测试方法
模糊测试 静态分析 动态跟踪 漏洞挖掘
2014/3/26
针对传统模糊测试（fuzz testing）耗时、无法绕过有效性验证等缺陷，提出了基于快速内存模糊测试，综合运用静态分析和动态跟踪技术的测试工具—PyFuzzer。整个过程高度自动化，通过WarFTPD、Serv-U等程序进行测试，并和4n FTP Fuzzer进行对比，结果表明PyFuzzer能有效地发掘二进制程序中的各种漏洞，极大地提高了模糊测试的效率。
计算机核心配置是提高上网计算机安全性的重要手段之一。从核心配置的概念及其基本方法出发，提出了基于客户端代理实现核心配置的自动化方法，研制了完整包含编辑、验证、分发执行和符合性监测等功能的自动化配置系统。该系统适用于各种机构保护上网计算机安全
依据自动化测试理论，采用TCL/TK，设计与实现了自动化测试框架，构建了自动化测试系统.实验证明，基于本文自动化测试框架构建的自动化测试系统能自动连接到测试仪，对DUT设备进行自动配置，并对配置结果进行判断，控制测试仪收发数据帧，对收到的结果进行判断并给出最终的测试结果.
阐述了网络办公平台的发展现状及研究意义，讨论了网络办公平台系统的设计与实现，最后对该系统进行了应用分析.开发平台采用JSP技术，后台采用Oracle数据库，该系统的设计与实现为高校校园办公、科研和教学提供了高效的现代化管理手段.
基于数据格式支持机制的自动化渗透测试框架
网络渗透测试 Backtrack4 自动化 数据格式支持 PDFL
2011/12/26
Backtrack4是功能最全面的一款测试平台,但由于数据交换处理机制的缺失使得它难以胜任高效的测试需求.设计了相应的数据格式支持机制,并依此开发了一个渗透测试框架(PTF).该框架会自动使用有关的渗透测试工具进行信息探测、漏洞评估、报告生成.真实网络环境中的实验验证了PTF能高效完成自动化渗透测试,进而大幅提升了使用Backtrack4进行渗透测试的有效性.
一种安全协议自动化分析方法
安全协议 串空间 自动化分析模型 算法
2010/8/24
提出了一种基于串空间的安全协议自动化分析模型,该模型运用一系列算法实现协议的自动化分析，克服了冗长的理论推导，使协议的分析更加简洁和直观。模型的主要功能已在MyEclipse环境下用Java编程实现，并首次运用实现后的自动化分析模型对改进前后的Helsinki协议进行分析验证，证明了该自动化分析方法的简洁性和有效性。