工控软件中应用多线程技术的研究

本文概述了工控软件中应用多线程技术的原因，并进而论述了线程与进程的区别，线程的创建，终止，优先级及ＭＦＣ类库对多线程技术的支持最后，本文提出了用ＭＦＣ类库开发工控软件时采用多线程技术所遇到的问题，并给出解决方案。     

深入挖掘Avid iNEWS系统

本文主要从数据库结构、宏功能、工作站．串联单镜像、自动归档、例行性命令等方面探讨了AvidiNEWS系统，并介绍了上海文广新闻传媒集团在优化iNEWS系统时所做的努力和实践经验。     

金属化电迁移失效的圆片级监控技术

介绍3种圆片级金属化电迁移可靠性测试技术:(1)金属击穿能量技术;(2)标准圆片级电迁移加速测试技术;(3)标准圆片级等温焦耳热电迁移测试技术实验结果表明它们优于传统的电迁移寿命试验,可用作在线监控.     

Clustering via minimum volume ellipsoids

We propose minimum volume ellipsoids (MVE) clustering as an alternative clustering technique to k-means for data clusters with ellipsoidal shapes and explore its value and practicality. MVE clustering allocates data points into clusters in a way that minimizes the geometric mean of the volumes of each cluster’s covering ellipsoids. Motivations for this approach include its scale-invariance, its ability to handle asymmetric and unequal clusters, and our ability to formulate it as a mixed-integer semidefinite programming problem that can be solved to global optimality. We present some preliminary empirical results that illustrate MVE clustering as an appropriate method for clustering data from mixtures of “ellipsoidal” distributions and compare its performance with the k-means clustering algorithm as well as the MCLUST algorithm (which is based on a maximum likelihood EM algorithm) available in the statistical package R. Research of the first author was supported in part by a Discovery Grant from NSERC and a research grant from Faculty of Mathematics, University of Waterloo. Research of the second author was supported in part by a Discovery Grant from NSERC and a PREA from Ontario, Canada.     

Detection of functional states by the ‘LAMDA’ classification technique: application to a coagulation process in drinking water treatment

The present Note proposes a learning classification methodology to identify functional states on a coagulation process involved in drinking water treatment. In this work, we chose to carry out the supervised control of this process while using the LAMDA (Learning Algorithm for Multivariate Data Analysis) classification technique. The LAMDA classification technique proposes the interactive participation of the expert operator during the learning phase and in the optimisation of the classification. In this work, all information stemming from the environment process as well as expert knowledge has been aggregated and exploited. The application chosen for state identification is the Rocade drinking water treatment plant located at Marrakech, Morocco. To cite this article: B. Lamrini et al., C. R. Physique 6 (2005).     

基于企业内部网的模块化加工自动线监控系统

论述了基于企业内部网的模块化加工自动线监控系统的结构和功能，介绍了实现系统过程中的关键技术。     

Eliminating counterexamples: A Grade 8 student’s learning trajectory for contrapositive proving

This study uses a teaching experiment and retrospective analysis to develop a learning trajectory for improving a Grade 8 student’s ability to construct, critique, and validate contrapositive arguments. The study is predicated on the hypothesis that adolescents perform poorly on contrapositive reasoning tasks because they lack sufficient ways of justifying contrapositive argumentation as a viable mode of argumentation. By studying a student’s actions and comments as she develops, critiques, and validates not-the-conclusion-implies-the-conditions-are-impossible arguments for conditional claims, a promising learning trajectory for contrapositive argumentation is developed. The student’s learning trajectory demonstrates how a conception of contrapositive proving as eliminating counterexamples can be useful in developing, critiquing, and validating contrapositive arguments.     

Data-based spatial feedforward for over-actuated motion systems

For advanced motion systems there is an increasing demand for higher production throughput and accuracy. Traditionally, such systems are designed using a rigid-body design paradigm, which aims at designs with high stiffness. The alternative is to design a lightweight system and deal with the resulting flexibilities by over-actuation and over-sensing. This paper presents a data-based spatial feedforward method based on previous task trials, which aims at reducing the vibrations over the complete structure during motion. The proposed method is experimentally validated on an industrial prototype and compared to standard mass feedforward using rigid-body decoupling.     

计算机信息安全技术的应用探究

文章针对计算机信息安全,从信息系统安全体系进行探讨,通过构建BLP多级安全模型与监视器的方式,从而保障系统的安全。     

超声波煤矿围岩巷道两邦变化监测装置研究

针对煤矿开采过程中,围岩巷道两邦岩石层应力发生变化引起煤矿事故的情况,从提高发射模块的发射功率和接收模块的灵敏度出发,采用中频变压器和索尼公司的CX20106A芯片设计发射和接收电路,从而设计出一种成本低廉、精度高、稳定性好的超声波煤矿围岩巷道两邦变化监测装置的方案。