几何设计约束的表示与满足问题研究

对于智能ＣＡＤ系统来说，具有解决几何设计约束的功能是重要的。本文提出了一种面向对象的几何设计约束表示方法，它可以通过两种方式来表达。文中给出了一个约束传播算法，用于解决约束满足问题。     

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.     

Rank order filters and priority queues

Summary A derivation of a parallel algorithm for rank order filtering is presented. Both derivation and result differ from earlier designs: the derivations are less complicated and the result allows a number of different implementations. The same derivation is used to design a collection of priority queues. Both filters and priority queues are highly efficient: they have constant response time and small latency. Anne Kaldewaij received an M.Sc. degree in Mathematics from the University of Utrecht (The Netherlands) and a Ph.D. degree in Computing Science from the Eindhoven University of Technology. Currently, he is associate professor in Computing Science at Eindhoven University. His research includes parallel programming and the design of algorithms and data structures. He enjoys teaching and he has written a number of textbooks on mathematics and programming. Jan Tijmen Udding received an M.Sc. degree in Mathematics in 1980 and a Ph.D. degree in Computing Science in 1984 from Eindhoven University of Technology. Currently, he is associate professor at Groningen University. His main research interests are mathematical aspects of VLSI, program derivation and correctness, and functional programming.     

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

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

The design of experiments when there are errors in all the variables

The Error-in-Variables Model (EVM) applies to a large class of problems in parameter estimation in which there is error in all the variables. This property makes it of more general applicability than the widely used technique of ordinary Least Squares. While there is a voluminous literature on EVM there is nothing on a general method for designing experiments when EVM applies. In this paper we present an extension of the concept of D-optimality to provide such a general method. It is illustrated by applying it to the estimation of copolymer reactivity ratios and to fitting an ellipse.     

Sky blue,but what blue? A new evaluation of the colors of the sky for artists and designers

This study describes a process of relating the perceptual analysis of the colors of the terrestrial atmosphere to currently available pigments used in artists' painting systems. This process sought to discover how the colors of the sky could be defined and simulated by these pigments. The author also describes how confusion over the bewildering choice of suitable pigments on offer in the market place can be clarified. © 2006 Wiley Periodicals, Inc. Col Res Appl, 32, 249–255, 2007     

Design for a high power-density Astron reactor

A liquid lithium blanket surrounding the plasma volume is described. The liquid lithium flows along magnetic flux tubes at a high speed. There is no vacuum wall between the blanket and the plasma. The E-layer of relativistic particles within which the plasma is confined serves as a vacuum wall protecting the plasma from the lithium vapor, which is continuously produced at the surface of the blanket, by ionizing the lithium atoms and ejecting the same along open magnetic lines. The heat load at the surface of the blanket generated by 14 MeV neutrons can be several hundred MW per square meter.Work performed under the auspices of the U.S. Atomic Energy Commission.Deceased September 24, 1972.     

Relative importance of evaluation criteria for enterprise systems: a conjoint study

Abstract.  While a large body of research exists on the development and implementation of software, organizations are increasingly acquiring enterprise software packages [e.g. enterprise resource planning (ERP) systems] instead of custom developing their own software applications. To be competitive in the marketplace, software package development firms must manage the three-pronged trade-off between cost, quality and functionality. Surprisingly, prior research has made little attempt to investigate the characteristics of packaged software that influence management information system (MIS) managers' likelihood of recommending purchase. As a result, both the criteria by which MIS managers evaluate prospective packaged systems and the attributes that lead to commercially competitive ERP software products are poorly understood. This paper examines this understudied issue through a conjoint study. We focus on ERP systems, which are among the largest and most complex packaged systems that are purchased by organizations. In a conjoint study, 1008 evaluation decisions based on hypothetical ERP software package profiles were completed by managers in 126 organizations. The study represents the first empirical investigation of the relative importance that managers ascribe to various factors that are believed to be important in evaluating packaged software. The results provide important insights for both organizations that acquire such systems and those that develop them. The results show that functionality, reliability, cost, ease of use and ease of customization are judged to be important criteria, while ease of implementation and vendor reputation were not found to be significant. Functionality and reliability were found to be the most heavily weighted factors. We conclude the paper with a detailed discussion of the results and their implications for software acquisition and development practice.     

Analysis and design of Hermite subdivision schemes

Published online: 14 May 2002