锅炉防焦箱鼓包原因的分析

本文对一起锅炉的防焦箱鼓包事故进行了原因分析,同时提出了一些的建议与改进措施。     

箱基、框架和地基土空间共同工作的变分模型

采用空间子结构法将上部框架结构凝聚为一个“超级”空间单元，按照抗弯刚度等效的原则，将箱基代换为分别支承在有限分层弹性地基和文克尔地基上的弹性平板，再利用能量变分原理建立框架、土体和箱基三者空间共同工作的数学模型。该模型明确地显示了三者的受力关系，合理地体现了三者共同工作的三维效应，同时，由于引入凝聚技术，比一般的空间分析方法显著节省计算工作量。     

箱型箱装配焊接过程中的扭转判据及其应用

建立了装配焊接过程箱型梁的扭转判据.并应用判据阐明箱型梁扭转变形的基本性质,建立箱型梁扭转矫正量计算的通用方法.     

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

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

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

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

弯曲箱梁有限条法分析

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

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

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

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.     

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

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

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

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