RCC高速缓存一致性协议的带参验证

Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战。 Cubicle是最近出现的基于SMT求解器的带参模型检测工具。我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证。实验结果表明, RCC协议在结点个数为任意规模时均满足协议的各种安全性质。     

从产品拓展和市场竞争看我国辐射固化产业的发展

对2006年统计的116家主要生产企业的辐射固化产品市场作了简短的分析。相比2005年,原材料和UV产品分别增长32.9%和16.4%;其产值分别增长47%和17.6%;光源设备增长63.4%。辐射固化市场产品总值相比2005年增长32.8%。家具和印刷用紫外固化清漆涂层以及印刷品和包装材料用油墨仍是辐射固化技术最大应用领域。本文并展望了未来辐射固化技术的发展、应用和市场趋势。     

常减压蒸馏装置中和缓蚀剂的研制

针对炼油厂常减压塔塔顶冷凝系统现存的腐蚀问题,研制出以有机胺、咪唑啉衍生物为主要组分复配而成的新型中和缓蚀剂。通过模拟蒸馏实验表明:液相部位的缓蚀率达到99%以上,在初馏区露点部位的缓蚀率达到98%以上该中和缓蚀剂性能优良。     

腈氯纶/汉麻纤维阻燃织物的开发及性能研究

通过调节腈氯纶在纬纱中的含量及织物组织结构,可获得阻燃性、耐光性、麻型感较好的织物.纬纱中腈氯纶占90%时,织物阻燃性能最好;占80%时,织物达到阻燃要求.织物在垂直于阻燃纱线方向上的阻燃性能优于平行方向.缎纹组织的阻燃能力稳定性优于平纹和斜纹.腈氯纶在阻燃的同时还可提高织物的耐光性.腈氯纶/汉麻纤维阻燃织物非常适合窗帘、沙发布、车内织物等用途.     

多胺型无醛固色剂的合成及应用

以二甲胺、环氧氯丙烷、四乙烯五胺为主要原料,制备了一种无甲醛多胺型固色剂.通过实验,确定了合成多胺型固色剂的最佳合成工艺及最佳固色工艺.最佳合成工艺为：将摩尔比为1∶1.5的二甲胺、环氧氯丙烷于28℃左右反应2h后,加入占单体总量2%的四乙烯五胺,在70℃反应5h.最佳固色工艺为：染色棉织物→两浸两轧（整理剂40g/L,轧余率80%）→烘干（100℃）.整理织物后,可使直接染料的各项牢度提高1~2级,且对色光影响较小.     

鄂东南沿江湖区“灌江纳苗”的认知度调查

本文对拟开展＂灌江纳苗＂工作的目标湖区进行实地调查和深度访谈,调查了大冶湖、网湖、海口湖、朱婆湖四个不同通江湖泊受访人群对＂灌江纳苗＂的知晓率和支持率,并采用问卷调查的方式研究了四个目标湖泊养殖鱼类年产量的变化情况以及四湖受访人群对养殖鱼类品种了解程度。结果显示,在目标湖区开展灌江纳苗工作有一定的群众基础,但也存在一定的工作难度;目标湖区的经济鱼类品种在减少,实施灌江纳苗工作已迫在眉睫。     

Design and dynamic simulation of hydraulic system of a new automatic transmission

A new hydraulic system of a novel automatic transmission (AT) was designed. The dimension and structure of valves and cylinders were designed by theoretical calculation. The dynamic simulation model of hydraulic system of AT was established by ITI-SimulationX. Simulation results and theoretical design results were compared to confirm the simulation model. Based on the confirmed simulation model, the simulation results of pressure and flow of the hydraulic system were analyzed. The dynamic simulation method is very helpful for designing and analyzing the performance of hydraulic system and further optimization design. The theoretical design method and dynamic simulation model are feasible for the real industrial applications. The research results can be used in hydraulic system design and optimization. Foundation item: Project(911901204) supported by Youth Innovation Foundation of Beijing University of Aeronautics and Astronautics     

一类带谱参数的奇异Sturm-Liouville算子特征的渐近分析工

研究了一类具有转换条件且在一个边界条件中带谱参数的奇异Sturm—Liouville问题．将上述问题的基本解的渐近分析,转化为考虑定义在适当的Hilbert空间H中的一个线性算子A的基本解的渐近分析,同时推导出该奇异的Sturm-Liouville算子A的基本解的渐近式．     

低浓度重金属离子的富集及其对脲酶活性影响

利用树脂对水中重金属离子进行有效吸附富集,再利用富集的重金属离子对脲酶活性的抑制影响来确定金属离子的浓度。研究了在不同条件下树脂对不同重金属离子的吸附性能,采用分光光度法得到了金属离子浓度及铵离子浓度的标准曲线,同时还研究了温度、树脂质量、缓冲液、尿素、离子种类、离子浓度等对脲酶活性的抑制关系。结果表明,0.5 g树脂完全可以吸附体积为50 mL,质量浓度不大于0.7 mg/mL的重金属离子,而在一定的浓度范围内,铜离子和铅离子对脲酶有明显的抑制作用,且具有线性关系。     

一种基于HMM聚类的视频目标轨迹分析方法

针对视觉监控中基于运动轨迹的目标行为分析问题,提出了一种基于隐马尔科夫模型(HMM)聚类的轨迹分布模式提取和异常行为检测算法。首先为每一条运动轨迹训练一个HMM,并通过这些模型来计算轨迹两两之间的距离;然后对该距离矩阵采用主元分析法(PCA)降维并以降维后的每一行作为对应轨迹的特征进行模糊C均值聚类,接着为聚类后的每一类轨迹训练一个HMM作为其分布表达模型;最后利用这些HMM模型来检测给定轨迹所表示的目标行为是否异常。对不同场景的轨迹分析实验表明了方法的有效性。