装配式建筑的发展与应用

从装配式建筑的发展历史及现状入手,阐述装配式建筑推广的原因和部分施工技术。针对装配式建筑推广过程中的部分问题分析具体应对措施,并提出对发展装配式建筑的思考,探究我国装配式建筑的发展。

基于机器视觉的安全帽自动识别技术研究

施工区中部分作业人员安全意识缺乏,不佩戴安全帽作业情况时有发生。采用机器视觉的相关方法对安全帽自动识别技术进行深入研究,在图像预处理基础上,首先利用混合高斯模型进行前景检测,然后通过对连通域的处理判断其是否属于人体,最后在定位到的人体头部区域实现安全帽的自动识别。施工区实地实验结果表明,该方法准确率高、环境适应性强,适于在施工区推广应用。

基于March X算法的SRAM BIST的设计

针对LS-DSP中嵌入的128kbSRAM模块,讨论了基于MarchX算法的BIST电路的设计。根据SRAM的故障模型和测试算法的故障覆盖率,讨论了测试算法的选择、数据背景的产生;完成了基于MarchX算法的BIST电路的设计。128kbSRAMBIST电路的规模约为2000门,仅占存储器面积的1.2%,故障覆盖率高于80%。

基于DBL结构的嵌入式64kb SRAM的低功耗设计

针对嵌入式系统的低功耗要求,采用位线分割结构和存储阵列分块译码结构,完成了64kb低功耗SRAM模块的设计.与一般布局的存储器相比,采用这两种技术使存储器的功耗降低了43%,而面积仅增加了18%.

矢值序列空间ss(E)的端点和一致λ-性质

矢值序列空间ｓ（Ｅ）是Ｂａｎａｃｈ序列空间ｌｐ（Ｅ）的重要推广．文中，给出了ｓｓ（Ｅ）的端点的充要条件。

通用集成电路设计规则检查

文章介绍了利用SUN工作站上Cadence中的Dracula工具进行集成电路设计规则检查(DRC)的全过程;较详细地介绍了DRC文件的编写、运行及输出结果的查看,并给出了实例。

Cesaro 矢值序列空间的凸性

给出了Ｃｅｓａｒｏ矢值序列空间ｃｅｓｐ（Ｅ）（１＜ｐ＜∞）局部完全ｋ－凸及弱局部完全ｋ－凸的判据。

硫精矿除杂提纯浮选工艺回收利用硫酸烧渣中的铁

硫酸烧渣是硫铁矿制酸氧化焙烧产物;从硫酸烧渣中选铁的工艺技术指标一直不高,其主要原因是硫铁矿氧化焙烧过程中生成的氧化铁矿物颗粒微细,高温时新生成的氧化铁矿物颗粒会与杂质和脉石矿物颗粒相互包裹、相互黏结、相互污染。该文将硫酸烧渣选铁改为硫精矿再浮选提纯硫化铁,即通过提纯硫酸原料中硫化铁的质量分数,从而去除原料中的脉石和杂质,使硫酸原料中硫品位达到50%~52%（黄铁矿型原料）以上,硫、铁回收率均达到90%~92%;采用该高纯硫精矿制造硫酸,硫酸烧渣中铁品位达到63%~67%,使硫酸烧渣全部直接成为铁精矿,无需再选矿,达到了有效利用硫酸烧渣中铁的目的。该工艺能够获得较高技术指标的原因是硫精矿除杂提纯浮选是硫化矿选硫,采用高纯硫精矿制酸,避免了非目的矿物污染硫化铁的氧化焙烧过程以及硫酸烧渣选铁时杂质含量高、铁品位低、选矿技术指标低等问题。

矢值序列空间ss(E)的局部完全k-凸

刻划了赋序列范数的矢值序列空间ss(E)的局部完全k＿凸性,证明了若ss是局部一致凸的,则ss(E)是局部完全k＿凸的,当且仅当E是局部完全k＿凸的.

Cesaro矢值序列空间的(M)性质和一致λ-性质

本文讨论了Cesaro矢值序列空间cesp(Ek)的 (M)性质 。

LS-RISC指令级功耗模型的开发

针对笔者自主研制的LS-RISC微处理器,讨论了其指令级功耗模型的开发。为了降低指令间效应对功耗分析带来的复杂度,按照指令执行时经过的功能部件,对指令进行重新分类,使得分析的复杂度由O(n2)减小到了O(n)。功耗模型的成功开发,为低功耗编译和软件功耗优化奠定了基础。

