The Synthesis of β-Sialon Bonded Corundum Bricks from Al-Si Alloy

The paper presents a new method to synthesize β-Sialon bonded corundum brick(β-SBCB) from Al-Si alloy directly and easily under 1430℃,the volume expansion of reaction between Al powder and Nitrogen can help to establish the fast diffusion channel in Al-Si alloy;the suitable crystal seed of Si3N4 is helpful to the fast synthesis of β-Sialon.     

工业评述生物降解性塑料-聚乳酸研究进展

综述了聚乳酸的合成方法、聚合工艺、聚合机理等。介绍了用生物发酵法从厨房垃圾中提取乳酸，合成聚乳酸的新工艺路线，为聚乳酸类产品找到了廉价的原料来源。该方法不仅可降低聚乳酸类产品的生产成本，而且解决了厨房垃圾的处理问题，减少了环境污染。     

净化湿法磷酸产品中硫含量偏高的原因分析及对策

简单介绍了湿法磷酸净化工艺,分析了用湿法磷酸净化工艺制得工业级磷酸中硫含量偏高的原因:①原料磷酸质量不稳定;②原料酸中固含量偏高;③磷酸预处理反应时间不足;④磷酸预处理反应温度偏低;⑤板框压滤机操作不当;⑥萃取控制不当。为此特增设了60 m3的原酸储槽,严格控制原酸流量为1.0 m3/h,反应温度60~70℃,同时加强了板框压滤机的操作及清洗等措施,使预处理工序的脱硫率达到88%以上,满足了预处理工序的脱硫要求。     

基于半监督距离学习的运动相似性度量算法

人体运动捕获技术的发展使得运动捕获数据不断积累,人体运动的检索技术成为运动数据管理和重用过程中的关键环节。由于逻辑相似的运动在数值上并不一定相似,使用欧式距离度量2个运动间的逻辑相似性难以取得理想的结果。为此,提出一种半监督的距离度量学习算法,利用带标记的运动和未标记运动进行训练以得到运动间的马氏距离度量,从而判断2个运动之间的逻辑相似性,实现运动检索。实验结果表明,与现有的大部分检索算法相比,该算法能够得到更高的查询精度,且没有任何人工干预,可应用于自动检索领域。     

无患子表面活性物及其复配体系的性质研究

对天然植物原料无患子提取物中的表面活性物的性质（临界胶束浓度、表面张力和起泡性能）及其影响因素（温度、pH、水硬度和盐度等）进行了系统的研究，结果表明无患子表面活性物具有很低的cmc和γcmc，且在一定范围内受一些因素的影响也不大，是一种理想的香波原料；同时也研究了无患子活性物与其他温和型的阴离子表面活性剂的复配体系，表明具有明显的协同增效效果。     

活性污泥法处理污水两个重要参数的理论探讨

负荷、泥龄是活性污泥法处理城市污水设计、运行中的重要参数.给出了有机负荷的动力学表达形式(称之为动力学负荷),并对有机负荷和泥龄的关系,有机负荷和泥龄对水质、污泥沉降性能影响进行了理论探讨.     

壳聚糖季铵盐的合成及其对鞣酸的絮凝性能

通过引入季铵盐基团的方法对壳聚糖进行改性得到完全溶于水的壳聚糖季铵盐,IR谱图表明取代反应主要发生在壳聚糖的氨基上。以中药药液中的主要杂质之一鞣酸为对象进行了絮凝试验,结果显示其鞣酸去除率,明显高于壳聚糖。同时壳聚糖季铵盐絮凝剂投加量适用范围更宽,有利于实际使用。     

大数据流式计算：关键技术及系统实例

大数据计算主要有批量计算和流式计算两种形态,目前,关于大数据批量计算系统的研究和讨论相对充分,而如何构建低延迟、高吞吐且持续可靠运行的大数据流式计算系统是当前亟待解决的问题且研究成果和实践经验相对较少.总结了典型应用领域中流式大数据所呈现出的实时性、易失性、突发性、无序性、无限性等特征,给出了理想的大数据流式计算系统在系统结构、数据传输、应用接口、高可用技术等方面应该具有的关键技术特征,论述并对比了已有的大数据流式计算系统的典型实例,最后阐述了大数据流式计算系统在可伸缩性、系统容错、状态一致性、负载均衡、数据吞吐量等方面所面临的技术挑战.     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

到达数据中时空异常聚簇发现

在时空数据中有一类表示用户在某一时间到达某一地点的数据——到达数据,到达数据可以是社交网站的签到数据、轨迹数据中的停留点及公共交通中乘客抵达的位置数据,这些数据的聚簇可以反映用户的聚集行为.基于到达数据,提出一类新的时空数据查询——时空异常聚簇发现.将到达数据进行周期性划分,通过时空聚类算法对一个时间段的数据进行聚类,比较不同时间段内聚簇的差异度,发现具有最大簇异常度的前k个簇.通过该查询发现的时空异常聚簇可以应用于城市安全管理、基于位置的服务和交通调度等方面.定义了异常簇查询模型,提出了针对任意形状聚簇的簇差异度度量,将异常簇查询转化为二分图最大匹配问题,对二分图构建与匹配进行了优化并提出了高效的查询算法.利用真实数据集进行了充分实验,验证了查询结果的实际意义,评估了所提出的各查询算法在不同参数设置下的查询效率.