箱型梁薄膜力剪滞效应分析

将箱型梁分解成薄板结构,应用简单的强度与材料关系,导出箱型梁的薄膜方程.根据微积分关系,得到了箱梁各板考虑剪滞效应的纵、横向薄膜力和薄膜剪力的计算公式,探讨了悬臂箱梁薄膜力剪滞效应随梁的跨宽比、宽高比以及荷载形式等因素变化的影响.本文所述的公式简单,可供工程设计中快速估算出箱型梁的剪滞效应.     

单片机温箱控制系统的设计

介绍了用于检测感温型火灾探测器灵敏度的闭环温箱功能及其控制系统。对主要电路进行了分析。系统硬件设计主要考虑到其通用性及保证测量和控制精度，控制算法采用增量式ＰＩＤ算法；系统软件程序由结构化模块实现。     

弯曲箱梁有限条法分析

本文采用自然坐标系统，根据Ｎｏｖｏｚｈｉｌｏｖ园锥壳应度──位移关系式，导得简支弯曲条元的 应变矩阵，单元刚度矩阵及其相容荷载．编制了计算机程序。实例分析表明：弯曲箱梁在加大半径 情况下，采用本文曲条法与低阶直条法以及高阶直条法的分析吻合良好；当半径缩小，曲条法所 得曲箱内缘应力比同跨度直箱的内缘应力增大，而外缘应力则随之减小。     

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

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

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.     

爆炸荷载作用下地下结构抗层裂钢板机理分析

为了对某飞机洞库的抗层裂钢板进行有效地设计，基于层状介质中一维应力波的传播理论，给出了脉冲荷载作用下地下结构混凝土中的应力历史计算方法。通过算例研究了混凝土中应力波的传播规律，揭示了混凝土-钢板层状结构抗层裂的相互作用机理，可为地下结构的抗层裂设计、施工提供参考。     

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

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

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

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

蠕变地层套管等效破坏载荷分析

蠕变地层套管损坏的主要原因是套管外壁受到蠕变地层的非均匀载荷作用，套管本体抵抗非均匀载荷能力远远低于套管抗挤强度而产生缩径变形。通过分析蠕变地层套管非均匀载荷的分布形式，并考虑在该非均匀载荷作用下套管的强度特征及固井水泥环力学性能对套管抗非均匀载荷影响的基础上，采用有限单元法，分析了蠕变地层套管本体、固井套管组合体的等效破坏载荷。结果表明，非均匀载荷作用下套管的抗载能力迅速下降，提高固井水泥性能，切实保证固井质量将显著提高套管抵抗非均匀载荷的能力。     

论百宝箱意象的叙事功能

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