一种减小存储单元间串扰的新型阵列布局结构

针对SRAM阵列中的串扰 ,给出了一种新型布局结构 ,即字线的“错序译码”组织结构和位线的“间隔译码”组织结构 .“错序译码”组织结构是根据程序“顺序局部性”的特点提出的 ,“间隔译码”组织结构是根据“串扰局部性”的特点提出的 .在存储器单元比值一定的条件下 ,采用这种结构可以显著减小由寄生RC所带来的单元间的串扰 ,提高存储器读写的速度和工作可靠性 .

硫酸烧渣选铁与常规硫精矿二次选硫

硫精矿制酸时烧渣富含铁,但从硫酸烧渣中选铁技术指标一直不高,且只有铁品位在40%~50%的高品位烧渣用于选铁才能获得合格铁精矿,含铁品位30%左右的烧渣则只能用于制造水泥。硫酸烧渣选铁困难的原因是硫精矿中脉石矿物在氧化焙烧时与新生成的Fe2O3和Fe3O4互相夹杂、包裹和交融,即使磨矿也难以分离。为解决此问题、提高资源的利用率,提出了常规硫精矿二次选硫思路,并通过试验进行了论证。结果表明:与硫酸烧渣选铁相比,常规硫精矿二次选硫回收铁的工艺更先进、技术指标更理想、环境更友好、资源综合利用率更高、经济效益更好。

赋序列范数的矢值Banach序列空间的接近严格凸和弱一致凸

讨论了赋序列范数的矢值Banach序列空间ss(E)的接近严格凸和弱*一致凸,给出了他们的判据.主要结果为:设ss具有AK性质,ss和ss*是严格单调的,则ss(E)是接近严格凸的当且仅当ss和E是接近严格凸的;设ss具有AK性质,则ss(E)是弱*一致凸的当且仅当ss和E是弱*一致凸的.

矢值Banach序列空间ss(E)的单调性

刻画了赋序列范数的矢值Banach序列空间ss(E)的严格单调性、局部一致单调性和一致单调性,给出了它们的充要条件.主要结果为:①ss(E)是严格单调的当且仅当ss和E是严格单调的;②ss(E)局部一致单调的当且仅当ss和E是局部一致单调的;③ss(E)是一致单调的当且仅当ss和E是一致单调的.

Banach序列空间l_p(X_i)的几何性质

利用lp空间的性质及lp和lp(Xi)的关系,讨论了lp(Xi)的强凸性(、M)性质和(S)性质,给出了它们的充要条件.

Banach序列空间l_p(X_i)的非常凸

利用lp空间的性质以及lp和lp(Xi)的关系,证明了lp(Xi)是非常凸的当且仅当每个Xi都是非常凸的.

基于GIS的区域公交可达性计算方法

为计算城市内部特定区域对周边其他区域的公交可达性,更加直观地得到不同区域公交可达性差异程度,提出区域公交可达性概念.借助GIS空间分析功能,提出基于公交站点权重和公交线路辐射范围权重的区域公交可达性计算方法.以北京市朝阳区为例,计算朝阳区30个交通小区的区域公交可达性值.结果表明,区域公交可达性值,可以更加直观地展现城市内部不同区域对周边其他区域的公交可达性水平,这为选址分析、公交优化等提供了定量化的公交可达性信息.

计算机体系结构的分类模型

根据计算机体系结构的发展,以指令流(instruction stream)计算、数据流(data stream)计算与构令流(configuration stream)计算的概念为基础,提出了一种新的计算机体系结构的分类模型.

一种考虑吸引型异常事件的行人元胞自动机模型

鉴于目前行人元胞自动机仿真研究中对于吸引型异常事件情况下模型的缺失,本文提出了一种特殊的考虑吸引型异常事件的行人元胞自动机模型.当异常事件发生后,模型将行人分为漠视、驻足、围观和围观离开四种类型.漠视类型指对异常事件毫无兴趣,不受异常事件影响的行人,其动力特性与行人在正常情况下的动力特性一致;驻足类型指对异常事件较有兴趣,驻足观看的行人,其动力特性由能使行人在原地停留的驻足效用值决定;围观类型指对异常事件极有兴趣,向异常事件中心靠近围观的行人,其动力特性由围观效用决定;围观离开类型指对异常事件失去兴趣,从围观人群离开的行人,其动力特性由围观离开效用决定.仿真效果显示,该模型基本可反映行人聚集围观的表征和内部特性.