排序方式: 共有6条查询结果,搜索用时 8 毫秒
1
1.
Gdel是一种发展中的逻辑程序设计语言,目前还没有开发出编译器。Gdel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础。按照传统的方法,逻辑程序的运行机制和Gdel语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算。提出了一种处理Gdel语言类型系统的编译技术。针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率。 相似文献
2.
粒径是表征卵石床面特征的重要参数,对水沙计算、河床演变及栖息地评价等课题具有重要意义。基于图像处理软件BASEGRAIN可自动识别卵石床面粒径并可视化计算结果,能够大幅提高卵石床面粒径获取效率。为评价基于BASEGRAIN的粒径自动识别效果,标准化其使用流程,对BASEGRAIN的主要参数进行敏感性分析和多元回归分析,并通过水槽实测结果分析误差特征。结果表明:BASEGRAIN的主要参数有4个,其中第一灰度阈值(fac1)对结果起控制作用,超过上限值后无法通过调节其他参数缩小误差。BASEGRAIN提取的级配曲线及特征粒径略小于实际情况,相对误差不超过20%,且随特征粒径增大而减小。单个石块粒径的提取结果总体可靠,但离散性较强,粗颗粒的提取精度较低。最后提出BASEGRAIN的标准化使用流程。 相似文献
3.
以离子液体(ILs)1-烯丙基-3-甲基咪唑氯盐(AMIMCl)为反应介质,研究无催化剂条件下木薯淀粉琥珀酸酯的均相合成。实验结果表明,将木薯淀粉在105℃的AMIMCl介质中预处理30 min,可使淀粉溶解,表明可利用这种预处理方法将淀粉均相化,作为后续化学改性的反应介质。通过浊度法测定结果表明,木薯淀粉在105℃的离子液体AMIMCl介质中的溶解度为10.2%。在离子液体AMIMCl介质中,通过探讨反应条件对木薯淀粉酯化产物取代度的影响,得到最佳反应条件为:琥珀酸酐与脱水葡萄糖单元(AGU)的摩尔比4:1,反应温度110℃,反应时间3 h,在此条件下,最大取代度为0.518。FT-IR结果显示在1733 cm-1出现了琥珀酸酐的伸缩振动峰,表明淀粉与琥珀酸酐发生了酯化反应,SEM结果表明,所合成的淀粉琥珀酸酯不存在原淀粉的完整颗粒结构,较高取代度的木薯淀粉琥珀酸酯的XRD曲线在2θ为8°处出现弥散峰,表明形成了新的结晶型式。 相似文献
4.
5.
采用正交试验法研究裂隙岩体节理、岩块力学参数对隧道稳定性影响,提出了锚杆支护在不同裂隙岩体隧道中施作要点和内涵。结果表明:相对于塌方区、张开区,剪切滑移区更能反映节理面间剪切错动,可作为节理岩体隧道失稳的一个判断标准。层状岩体隧道稳定性主要影响因素是节理面"法向刚度和剪切刚度",而碎裂状岩体控制剪切滑移区主要因素是"节理面内摩擦角和粘聚力"。对于层状岩体,锚固效果受制于锚杆在节理面法向和切向刚度;对于碎裂状岩体,应强调注浆性质的锚固效果来提高其节理摩擦角和粘聚力,锚杆支护在提高"刚度"的同时,更应着重于提高岩体抗剪切能力,以有效提高碎裂岩体隧道稳定性。 相似文献
6.
怒江干流堰塞坝特征及稳定河床机制 总被引:1,自引:0,他引:1
滇西怒江是青藏高原东缘地形急变带内深切河流的典型代表,因崩塌、滑坡和泥石流等地质灾害在干流形成数百个稳定堰塞坝,有效抑制了河流下切。为探究怒江堰塞坝发育及提升河床稳定性的负反馈机制,通过野外考察和卫星影像,总结了怒江干流沿程和堰塞坝地貌特征,基于地貌水力特性对堰塞坝分类,并量化评估不同类别堰塞坝的稳定性和消能率特征。研究结果表明,怒江干流的堰塞坝分布密度较高,且与单宽水流能量正相关。干流堰塞坝可分为崩塌滑坡(崩滑)堰塞坝与泥石流堰塞坝。崩滑堰塞坝可在特大洪水中保持稳定,泥石流堰塞坝则可在一般性洪水中稳定。两类堰塞坝的消能率接近自然阶梯-深潭结构。崩滑堰塞坝消能率随单宽水流能量增大而提高,而泥石流堰塞坝则因较大的河谷横向空间汛期单宽水流能量增长较慢。干流堰塞坝的稳定性和消能特点均与当地单宽水流能量特点匹配,从而持久高效地消耗水流能量,提升河床整体稳定性。 相似文献
1