C语言小程序算法的表示

在自动评判程序中的逻辑错误时,一个关键问题是正确表示程序的算法,并解决多样性问题.围绕算法的定义,提出用变量的源变量列表(VSV)和单变量访问流图(SVAF)共同表示程序的算法.其中VSV用于描述变量间的计算关系,SVAF用于描述每个变量的操作方式、次序以及相关的程序控制结构.经过规格化操作,可消除VSV和SVAF中因语句次序、临时变量、特殊赋值语句以及循环语句等引发的多样性问题.     

第42届世锦赛女子体操回顾及实力分析

为了帮助中国女子体操队备战2012年奥运会,实现2012年伦敦奥运会的战略目标,通过文献资料、录像观察、比较法和分析归纳法等方法,对第42届世界体操锦标赛女子团体决赛前8名队伍,全能决赛和单项决赛前8名运动员的成绩进行对比分析。结果表明:俄罗斯女队全面觉醒,一支独秀;单项竞争各有千秋,奖牌分布更加广泛;2012年竞争将更加激烈,中国女队应加强心理素质训练,合理平衡难、美关系,发扬传统优势,重点发展弱势项目。     

OpenGL程序开发中若干难点解析

OpenGL学习中常有许多概念和技术是比较抽象和含混的,把它们搞清楚对程序开发有着重大的意义.如几种坐标系的区别、几种开发框架的特点、辅助库和实用工具库、矩阵堆栈的作用等.     

小数据量情境下的滑坡位移非线性变化预测模型

为得到小数据量情境下滑坡位移非线性变化趋势的准确估计,融合广义回归神经网络学习速度快、预测精度高和p GM(1,1)模型减小数据随机性并能增强规律性的建模优势,建立了基于p GM(1,1)模型和广义回归神经网络的滑坡位移组合预测模型.两个工程实例与以往研究结果的对比结果,验证了所建模型可行、有效.     

库水位升降作用下库岸滑坡稳定性研究

为研究库水位升降对库岸滑坡稳定性的影响,以九甸峡库区某滑坡为例,采用GPS对其外部进行变形监测,结合详细的现场调查及水库运营资料,同时针对库水位升降条件下利用Geo-slope分析库岸滑坡的稳定性变化规律.结果表明:库水位100~130 m阶段,库水位快速持续上升及下降将会引起滑体发生滑动;滑体稳定性随库水位下降速度增加而减小,库水位下降速度超过0.3 m/d时,滑体将会发生失稳;库水位上升速率大于0.4 m/d时,将会诱发滑体失稳;库水位连续快速升降也对库岸滑坡稳定性不利,库水位快速升降与滑体滑动存在滞后期.     

基于高分影像和ASIFT算法的滑坡位移场监测方法

针对利用高分遥感影像和SIFT算法进行大变形滑坡位移场监测时存在的不足,引入了一种具备完全仿射不变性的图像特征匹配算法(ASIFT),对不同时相高分遥感影像进行特征点提取与匹配,并在抚顺西露天矿特大型滑坡的位移场监测中进行了应用.结果表明,与SIFT算法相比,ASIFT算法弥补了特征提取算法在仿射不变性上的不足,增加了特征匹配点,提高了滑坡空间位移矢量场标定精度,且自动化程度高、成本低,非常适合于特大型滑坡的大变形位移场监测.     

后缘裂缝水对岩质滑坡的作用机理

在诱发岩质滑坡失稳的因素中,水分特别是后缘裂缝水的作用是最直接最重要的. 与一般土质滑坡不同的是,目前有关水体在岩质滑坡启动及失稳过程中的作用机理还不清楚. 本文先从岩石断裂力学的角度出发,分析了裂缝的扩展贯通和滑面形成机制. 继而以水力学公式为基础,利用瑞典圆弧法,定量研究了入渗裂隙水对岩质坡体稳定性的影响机理. 最后,通过一算例的计算分析验证了理论的合理性. 结果表明,高大深邃裂缝中的裂缝水是裂缝贯通、滑面形成的动力,而滑面物质力学性质的下降和界面水力作用是岩质边坡失稳最直接诱因.     

（3＋1）维KP方程的新的精确行波解

运用试探函数—辅助方程综合法,求出（3＋1）维KP方程的某些函数类新的精确行波解,其中包括双曲函数孤立波解、三角函数解、椭圆函数解和幂函数解等．     

乙烯深冷分离工艺中LNG冷能利用的可行性

充分利用液化天然气（LNG）携带的冷量,不仅可降低下游天然气供气成本,还可减少LNG汽化带来的环境污染;传统乙烯深冷分离工艺需压缩制冷系统提供不同温位的冷量分离裂解气,消耗大量压缩功耗.将LNG冷量用于30万吨/年乙烯装置的深冷分离工艺,取代部分压缩制冷负荷的集成利用研究结果表明:LNG冷量在乙烯分离工艺中的利用率达76.5％,可替代原工艺中的冷量负荷约22472 kW,节省丙烯、乙烯、甲烷冷剂三机压缩制冷的功耗约11968 kW,大大降低乙烯装置的能耗成本.但LNG冷量仅与乙烯分离工艺集成,传热过程火用效率较低,建议将LNG冷量集成利用于两种或以上冷量利用工艺中,从而减少利用过程的冷火用损失,提高LNG冷量的利用效率.     

非线性Klein-Gordon方程的周期波解

利用构造新的辅助方程组,求出了两种形式的Klein-Gordon方程的大量的Jacobi椭圆函数形式的周期波解的精确表达式.同时,研究了解的极限情况,得到了方程的孤立波解.这种方法也可用于寻找其它非线性发展方程的新的精确解.