Methods of Verifying Continuous Automatic Belt Weighers: State and Prospects

The basic methods of verifying continuous automatic belt weighers are described. A comparative analysis of these methods on the basis of experimental studies is made and ways of implementing the results in industry are recommended.     

Clay compaction modelling by homogenization theory

The modelling of hydromechanical behavior of clayey sediments by homogenization theory is described. The rheological model of clays buried in depth requires a three-dimensional approach and laboratory experiments to quantify the model parameters. An iterative process which can be coupled to any homogenization method is used to model the porous media behavior. Hydromechanical compaction results from oedometric experiments are simulated with the proposed model.     

分置式牛津型斯特林制冷机的数值分析与实验验证

对分置式牛津型斯特林制冷机进行了数值计算 ,介绍了计算模型考虑到的众多不可逆因素。通过对计算结果与实验结果的对比 ,验证了本文数值计算的准确性 ,说明本文计算模型与数值处理方法是切实可行的     

Experimental and simulation studies of gas sorption processes in polycarbonate films

This work reports the experimental isotherms describing the concentration of oxygen and nitrogen in poly(bisphenol A carbonate-co-4,4′-(3,3,5-trimethylcyclohexylidene) diphenol carbonate) vs pressure, at 30 °C. The solubility coefficients are interpreted in terms of the Flory-Huggins theory, obtaining reasonable values for the enthalpic polymer-gas parameter. A new method is outlined to simulate the probabilities of inserting/removing a gas molecule in a host matrix already containing n molecules of gas. The simulated isotherms representing the pressure dependence of the concentration exhibit the same pattern as those experimentally obtained.     

Editorial.

With this volume, the 47-year old Canadian Journal of Psychology takes a new name and makes a renewed commitment. In retitling the journal the Canadian Journal of Experimental Psychology, the intention is to reflect more clearly what has always been the major goal of the journal--to publish the best new research in experimental psychology, both Canadian and international, in both French and English. I am honoured to become the tenth editor of the major journal for experimental psychology in Canada. CJP has served the field very well; my primary goal is to ensure that CJEP continues to do so. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.