期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
微分中值定理自动推证研究
1
作者 王玮明 《兰州大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第1期99-102,共4页
应用积分辅助函数法给出了微分中值定理在计算机代数系统Maple下的自动推证的实现程序,特别是成功解决了Maple中符号积分缺陷问题.该程序方法简单,相应的计算机程序功能强大,操作性强.应用该程序可以成功解决一类有关问题的计算机自动推... 应用积分辅助函数法给出了微分中值定理在计算机代数系统Maple下的自动推证的实现程序,特别是成功解决了Maple中符号积分缺陷问题.该程序方法简单,相应的计算机程序功能强大,操作性强.应用该程序可以成功解决一类有关问题的计算机自动推证,具有一定的推广价值. 展开更多
关键词 微分中值定理 自动推证 计算机代数系统 MAPLE
下载PDF
数学归纳法自动推证研究
2
作者 连新泽 《温州师范学院学报》 2004年第5期66-70,共5页
数学归纳法广泛应用于数学以及其它学科上相关定理证明. 运用有关数学理论在计算机代数系统Maple下, 讨论了算法的实现技术, 分析了复杂度与输出结果的关系, 在此基础上, 设计并实现了数学归纳法可读型自动推证. 结果表明, 该算... 数学归纳法广泛应用于数学以及其它学科上相关定理证明. 运用有关数学理论在计算机代数系统Maple下, 讨论了算法的实现技术, 分析了复杂度与输出结果的关系, 在此基础上, 设计并实现了数学归纳法可读型自动推证. 结果表明, 该算法简单正确,相应的程序操作简单, 功能强大,可以解决归纳法问题的自动推证问题,具有一定的推广价值. 展开更多
关键词 数学归纳法 自动推证 机械化 计算机代数系统
下载PDF
A Transductive Scheme Based Inference Techniques for Network Forensic Analysis 被引量:1
3
作者 TIAN Zhihong JIANG Wei LI Yang 《China Communications》 SCIE CSCD 2015年第2期167-176,共10页
Network forensics is a security infrastructure,and becomes the research focus of forensic investigation.However many challenges still exist in conducting network forensics:network has produced large amounts of data;th... Network forensics is a security infrastructure,and becomes the research focus of forensic investigation.However many challenges still exist in conducting network forensics:network has produced large amounts of data;the comprehensibility of evidence extracting from collected data;the efficiency of evidence analysis methods,etc.To solve these problems,in this paper we develop a network intrusion forensics system based on transductive scheme that can detect and analyze efficiently computer crime in networked environments,and extract digital evidence automatically.At the end of the paper,we evaluate our method on a series of experiments on KDD Cup 1999 dataset.The results demonstrate that our methods are actually effective for real-time network forensics,and can provide comprehensible aid for a forensic expert. 展开更多
关键词 network forensics transductive scheme security digital evidence
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部