谈化学二氧化锰生产过程中的某些技术问题

较全面地阐述了化学二氧化锰生产工艺中的浸出除杂、提高视比重等技术问题，提出了一些有益的见解，总结了某些可用的经验，对发展化学二氧化锰生产有一定的现实意义。     

普鲁士蓝加速人体内铯排出效果的观察

本文介绍6例在苏联切尔诺贝利核电站事故期间受到放射性铯内污染的我国驻外人员,在本实验室接受活体测量和服用普鲁士蓝促排的观察结果。6例内污染者分两组分别于受污染后的第114天和第272天开始用药,在大约一个月期间,每人共服药54g(给药方式:每次服1g,每日3次,6天为一个疗程,间隔6天,共用药3个疗程)。观测结果表明,在促排期间,6例内污染者体内铯的生物半排期均明显缩短,~(131)Cs 的生物半排期由对照期(用药前)的54—123d 缩短到28—65d,~(134)Cs 由对照期的42—117d 缩短到23—69d;6例体内放射性铯的累积活度相对于同期未用药条件下的累积活度减少2—21%。     

用~(14)N(d,α_1)~(12)C核反应研究注入氮在纯铁和GCr15钢中的深度分布

本文描述了利用~(14)N(d,a_1)~(12)C核反应测量固体样品表面层内氮原子含量及深度分布的方法。在Si_3N_4标准样品中,所得到的表面处的深度分辨为48nm。利用该分析手段,研究了在不同注入温度条件下,氮离子注入纯铁和GCr15钢的保留量及深度分布的变化情况。     

软件漏洞模糊测试的关键分支探索及热点更新算法

在软件开发及应用中,由于具有可复现性,模糊测试能够帮助发现漏洞和有针对性地对漏洞成因进行分析。为了解决模糊测试过程的效率及测试力度等问题,提出了软件漏洞模糊测试的关键分支探索及热点更新算法。该方法通过捕获、分析和利用受检程序在处理测试用例时的执行位置的关键信息,以指导模糊测试过程的探索方向和测试用例的生成。实验结果表明,提出的方法相较于传统随机发散的模糊测试方法在漏洞发现能力上有较大提升,在Otfcc、Swftools等14个开源程序中发现了100余个未被公布的漏洞,为模糊测试用于软件漏洞检测提供了新的可靠途径。     

Mechanism of Thermal Decomposition of Rare Earth Acetate Hydrates

The mechanism of thermal decomposition of rare earth acetate hydrates(Ln(Ac)_3·nH_2O,n=5,forLn=La;n=4,for Ln=Pr→Lu,Y,except Pm)has been studied by TG-DTG,DSC,infrared spectra,X-raydiffraction and chemical analysis.The thermal decomposition reaction consists of two stages,one is dehydrationand the other one is decompostion.The final product is oxide.It has been found that the temperature of pro-ducing anhydrous acetates decreases with increasing atomic number of rare earth elements.The activation ener-gies for dehydration and decomposition reaction of rare earth acetate hydrates have been calculated byFreeman-Carroll and Kissinger method.The dependence of activation energy Jor dehydration reaction on theatomic number of rare earth elements shows“inclined‘W’effect”.The enthalpy changes for dehydration anddecomposition reaction have been determined.     

炮塔加热过程数学模型与计算机仿真研究

通过对炮塔热处理加热过程的分析研究,取局部最大壁厚处作为二维非稳定态传热问题进行离散化处理,建立了工件加热过程显式有限差分仿真模型。并对计算机仿真结果与实测数据进行了比较验证。     

基于Web服务的数字化校园统一身份认证系统研究

通过对数字化校园网络应用传统统一身份认证和资源访问控制机制不足之处的分析,提出了一种基于Web服务的统一身份认证系统模型,并采用基于票据的集中式架构,以跨域Cookie共享为核心来完成用户的登录、认证和权限控制。实例证明,此方案可以方便的将分散网络节点加入认证体系,完成网络节点单点登录和资源访问控制问题。     

基于设计决定的逐步求精方法及环境

逐步描述、变换及证明的软件开发过程包含两个转换,一是从非形式的用户需求到形式描述,一是从形式描述到算法实现。开发过程中的关键是如何做出设计决定。为了更好地维护、重用软件以及程序证明,不仅仅要对软件的形式描述及实现做文档记录,也要记下开发过程中所做的每一步决定。我 们用两个例子来说明如上这种逐步求精的方法以及设计决定在其中所起的作用,并且我们实现了一个包括SPEC、OOMM、PROT、VERI几个子系统组成的环境来支持上述过程。