高职院校实施素质教育的路径

高职院校作为培养高级应用型专门技术人才的基地和摇篮．肩负着重大的历史使命。在新形势下．高职院校要树立以人为本的教育观念、注重学习实践创新能力培养、坚守德才兼备的根本性原则。如此．方能切实地实施素质教育。     

Selectors Make Set-Based Analysis Too Hard

A set-based program analysis establishes constraints between sets of abstract values for all expressions in a program. Solving the system of constraints produces a conservative approximation to the program's runtime flow of values. Some practical set-based analyses use explicit selectors to extract the relevant values from an approximation set. For example, if the analysis needs to determine the possible return values of a procedure, it uses the appropriate selector to extract the relevant component from the abstract representation of the procedure. In this paper, we show that this selector-based approach complicates the constraint solving phase of the analysis too much and thus fails to scale up to realistic programming languages. We demonstrate this claim with a full-fledged value flow analysis for case-lambda, a multi-branched version of lambda. We show how both the theoretical underpinnings and the practical implementation become too complex. In response, we present a variant of set-based closure analysis that computes equivalent results in a much more efficient manner.     

尼龙护套电线印字缺陷的分析及改进的措施

阐述了尼龙护套电线印字过程中,经常出现的几种缺陷,并对这些缺陷产生的原因进行了分析,尤其对印字拖印问题,进行了详细和深入的分析,并提出了一系列的改进措施。     

C pm MPPAC for manufacturing quality control applied to the precision voltage reference process

The multiprocess performance analysis chart (MPPAC) based on the process capability index C_pm, called C_pm MPPAC, is developed for analysing the manufacturing quality of a group of processes in a multiple process environment. The C_pm MPPAC conveys critical information of multiple processes regarding the departure of the process and process variability from one single chart. Existing research works on MPPAC are restricted to obtaining quality information from one single sample of each process ignoring sampling errors. The information provided from existing MPPAC charts, therefore, is unreliable and misleading and results in incorrect decisions. In this paper, we consider the natural estimator of C_pm based on multiple samples. Based on the natural estimator of C_pm, we consider the sampling errors by providing an explicit formula with the Matlab program to obtain the estimation accuracy of the C_pm. We tabulate the sampling accuracy of C_pm for sample size determination so that the engineers/practitioners can use it for their in-plant applications. An example of multiple precision voltage reference (PVR) processes is presented to illustrate the applicability of C_pm MPPAC for manufacturing quality control.     

小高跨比单层单跨实腹门式刚架平面内弹性整体稳定分析

采用精确的有限元非线性分析方法对小高跨比单层单跨实腹门式刚架的平面内弹性整体稳定性进行了大量的参数分析，指出在梁上均布荷载作用下，当柱梁高跨比小于某一数值时，一般不发生传统理论所认为的反对称失稳模式，而是以对称失稳模式为主。给出了修正的柱计算长度系数，并与规范给出的数值进行了对比，认为这种对称失稳模式更不利于门式刚架的整体稳定，应该引起足够的重视。     

Benchmarking of electricity networks: Practical problems with its use for regulation

Benchmarking is a technique derived for management purposes, intended to identify outliers in any population as possible problems for resolution. Several regulatory agencies have tried to use benchmarking to define the degree of inefficiency of regulated companies, by reference to some target or frontier. This paper identifies the main problem inherent in trying to adapt a management technique to a regulatory purpose – namely that it requires the exercise of subjective judgements. The resulting lack of predictability and objectivity is not conducive to the provision of efficient regulatory incentives.This paper explains where subjective judgement enters into regulatory applications of benchmarking, which is not always apparent. The choice of model and selection of data sets are two obvious areas, but the main problem arises over the assumption that any costs not explained by the model must be due to inefficiency. Such assumptions are simply unsupported by evidence and lead to cost targets (or cost reduction targets defined over several years) that are little better than subjective guesses. There are other, superior ways to set cost reduction targets, based on long-term trends in total factor productivity for the regulated sector, which are used in the US and in other countries. However, some regulators feel obliged to use benchmarking and the paper concludes with recommendations as to how benchmarking should support further and more objective investigations into the costs of regulated utilities.     

THE IMPORTANCE OF NEUTRAL EXAMPLES FOR LEARNING SENTIMENT

Most research on learning to identify sentiment ignores "neutral" examples, learning only from examples of significant (positive or negative) polarity. We show that it is crucial to use neutral examples in learning polarity for a variety of reasons. Learning from negative and positive examples alone will not permit accurate classification of neutral examples. Moreover, the use of neutral training examples in learning facilitates better distinction between positive and negative examples.     

On stability of second-order quasi-polynomials with a single delay

In this note the stability of a second-order quasi-polynomial with a single delay is studied. Although there is a vast literature on this problem, most available solutions are limited to some particular cases. Moreover, some published results on this subject appear to contain imprecise, or even wrong, conditions. The purpose of this note is to show that by accurate application of known theories, a complete explicit characterization of stability regions can be derived in a most general case. As a byproduct of the proposed analysis, we show that in the high-order case the quasi-polynomial is delay-independent unstable whenever its delay-free version has an odd number of unstable roots (or, equivalently, a negative static gain).     

95W-Ni-Fe 合金工艺缺陷的 SAM 和 XPS 分析

藉助扫描俄歇探针、Ｘ射线光电子谱等分析了９５Ｗ－Ｎｉ－Ｆｅ合金碳污染和氧化的本质。发现，碳污染试样中碳的化学状态主要为石墨，少量为铁或镍的有机化合物，这些物质的界面富集使材料脆化。钨合金氧化后，氧大量富集于钨／粘结相界面，使沿着该界面的断裂更容易发生。     

速溶奶粉中卵磷脂含量的测定

叙述了速溶奶粉中卵磷脂的测定方法，样品通过一系列处理后，测定其磷含量，回收率为９６％￣９８％。