排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
针对数控火焰切割机切割件产生热变形的原因,对切割件的变形进行了分析。根据数控火焰切割机的特点,在加工过程中正确选择切割的起点、切割方向、切割顺序、切割速度等工艺,可以有效提高切割件的加工质量,同时对综采支架细长件、变形控制进行了详细阐述。 相似文献
2.
信息流控制研究进展 总被引:2,自引:1,他引:1
信息流控制能够保证数据与隐私端到端安全,一直是信息安全领域研究的重点和难点.为介绍信息流控制相关的研究现状和进展,首先,从基于格、安全类型系统、安全进程代数和自动机四个方面介绍了信息流控制的基本理论与模型.其次,从计算机层次结构由下而上出发,综述了基于硬件、操作系统、虚拟机、高级语言、低级语言、数据库和网络的信息流控制实现方法并对比各类研究的特点.然后,结合当今时代前沿技术,分析了信息流控制在云计算、移动互联、大数据和物联网等新技术下的应用.最后,总结了当前信息流控制相关研究中存在的问题,并针对今后该领域的研究趋势进行了展望,对下一步研究工作有一定的参考价值. 相似文献
3.
已有的云安全防护方法如加密、访问控制和虚拟机隔离等不能够提供数据端到端的安全防护。首先,提出了一个面向云环境的双层信息流控制模型,给出了模型的关键要素定义、集中式与分布式信息流控制规则、能力标记调整规则、标记传播规则和降密规则.然后,综合动态污点跟踪和虚拟机自省技术,设计并实现了原型系统IFCloud,可为云租户提供信息流跟踪与控制即服务,为云平台提供常见系统攻击如栈溢出、缓冲区溢出等攻击的防护机制.最后,给出了原型系统IFCloud的功能测试结果.表明IFCloud能够灵活、正确、实时地跟踪和控制云下敏感数据流.可应用于云平台下面向软件即服务的细粒度数据安全保护. 相似文献
4.
云服务及mapreduce计算环境下数据安全问题日益突显,针对HDFS已有保护方法如认证授权,数据加密,访问控制和审计方法都不能保证敏感数据端到端的安全性,首先,提出了一个用于HDFS的安全代数语言SALH(Security Algebra Language for HDFS),给出了SALH的语义和语法。其次,采用SALH形式化描述了HDFS信息流跟踪和控制模型并证明了模型的无干扰安全性。最后,给出了原型系统IF-HDFS设计与实现关键技术,原型系统的功能和性能测试结果表明IF-HDFS可实时、有效、准确地实现信息流跟踪与控制。 相似文献
5.
6.
吴泽智 《河南水利与南水北调》2013,(20):19-20
GPS技术因具有观测站之间无需通视、定位精度高、观测时间短、提供三维坐标、操作简便、全天候作业和功能多等优点被广泛应用于工程测量上。文章结合水利工程测量的特点,分析GPS系统在水利工程测量中的应用,包括GPS的外业测量、GPS的内业计算、GPS的布网工程与时动态测量方法,以及当前水利工程施工中GPS技术的应用情况,旨在水利工程测量中能推广应用GPS系统。 相似文献
7.
面向Java的信息流分析工作需要修改编译器或实时执行环境,对已有系统兼容性差,且缺乏形式化分析与安全性证明。首先,提出了基于有限状态自动机的Java信息流分析方法,将整个程序变量污点取值空间抽象为自动机状态空间,并将Java字节码指令看做自动机状态转换动作;然后,给出了自动机转换的信息流安全规则,并证明了在该规则下程序执行的无干扰安全性;最后,采用静态污点跟踪指令插入和动态污点跟踪与控制的方法实现了原型系统IF-JVM,既不需要获得Java应用程序源码,也不需要修改Java编译器和实时执行环境,更独立于客户操作系统。实验结果表明,原型系统能正确实现对Java的细粒度地信息流跟踪与控制,性能开销为53.1%。 相似文献
8.
水利工程建设的作用是兴利除害,国家明确提出“水利是国民经济的基础产业”,可见水利工程建设的必要性和重要性,而渠道作为一种线状引水工程,常用于农田灌溉,或是城乡的排洪、排涝。要想保证渠道的正常使用就要对其进行科学的测量。文章主要介绍水利工程渠道测量的相关应用。 相似文献
9.
1