Constitutive modeling for unsaturated soils considering gas hardening effect

The influence of gases on unsaturated soils is discussed in the paper.First,the selection of stress state variables is discussed.It is shown that gas pressure as well as generalized effective stress and modified suction are required to construct a constitutive model of an unsaturated soil.The deformation mechanisms of solid,liquid and gas phases in soils are then investigated.It is realized that the deformation of gas phase interacts with the deformations of the other two phases in soils.Gas laws are used to describe the gas behavior.Similar to the other two phases in soil,the change of gas volume can be divided into an elastic part and a plastic part, and the latter part is then introduced to the soil hardening equation to reflect the impact of the gas on the soil.Then,a simple elasto-plastic model considering the gas effect for isotropic states is developed.Finally,the model predictions are given and compared with existing experimental data.A good agreement between them is found.Comparisons of the predictions between our model and Wheeler’s model are also performed.     

基于形式化概念分析和概念相似性度量的程序重组方法

形式化概念分析已被证明是一种支持模块重组的有效工具.然而,在使用概念分析进行模块重组时,仍存在一些问题有待进一步解决.本文提出一种自动化的遗留软件重组方法,用于从识别的模块化方案中获取一种最佳解决方案.通过在概念分析过程中引入概念抽象、哑概念和概念相似性度量等新的特性,有助于解决现有方法的不足.概念抽象用于表示候选模块...     

基于粒计算的商业数据流概念漂移特征选择

商业数据流具有动态性、漂移性等特性,概念漂移特征选择是数据流挖掘的重要工作之一.本文从数据流的特点和概念漂移特性出发,提出了数据流的概念形式化分析流程和基于粒计算构建数据流的概念形式化描述模型;商业数据流的概念漂移实际上取决于其概念外延的变化,文中使用包括外延偶合度和内涵偶合度在内的概念偶合度来描述概念间的相似性;经过粒化的数据流由概念格来表示,进而通过概念格对的松弛偶合度来分析数据流特征;结合概念偶合分析和数据流变化特征,阐述了一种基于数据流概念格对的松弛匹配偶合度算法,并据此分析概念格对来选择数据流的漂移特征.通过实例验证、评价了特征选择,证明其有效性.     

超精密气浮工件台误差建模

为了研究多种作用因素在高加速、大行程条件下对超精密微动台静态精度的影响,利用刚体运动学,通过综合工件台中的线性位置误差与角位置误差,建立了超精密气浮工件台的静态误差解析模型。利用该模型,结合有限元等方法定量分析了超精密气浮工件台中加速度、制造误差、结构柔性及气浮轴承刚度等普遍存在的误差因素同时作用时对系统最终精度的影响。通过分析,证明在高加速、大行程条件下,气浮轴承的角刚度不足是造成静态误差的主要因素。     

可扩展的集成化业务服务模型

为了对面向服务的企业(service oriented enterprise,SOE)中的业务服务提供全面的、有业务含义的、可扩展的描述,并支持SOE的业务构建及运行,从业务角度入手,在提出一个SOE运行框架并进行分析的基础上,以业务服务和业务过程为核心,定义了一种多视图的集成化业务服务模型(integrated bu...     

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

面向客流仿真的轨道交通车站图形建模方法

分析了城市轨道交通车站空间结构和设施设备特点,将其划分为车站-楼层-区域-设备的逻辑层次结构;利用面向对象(object oriented)建模技术,提出了一套简洁而灵活的方法:通过3种几何线型类和4种设施设备基元类,以组合的方式构建车站所有设施设备模型,进而构建整个车站的空间结构模型.此方法不但能够利用现有AutoCAD工程图精确而快捷地建立客流仿真地图,并且能够以矢量图形的方式实时显示仿真过程.     

软件学院实验过程综合管理系统的构建研究

针对当前软件学院实验教学环节信息化水平较低的现状,运用UML建模技术,.NET Socket技术,.NET编程技术结合SQL Server数据库技术开发了基于B/S和C/S混合模式的软件学院实验过程综合管理系统.在分析了实验课程特点的基础上,提出了系统设计思路,并详细阐述了系统功能和技术实现方法.     

捷联惯导用挠性陀螺静态漂移误差建模

运用极轴翻滚试验,研究了捷联惯导系统使用的动力调谐式挠性陀螺的静态漂移误差的建模方法。仿真分析和试验验证表明,本方法具有建模准确、估计参数较多,对试验数据异常值不敏感等优点,具有较强的实用性。     

电子视网膜数学建模的研究

介绍了相关的视觉生理特性,分析了视觉信息提取的特征,在小波变换理论的基础上,提出了一种电子视网膜数学模型。该模型具有崩溃环节,可根据需要改变参数值。