Electrochemical synthesis and characterization of chloride doped polyaniline

Chloride doped polyaniline conducting polymer films have been prepared in a protic acid medium (HCl) by potentiodynamic method in an electrochemical cell and studied by cyclic voltammetry and FTIR techniques. The FTIR spectra confirmed Cl^- ion doping in the polymers. The polymerization rate was found to increase with increasing concentration of aniline monomer. But the films obtained at high monomer concentration were rough having a nonuniform flaky polyaniline distribution. Results showed that the polymerization rate did not increase beyond a critical HCl concentration. Cyclic voltammetry suggested that, the oxidation-reduction current increased with an increase in scan rate and that the undoped polyaniline films were not hygroscopic whereas chloride doped polyaniline films were found to be highly hygroscopic.     

气动贯通式潜孔锤反循环连续取心取样钻进新技术在河南钼矿中应用

三道庄钼矿勘探生产中钻遇的地层非常复杂，采用其他方法均无法实现钻进，经过分析比较，决定采用贯通式潜孔锤反循环连续取心（样）钻进新技术来解决该地层钻进难、成孔难、取样难等三大问题。文章从钻进技术特点、工作原理等方面对该技术进行详细分析，得出其具有钻进效率高、岩心（样）采取率高、成孔质量好等突出优点。并介绍了钻进主要设备机具的配套、施工工序、操作要点、遇到问题的解决方法等。在河南钼矿露天采石场应用该项技术，有效避免了塌孔和卡钻事故，工程进展顺利、质量好、岩心（样）采取率在98％以上，取得了良好的效果。针对在生产试验中遇到的某些问题，作者提出了一些改进建议。     

运动饮料配方设计概论

运动中，人体生理发生一系列的变化，包括水分损失、血糖／糖原消耗、电解质损失等，导致运动中／后的疲劳和运动能力下降。以运动中人体生理特点为基础，通过讨论运动前／中／后补充水、碳水化合物及电解质的问题，论证了运动饮料配方设计的原理依据。     

MULTICARRIER DS—CDMA WITH ADAPTIVE MODULATION AND POWER ALLOCATION

Adaptive modulation and power allocation is introduced into the multicarrier DSCDMA system to improve the system performance and bandwidth efficiency.First,the system design appropriate for adaptive modulation and power allocation is given,then the algorithm of adaptive modulation and power allocation is applied.Simulation results demonstrate great performance improvement compared with the fixed modulated one.     

草酸钙在硫酸软骨素自组装膜上周期沉淀的研究

利用硫酸软骨素(chondroitin sulfate，CS)在云母基底上通过浇铸法制备的自组装膜为基底，诱导草酸钙在其上的凝集生长。发现当硫酸软骨素的浓度为1．Omg／ml时在该膜体系中可形成规整的周期性草酸钙环状沉淀。这种有序的环状结构可能是耗散结构的一种具体表现形式。利用原子力显微镜(atomic forcemicroscope，AFM)和傅立叶红外光谱仪对这种结构进行了表征，实验结果显示合适浓度下形成的CS膜在一定程度上可以抑制草酸钙的凝集结晶，表明高分子基质与无机离子间强烈的相互作用对无机盐的成核结晶有显著影响，为探讨结石的形成与抑制提供了一定的实验依据。     

Σ-ΔA/D转换技术及仿真

Σ－ΔＡ／Ｄ转换技术近年来颇受重视，因为基于该技术的Ａ／Ｄ转换器能达到很高的分辨率（１６ｂｉｔ以上），并另具一系列优点。本文对Σ－ΔＡ／Ｄ转换器的基本原理，包括过采样（Ｏｖｅｒｓａｍｐｌｉｎｇ），噪声成形（ＮｏｉｓｅＳｈａｐｉｎｇ），以及数字抽取滤波（ＤｉｇｉｔａｌＤｅｃｉｍａｔｉｏｎＦｉｌｔｅｒｉｎｇ）等内容，均作了叙述。作者还对一个２０ｂｉｔΣ－Δ转换器的算法进行了计算机仿真。该转换器采用了高阶ＭＡＳＨ噪声成形技术，而其数字抽取滤波部分则由梳状滤波器与级联的半带滤波器构成。文章中给出了仿真结果。     

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.