箱式电阻炉炉衬最佳设计的研究

探讨了在三维不稳态导热情况下复杂结构的箱式工业电阻炉炉村最佳设计的数学模型和求解方法,并用电子计算机模拟了炉衬的导热过程.炉衬温度分布和耗电量的计算值,与实测值吻合较好.设计方案综合考虑了各种影响因素,能显著减少热损失,取得最好的经济效益.所改进的交替方向的隐式差分格式及其计算程序,对复杂的高维抛物型导热问题的计算提供了一种可供参考的方法.     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

盒维数的不确定性与迭代分形维数的算法

盒维数是分形几何中的一个重要概念，“数盒子法”广泛用于应用学科．盒维数具有不确定性，对于迭代分形对象，其迭代方法与分维数、盒维数存在直接联系。从迭代方法中构造数列，通过数列求得的盒维数．正好与分维数相等。     

框式约束凸二次规划的预估校正光滑算法

研究了框式约束凸二次规划的一种光滑算法，算法中应用了牛顿法及其变形形式，证明了算法的全局收敛性．     

论百宝箱意象的叙事功能

百宝箱在《杜十娘怒沉百宝箱》故事叙述中的作用是不容忽视的。它的存在提供给其拥有者自由选择的可能,从而使女主人公有别于中国类似故事中女性人物的特征,真正拥有了悲剧的品格。在作品中,它始终处于叙事的焦点,耸动受众视听,调节叙事节奏。     

基于分形理论的爆破地震信号盒维数研究

基于分形理论,针对爆破地震信号的传播规律和特征,建立了其分形盒维数模型,应用这一模型计算出在岩石场地进行深孔爆破试验时所采集的爆破地震信号的分形盒维数值D。通过分析所得的分形盒维数值D的数理意义及其与场地介质的关系,研究爆破地震信号的分形特征。结果表明,爆破震动信号的分形盒数值D可作为描述爆破地震信号一个新的重要参数,该参量能够反映爆破地震波传递介质岩体性质的系统信息。     

大跨度刚构桥箱梁抗剪承载力影响参数分析

以大跨度连续刚构桥箱梁的中墩附近节段和跨中弯矩变号附近节段为研究对象,建立相关分析模型,开展包括多种剪跨比与不同配箍率、不同腹板纵向普通钢筋配筋率及不同竖向预应力的组合共54种组合分析,得出各参数对抗剪承载力的影响,分析各项因素的抗剪作用和箱梁截面抗剪机理,为桥梁抗剪设计和计算方法提供依据.     

舞阳河特大桥预制箱拱吊装设计和安装

考虑舞阳河特大桥由于桥梁高、跨径大、河水深及环境保护等因素,原设计主拱圈支架现浇施工方案难以实施,经多方共同研究决定采用分段预制主拱圈箱拱吊装,统筹考虑全桥的施工场地及施工进度计划,主要介绍缆索吊装设备及缆索吊装系统、缆索吊装的施工工艺等内容.     

利用变换法计算颗粒动态散射光分形维数

颗粒的动态散射光具有分形特征,可以利用分形维数进行描述.本文分析了变换法在计算颗粒动态散射光分形维数中的应用,利用该法计算了不同温度下粒径为60nm,90nm,200nm,300nm,450nm的聚苯乙烯标准颗粒动态散射光的分形维数,并与盒维数法进行了比较.     

一种基于虚拟手术的三维碰撞检测算法

为了解决虚拟手术的快速碰撞检测问题,提出了一种新的基于方向包围盒层次树的快速碰撞检测算法,利用简化的几何模型表示一方向包围盒层次树来实现复杂物体间的实时碰撞检测.算法在继承一般基于方向包围盒的碰撞检测算法优点的同时,突破了它们的局限性,能够在保证效率的前提下处理任意形状多面体之间的碰撞检测问题.同时采用了三角形带压缩技术和方向包围盒技术来加快碰撞检测阶段的绘制速度,从而提高碰撞检测的效率.