基于C#的RSS阅读器设计与实现

通过对RSS技术研究,利用VisualStudio2010设计开发一个RSS阅读器,此阅读器由频道列表区、标题区和内容区三个部分组成。该系统运行情况良好,检索信息速度快。     

以1,3-二(4-邻羟基苯亚胺次甲基)苯氧基丙烷为载体的铁离子(Ⅲ)电极的研究

以1,3-二(4-邻羟基苯亚胺次甲基)苯氧基丙烷为中性载体制备了PVC膜Fe3+离子选择性电极。该电极对Fe3+呈现出良好的选择性和近Nernst电位响应性能。电极斜率为21mV/dec,线性范围为3.0×10-5～1.0×10-1mol/L,检出限为1.0×10-5mol/L。采用交流阻抗技术研究了电极的响应机理,并将电极作为指示电极初步用于EDTA的电位滴定。     

CaCl2对小麦粉面筋蛋白聚集特性及二级结构的影响

为了从分子水平上探究CaCl₂对小麦粉面筋蛋白聚集及结构特性的影响机制,以中筋小麦粉为原料,研究CaCl₂不同添加量对小麦粉面筋蛋白聚集特性、二级结构及面团质构特性的影响。结果表明：随着CaCl₂添加量的增加,小麦粉面筋蛋白的峰值最大时间显著缩短,峰值扭矩增加;面团的硬度、弹性和咀嚼性随CaCl₂添加量的增加而显著降低,回复性随CaCl₂添加量的增加变化不显著,黏附性随CaCl₂添加量的增加先显著增加再降低之后趋于平缓;面筋蛋白的二级结构中无规则卷曲和β-转角含量增加,β-折叠含量降低,α-螺旋含量无显著性变化。整体来看,添加CaCl₂能加快面筋的形成,缩短面筋的聚集时间,弱化面团的质构特性,降低面筋结构的稳定性,从而导致面制品品质下降。     

一种基于差分进化混合粒子群算法的多无人机航迹规划

针对多无人机的航迹规划问题,采用一种混合粒子群算法,将其应用于多无人机的航迹规划,并保证各个无人机所经路径的代价函数总和最小。对城市环境包括楼房建筑等障碍物以及雷达干扰等禁飞区域进行建模,通过建立多个航点并插入分割点的方法,然后使用带有差分进化操作以及自适应调整惯性权重策略的混合粒子群算法进行航迹规划,最后通过仿真实验验证了该算法的有效性。     

剪切模式压电光纤调制器

设计了一种基于剪切模式振荡的光纤光调制器.实验中,利用压电陶瓷控制2段对接光纤的相对截面积,在初始位置光束无损耗的全部通过,在压电陶瓷管切向形变为光纤内径r时,输出光强为零.本光纤信号调制器属于光的振幅调制器,调制度可达到100%,信噪比(SNR)约为25 dB,带宽约为200 kHz.     

冷冻面团中酵母菌抗冻机制研究进展

冷冻面团是一种通过冷冻加工而成的半成品,具有良好的发展潜力,但酵母菌冻伤是影响其品质的重要因素。以冷冻酸面团为例,对其中的酵母菌组成以及耐冷冻酵母的研究现状进行了介绍,并分别从海藻糖积累、甘油合成与转运、脯氨酸增加、谷胱甘肽合成、细胞膜流动性改变以及水通道蛋白基因的表达等方面阐述酵母菌的耐冷冻机制,以期为酵母菌株的抗冻能力提升与冷冻面团的品质改良等研究提供参考。     

煤粉燃烧及SNCR脱硝反应过程数值模拟

使用Fluent6.3.26对一个简单的燃烧器内煤粉燃烧及非选择性催化还原(SNCR)脱销进行了模拟。应用标准k-ε双方程模型计算气体的湍流流动,采用组分运输模型、P-1辐射模型,得到燃烧器内部的速度、压力、和浓度场信息,模拟结果与实际得到较好的吻合。     

黄河小北干流河段河势变化分析

黄河小北干流河段河床宽浅,水流散乱,河槽平面摆动频繁,为典型的堆积游荡性河道。根据近年河势变化特点,分析小北干流河段河势变化主要受上游来水来沙条件变化、河道整治工程控导、上下游水利枢纽运用3个方面影响。为有效改善小北干流河段河势,提出进一步加大小北干流河段治理力度,完善防洪工程体系建设,不断提高工程控导河势能力;完善黄河水沙调控体系建设,加强调水调沙,减少小北干流河道淤积等措施,实现防洪减灾目的。     

运城市洪灾特点及防御对策

对运城市洪涝灾害的特点及成因进行了针对性的分析,并提出了防御措施及对策。从完善防洪预案、提高防洪排涝的基础设施、抓好防汛抢险队伍建设三个方面,对运城市今后防洪减灾提出了对策建议。     

一个Object-Z规格说明的证明责任产生器

定理证明是一种形式化验证技术,也是形式化方法的重要组成部分,它能从形式规格说明中推理出应具备的性质与属性,从而可以对规格说明进行形式验证。Object-Z是形式规格说明语言Z的面向对象扩充,基于集合论与数理逻辑,具有严密的逻辑性,适合于精确地描述大型软件系统,并且可以对其形式规格说明进行推理。设计一个证明责任产生器,从Object-Z形式规格说明出发,按照相关规则自动抽取相应的证明责任,这些证明责任可以直接输入到已有的定理证明器Z/EVES中进行证明之。证明责任产生器起着Object-Z规格说明编辑器与证明器Z/EVES之间的桥梁作用,方便于Object-Z形式规格说明的验证。