基于OBDD的Iteration-free CPDL判定算法

命题动态逻辑是一种应用模态逻辑,用于程序行为的推理.Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑.对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有...     

稀布阵综合脉冲孔径雷达方程及应用分析

基于常规监视雷达方程、结合稀布阵特点,修正给出了稀布阵综合脉冲孔径雷达方程推导,并分析讨论了该体制雷达的特有参数.通过对脉冲积累时间、等效功率孔径积的计算分析以及与常规雷达的探测威力对比,得出了该体制雷达具有作用距离远、探测慢速目标时脉冲积累时间长以及所需等效功率孔径积小等优点.该方程在论证和研究稀布阵综合脉冲孔径雷达探测威力方面更具有实用性,为进行该体制雷达初步设计提供了一个良好的工具.     

生物硅藻土-动态膜生物反应器处理微污染原水的研究

以硅藻土作为基材开发了一种新型给水处理技术——生物硅藻土-动态膜反应器,并对该工艺系统处理微污染原水的去除性能进行了小试研究.结果表明,在通量为40 L/(m2.h)的条件下,系统对浊度有较好的去除效果,且出水浊度均在1 NTU以下.本工艺对CODMn和UV254也有较好的去除效果,去除率分别达58.14%和45.8%,这主要是由于硅藻土吸附、微生物降解和动态膜的分离作用;同时,反应器对氨氮的去除率也较好,达到90%以上,这主要基于反应器内微生物的分解作用.     

电泳-电沉积法制备Ni-Fe2O3复合镀层 及其氧化性能研究

先采用电泳沉积工艺在Ni基体上均匀沉积Fe2O3膜,然后采用电镀技术在Fe2O3膜中沉积金属Ni,得到含Fe2O3质量分数较高的Ni-Fe2O3复合镀层。分析了沉积电压对电泳沉积Fe2O3膜厚度的影响,研究了镀层的高温氧化性能,并对其氧化机理进行了探讨。使用傅里叶红外光谱、扫描电镜、能谱仪、X射线衍射仪对镀层的截面形貌、成分等进行了研究。结果表明:通过改变阴阳两极之间的电场强度或调整两极之间的距离,电泳沉积Fe2O3的厚度会发生很大的变化;经过一定温度热处理后,电泳沉积层中的有机物去除干净;使用电泳-电沉积法制备的Ni-Fe2O3镀层与基体之间的结合界面紧密、完整;复合沉积层在1 000℃高温条件下氧化后可以得到镍铁尖晶石结构的物质。     

扇贝柱质构分析的测试条件

研究了扇贝柱质构分析(TPA)的测定方法.考察了TPA测定时扇贝柱适宜的预处理方法,比较了压缩程度、压缩速率对扇贝柱TPA特性参数硬度、弹性、凝聚性、咀嚼性和回复性的影响.研究结果表明,压缩程度对扇贝柱咀嚼性之外的TPA特性参数影响显著,压缩速率对其影响不显著.最终确定扇贝柱的适宜预处理条件为温度70℃,时间12 mi...     

纳米钒酸铋的水热合成及其可见光光催化降解罗丹明B

以Bi(NO3)3·5H2O和NH4VO3为原料,采用水热法合成了BiVO4纳米颗粒,X射线衍射(XRD)表征结果显示所制备的BiVO4颗粒为单斜晶结构.紫外-可见漫反射(DRS)测定结果表明,BiVO4的禁带宽度为2.46 eV.以罗丹明B为目标降解物,研究了样品在可见光下的光催化性能,最佳反应条件为:罗丹明B的初始...     

草酸改进铁/铜微电解体系降解活性艳蓝KN-R

在铸铁上负载铜的铁/铜催化微电解体系中加入草酸后,质量浓度为100 mg/L活性艳蓝KN-R溶液迅速脱色,化学需氧量明显降低,改善了微电解体系对废水处理时间长、化学需氧量去除效果低等缺点.实验结果表明:在pH为3.28(加入草酸后)、草酸投加量为5 mg/L、催化剂投加量为10 g/L的条件下,对质量浓度为100 mg...     

海参肠自溶水解物抗氧化活性的研究

为了提高海参肠的利用率,利用海参自溶技术制备海参肠自溶水解物.分析了自溶水解物的分子质量分布范围和氨基酸组成,并通过体外化学模拟体系测定其1,1-二苯基-2-三硝基苯肼(DPPH·)清除能力、Fe2+螯合能力和还原能力.结果表明,海参肠自溶水解物主要由分子质量小于3 ku的组分组成,含有17种氨基酸,其具有一定的DPP...     

带参数扰动非线性系统的变结构控制

考虑了带系统参数扰动的非线性时变系统的变结构控制的设计问题.首先,给出了一个状态决定的微分Ricatti方程,在一定的假设条件下,该Ricatti方程可解;其次,由此Ricatti方程的解,设计出系统的滑动区域,在此滑动区域内,给出系统的控制律,在滑动区域外,此控制律在有限时间内将系统轨迹拉入滑动区域,而在系统之外,此...     

A power-aware code-compression design for RISC/VLIW architecture

We studied the architecture of embedded computing systems from the viewpoint of power consumption in memory systems and used a selective-code-compression (SCC) approach to realize our design.Based on t...