国防计量工作改革的探讨

阐述了国防计量与民用计量的差别，计量工作的原动力以及对国防计量工作改革的探讨。     

Specification,Verification and Prototyping of an Optimized Compiler

This paper generalizes an algebraic method for the design of a correct compiler to tackle specification and verification of an optimized compiler. The main optimization issues of concern here include the use of existing contents of registers where possible and the identification of common expressions. A register table is introduced in the compiling specification predicates to map each register to an expression whose value is held by it. We define different kinds of predicates to specify compilation of programs, expressions and Boolean tests. A set of theorems relating to these predicates, acting as a correct compiling specification, are presented and an example proof within the refinement algebra of the programming language is given. Based on these theorems, a prototype compiler in Prolog is produced.     

存在噪声和未建模动态系统传递函数的渐近无偏估计

存在未建模动态时，如何去除系统传递函数估计中噪声引起的偏差是系统辨识关心的重要问题。本文将我们已提出的ＢＥＬＳ方法进行推广得出：当系统未建模动态可用－ＦＩＲ模型描述时，应用本文的方法可得到系统传递函数的无偏辨识，而不需知道有关噪声和未建模动态概率分布函数的先验知识。     

Engagement of T cell receptor triggers its recruitment to low-density detergent-insoluble membrane domains

T-cell receptors (TCRs) upon binding to peptide-MHC ligands transduce signals in T lymphocytes. Tyrosine phosphorylations in the cytoplasmic domains of the CD3 (gammadeltaepsilon) and zeta subunits of the TCR complex by Src family kinases initiate the signaling cascades via docking and activation of ZAP-70 kinase and other signaling components. We examined the role of the low-density detergent-insoluble membranes (DIMs) in TCR signaling. Using mouse thymocytes as a model, we characterized the structural organization of DIMs in detail. We then demonstrated that TCR engagement triggered an immediate increase in the amount of TCR/CD3 present in DIMs, which directly involves the engaged receptor complexes. TCR/CD3 recruitment is accompanied by the accumulation of a series of prominent tyrosine-phosphorylated substrates and by an increase of the Lck activity in DIMs. Upon TCR stimulation, the DIM-associated receptor complexes are highly enriched in the hyperphosphorylated p23 zeta chains, contain most of the TCR/CD3-associated, phosphorylation-activated ZAP-70 kinases and seem to integrate into higher order, multiple tyrosine-phosphorylated substrate-containing protein complexes. The TCR/CD3 recruitment was found to depend on the activity of Src family kinases. We thus provide the first demonstration of recuitment of TCR/CD3 to DIMs upon receptor stimulation and propose it as a mechanism whereby TCR engagement is coupled to downstream signaling cascades.     

BEM 系列原油流动性改进剂的应用

对BEM系列原油流动性改进剂的基本原理以及在中洛、濮临、东临、东黄、鲁宁、魏荆等几条原油长输管道工业应用的现场测试情况进行了介绍。结果表明，BEM系列原油流动性改进剂在降低原油凝点和粘度方面性能良好，能满足管道安全，平稳运行的要求。     

加强民用电管理的技术措施

提出并实施了住宅楼集中计量配电系统，为加强民用电管理提供了技术措施。     

广东省伴生放射性矿资源利用过程辐射水平调查

为加强伴生放射性矿物资源开发利过程中放射性环境管理 ,防治放射性污染 ,对广东省几个大型伴生矿(包括稀土矿、钽铌矿和铅锌矿 )资源利用 (开采、冶炼、加工 )过程中天然放射性核素的污染现状进行了调查。调查结果表明 :稀土矿中独居石 ,天然放射性核素含量最高 ,2 3 8U、2 3 2 Th、2 2 6Ra的含量分别为 3.5 1× 1 0 4、1 .74× 1 0 5、4 .8×1 0 4Bq/kg,其冶炼废渣中核素的含量分别为 5 .1 0× 1 0 5、6 .38× 1 0 6、1 .5 2× 1 0 6Bq/kg。稀土选冶厂周围陆地环境 γ射线的空气吸收剂量率比一般地区的高。     

位置灵敏塑料探测器阵列

本文描述了一个有效探测面积为100×70cm~2的位置灵敏塑料闪烁探测器阵列,它由两条100×5×1cm和6条100×10×1cm的Pilot U型塑料闪烁体组成。用~(252)Cfα放射源测得10cm宽的闪烁体的时间分辨、位置分辨和能量分辨分别为740ps,5.7cm和60％;5cm宽的闪烁体分别为610ps,4.7cm和40％。     

Delay-dependent state estimation for delayed neural networks

In this letter, the delay-dependent state estimation problem for neural networks with time-varying delay is investigated. A delay-dependent criterion is established to estimate the neuron states through available output measurements such that the dynamics of the estimation error is globally exponentially stable. The proposed method is based on the free-weighting matrix approach and is applicable to the case that the derivative of a time-varying delay takes any value. An algorithm is presented to compute the state estimator. Finally, a numerical example is given to demonstrate the effectiveness of this approach and the improvement over existing ones.     

大庆外围盆地侏罗纪-早白垩世早期古气候研究

为扩大勘探领域，运用古生物资料对大庆外围盆地的古气候进行了研究，外围盆地株罗纪－早白垩世早期发育的地层有早侏罗世海拉尔盆地的东宫组，中侏罗世三江盆地的绥滨断陷的绥滨组，晚侏罗世三江盆地的东荣组，虎林盆地的裴德组，七虎林组，早白垩世早期鸡西盆地，三江盆地的滴道组，城子河组、穆棱组，虎林盆地的下云山组，上云山组，在这些组中除晚株罗世东荣组，裴德组，七虎林组外，其它各组都产有比较丰富的孢粉化石，未发现孢粉化石的层位，依据植物化石，得出早株罗世东营组为潮湿的暖温带气候，中侏罗世绥滨组为潮湿的北亚热带气候，晚侏罗世为潮湿的暖温带气候，早白垩世早期滴道组，下云山组为潮湿的北亚热带气候，城子河组、上云山组为潮湿的中亚热带气候，穆棱组为潮湿的南亚热带气候。