强半连通空间及其基本性质

利用强半开集定义了强半连通空间,给出强半连通空间的等价刻画,并讨论其基本性质.     

以制造商为核心的供应链非线性优化模型研究

分析了以制造商为核心的供应链的特征,构建了该类供应链的模型,对该供应链中原材料供给、原材料运输、产品生产、产品运输和产品销售等环节的费用情况进行详细分析;在考虑到运输商运输能力、供应商的供给能力、销售商的数量要求等约束和运输环节诸因素作用的基础上,建立了以制造商为核心的供应链的非线性优化模型,对模型的应用进行了举例说明.     

江西省土地利用空间格局重建研究——基于1820年和1980年数据的对比分析

在查阅历史文献基础上,采取治所邻近度分析、适宜性评价等方法重建江西省1820年1 km×1 km空间格网下的主要地类空间分布,并将重建后的1820年土地利用数据和1980年土地利用现状数据进行比较分析.研究结果表明:重建结果通过了显著性检验,这表明重建结果较为合理; 1820年江西省耕地、城镇用地、农村居民点用地、水域及其他土地面积分别为29 228、105、1 648、3 730、134 227 km²,其中耕地主要分布在吉安、建昌以北的鄱阳湖平原区,城镇用地及农村居民点用地分布则较为零散,主要分布于河流两岸及河流交汇处; 从1820—1980年,江西省土地利用空间格局未发生大的改变,但受人口增长的影响,全省城镇用地、农村居民点和耕地的面积分别增加了364、462、16 276 km².     

液滴流速检测与控制系统

文章叙述了以AT89C51单片机为核心,主要有红外光电传感滴速检测模块、点滴速度控制模块、电容传感液位检测模块构成液体点滴速度监控系统,证实了采用红外传感器检测液体点滴速度和储液瓶液位,通过单片机扫描测量、直流电机传动装置,实现对液滴的高精度控制,整体结构设计合理,运行稳定.     

一类时滞非线性抛物型方程的数值解法

利用上下解方法及相应的单调迭代方法, 建立一个用于求解一类时滞非线性抛物型方程时间周期解的有限差分格式, 在空间和时间方向上该格式分别具有四阶和二阶精度, 并证明了周期解的存在惟一性, 给出了一个求解算法, 同时讨论了数值解的收敛性. 数值结果表明了所给方法的优越性.     

气动膜片式多材料微液滴按需喷射技术研究

微滴喷射是通过产生微米级的液滴实现微量流体精确分配的技术之一,是一种不同于传统减法制造的非接触式、数据驱动的加法式制造技术,代表了现代制造工艺新的发展方向.本文提出了可用于多种材料的气动膜片式按需喷射技术并构建了用于在线观测并分析液滴形成过程的基于延时触发的图像在线采集系统.利用该装置,进行了微液滴喷射的一致性分析,研究了设备结构参数及控制参数与液滴大小及喷射速度的关系,并分析了粘度及表面张力对流体喷射过程的影响.此外,制作了直径约为160.5μm的Sn63Pb37焊球和与基底接触面直径约为346.94μm的光固化胶胶滴阵列图型.实验表明,该气动膜片式按需喷射系统结构简单、可靠性好、耐受高温,可用于包括聚合物、低熔点胶材、高熔点金属的多材料微液滴喷射,在微电子和微系统封装、三维打印、有机半导体器件制作以及生命科学与化学分析等制造领域具有较大的发展潜力.     

主动实时数据库系统中的复合事件处理

对于主动实时数据库中复合事件的探测,提出了“复合事件表达式”描述方法和用“状态自动机”处理的方法,包括用算符优先法对复合事件表达式进行预处理、对基本复合操作的处理以及基于基本事件探测的复合事件状态转换矩阵的状态迁移。     

Design and Implementation of a Storage Virtualization System Based on SCSI Target Simulator in SAN

The ideal storage virtualization system is compatible with all operating systems in storage are anetworks (SANs). However, current storage systems on clustered hosts and multiple operating systems are not practical. This paper presents a storage virtualization system based on a SCSI target simulator in a SAN to solve these problems. This storage virtualization system runs in the target hosts of the SAN, dynamically stores the physical information, and uses the mapping table method to modify the SCSI command addresses. The system uses the bitmap technique to manage the free space. The storage virtualization system provides various functions, such as logical volume resizing, data mirroring, and snapshots, and is compatible with clustered hosts and multiple operating systems, such as Windows NT and RedHat.     

考虑锚固支护对层面剪切特性影响的隧道变形破坏特征

本文基于对ABAQUS有限元软件切向接触模型的二次开发,研究层状软岩隧道在不同层面倾角条件下的稳定性变化规律,分析层面抗剪强度与锚固支护之间的关系,揭示锚固支护强度对层状软岩隧道围岩变形破坏的影响规律。研究结果表明：在层面抗剪强度较低时,围岩变形可分为基岩变形与层面剪切滑移变形;不同地应力条件下,基岩变形在层面倾角为45°时最小,且随层面倾角的变化呈“U”形分布;在地应力较小时,层面剪切滑移变形显著,围岩发生层面剪切滑移变形与基岩屈曲变形的复合破坏模式;锚固加固后,随着层面黏聚力增加,层面剪切滑移与基岩变形均呈指数减小,基岩塑性区分布由“纺锤形”逐步过渡为均匀分布,基岩的塑性破坏区显著减小;层状软岩隧道开挖后,垂直层面正应力分布沿层面可分为应力降低区与应力增强区,锚固支护可减小层面正应力的降低幅度,抑制基岩的屈曲变形。层状软岩隧道变形破坏本身具有明显的非对称性,锚固支护可协调层面与基岩之间的变形差异性,使围岩变形区域更均匀,有效提升围岩整体承载力。     

《科学哲学手册》译丛被列入“十二五”国家重点图书出版规划

近期,国家新闻出版总署公布了《新闻出版业"十二五"时期发展规划》,由中国自然辩证法研究会名义副理事长、山西大学科学技术哲学研究中心郭贵春教授主编的《〈科学哲学手册〉译丛》列入"十二五"时期(2011-2015年)国家重点图书出版规划。