湘中杨市镇清代大宅民居建筑研究

该文以湘中杨市镇清代大宅民居为研究对象,结合实地测绘调查和文献阅读对其进行专项研究,通过分析了这种大宅民居建筑的平面形制,空间组成,结构技术和装饰艺术等,让人们更深入的了解和认识这种民居建筑,并希望能对以后的研究起到一定的借鉴作用。     

谈UPS节能

本文介绍了目前UPS节能的意义及常见的UPS绿色节能技术应用。主要包括UPS、电池等方面的节能技术,如UPS供电方案规划、UPS节能技术、谐波治理方案、共用电池组方案、智能电池管理、智能配电等。     

成形法磨削斜齿轮的齿形误差分析

在成形法磨削斜齿轮的过程中影响齿轮加工精度的原因很多;根据磨削加工过程,从成形砂轮廓形修形误差和砂轮与齿轮的相对位置误差两方面对其所产生的齿形误差进行了分析,并用数值方法模拟出齿形误差的大小;分析结果和数值模拟结果对设计数控成形磨齿机及编制数控成形磨齿工艺具有重要的参考价值.     

粘弹性边界及地震动输入在ABAQUS中的实现

ABAQUS有限元软件在水利工程中应用广泛,人工粘弹性边界和等效节点荷载法是水工构筑物地震动力响应分析的常用方法。基于ABAQUS计算内核,采用Python计算机语言编写了二次开发程序,实现了人工边界处各节点的弹簧、阻尼器及等效节点荷载自动设置的功能,并具体阐述了程序编译流程和关键要素。建立的典型SV波底面入射模型对程序的适用性进行了验证,结果表明地震波的传递及反射规律与理论解一致,程序合理可行。     

SAPTIS：结构多场仿真与非线性分析软件 开发及应用（之一）

介绍大型结构多场仿真与非线性分析软件SAPTIS,包括软件中所采用的单元类型、方程求解方法、大坝全过程仿真的开挖浇筑模拟方法、水化热模型、通水冷却模型、温度边界条件、弹性模量模型、徐变度模型、自生体积变形以及掺MgO混凝土特性等,还给出了分析结果表达方式。该软件已成功应用于三峡、二滩、龙滩、小湾、溪洛渡、锦屏、丹江口等四十余个大中型水利水电工程的混凝土坝和其他结构温度场、应力场仿真分析、温控防裂和大坝真实工作性态研究,取得了良好的经济效益。应用成果表明,SAPTIS采用的计算模型能正确反映混凝土材料的热学特性、混凝土结构的应力和变形特性,具有计算速度快、计算规模大、结果精度高等优点。     

Extraction of reference lines and items from form document images with complicated background

The extraction of reference lines and items is a fundamental and crucial task in form document analysis. Most of the studies performed so far were done in connection with binary images. This paper proposes a method of extracting lines from gray-level images, by constructing a 2D pseudo Gaussian-Coiflet wavelet with adjustable rectangular support. We also present a method of extracting items using the extracted reference lines and multiresolution wavelet sub-images, which is independent of the intensity of the strokes and backgrounds. The experimental results demonstrate the effectiveness of our proposed methods.     

基于VB的应变计检测系统的设计与实现

本文主要介绍利用计算机I／O接口、Microsoft Visual Basic程序、OLE面向对象设计，实现应变计的性能检测、检测路数扩展和性能检测数据可视化的功能，并根据实际应用方面的需求，对程序进行了优化设计和改进，同时探讨了应变计检测系统的精度提高方法。     

Mu-calculus path checking

We investigate the path model checking problem for the μ-calculus. Surprisingly, restricting to deterministic structures does not allow for more efficient model checking algorithm, as we prove that it can encode any instance of the standard model checking problem for the μ-calculus.     

计算机病毒检测的探索—程序自保持检测法

根据计算机病毒的特性，在程序正确性理论基础上，本文提出了有关计算机病毒的推论：某一特定的程序运行环境。如果未被病毒侵入，当工仅当程序语义的自保持性未被破坏，并给出了新的程序语义自保持测试定理，建立了计算机病毒检测的方法──程序自保持法．     

Automatic generation of quadrilateral finite element meshes

This paper describes an efficient, accurate and simple implementation of an algorithm for generation of quadrilateral finite element meshes. An original algorithm by Talbert and Parkinson [J.A. Talbert, A. Parkinson, Development of an automatic two-dimensional finite element mesh generator using quadrilateral elements and Bezier curve boundary definition, Int. J. Numer. Meth. Eng., 29 (1990) 1551–1567], has been substantially redeveloped and modified and presented in greater detail. We cover several important issues omitted in publication mentioned and we will provide interested readers with fully documented source code of the program.