论文部分内容阅读
应用本体和AllegroGraph实现平面几何定理证明的研究
【机 构】
：
江西师范大学
【出 处】
：
江西师范大学
【发表日期】
：
2014年期
其他文献
在军事领域中,诸如雷达、声纳等信号处理系统的性能不断提高,对计算机的处理速度提出了更高的要求。并行处理是提高计算机性能、可用性与可靠性的重要途径。目前,并行硬件技
图像和视频中的文本字符,是图像高层语义内容的一个重要来源,它包含许多非常重要的有用的信息,如街道名称、商店名称、路标、交通标示、字幕等,这些信息对于图像和视频资料的
随着国家医疗保险制度和社会保障制度的改革，以及加入WTO后卫生保险行业的对外开放，我国的医疗行业越来越要求进行信息化管理。在我国，绝大部分医院都已实施HIS，在各分散的医疗单
“软件危机”的出现，对于软件的可靠性和生产效率提出了更高的要求，形式化开发软件是一个很好的解决办法。而形式化开发软件就是要保证能对算法程序进行正确的推导和证明。而循
随着电子商务、社交网络以及物联网等新一代大规模互联网应用的快速发展，企业需要存储与处理的数据规模已发展到TB级甚至PB级。云计算数据处理系统Hadoop采用了数据并行计算的
随着WWW的发展，基于XML的Web服务技术，解决了各种异构系统之间数据传输不兼容等问题。并且Web服务的一系列配套技术SOAP、WSDL和UDDI越来越成熟，这使得基于Web服务的解决方案极
入侵检测系统和防火墙的结合是网络安全防护中最有效的手段，误用入侵检测系统大多基于攻击特征，其检测性能的好坏很大程度上取决于特征库的质量。随着蠕虫多态技术的不断发展，蠕
由于Internet的开放性和缺乏安全性的初始设计，使得Internet的运转时常受到各种安全威胁，黑客攻击也由早期的以系统攻击为主转变为以网络攻击为主。目前的安全解决方案，从本质上
随着软件工程体系的不断规范化和标准化,对软件质量的要求也越来越高。与此同时,软件测试作为软件开发生命周期中不可缺少的一个阶段也越来越受到重视,并形成了完整的测试技
在分布式通讯网络日益普及和发展的今天，任何两台相距遥远的计算机都可利用公众网络共享各种资源。但是这种数据的传输与交流给人们带来极大方便的同时，也提出一个问题：如何进行