C反编译控制流恢复的形式描述及算法

反编译是软件逆向工程的重要组成部分。控制流恢复是Ｃ反编译的重要组成部分。本文首先描述了验证反编译结果与原程序功能等价的模型；其次从数学角度提出了Ｃ编译和反编译控制结构的数学模型并给出其性质；再次根据对Ｃ控制语句编译结果的分析，以扩展的ＢＮＦ形式描述了Ｃ控制语句反编译的约束属性方法；最后给出并说明了反编译控制流恢复的算法及其运行示例。     

一类极小曲面的控制网格表示

给出了平面曲率线极小曲面的拟Bézier和拟B样条控制网格表示,以悬链面及Enneper曲面为特殊形式,实现了由悬链面到Enneper曲面的动态变形.该工作为将极小曲面引入CAGD/CAD造型系统,并利用拟de-Casteljau算法生成极小曲面提供了一个有力的工具.     

旋转部件非接触式测温装置供电及通信研究

针对高速辊体温度非接触式测量装置供电及通信单元结构复杂、易受干扰的问题,研制了一种结构简单、测量精度高的新型测温装置.利用由两个电感线圈构成的空心变压器既完成能量传送又能进行信息通信.定子侧直流电源经全桥逆变后利用电感耦合原理向转子供电.通过曼彻斯特编码方式调制采样数据得到通信信号,利用反向调制原理,向定子侧传递温度信息完成定转子之间通信.经理论计算与硬件实验表明,装置具有良好的供电稳定性以及通信抗干扰能力.     

海量测量数据简化技术研究

随着坐标测量设备的发展,快速方便地获取包含被测物体更多细节的海量数据成为可能,但由于其数据量非常庞大,会严重影响模型重建算法的效率。文中提出了3种海量数据简化准则：简化后数据集中点的个数、数据集中点的密度阈值及删除一点引起的法向误差的阈值。根据这些准则,分别给出了相应的数据简化算法。该算法的核心是用Riemann图建立散乱测点间的领接关系,在此基础上进行Riemann图的最优遍历并计算测点处的最小二乘拟合平面,从而近似计算删除一点引起的误差。文中提出的对一海量数据进行空间划分的算法,提高了数据简化的效率,应用实例表明本文提出的算法达到了预期的效果。     

高斯曲率约束的MRG骨架提取优化算法

三维模型的骨架保持了模型的拓扑特性,并被广泛应用于模型相似性比较、计算机动画及压缩等领域.根据多分辨率Reeb图的原理,提出了一种基于离散高斯曲率约束的骨架提取优化算法.通过计算网格顶点的离散高斯曲牢判断曲面局部凸凹特性,以获取模型表面的双曲极值点作为约束点;并依据约束点及其邻域的μ函数值产生的分裂线进行区域细分,获得子连通区域、确定关节点、形成优化的骨架结构.实验结果表明,该算法有效地突出了模型的拓扑分支特征以及模型表面的细节,提高了骨架提取的精度和效率.     

一种6.9 ppm/℃92 dB PSRR基准电压源的设计

提出了一种利用简单结构实现高阶指数曲率补偿和高电源电压抑制比的带隙基准电压源。利用正温度系数的反向饱和电流IS和双极型晶体管正向导通时的电流增益β以及Trimming修条电阻实现温度补偿,同时采用Wilson电流镜和电压负反馈技术来提高PSRR。仿真结果表明,该基准电压源达到了6.9 ppm/℃的温度系数,低频时PSRR最高达92 dB和39.3 ppm/V的线性调整率。     

汽车逆向物流系统绿色度评价研究

面对日益短缺的自然资源和严重破坏的生态环境,为促进报废汽车得到有效回收与利用,以循环经济的“3R”原则为基础,构建了汽车逆向物流系统结构模型;基于绿色度评价准则,构建了汽车逆向物流系统的评价指标体系;并提出了模糊综合评判法、数据包络分析、层次分析法相结合的综合评价方法;最后以一个案例对提出的理论与方法进行了说明与验证,为汽车逆向物流的有效运作提供参考。     

普定碾压混凝土拱坝裂缝成因探讨

根据普定拱坝施工,运行资料,具体分析了碾压混凝土拱坝温度荷载,温度应力影响,对坝体裂缝成因作了初步探讨。     

大型箱形吊车梁安装技术

韶钢185t箱形吊车梁超重、超高、安装超长．文章从方案比较、安装技术设计、安装工艺等方面,详细介绍了大型箱形吊车梁整体成型、现场拼装、起拱度调整的安装技术．     

集成膜工艺海水淡化与浓海水综合利用

综述了反渗透一电渗析集成工艺海水淡化与浓缩水综合利用研发现状与发展趋势。指出具有特殊分离功能的离子交换膜电渗析技术是高度分离、富集海洋化学元素的关键技术。提出了目前需要研究的几个问题。