基于Groebner基的模型检测技术及其工具实现

为了减少运算复杂度和运算时间,优化检测的性能,使得计算过程更加快速高效,在符号化模型检测的过程中,利用Groebner基进行多项式约化,设计出新的模型检测算法.并且基于该算法开发出新的符号模型检测工具.该工具能更快速地验证各软件及硬件系统的性质,具有较高的实用价值.     

广州市白云采空区稳定性分析

白云区位于广州市北部,区内存在大片废弃的采空区和大面积的覆盖型岩溶区.随着城市建设,尤其是地下工程项目不断增多,严重扰动了原来相对稳定的地质环境,地面塌陷逐渐成为该地区的主要地质灾害之一.研究区主要为小型采空区,因此,文章根据结构力学原理,采用两种方法对白云采空区的稳定性进行分析.分析结果表明,白云区嘉禾煤矿采空区开采深度在150m以内都处于不稳定状态,大于225m较稳定.与调查情况(浅部-150m以上煤层开采对地面影响较大,曾出现塌陷漏斗、形成冒落带和地面塌陷的现象;-210m水平以下煤层开采对地表影响不大)较一致.     

江西茅坪花岗岩地球化学特征及其大地构造环境

从花岗岩的岩石化学、微量元素特征和稀土元素特征分析江西茅坪花岗岩的地球化学特征,结果表明茅坪花岗岩富硅、铝、锰;贫钛、铁、镁、钙、磷,属于强铝过饱和S型花岗岩,形成于板内的伸展—拉张环境,属于同碰撞花岗岩。通过黑云母花岗岩和云英岩化花岗岩地球化学特征的对比,黑云母花岗岩可能为茅坪钨锡矿床的形成提供了部分物质来源。     

支持向量机理论与算法研究综述

统计学习理论(statistical learning theory,SLT)是一种小样本统计理论,着重研究在小样本情况下的统计规律及学习方法性质.支持向量机(support vector maehinse,SVM)是一种基于SLT的新型的机器学习方法,由于其出色的学习性能,已经成为当前机器学习界的研究热点.该文系统介绍了支持向量机的理论基础,综述了传统支持向量机的主流训练算法以及一些新型的学习模型和算法,最后指出了支持向量机的研究方向与发展前景.     

N-丁基马来酰亚胺/丙烯酸丁酯的共聚研究

研究了N-丁基马来酰亚胺与丙烯酸丁酯的溶液共聚,考察了原料配比、反应温度和溶剂极性等因素对共聚反应的影响,并用IR、DTA和特性粘数[η]等对共聚产物进行了表征。     

锤杆冲击应力分析与疲劳寿命估算

锤杆中的应力波历程包括锤击和回弹两个阶段,冲击阶段的应力波影响着锤杆的疲劳寿命,它的幅值主要取决于冲击速度和材料性质。就锤杆的使用期而言,其应力波同值呈正态分布,根据断裂力学和Ｍｉｎｅｒ线性累积损伤理论,推导出了锤杆在随机载荷作用下的疲劳寿命估算公式,进行了实例计算和讨论,提出了一些处长锤杆疲劳寿命的建议。图２,参５。     

广义系统的快速终端滑模控制

研究了一类广义系统的快速终端滑模控制问题.通过非奇异线性变换把广义系统变换成受限等价形式,利用Lyapunov函数的方法,提出了一种新的指数型快速终端滑模控制策略,给出了特殊的指数型终端滑模超曲面,设计了相应的终端滑模控制器,使得闭环系统渐进稳定,实现了滑模运动,保证了系统状态变量以较快的收敛速度在有限时间内到达平衡点...     

"新政"下市场微观结构变化

根据国家统计局发布数据,4月起,全国商品销售面积和销售额同比增幅连续2个月回落,6月全国新建住宅售价首次环比持平,上涨势头停止,70个大中城市中,新建住宅价格出现回落的扩大到23个.     

利用FE-SEM分析Al-Si-Mg系和Al-Mg-Si系合金中Mg2Si沉淀相

以Al-Si-Mg系的A356合金和Al-Mg-Si系的6061合金中的Mg2Si沉淀相为研究对象.通过场发射扫描电子显微镜(FE-SEM)的In-lens探头及低电压模式,分析Mg2Si沉淀相的析出情况及其表面形貌.结果表明:在低电压模式及In-lens探头双重条什下,可获得较好分辨率的Mg2Si沉淀相表面立体显微形貌;通过透射电子显微镜衍射分析发现在扫描电子显微镜中观察到的相确实为Mg2Si沉淀相.这种分析方法能够清晰观察到Mg2Si沉淀相的普遍析出情况.     

A356合金熔体中Al2O3夹杂对变质剂Sr的影响

通过XRD、SEM等分析手段研究了A356合金熔体中Al2O3夹杂与变质剂Sr之间所发生的反应及其反应机制,结果发现Sr可以与Al2O3经过一系列反应生成Sr-Al-O化合物,由此造成了Sr的损耗,生成的Sr-Al-O化合物可溶于水。在Al-Si合金熔体中加入Sr后,游离态的Sr与Si会首先生成SrSi2,而后在熔体中发生三元共晶反应,生成的Al2Si2Sr化合物呈块状或条状分布。研究还发现存在Al-Si-O化合物,它覆在Al2Si2Sr化合物表面。