清代皇家园林规划设计控制的量化研究——以圆明三园、清漪园为例

本文通过量化分析探索了清代皇家园林规划设计的控制规律及相关理论。     

宣钢1260 m3高炉扩容大修改造设计

宣钢l260m^3高炉大修改造时将炉容扩大到l350m^3，对高炉本体系统设备及冷却系统、自动控制及检测系统进行了全面的改造更新，在炉腹、炉腰及炉身下部高热负荷区域采用铜冷却壁，取消炉身中上部铸铁冷却壁凸台，并采用薄内衬等先进、适用、可靠、成熟的技术。     

Line balancing in a just-in-time production environment: balancing multiple U-lines

The introduction of multiple, independent production lines has helped many firms to increase their production flexibility, provide for redundancy when equipment breaks down, reduce idle time and labor costs, and achieve many other benefits. This paper introduces and formalizes the multiple U-line balancing problem. Optimal solution methodologies are provided for Type I (minimize the number of stations for a given cycle time), Type II (minimize the cycle time for a given number of stations), and cost-minimization line-balancing problems. A branch-and-bound algorithm is also developed for the situation in which equipment requirements are dependent on the line configuration and the task assignment to stations. Computational results indicate that the greatest benefit of exploiting multiple lines occurs for smaller cycle-time problems that require higher output.     

室内设计中绿色设计的功效

绿色设计是一种将功能主义与可持续发展思想相结合的设计。文中就其形成的背景、设计原理及在室内设计领域中的应用进行一些探讨。     

Web-based systems design: a study of contemporary practices and an explanatory framework based on “method-in-action”

This paper reports the findings of a detailed study of Web-based systems design (WBSD) practices in Ireland based on data collected over a 3-year period (2002–2005), the objectives of which were to (1) contribute towards a richer understanding of the current “real-world” context of WBSD by characterising the profile of a typical project (team size, timeframe, nature of requirements, etc.) and identifying the key challenges, constraints, and imperatives (i.e. “mediating factors”) faced by Web-based system designers, and (2) understand how those contextual parameters and mediating factors influence the activity of WBSD as regards the selection and enactment of whatever design practices are therefore engaged (i.e. the use of methods, procedures, etc.). Data was gathered through a survey which yielded 165 usable responses, and later through a series of semi-structured qualitative interviews. Using grounded theory, an explanatory conceptual framework is derived, based on an extension of the “method-in-action” model, the application of which to WBSD has not been previously investigated in depth. It is proposed that this framework of WBSD issues is valuable in a number of ways to educators, researchers, practitioners, and method engineers.     

应用均匀设计法研究安息香缩合工艺

利用均匀设计法通过SPSS10.0计算机软件研究了反应条件对安息香缩合的影响。从而获得优化的工艺条件，与正交试验相比，该法试验次数少。工作效率高，并且便于分析各种因素的影响。     

Optimal task allocation in hypercube multiprocessor ensembles

Criteria are established to determine the optimal policy for allocating a set of uniform tasks onto a multiprocessor hypercube ensemble. It is shown that the optimal policy depends on the ratio of computation to intertask communication required by the distributed program, and that based on this ratio, tasks should be placed either all on one processor or uniformly distributed over the largest possible hypercube.     

层状催化剂颗粒的优化设计——双组分等温平行反应体系

针对双组分等温平行反应体系,分析讨论了以提高催化剂活性和选择性为目标时催化剂活性组分的最优分布形式(为δ-函数分布),并给出了确定这种反应体系的催化剂的最佳活性层位置的计算方法。结果表明:以提高选择性为目标的最佳活性层位置比以提高活性为目标的要更靠近催化剂核心,实用的最优位置应介于二者之间。最后,本文还研究了反应动力学级数、本性选择性以及内扩散模数(Thiele 模数)等因素对最佳活性层位置的影响。     

Formal methods: The next generation of system design tools

Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced.