Field Corrosion Detection of Nuclear Materials using Electrochemical Noise Techinique

Some critical issues when applying electrochemical noise (EN) in field corrosion detection of nuclear materials are solved. In this work, a portable EN measurement system for field test is established by using Compact RIO modular instrument and zero resistance ammeter (ZRA) module. The electrode system for EN measurement is built by using platinum wire or stainless steels coated with thermal sprayed ceramic coatings as counter electrode. Two EN sensors are developed based on the electrode system mentioned above, and field corrosion detection is successfully achieved. The corrosion of stainless steel pipeline surface in nuclear power plant and internal-surface corrosion of continuous blowdown piping are successfully evaluated by the established new EN measurement system.     

宣威火腿加工过程游离氨基酸变化规律研究

以宣威火腿为研究对象,利用氨基酸自动分析仪检测宣威火腿不同加工阶段(鲜肉、腌制后90d、210d、270d与360d)的股二头肌肌肉中游离氨基酸含量的变化。结果显示：在腌制过程中,肌肉中游离氨基酸的含量呈现持续上升趋势。其中,腌制360d的肌肉中游离氨基酸的含量最高,此阶段含量较高的游离氨基酸分别为谷氨酸、赖氨酸、丙氨酸和亮氨酸,较低的分别为组氨酸、蛋氨酸、苏氨酸和酪氨酸。     

Failure Analysis of T12 Boiler Re-Heater Tubes During Short-Term Service

The failure of T12 re-heater tubes that had been in service only for 3000 h was investigated. The wall thickness of the tubes was visibly reduced by heavy oxidation corrosion on the outer and inner walls. The original pearlite substrate completely decomposed. Uniform oxide scale appearance on the inner wall shows obvious vapor oxidation corrosion characteristics. Corrosion originated in the grain boundary, and selective oxidation occurred due to ion diffusion in the substrate. The layered oxide scale formed on the inner wall is related to the different diffusion rates for different cations. Exposure to high temperature corrosive flux accelerated the corrosion on the outer wall. The microstructure degradation and corrosion characteristics of the tubes indicate that the tubes failed primarily because of overheating, as evidenced by calculations.     

废轮胎回转窑中试热解产物特性

热解反应在中温段（450～650 ℃）进行，油产率可达42.7%～45.0%。对热解油进行了实沸点蒸馏和红外光谱（FT-IR）分析。热解油品质较轻，200 ℃以下轻馏分质量分数高达33%～40%，热解温度的升高有助于增加轻馏分质量分数。在较高热解温度下热解油具有较强的芳香性。热解油FT-IR分析结果体现了芳烃类物质生成的Diels-Alder反应途径。热解炭产率约为39%～44%，并具有高灰分（>12%）和高硫特性。热解炭具有较发达的中、大孔。在550 ℃前，热解炭比表面积随热解温度升高而增大；温度继续升高，比表面积变化不大。热解炭孔容积随热解温度升高而增大，并在550 ℃时达到最大值。在孔径约为50 nm处，热解炭比孔容积具有最大值。     

Unit Test Data Generation for C Using Rule-Directed Symbolic Execution

Unit testing is widely used in software development. One important activity in unit testing is automatic test data generation. Constraint-based test data generation is a technique for automatic generation of test data, which uses symbolic execution to generate constraints. Unit testing only tests functions instead of the whole program, where individual functions typically have preconditions imposed on their inputs. Conventional symbolic execution cannot detect these preconditions, let alone converting these preconditions into constraints. To overcome these limitations, we propose a novel unit test data generation approach using rule-directed symbolic execution for dealing with functions with missing input preconditions. Rule-directed symbolic execution uses predefined rules to detect preconditions in the individual function, and generates constraints for inputs based on preconditions. We introduce implicit constraints to represent preconditions, and unify implicit constraints and program constraints into integrated constraints. Test data generated based on integrated constraints can explore previously unreachable code and help developers find more functional faults and logical faults. We have implemented our approach in a tool called CTS-IC, and applied it to real-world projects. The experimental results show that rule-directed symbolic execution can find preconditions (implicit constraints) automatically from an individual function. Moreover, the unit test data generated by our approach achieves higher coverage than similar tools and efficiently mitigates missing input preconditions problems in unit testing for individual functions.

     

