基于离散泰勒级数的新型联想记忆系统

基于离散泰勒级数提出一种对任意阶多维函数可实现无差逼近的新型联想记忆系统，详细讨论了该系统的插值算法、训练规则及寻址机制，新型联想记忆系统相对于CMAC具有逼近精度更高、占用存储单元较少、学习速度较快等优点，该系统在信号处理、模式识别、过程建模及高精度实时智能控制等领域具有广泛的应用价值，仿真实例表明了系统的可行性与有效性。     

Violet

Violet is an easy-to-use theorem prover based on locking resolution, with integrated equality extensions that use term rewriting and Knuth–Bendix completion. Violet participated in the CADE-13 ATP System Competition.     

长短皿浊度仪原理及特性的研究

详细阐述了长短皿浊度仪的原理及特性，该仪器由于采用了长短皿，可减小光窗污染对测量的影响。该仪器用无浊水校正零点，用固定光圈校正终点，可以使分析工作者去配制标准溶液校正仪器的麻烦。     

Memory Management for Real-Time Java: An Efficient Solution using Hardware Support*

This paper addresses the issue of improving the performance of memory management for real-time Java applications, building upon the real-time specification for Java (RTSJ) from the Real-Time Java Expert Group. In a first step, a collecting dynamic memory solution including both a real-time garbage collector and region-based memory management, is proposed. A thorough analysis of the parameters influencing the performance of write barriers in memory management, together with ways of improvement are then presented. Finally, the implementation of a memory management solution compliant with the RTSJ and integrating the proposed improvements is sketched.     

FEM for evaluation of weight functions for SIF, COD and higher-order coefficients with application to a typical wedge splitting specimen

In the evaluation of accurate weight functions for the coefficients of first few terms of the linear elastic crack tip fields and the crack opening displacement (COD) using the finite element method (FEM), singularities at the crack tip and the loading point need to be properly considered. The crack tip singularity can be well captured by a hybrid crack element (HCE), which directly predicts accurate coefficients of first few terms of the linear elastic crack tip fields. A penalty function technique is introduced to handle the point load. With the use of these methods numerical results of a typical wedge splitting (WS) specimen subjected to wedge forces at arbitrary locations on the crack faces are obtained. With the help of appropriate interpolation techniques, these results can be used as weight functions. The range of validity of the so-called Paris equation, which is widely used in the evaluation of the COD from the stress intensity factors (SIFs), is established.     

Structured Latent Curve Models for the Study of Change in Multivariate Repeated Measures.

This article considers a structured latent curve model for multiple repeated measures. In a structured latent curve model, a smooth nonlinear function characterizes the mean response. A first-order Taylor polynomial taken with regard to the mean function defines elements of a restricted factor matrix that may include parameters that enter nonlinearly. Similar to factor scores, random coefficients are combined with the factor matrix to produce individual latent curves that need not follow the same form as the mean curve. Here the associations between change characteristics in multiple repeated measures are studied. A factor analysis model for covariates is included as a means of relating latent covariates to the factors characterizing change in different repeated measures. An example is provided. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

分布式存储环境下的加性Schwarz方法

引言 区域分裂方法起源于古老的schwarz交替方法[l].八十年代末期,法国数学家P.L.LionS提出了schwarz交替方法的投影解释[2一4],使得人们对schwarz交替方法有了全新的认识,为其进一步发展奠定了理论基础.由于并行计算环境的逐渐成熟以及预处理技术的兴起和大规模科学计算的需要,由严格串行的scliwarz交替方法发展了多种可完全并行的     

Surface Actuation of Lightweight Mirrors with Shape Memory Alloy

The ability to create lightweight mirrors that can maintain surface accuracy is a major technical challenge for future space telescopes. Processing-induced errors and surface errors due to temperature excursions and gravity sag (zero gravity in space) make it impossible to correct the surface of thin mirror face-sheets by conventional point actuators. The challenges are compounded by the requirements for mirrors to have adequate stiffness for pointing accuracy. An experimental and analytical study was conducted to explore the feasibility of correcting the shape of lightweight (≈1 kg/m2) mirrors using a “Nitinol” (nickel-titanium) shape memory alloy (SMA). Shape memory alloys are increasingly used as smart devices in aerospace applications. Their primary advantage over other smart materials (i.e., piezo-ceramics and piezo-polymers) is in their ability to undergo large strains and displacements and thus enable the development of smart mechanisms. Active shape correction is the only means of mitigating heat and zero-gravity-induced distortions in space-based optical imaging systems. The repeatability and reliability of a possible actuation system based on properties of the SMA wires were studied by testing the stress-strain and stress recovery behavior under controlled conditions. Embedded SMA wires were then used to actuate a composite beam, and the movement induced by actuation was monitored with the Moiré interferometry method.     

快速高准确度的闪烁探测技术

闪烁探测器具有探测效率高和适于多种条件下应用等优点。但在高计数率测量时,光电倍增管出现的疲劳现象难以克服,其长期稳定性也较差。 本文提出一种措施,使闪烁探测器在每秒10~5个计数脉冲下获得了高的精度和好的稳定性。这项技术已经应用于FT-1型核子低含沙量计中。经测试表明,当每次测量历时为100秒时该仪器的计数精度和8小时长期     

Radionuclides in primary coolant of a fluoride salt-cooled high-temperature reactor during normal operation

The release of fission products from coated particle fuel to primary coolant,as well as the activation of coolant and impurities,were analysed for a fluoride salt-cooled high-temperature reactor (FHR) system,and the activity of radionuclides accumulated in the coolant during normal operation was calculated.The release rate (release fraction per unit time) of fission products was calculated with STACY code,which is modelled mainly based on the Fick's law,while the activation of coolant and impurities was calculated with SCALE code.The accumulation of radionuclides in the coolant has been calculated with a simplified model,which is generally a time integration considering the generation and decay of radionuclides.The results show that activation products are the dominant gamma source in the primary coolant system during normal operation of the FHR while fission products become the dominant source after shutdown.In operation condition,health-impacts related nuclides such as 3H,and 14C originate from the activation of lithium and coolant impurities including carbon,nitrogen,and oxygen.According to the calculated effective cross sections of neutron activation,6Li and 14N are the dominant 3H production source and 14C production source,respectively.Considering the high production rate,3H and 14C should be treated before being released to the environment.