循环ALC~+的固定点存在性研究

分析了循环ALC+的语法及语义特征,指出循环ALC+-TBox具有固定点语义的充分非必要条件,并进行了证明,讨论了其固定点模型存在需满足的一些条件,并给出了一个实例应用.     

电动小车自动变道环境感知系统

构建了电动小车自动变道环境感知系统.介绍了自动变道实车平台和转向系统结构改造方案,并设计了低成本、可靠的环境感知方案.对于同车道前车,采用加权融合算法对24 Ghz毫米波雷达和前视摄像头进行数据融合,通过实车采集,拟合了两种传感器在不同距离上的理想权重曲线,提高了环境感知的精度和稳定性.最后通过避障变道工况的试验,验证了自动变道环境感知系统的适用性.     

VSAT射频功率放大控制链的研制

介绍了低成本VSAT的射频功率放大链的设计和研制情况。在研制中，根据应用环境以及技术指标的要求，选择了放大链路的放大级数以及各级的增益和功率输出值，同时，依据电路的空间大小以及低成本要求，选择了各级放大器的电路形式、采用器件和基片材料。并根据大系统的要求对该放大链提供了功率检测控制点和功率控制开关。设计和研制结果表明该电路在5925MHz～6425MHz范围内增益为67dB、通道起伏小于2dB，输出功率为5W，开关比为30dB，基本满足系统指标要求。     

白蛋白-ALC复合物的可见光谱特性及其应用

研究了白蛋白与茜素络合腙 (AL C)的显色反应 .在含 0 .0 15 %Triton X- 10 0 p H3.7的 B- R缓冲溶液中 ,AL C与白蛋白形成红色复合物 ,λmax为 5 40 nm ,ε为 7.5× 10 4L· mol- 1 · cm- 1 ,白蛋白的质量浓度在 5 0mg/L～ 70 0 mg/L 范围内 ,服从 Beer定律 .所提出的方法可直接用于血清中白蛋白含量测定 .     

Vague ALC(D):一种基于vague集的模糊描述逻辑

针对普通的模糊描述逻辑使用单个隶属度无法准确表示不精确知识,而且描述逻辑是在抽象层次上描述知识,对实体的数值信息缺乏强有力的表达手段的问题,提出了一种基于vague集并结合具体域的模糊描述逻辑——vague ALC(D).介绍了用隶属度区间来表示模糊知识的vague集,给出了vague ALC(D)的语法和语义,指出了它的推理问题,同时也给出了相应的tableaux算法.vague ALC(D)能够更准确地表示和推理含有数值信息的模糊知识,增强了模糊描述逻辑的表达能力和推理能力.     

火灾下带墙板钢柱抗火承载力的研究

与ALC墙板相连的高频焊接H型钢柱与单纯钢柱的抗火承载力将会有所差别,文章通过有限元分析,研究了墙板对火灾下钢柱的抗火承载力影响和钢柱在火灾下的特性;将有限元分析结果与规程计算结果进行比较,验证了有限元分析的可靠性,并在此基础上分析了荷载比和截面温度梯度,为带墙板的钢柱抗火设计提供依据。     

描述逻辑SHIQ研究

描述逻辑由于有很好的建模和推理特性，已成为语义web本体描述语言的逻辑基础．描述逻辑SHIQ是语义web本体描述语言DAML＋OIL的逻辑基础，也是OWLDL的核心．该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法．     

扩展描述罗辑ALC~ 到谓词逻辑的转换研究初探

首先介绍了描述逻辑ALC ,描述逻辑ALC 是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC 的语法和语义,对ALC 的完备性进行了讨论,谓词逻辑是比较经典的知识表示方法,然后探讨了描述逻辑ALC 到谓词逻辑的转换,给出了描述逻辑ALC 到谓词逻辑的转换思想．     

一种新型变电站防火墙的设计与优点分析

本文介绍了变电站常规防火墙设计及缺点,并以500kV祯州变电站为例对比了新型变电站防火墙—装配式防火墙的设计及优点,得出装配式防火墙的设计是＂技术先进＂、＂节省投资＂、＂节能降耗＂、＂绿色环保＂的结论。     

(爱舍)ALC砌块产品特性及使用

蒸压轻质砂加气混凝土砌块(以下简称砂加气砌块),是以水泥、石灰、砂为主要原料,以铝粉(膏)为发气剂,经过蒸压养护而制成的砌块,通用缩写:ALC。砂加气砌块具有保温、自重轻、制品精度高、可刨、可锯、可钉、方便施工的特点。砂加气砌块墙体采用干法施工,即砌块在砌筑和装饰施工时,砌块不用水浸湿,直接用专用胶粘剂进行薄层灰缝砌筑的施工方法。采用干法施工的砂加气砌块墙体,是目前单一墙体即可达到天津地区居住建筑节能65%,公共建筑节能50%标准的保温做法。