全波纹腹板H型钢柱的弹性稳定性

本文利用能量原理,分析了热轧全波纹腹板H型钢柱的弹性稳定性,给出了弹性失稳的临界载荷,并通过算例与普通H型钢进行了比较,提出了这种型钢的工程计算方法。     

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

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

无粘结部分预应力混凝土空腹网架结构的设计与分析方法

本文是在文[1]基础上的推广与发展。它除有文[1]的优点外,其刚度将进一步提高,其内力将更趋均匀,从而达到进一步节约建筑材料和降低工程造价的目的。同时在文[2][3]的基础上,提出“预应力混凝土空腹网架结构的近似分析方法”,此法满足结构工程设计要求的计算精度,未知量比空间刚架矩阵位移法大为减少,节约内存、使这种预应力空间刚架结构体系能用低档微机进行计算,以利于这种新型结构的推广。     

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

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

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

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

金刚石圆锯片磨损过程的研究

通过对金刚石圆锯片锯切花岗石过程的试验研究和应用扫描电镜对金刚石锯齿的磨损表面进行的形貌观察，发现金刚石存在五种基本的磨损形态：初期磨损、抛光、局部破碎、大面积或整体破碎和脱落，金刚石一般都要经过初期磨损、正常磨损和剧烈磨损三个磨损阶段．应用统计学方法探讨了金刚石锯片的磨损过程与锯切性能的关系，为生产厂家改善锯片的锯切性能提供了理论依据和方法．     

弯曲箱梁有限条法分析

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

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

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

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.     

电子商务中基于Web服务技术传输表单数据

Web服务底层传输的数据是XML格式的文本,这种数据凭人眼就能够理解,而传统模型的传输数据都是经过编码的二进制流,所以Web服务能够为系统间的集成、数据交换带来极大的便利。针对电子商务应用中表单数据传输遇到的一些问题,给出了基于Web服务技术的解决方案及大致的实现步骤。