硅微机械梳齿静电谐振器的建模与分析

基于参数化的计算机辅助设计（CAD）软件，对硅微机械梳齿静电谐振器进行了实体建模，以有限元分析软件为工具，进行了谐振器的模态分析，静态分析和谐响应分析，初步揭示了谐振器的静、动态特性，有助于改善设计效率和质量，展示了计算机辅助工程（CAE）技术在微机电系统（MEMS）研究中的重要作用。     

Formation and growth mechanism of TiC crystal in TiC_p/Ti composites

1　ＩＮＴＲＯＤＵＣＴＩＯＮＰａｒｔｉｃｌｅｓｒｅｉｎｆｏｒｃｅｄｔｉｔａｎｉｕｍａｌｌｏｙｍａｔｒｉｘｃｏｍｐｏｓｉｔｅｓ(ＴＭＣｐ)ｈａｖｅｗｉｄｅａｐｐｌｉｃａｔｉｏｎｆｉｅｌｄｓｆｏｒｔｈｅｉｒａｔｔｒａｃｔｉｖｅｈｉｇｈｓｐｅｃｉｆｉｃｓｔｒｅｎｇ     

Activity-dependent changes in voltage-dependent calcium currents and transmitter release

The use of capillary electrophoresis (CE) for clinically relevant assays is attractive since it often presents many advantages over contemporary methods. The small-diameter tubing that holds the separation medium has led to the development of multicapillary instruments, and simultaneous sample analysis. Furthermore, CE is compatible with a wide range of detectors, including UV-Vis, fluorescence, laser-induced fluorescence, electrochemistry, mass spectrometry, radiometric, and more recently nuclear magnetic resonance, and laser-induced circular dichroism systems. Selection of an appropriate detector can yield highly specific analyte detection with good mass sensitivity. Another attractive feature of CE is the low consumption of sample and reagents. However, it is paradoxical that this advantage also leads to severe limitation, namely poor concentration sensitivity. Often high analyte concentrations are required in order to have injection of sufficient material for detection. In this regard, a series of devices that are broadly termed 'analyte concentrators' have been developed for analyte preconcentration on-line with the CE capillary. These devices have been used primarily for non-specific analyte preconcentration using packing material of the C18 type. Alternatively, the use of very specific antibody-containing cartridges and enzyme-immobilized microreactors have been demonstrated. In the current report, we review the likely impact of the technology of capillary electrophoresis and the role of the CE analyte concentrator-microreactor on the analysis of biomolecules, present on complex matrices, in a clinical laboratory. Specific examples of the direct analysis of physiologically-derived fluids and microdialysates are presented, and a personal view of the future of CE in the clinical environment is given.     

Evaluating the impact of CASE: an empirical comparison of retrospective and cross-sectional survey approaches

The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions.     

一种多晶硅高温压力传感器

制作压力传感器时，在二氧化硅层上淀积多晶硅膜，既可利用优良的机械特性，又可保证压敏电阻与衬底间具有良好的绝缘性，由此可大大提高器件的温度特性。介绍了一种多晶硅压力传感器的原理和设计。实验结果表明，这类传感器具有灵敏度好，精度高等特点，电路工作范围为０－２５０℃，且具有良好的温度稳定性。     

冶金过程中复杂夹杂物和钢液化学平衡计算

本文提出一个同温冶炼过程中预测非金属夹杂物沉淀的计算机程序。本研究中，多元硅酸盐溶体的Ｇｉｂｂｓ自由能由基于统计热力学的晶胞模型来计算，该晶胞模型按照氧与周围的阳离子构成的对称和非对称晶胞来描述硅酸盐熔体结构，假定高温冶炼时认与非金属夹杂物平衡，钢液中氧化物元素的活度由Ｗａｇｎｅｒ交互作用系数来计算，利用本程序可以估计炼钢时沉淀的非金属氧化物的成分，为调整冶炼工艺和提高产品质量提供指导，进一步可计     

Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

Learning concepts in parallel based upon the strategy of versionspace

Applies the technique of parallel processing to concept learning. A parallel version-space learning algorithm based upon the principle of divide-and-conquer is proposed. Its time complexity is analyzed to be O(k log₂n) with n processors, where n is the number of given training instances and k is a coefficient depending on the application domains. For a bounded number of processors in real situations, a modified parallel learning algorithm is then proposed. Experimental results are then performed on a real learning problem, showing that our parallel learning algorithm works, and being quite consistent with the results of theoretical analysis. We conclude that when the number of training instances is large, it is worth learning in parallel because of its faster execution