诺邓火腿产业化发展现状与对策

诺邓火腿产于云南大理的诺邓村,是云南名特产。诺邓火腿加工主要包括鲜腿的选择、修整、去血水、喷酒、上盐、抹盐泥、腌制和上挂发酵这八道工序。2012年因《舌尖上的中国》而出名,销量和价格一路攀升,产量供不应求,因此诺邓火腿产业化发展对当地经济发展有着重要的意义。本文主要介绍了诺邓火腿的加工工艺,包括诺邓火腿的历史和生产的地理环境,以及产业化发展的现状及存在的问题,并提出相应对策和解决方法,为诺邓火腿产业化发展提供参考依据。     

Passivation degradation of Alloy 800 on nucleate boiling surface

In this work, the passivation degradation of Alloy 800 on nucleate boiling surface was studied by using polarisation curve, electrochemical impedance spectroscopy and secondary ion mass spectrometry. Experimental results indicated that boiling bubble would significantly degrade the passive film, as indicated by a decreased pitting potential and increased passive current density. Under boiling condition, the mass transfer of electrolyte is accelerated and the temperature of Alloy 800 was increased, as a result, the cathodic reaction and the dissolution rate of the passive film were increased. The passive film was Cr-depleted but Ni- and Fe-enriched, and the decreased Cr content in the passive film led to a degraded passive film.     

云南民族传统鸡肉产品的现状

云南是原鸡后代的繁衍地且中国西南部的少数民族可能是最早驯化鸡的族群之一,因此云南地区拥有许多优良鸡种,且因云南各少数民族间有不同的文化差异,饮食习惯也稍有不同,对于鸡肉产品也大多遵循传统加工工艺,极具民族特色,风味独特,备受人们喜爱。同时由于我国鸡肉产品的平均深加工程度与世界相差较大,发展鸡肉产品深加工对加快我国肉类工业的发展有着重要的意义。因此本文阐述了云南民族传统鸡肉产品加工工艺和风味的特点;分析了产品工艺、品牌知名度、工业化等多个方面的发展现状;总结了产品现存缺乏理论指导、质量难以控制等问题,并对云南民族传统鸡肉产品的未来发展提出建议,以期推动云南鸡肉产品产业化、现代化,同时为鸡肉产品深加工提供理论依据。     

运行时异常对软件静态测试的影响研究

当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测及控制流扩展交替执行,通过扩展分析路径达到提高测试充分度的目的.以异常模式状态机描述运行时异常行为,在包含运行时异常的控制流上,应...     

一种保持结点可达性的高效社会网络图匿名算法

为了保护社会网络隐私信息,提出了多种社会网络图匿名化技术.图匿名化目的在于通过图修改操作来防止隐私泄露,同时保证匿名图在社会网络分析和图查询方面的数据可用性.可达性查询是一种基本图查询操作,可达性查询精度是衡量图数据可用性的一项重要指标.然而,当前研究忽略了图匿名对结点可达性的影响,导致较大的可达性信息损失.为了保持匿名图中结点的可达性,提出了可达性保持图匿名化（reachability preserving anonymization,简称RPA）算法,其基本思想是将结点进行分组并采取贪心策略进行匿名,从而减少匿名过程中的可达性信息损失.为了保证RPA算法的实用性,针对其执行效率进行优化,首先提出采用可达区间来高效地评估边添加操作所导致的匿名损失;其次,通过采用候选邻居索引,进一步加速RPA算法对每个结点的匿名过程.基于真实社会网络数据的实验结果表明了RPA算法的高执行效率,同时验证了生成匿名图在可达性查询方面的高精度.