基于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₂能加快面筋的形成,缩短面筋的聚集时间,弱化面团的质构特性,降低面筋结构的稳定性,从而导致面制品品质下降。     

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

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

2019产业园联盟展望——访西安创业物业发展有限公司总经理贾砺

<正>中国物业服务(产业园)企业联盟(简称产业园联盟)在2019年迎来了联盟成立五周年。五年来,在中国物协的指导下,在各届联盟主席单位的引领下,在各联盟成员企业的积极参与和配合下,联盟取得了较大的发展,编撰出版了《中国物业管理指南丛书——产业园物业管理》,举办了四次联盟发展论坛,汇聚行业力量,推动行业标准化、智能化的健康发展。     

王庄矿巷道过断层破坏原因及支护技术研究

巷道掘进过断层是矿山生产的重点安全问题,以王庄矿8107工作面运输巷为研究对象,采用理论分析、数值模拟和现场实测方法,对王庄矿巷道过断层失稳原因及支护技术展开研究。结果表明：巷道掘进断层区域附近围岩破碎,掘进扰动诱发断层滑移,加剧巷道的变形破坏;提出采用主动支护+补强支护的巷道过断层支护技术控制巷道掘进过断层;应用该支护方案后,降低了安全风险,巷道掘进期间现场实测断面收敛率为5.17%。     

瑞典——开启全球环保之门

瑞典位于北欧斯堪的纳维亚半岛东部.东北部与芬兰接壤,西部和西北部与挪威为邻,东濒波罗的海和卡特加特海峡,西南临北海,并与丹麦隔海相望.瑞典领土面积约45万平方公里,约15%的土地在北极圈内.瑞典湖泊众多,约9.2万个.拥有丰富的铁矿、森林和水力资源,森林覆盖率为54%,蓄材约26亿立方米.     

基于最大相关峭度反褶积的轴承故障诊断方法

针对滚动轴承的故障信号是周期性冲击信号这一特性,提出了最大相关峭度反褶积(maximum correlated kurtosis deconvolution,简称MCKD)与谱峭度(spectral kurtosis,简称SK)结合的滚动轴承早期故障诊断方法,即MCKD-SK法。利用MCKD方法可以有效提取滚动轴承早期故障信号中被噪声淹没的周期冲击成分,抑制信号中的噪声,实现信号降噪,提升原信号的峭度。利用SK方法可以选择合理频带,将信号中的低频信息从高频信息中解调出来。通过仿真与实际监测数据的分析和验证,证明MCKD-SK方法可以准确有效地诊断滚动轴承的早期故障,可用于滚动轴承早期故障的在线监测。     

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

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