综述
机器人的形式化验证方法通常很复杂,目前还没有一种通用的方法。本文对机器人的形式化设计和验证的概念进行介绍,描述其框架和基本方法。调查多个设计和验证项目,阐述项目的验证目标、方法、优缺点和进展情况。在总结研究现状的基础上,分析和展望机器人形式化设计和验证的发展趋势,从机器人模型设计、验证工具、代码实现等方面给出形式化设计和...
本文概述了气体分离膜及其作用原理,重点介绍了水蒸气分离膜的分类、分离原理,梳理了水蒸气分离膜的表面改性、有机-无机复配等现有技术。在应用领域方面,本文将当前应用于空调除湿领域的中空纤维膜、压缩吸附等除湿方法与膜法除湿对比,得出具备除湿功能的气体分离膜,其可以有效保护环境、减少能源消耗,同时制造工艺简单,膜法除湿的方法在未来将...
聚偏氟乙烯(PVDF)机械性能、耐老化及耐化学腐蚀等性能优良,广泛应用于膜分离与膜过程领域,但其亲水性能差、易受污染使其在膜分离方面的应用受到限制,对其亲水性和抗污染性是目前研究的重要课题;其β晶型的特殊结构使PVDF具有优异的介电性、压电性和铁电性等,在介电材料、压电材料等领域应用愈来愈广,但晶型的多样性及聚集状态使得其电学性能不...
采用有限元模拟软件计算碳化硅颗粒增强铝基复合材料挤压成形过程。材料热模拟实验获得复合材料的流动应力曲线,模具逆向工程建模获取模具表面形状,导入模拟软件计算得到温度场、速度场和位移场等难以测试的场变量。通过对计算结果分析得到型材挤压翘曲变形的成因和工艺优化的方向。
人脸识别技术是指利用分析比较的计算机技术识别人脸,是一门当下火热的智能技术并且运用到教育领域中。智慧教室作为一个多种新型智能技术构建而成,突破了传统教室的现有格局,建设了一个友好、高效、更加智能的智慧教室的新型教室,成为当下教育行业关注的热点。本文查阅近几年国内外相关文献,总结人脸识别技术在教室等教育领域中的应用,分析猜测...
作为最新一代的移动通信技术,5G移动通信能够满足日益增长和变化的社会需求,可以说是“大势所趋,民心所望”。5G移动通信能够使传输更为稳定和快捷,能够更为全面地服务人民群众,并有效提升其使用效能。本文在论述5G移动通信特点的基础上,探讨了5G移动通信的关键技术和发展趋势。
本文以咔唑和乙炔为原料,分两步制备N-乙烯基咔唑(N-vinylcarbazole,NVC),首先制备咔唑钾盐,然后以N-甲基-2-吡咯烷酮为惰性介质,常压下与乙炔加成得到NVC,乙醇重结晶后产品纯度在97%以上。
木材-塑料复合材料(WPC)作为一种绿色环保的新型复合材料,不仅同时具有木材的和塑料两种材料的优点,还同时客服了两种材料的主要缺点,是一种具有良好应用前景的园林景观用材料。本文简述了木塑复合的材料及其制备方法,进而探讨了木材-塑料复合材料在现代园林景观中的应用形式。
本文通过还原2,6-二叔丁基-4-亚硝基苯酚得到2,6-二叔丁基-4-胺基苯酚,再与三聚氰氯反应,生成6-(4-羟基-3,5-二叔丁基苯氨基)-2,4-二氯-1,3,5-三嗪。考察了溶剂用量、反应时间、反应温度和物料配比等对反应的影响,确定了最佳反应条件,产品收率稳定在89%。
利用在线涂布(In-line coating)技术制备石墨烯基防静电聚酯薄膜,防静电剂选择水性石墨烯基分散液,涂布粘合剂选自聚酯、聚氨酯中一种或两种,交联剂选自三聚氰胺、氮丙啶、噁唑啉中一种或两种,粒子选择二氧化硅水分散乳液,表面润湿剂选择非离子型表面润湿剂,制备出具有高透明性、良好收卷性、易粘结性、防静电性能优异的光学聚酯薄膜。
采用高速剪切法制备P E微孔膜涂覆用勃姆石浆料,以分散时间、分散剂类型、分散剂用量、p H值、粘合剂用量、流平剂用量为考察因素,通过单因素试验优化配方,分析了各因素对勃姆石浆料性能的影响,同时确定了勃姆石浆料的最佳工艺配方参数:分散时间40min~60min,分散剂类型为聚羧酸铵盐类,分散剂用量0.4%~0.6%,pH值9.6~11,粘合剂用量4%,流平剂用量0....
采用脉冲激光沉积技术制备了Ti/Pr0.7Ca0.3MnO3/Pt(Ti/PCMO/Pt)和底电极为La0.67Sr0.33MnO3(LSMO)的Ti/Pr0.7Ca0.3MnO3/La0.67Sr0.33MnO3(Ti/PCMO/LSMO)异质结。与Ti/PCMO/Pt相比,Ti/PCMO/LSMO的阻变性能尤其是电阻转变比率得到了显著的改善。对LSMO底电极改善器件电致电阻转变特性的机理进行了定性的分析。
2015年事业部进行了背字印刷机的调试工作,我有幸参与了这个过程。在调试的过程中,我们遇到了很多问题,这篇论文是对于背字印刷机设备的安装与调试过程中遇到的一些问题的汇总与讨论,我详细描述了在背字印刷机调试时发现的几个重要的问题,我们对这些问题进行了解决,这里也描述了详细的解决办法,同时我也对这套背字印刷机设备进行了介绍,希望这能...
本项目首次与苯酚反应制备了一种新型含氟单体,并将该单体与环氧氯丙烷在催化剂的作用下制备涂料用的环氧树脂,通过实验得知,含氟单体的反应温度在80℃左右,保温4h,反应可以完成;环氧树脂的制备条件当含氟单体∶环氧氯丙烷=1:10,质量分数为的28.60%碱液,温度在80℃,反应时间控制在5h,催化剂的摩尔用量为1%的条件下,可得到环氧值较大为0.54的涂料...
乐凯十号线涂布站为带负压腔的条缝嘴涂布方式,在试生产医用干式片背层时,出现了严重的涂布表观“横纹”弊病,横纹间距15㎜~20㎜,车速30m/min,随着车速变化,横纹间距也有所变化,同时涂布表观还伴随“发花”弊病。通过对涂布站设备振动、涂布负压、涂布间隙等可能导致“横纹”弊病的主要原因进行排查,未取得有效进展。针对此问题,我们又对坡流涂...
随着科技的进步,我国学者对工程机械结构件焊接工艺的分析与研究成为了必然。对工程机械结构件焊接工艺的分析会更有利于提高产品的使用性能、使用寿命,提高工程机械结构件焊接工艺成为社会生产发展的前提,本文通过分析工程机械结构件焊接工艺的现阶段发展历程与研究现状,并对工程机械结构件焊接工艺的未来发展趋势进行展望,希望能够对工程机械...
现在电子工业中,由于金镀层具有良好的导电性、耐腐蚀性、稳定性等特点,因此在高精尖的各种元器件中受到了广泛的应用,在电子工业的器件中也具有相对应的价值。随着电子产品的逐步增多,竞争压力也逐渐增大。许多电子产业为了更好地售卖自己的产品,在零件的管控上都会加以改善。零件表面镀金已经成为了表面化的现象。对于零件镀金的技术也越来越...
气门阀座主要用于与气门配合控制燃气和废气的进出。文章介绍了粉末冶金气门阀座的应用及国内外研究现状,分析了其工作环境及性能要求,并就气门阀座的材料成分、热处理工艺及孔隙度与合金元素对其热处理过程的影响等问题进行了讨论。
随着互联网技术的发展,信息技术逐渐在我国各级学校中得到了应用和普及。信息技术与课程整合是一种新型的教学模式,广泛应用在国内外学校教学实践中,并且取得了较为突出的效果。在中学数学课程中结合应用信息技术,使得数学课程教学过程的各个环节都产生了巨大的变化。从目前的教学实践状况来看,中学课堂教学未来的发展方向是信息技术与数学课程...
随着我国信息技术的快速发展,铁路建设为适应现代交通运输的需求,对车辆安全运行提出了更高的要求,本文阐述了铁路车辆安全监控系统的特征及关键技术问题,深入探析了基于信息融合技术的铁路车辆安全监控体系架构。
当前,“停车难”成为社会的一大难题,引起人们的广泛关注。然而现实却是很多大城市的停车位使用率并不高,出现信息不对称的情况。随着我国汽车的不断增多,这种情况越来越普遍。本文主要针对大数据时代智慧停车的发展趋势和展望进行分析,希望可以缓解这种停车难的问题。
进入新时代以来,我国的信息技术高速发展,深刻影响着人类社会的生产生活方式。实现对企业档案的高效管理,对现代企业具有重要意义。推进新时代企业档案的数字化建设,将信息技术应用在企业档案管理工作当中,既可以提升企业档案的管理效率和企业的整体竞争力,又是实现企业长期可持续发展的科学战略。本文主要就新时代企业档案数字化建设的意义和发...
在当前信息化社会背景下,信息数据量日益庞大,人们急需从庞大的数据中找到符合自己所需的数据,从而促进了“大数据”的产生和发展。本文从大数据产生背景入手,对大数据产生根源、运行原理进行了系统的分析和研究。同时,本文对大数据在地理测绘中的应用现状进行了分析,对大数据对地理测绘带来的巨大的变革和影响进行了阐述。
大数据时代的到来,为信息计算科学专业的发展带来了新的契机。该文从信息与计算科学专业建设现状与存在的问题出发,分析了大数据时代信息与计算科学专业发展的机遇,结合该校信息与计算科学专业发展的实际,探讨了信息与计算科学专业改革的思路与实践。
当前世界能够取得如此巨大的成就与信息技术的推动是分不开的,以计算机软件技术为代表的信息技术的快速发展为社会各个方面的进步提供了强大的推动力。目前,随着各行各业的信息化逐步推进,越来越多的数据不断地积累起来,大数据时代正悄然进入我们的生活。在大数据时代,如何继续发挥计算机软件技术的作用成为了业界关注的问题。笔者根据多年的计...
伴随着云计算、物联网等信息技术的发展应用,我们已然从信息时代跨入了大数据时代。而大数据对于高校档案管理来说,是机遇也是挑战。因此,高校应抓住机遇,主动迎接挑战,实现档案管理的创新。本文在论述大数据时代高校档案管理工作面临的问题的基础上,探讨了大数据时代高校档案管理系统的创新设计,以期实现档案管理的最优化。
随着中国改革开放以来的科学技术的不断进步,计算机信息技术也在不断发展。当下社会,信息技术已经普及到生活的各个方面,对现代人们的日常生活至关重要。因此,为了适应社会的发展,掌握一定程度的计算机信息技术已经成为当下学生所必要的技能手段。然而,当下学校在计算机信息技术教学仍然存在一定的问题,文章就计算机教学中存在的问题进行探讨并...
本文从“互联网+”时代大学附属医院图书馆面临的困境入手,分析了目前大学附属医院图书馆的发展现状和难题,阐释了数字图书馆建设的重要意义,提出了数字图书馆的具体功能和优势,为大学附属医院数字图书馆的建设提供了参考意义。
众所周知,档案管理工作是乡镇政府工作的重要组成部分,但是传统的档案管理工作的工作效率相对来说比较低,而若是档案管理工作的效率低下那么就会直接的影响到乡镇政府的其他各项工作。因此我们也可以看出档案管理工作的效率是相当重要的。随着时代的发展,乡镇政府在档案管理工作方面可以利用现代信息技术,从而提高档案管理工作的工作效率。但是...
高校档案管理信息化平台是档案管理工作进步和发展的必然趋势。本文详细分析了高校档案管理信息化的趋势,并提出几点推动高校档案信息化管理的对策建议,以期能够提升高校档案管理的水平,顺应档案管理的信息化平台发展趋势。
若用户需要出版服务，请联系出版商，地址：河北省保定乐凯南大街6号，邮编：71054。
