共查询到20条相似文献,搜索用时 93 毫秒
1.
本文主要介绍了形式化技术的一些基本的理论,重点对形式化技术在软件工程和数学理论基础领域的作用进行研究。分析了形式化技术在软件工程领域的一些优势和局限性。并且指明了形式化技术在以后的发展中可能的方向,并且对形式化技术在软件工程中的作用进行了评价。 相似文献
2.
在目前的互联网研究领域中,可信网络研究作为重要的组成部分,为提高互联网运行的可靠性奠定了基础。其在互联网研究中属于是新型的研究方向,而虚拟化技术为可信网络机制提供了发展的空间,对控制和转发网络管理与数据、网络路由器虚拟化都起到了一定的作用。可信网络机制中,虚拟化技术不仅提高了网络单元故障解决效率,而且还促进了网络服务。本论文针对可信网络研究的虚拟化技术进行探究。 相似文献
3.
4.
5.
随着科学技术的不断进步与发展,计算机网络技术越来越普遍的应用于我们的现实生活之中,机电一体化的出现是社会发展的必然趋势,它与传统的机电技术不同,新的机电技术结合了最新的计算机通信技术,打破了传统意义上受时间和地域的限制,使其在空间和时间上都更为方便快捷,技术上更加安全可靠。为了进一步研究机电一体化的实际使用情况,促进其进一步的完善与发展,我们将最近的科技成果应用于机电一体化之中,这对于机电一体化的发展而言具有很重要的意义和影响。文章重点分析了机电一体化的发展背景,技术核心的关键内容以及结合国内外的使用情况,阐释未来的发展方向。 相似文献
6.
在粮食安全中,重金属污染问题的影响很大。基于此,本文首先就重金属污染进行概述,其次分析了粮食检测中重金属检测技术的研究现状,最后对粮食检测中重金属检测技术的研究方向进行探讨。 相似文献
8.
9.
10.
文章论述了高精度加工技术在机械加工中的意义和作用,并对高精度加工技术的组成作了简要介绍;在此基础上分析了造成加工误差的原因;提出了高精度加工技术的实现方法;给出了高精度加工技术的发展和研究方向。最后得出结论,加工误差是不能完全避免的,我们只能通过分析造成误差的原因并采取相关措施来提高工件的加工精度。 相似文献
11.
综合评述了分子蒸馏技术的基本原理、技术特点及设备,并对其优缺点进行分析评价;介绍了分子蒸馏技术在工业生产中的应用及存在的问题和解决办法;提出了未来分子蒸馏领域的重点研究方向。分子蒸馏技术作为一种环境友好的高新分离技术,向人们展示出广阔的应用前景。 相似文献
12.
13.
14.
介绍了国外大米品质检测的研究现状及国内应用机器视觉技术对大米品质进行检测的研究动态,指出了应用机器视觉技术对大米品质检测存在的问题,并提示了今后研究的方向。 相似文献
15.
16.
计算机发展到现在已成为了人们日常生活中不可缺少的一部分,其发展也是日新月异。在计算机的发展过程当中其应用范围不断的拓展,在各个领域也是不断分化,从另一个角度来说计算机的发展方向也正在朝着不同方向延伸,而微型化、智能化则能很好的代表当今计算机发展的趋势。本文我们将重点谈谈人工智能化技术在计算机游戏当中的应用并进行深入的探讨。 相似文献
17.
18.
19.
厌氧技术在啤酒废水处理中的应用 总被引:1,自引:0,他引:1
啤酒废水的可生化性好,适宜用生化法处理,一般采用厌氧工艺对其进行预处理。本文介绍了厌氧技术的特点及在啤酒废水处理中常用的厌氧工艺,并对厌氧技术的研究方向进行分析。 相似文献
20.
目前,漏洞挖掘技术在信息安全领域中日趋重要。文章从漏洞的概念出发,对漏洞挖掘的含义、作用以及主要技术进行了分析与探讨,并总结了漏洞挖掘技术未来的发展方向。 相似文献