一种新的分析和检查需求模型

由于ＳＣＲ是较实用的定义软件系统需求的方法,以此方法为基础,提出一个形式化的分析和检查需求的模型。此分析和检查模型主要根据综合知识表示模型的一些基本原理,使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义,并通过执行规则来自动分析由ＳＣＲ定义的需求。为便于理解,给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性。     

燃煤电厂脱硫废水在烟道中的蒸发及流动特性数值模拟

利用燃煤电厂尾部烟道的烟气余热来实现脱硫废水的喷雾蒸发是实现其零排放的有效途径,以国内某燃煤电厂330 MW火力机组的烟道为研究对象,利用DPM模型对雾化液滴群在高温烟道内的蒸发及流动特性进行了研究,考察了不同雾化嘴角情况下液滴碰壁情况、不同负荷下液滴的蒸发情况,研究结果表明：在50%、75%、100%烟气负荷工况下,烟气温度越高、烟气速度越快,雾化液滴群完全蒸发所需时间越少,液滴最大蒸发时间在2.85~3.36 s之间。在单烟道结构的最佳喷嘴雾化锥角为65°情况下,越靠近烟道内侧,涡的尺寸越大,越有利于促进喷嘴区的局部液滴群不断向其他区域扩散。     

极低浓度甲烷高温氧化宏观参量数值模拟

为了研究极低浓度甲烷的高温氧化特性,通过CHEMKIN模拟软件对甲烷浓度为0.5%、1%、2%、3%、4%的5种极低浓度甲烷气体高温氧化反应进行数值模拟,着重分析高温氧化后压力、温度以及反应物和生成物的变化规律.模拟结果表明,极低浓度甲烷高温氧化过程中,甲烷的体积分数急剧下降;生成的一氧化碳体积分数先急剧上升,然后迅速降低至零.二氧化碳体积分数、温度及压力均急剧上升,然后趋于稳定;且甲烷混合气体高温氧化后二氧化碳体积分数、温度及压力最终值与一氧化碳体积分数的最大值均随着甲烷体积分数的增大而逐渐增大.     

石墨烯纳米带的制备方法

石墨烯纳米带(GNRs)是一种新型的一维碳纳米材料,因为它具有独特的尺寸效应、量子效应和界面效应等,使它在电子学和磁学方面有着巨大的应用前景.主要介绍了GNRs的两种制备方法:自上而下法和自下而上法.自上而下的制备方法重点描述解卷碳纳米管(CNTs)法、催化法和刻蚀法;自下而上的制备方法主要包括表面介导合成法和湿法有机合成等.     

基于实体用户界面的智能手机直觉化交互方式

以智能终端上的交互方式为研究内容,针对智能手机的有形实体交互问题,提出智能手机上的直觉化视窗式交互方法,解决移动终端上由于沿用桌面式图形用户界面交互范式而造成的操作低效与不便的问题,设计并实现了一种基于实体用户界面的手机读图系统Emagn,最后通过实验验证了该方法在交互效率与认知上较传统触摸手势交互方法均有所提高。     

基于ZigBee网络的室内定位系统的设计与实现

针对当前室内定位系统成本高、精度低、可靠性差的缺点,设计出了一种基于ZigBee无线传感网络的无线室内定位系统.系统硬件以德州仪器公司CC2530片上系统为核心,软件基于德州仪器公司Z-Stack协议栈将测距标定与完整定位流程结合起来,通过测量接收信号强度计算待定位节点到参考节点的距离,然后利用三角形质心算法进行定位,确定待定位节点坐标.实际测试表明:该室内定位系统操作简单,可靠性高,定位精度达到95 cm以内,定位误差期望为9.76 cm.     

混合相钼酸钴纳米片电催化剂用于高效析氧反应

利用拓扑转化的方法设计合成形貌可控的混合相钼酸钴(CoMoO4)二维纳米片电催化剂.该催化剂的纳米片结构与混合相特征赋予二维面内的高度无序结构,可使更多的活性位点得以暴露;此外,二维结构增强了电荷转移效率,从而同时获得了优化的电荷传导能力与高活性位点数.得益于这些结构优势,在电催化析氧反应过程中,该催化剂呈现出低至28...     

低品位铁矿石直接还原过程铁颗粒生长和解离特性

对某低品位铁矿直接还原过程中金属铁颗粒的生长和解离特性进行了研究,重点讨论了还原剂用量和还原时间对铁颗粒长大的影响.X射线衍射和扫描电镜分析结果表明:减少还原剂用量能减弱还原气氛,减少结晶中心的生成,有利于铁颗粒的聚集长大,但因为部分铁损失于脉石中,所以限制了铁晶核的进一步长大;延长还原时间能有效地促进铁颗粒的聚集长大,并降低铁产品的活性,防止再氧化;还原矿中非晶态物质的生成以及金属铁和脉石的硬度差异,有利于金属铁颗粒的粗磨单体解离.     

TiO2-rGO紫外光催化臭氧耦合高效降解双酚A的研究

采用液相沉积-煅烧法制备二氧化钛-还原氧化石墨烯(TiO₂-rGO)复合光催化剂。利用扫描电子显微镜(SEM)、透射电子显微镜(TEM)、X射线衍射仪(XRD)、比表面积与孔隙率分析仪(BET)和紫外-可见漫反射分光光度计(UV-Vis DRS)等对所制备的催化剂进行表征分析。以双酚A(BPA)为模拟污染物,考察了TiO₂-rGO的光催化臭氧氧化降解性能,并通过活性物种捕获实验探究反应机制。结果表明,锐钛矿型TiO₂纳米颗粒成功附着在石墨烯上,颗粒直径约为20 nm;当前驱体溶液中氧化石墨投加量为0.02 g时,样品催化活性最高,反应45 min后双酚A被完全矿化,经过5次循环使用后,仍保持高效催化性能;TiO₂-rGO催化活性的提高主要归因于引入石墨烯后提高了光生载流子的分离效率,促进了光催化与臭氧氧化协同降解;在反应过程中,空穴(h+)和羟基自由基(·OH)是主要的活性物种,·OH对BPA的降解起主导作用。