A template of rat brain based on fMRI T*2 imaging

The development of functional magnetic resonance imaging (fMRI) technology has made it possible to carry out functional brain imaging experiments in small animals. Usually, group data is required to form the assessment of population, which can not only increase the sensitivity of the overall experiment, but also allow the generalization of the conclusion to the whole population. In order to average the signals of functional brain images from different subjects, it is necessary to put all the mapping images into the same standard space (template image). However, up to now, most animal brain templates remain unavailable and it must be done by ourselves. In this study, a template image based on the brains of eight male Wistar rats is obtained, and it is successfully used in our present Alzheimer disease (AD)-like rat model studies as template for spatially normalizing images to the same stereotaxical space. The fMRI results processed with statistical parametric mapping (SPM99) software are in agreement with the results from immunohistochemical experiment, which proves that this method is universally applicable to the pathologic models of other small animals and to human brain lesion studies.     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

The fate of injectant coal in blast furnaces: The origin of extractable materials of high molecular mass in blast furnace carryover dusts

The aim of the work was to investigate the fate of injectant coal in blast furnaces and the origin of extractable materials in blast furnace carryover dusts. Two sets of samples including injectant coal and the corresponding carryover dusts from a full sized blast furnace and a pilot scale rig have been examined. The samples were extracted using 1-methyl-2-pyrrolidinone (NMP) solvent and the extracts studied by size exclusion chromatography (SEC). The blast furnace carryover dust extracts contained high molecular weight carbonaceous material, of apparent mass corresponding to 10⁷?10⁸ u, by polystyrene calibration. In contrast, the feed coke and char prepared in a wire mesh reactor under high temperature conditions did not give any extractable material. Meanwhile, controlled combustion experiments in a high-pressure wire mesh reactor suggest that the extent of combustion of injectant coal in the blast furnace tuyeres and raceways is limited by time of exposure and very low oxygen concentration. It is thus likely that the extractable, soot-like material in the blast furnace dust originated in tars is released by the injectant coal. Our results suggest that the unburned tars were thermally altered during the upward path within the furnace, giving rise to the formation of heavy molecular weight (soot-like) materials.     

HCl中咪唑衍生物复配对碳钢的缓蚀作用研究

研制了一种咪唑衍生物(BBIM),利用失重法、动电位扫描极化法及SEM研究了BBIM与碘化钾和甲醛在质量分数5%HCl中按一定比例复配对碳钢的缓蚀效果,讨论了浓度、温度对缓蚀性能的影响,同时对缓蚀机理进行了探讨.结果表明两种复配缓蚀剂在5%HCl腐蚀环境中对碳钢均具有良好的缓蚀作用,是一种混合型缓蚀剂,缓蚀作用机理为协同机理.     

一种基于最小熵准则的SAR图像自聚焦算法

研究了一种新颖的SAR图像自聚焦算法。该方法从复图像域出发 ,利用最小熵准则盲解卷积原理 ,通过多维搜索完成相位误差校正。同相位梯度自聚焦算法相比 ,最小熵算法无需在图像域分离出强点目标 ,因而特别适用于无任何明显特征的图像。仿真及实测数据处理结果证明了该方法的有效性     

以联苯二胺和水为中心配体的三角三核钼原子簇合物的研究

以簇合物[Mo3O2(CH3COO)6(H2O)3]Br2·2H2O和联苯二胺为原料,在乙醇溶剂中通过置换反应合成出新的三角三核钼簇合物,经紫外光谱分析、红外光谱分析、核磁共振谱分析、元素分析确定该簇合物的组成为[Mo3O2(CH3COO)6(H2O)(NHC6H4C6H4NH2·2H+)2]Br4·10H2O,并确定了该簇合物的结构.     

基于子波变换的消噪方法在涡街流量传感器中的应用

基于子波变换消噪原理，结合流量测量持定要求，提出了一种适用于在涡街流量传感器信号处理的单支重构滤波方法，同时给出了滤波级数的选取方法，这种计数方法能够有效地扩大涡街流量传感器的量程下降，通过对实际信号的分析，证实了方法的有效性。     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

3连通图生成树上的可去边

摘要：设G是3连通图，e是G中的一条边．若G—e是3连通图的一个剖分．则称e是3连通图G的可去边．否则，称e是G的不可去边．本文给出某些3连通图的生成树上可去边的分布情况及数目。     

水泥厂设备管理多层分布系统及优化设计的实现

作者研究了水泥厂设备管理多层分布系统结构的设计及其良好扩展性的实现，重点针对一般MIS系统忽视效益的弊病，建立了一种设备优化管理的平台，该平台可使企业提高管理效益．