Compile-time copy elimination

Single-assignment and functional languages have value semantics that do not permit side-effects. This lack of side-effects makes automatic detection of parallelism and optimization for data locality in programs much easier. However, the same property poses a challenge in implementing these languages efficiently. This paper describes an optimizing compiler system that solves the key problem of aggregate copy elimination. The methods developed rely exclusively on compile-time algorithms, including interprocedural analysis, that are applied to an intermediate data flow representation. By dividing the problem into update-in-place and build-in-place analysis, a small set of relatively simple techniques—edge substitution, graph pattern matching, substructure sharing and substructure targeting—was found to be very powerful. If combined properly and implemented carefully, the algorithms eliminate unnecessary copy operations to a very high degree. No run-time overhead is imposed on the compiled programs.     

关于最远点判定及直径的唯一性

给出了点到有界集最远点的一些必要或充分条件，然后对直径的唯一性也给出了一些判定条件。     

用APACHE+PHP+MYSQL实现网站自动更新

在分析建立自动更新网站必要性的基础上,较详细地说明了如何利用APACHE+PHP+MYSQL工具实现网站自动更新中的权限控制、资料上传、自动更新,并给出了网页的部分源代码.     

Switching between tasks of unequal familiarity: The role of stimulus-attribute and response-set selection.

It has been reported that it is harder to switch to a strong, well-practiced task from a weaker, less-practiced task than vice versa. Three experiments replicated this surprising asymmetry and investigated how it is affected by a reduction in interference between tasks. Experiment 1 progressively delayed the onset of the stimulus attribute associated with the stronger task. Experiments 2 and 3 separated the response sets of the tasks. Both manipulations reduced, without eliminating, interference of the stronger with the weaker task but reversed the asymmetry of switch costs, resulting in a larger cost of switching to the weaker task. The results are interpreted in terms of a model of the interactions between control input, task strength, and task priming. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

高应力复合型软岩巷道支护技术研究

以某矿井底车场巷道为例，通过对围岩物化分析、力学参数、地应力测试，现场工程地质调查及巷道破坏特征分析，针对该矿软岩巷道围岩变形量大和流变变形显著这两个特点，提出了一次支护采用强力锚喷网、二次支护采用锚注支护是适合该矿岩体特点的合理支护形式，并在该矿西大巷延拓及井底车场巷道、硐空修复中成功应用，取得了良好的技术经济效果。     

横泉水库旧坝体及黄土台地强夯处理实践

山西省横泉水库在原有遗留工程基础上进行重新建设，以往的4次施工，填兢了长400m、高17m左右的左岸坝体，填土约120万m^3，但坝体填筑质量极差，干客重和渗透系数根本无法满足设计要求。此次重新建设，决定对这部分干客重不迭设计要求且具有湿陷性的左岸旧坝体以及左岸黄土台地进行强夯处理，对坝体进行强夯处理在省内还是首次进行，在国内也比较少见，通过处理，坝体质量达到了设计要求，并且节约了投资，效果明显。     

基本粒子简介

介绍了基本粒子的结构和模型，指出了人类对微观世界的认识是无穷无尽的，近代天文观测已证实了宇宙往大、往小都是不可穷尽的。     

基于CPX8216硬件平台的GPRS板间切换的实现

GPRS全称通用分组无线业务,它在改进了现有GSM系统后能实现高速的数据传输。首先对GPRS系统做了简单介绍,然后在此基础上详细介绍了GPRS的板间切换在CPX8216硬件平台上的实现方法。     

热强钛合金BT25组织与性能

介绍了前苏联航空发动机用热强钛合金（或高温钛合金）BT25的发展概况，并对BT25合金的成分特点、热处理强化优点等做了进一步阐述，给出了退火状态下的物理性能，在说明热强钛合金微观组织与力学性能关系的基础上给出了BT25合金的各种力学性能。     

Efficient return algorithms for associated plasticity with multiple yield planes

A new return method for implicit integration of linear isotropic yield criteria is presented. The basic idea is to perform all the manipulations in the principal stress space and thereby achieve very simple formulae for calculating the plastic corrector stresses, based on the constant gradient of such criteria. The return formulae are in closed form and no iteration is required. The method accounts for three types of stress return: return to a single yield plane, to a discontinuity line at the intersection of two yield planes and to a discontinuity point at the intersection between three or more yield planes. The infinitesimal and the consistent elastoplastic constitutive matrix are calculated for each type of stress return, as are the conditions to ascertain which type of return is required. The method is exemplified with the Mohr–Coulomb yield criterion. Copyright © 2005 John Wiley & Sons, Ltd.