江西省钢铁领域科技发展的现状与未来

简要回顾了江西钢铁工业科技进步的历程和科技工作者的历史贡献，指出了当前江西省钢铁领域科技进步工作中值得重视的几个制约因素，在分析科技发展现状与趋势的基础上，提出了江西省钢铁领域中长期科技进步工作的战略目标、重点任务及其保障措施。     

Obituaries: Leo Joseph Postman (1918-2004).

Presents the obituary of Leo Joseph Postman, one of the most prolific psychologists of the last century. With over 250 publications to his credit, Postman died on April 22, 2004, of heart failure in Marblehead, Massachusetts, at the age of 85. His life and career accomplishments are discussed. Postman is best known for his interests in perception, serial learning, memory, and interference theory. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

金隆闪速炼铜技术进步与发展

重点介绍金隆公司投产以来整个生产系统主要技术进步及效果,并提出了今后的技术发展。金隆通过不断技术进步和自主创新,生产能力和各项技术经济指标有了大幅度提高。     

The Mediating Role of Self-Efficacy in the Development of Entrepreneurial Intentions.

The purpose of this study was to investigate the mediating role of self-efficacy in the development of students' intentions to become entrepreneurs. The authors used structural equation modeling with a sample of 265 master of business administration students across 5 universities to test their hypotheses. The results showed that the effects of perceived learning from entrepreneurship-related courses, previous entrepreneurial experience, and risk propensity on entrepreneurial intentions were fully mediated by entrepreneurial self-efficacy. Contrary to expectations, gender was not mediated by self-efficacy but had a direct effect such that women reported lower entrepreneurial career intentions. The authors discuss practical implications and directions for future research. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

技术进步与钢铁工业的可持续发展

当前钢铁工业可持续发展的主要矛盾是资源的瓶颈和环境承载的超限。在加速行业重组，实现产业结构优化的同时，技术要素的提升是解决资源与环境问题的重要手段，促进技术进步是中国钢铁工业实现可持续发展的现实途径。     

金属硅行业面临的挑战和应对策略

近年来国内外市场对金属硅的需求迅速增长,特别是有机硅材料的进步推动了金属硅行业的发展.我国有机硅产业发展潜力巨大,给金属硅行业带来了新的机遇,也提出了更高的要求.通过分析国内外金属硅生产、技术和市场状况,对中国金属硅未来的需求进行了预测,针对国内金属硅行业存在的问题从技术进步和经营管理方面提出了应对策略.     

高速列车车轮用钢研究和应用的进展

介绍了欧洲和日本高速列车车轮用钢的研究与发展情况，综述了其研究成果。高速列车车轮用钢在含碳量0．5％并添加少量微合金元素时，具有良好的强度和韧性以及抗剥离性能。     

DVD租赁优化方案

在线租赁是信息时代发展的必然趋势。在租赁过程中，网络经营者主要关注DVD的预测、购买和分配。本文提出了简单随机抽样、分类预测和关联预测等三种方法进行需求预测。针对问题一，利用需求预测得到观霜DVD的人数服从二项分布，并计算出多种可靠度下购买DVD的数量。以会员的最大满意度为目标函数，建立一个整数规划模型，得到问题二的分配方案。并计算出前30位会员的分配结果。在问题三中，我们考虑到60％的会员由于两次租赁而导致DVD可重复利用，因而，采用了两阶段购买的策略，在每个购买阶段都建立了双目标整数规划，从而得到的购买量比原来网站拥有量小，并且会员的满意度达到99．38％，本文最后还给出了考虑归还DVD周期的情形下购买与分配的模型。     

Mexitl: Multimedia in Executable Interval Temporal Logic

This paper explores a formalism for describing a wide class of multimedia document constraints, based on an interval temporal logic. We describe the requirements that arise from the multimedia documents application area, and we illustrate these requirements using several examples. Then we present the temporal logic formalism that we use. This logic extends existing interval temporal logic with a number of new features: actions, framing of actions, past operators, a projection-like operator called filter and a new handling of interval length. The notation is applied to the specification of the examples, and in particular a set of logical manipulations, providing feedback to an author, is presented. A model theory, logic and satisfaction relation are defined for the notation.     

Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems

There are two main solving schemas for constraint satisfaction and optimization problems: i) search, whose basic step is branching over the values of a variables, and ii) dynamic programming, whose basic step is variable elimination. Variable elimination is time and space exponential in a graph parameter called induced width, which renders the approach infeasible for many problem classes. However, by restricting variable elimination so that only low arity constraints are processed and recorded, it can be effectively combined with search, because the elimination of variables may reduce drastically the search tree size.In this paper we introduce BE-BB(k), a hybrid general algorithm that combines search and variable elimination. The parameter k controls the tradeoff between the two strategies. The algorithm is space exponential in k. Regarding time, we show that its complexity is bounded by k and a structural parameter from the constraint graph. We provide experimental evidence that the hybrid algorithm can outperform state-of-the-art algorithms in constraint satisfaction, Max-CSP and Weighted CSP. Especially in optimization tasks, the advantage of our approach over plain search can be overwhelming.