【摘 要】
：
如今,随着科学技术的进步,计算机技术也得到了空前的发展。计算机领域的发展改变了人们的学习和生活的方式,并间接地促进了中国实体经济的有效发展。当实体行业开始创新以适
论文部分内容阅读
如今,随着科学技术的进步,计算机技术也得到了空前的发展。计算机领域的发展改变了人们的学习和生活的方式,并间接地促进了中国实体经济的有效发展。当实体行业开始创新以适应新的增长模式时,这为计算机的发展奠定了基础,云计算的出现主要是由于网络联网功能和智能化控制终端的联合,就传统的计算机技术而言,云计算技术可以提高计算机存储数据效率并连接到远程操作。在业务中,云计算主要使用大数据技术为企业的风险投资作出评估,并帮助公司规避风险并占领市场。因此本文从计算机云计算的相关概念与特点、云计算的实现形式、计算机云计算工作原
其他文献
本文首先阐述了水利水电施工中筑坝工程相关技术,进一步从多个方面提出筑坝工程在水利水电施工中的关键工艺,旨在以筑坝工程关键工艺为切入点提高水利水电施工质量,确保水利
【正】 包括上、下经和“十翼”在内的《周易》,成书于战国中后期的齐国稷下学宫。这是最近出版的《古易新编》一书提出的最新结论。《古易新编》是由王赣、牛力达、刘兆玖三
提出一种基于Chamfer距离的保结构纹理合成方法。使用Chamfer距离度量纹理结构特征的相似度,在查找匹配块的同时计算纹理在颜色空间和结构特征空间的匹配度,从而解决以往纹理
通过大量的岩心观察和综合分析开展断陷湖盆深水重力流沉积类型、演化过程、形成机制和沉积模式研究。断陷湖盆深水重力驱动沉积作用可分为滑动、滑塌块体搬运沉积和碎屑流、
运行时验证中的一个重要研究内容就是减少监控开销,以达到运行时开销对系统影响最小化的目标。总结了近年来运行时验证中减少监控开销技术的研究发展,首先介绍了运行时开销控制的研究现状;然后详细介绍了运行时开销减少的具体方法;最后分析了运行时开销控制技术面临的主要挑战,并对该领域未来的研究方向进行了展望。
DO-333是对机载软件安全性标准DO-178C关于形式化方法的补充,为机载软件开发过程中形式化方法的使用提供指导。模型检验作为一种形式化方法,可以应用于对软件需求和设计阶段制品的严格验证。基于DO-333,使用模型检验对飞控系统中襟缝翼控制单元不同阶段的软件制品进行验证与分析,判断其是否满足DO-178C的相关验证目标并提供证据支持。首先,对控制单元中襟翼与缝翼必须互斥更新的高级需求进行规约和验
主动规则使数据库具备自反应能力,在数据库、知识库和无线传感器网络等领域得到了广泛应用。汇流性分析是保持数据一致性的重要手段,但有效判定汇流性仍是一个难题。现有的方
操作系统识别是网络安全评估的关键技术之一,在网络安全威胁和风险日益加剧的形势下,其研究具有非常重要的意义。针对当前基于TCP/IP协议栈指纹库的操作系统识别技术难以辨识
我家附近住了个傻子,他皮肤黝黑,杂乱的头发像一根根粗毛线似的缠在一起,胡子打卷,穿着破了几个洞的脏棉袄、破裤子,整个人散发着一股臭臭的气味。大家见了他,都跟避瘟神似的