集成基础结构中应用服务器的研究与开发

通过对集成基础结构中应用服务器的功能需求分析，采用面向对象方法、矩阵理论和Ｐｅｔｒｉ网技术研究了应用服务器系统的实现策略，并依据智能工程理论给出了应用服务器的系统结构。     

漳泽水库最优兴利调度研究

漳泽水库供水能力下降。优化调度方式是提高水库效益的最有效途径。通过采用随机动态规划方法与模拟模型交互运算得到现行控制水位的水库优化调度图。采用同样方法对不同控制水位的水库运行方式进行优化调度，选出的规划水库最优控制水位为汛限水位９０４ ．５ ｍ ，正常高水位９０５ ．５ ｍ 。优化的控制水位方案在保障水库防洪安全的前提下可供给城市生活和工业用水６ ３００ 万ｍ３ ，较现行控制水位下的供水量提高１ ２５５ 万ｍ３ 。但农业用水仍然不足，应采取一定措施给予解决，如对灌区工程进行改造，因地制宜采取不同节水措施和污水回用等。     

Introductory Paper

In today’s competitive market designing of digital systems (hardware as well as software) faces tremendous challenges. In fact, notwithstanding an ever decreasing project budget, time to market and product lifetime, designers are faced with an ever increasing system complexity and customer expected quality. The above situation calls for better and better formal verification techniques at all steps of the design flow. This special issue is devoted to publishing revised versions of contributions first presented at the 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) held 21–24 October 2003 in L’Aquila, Italy. Authors of well regarded papers from CHARME’03 were invited to submit to this special issue. All papers included here have been suitably extended and have undergone an independent round of reviewing.     

Performance characteristics of a therapeutic ultrasound wire waveguide apparatus

Therapeutic ultrasound angioplasty has been investigated, clinically, by a number of researchers and represents a potentially promising therapy for the treatment of atherosclerotic lesions. To date, there has been no detailed analysis of the effect of mechanical design parameters, such as wire geometry or damping characteristics, on wire waveguide performance. An apparatus capable of delivering therapeutic ultrasound down small diameter nickel–titanium (NiTi) wire waveguides is described. The output peak-to-peak (p–p) displacements at the distal tip of a 1.0 mm diameter waveguide were measured experimentally, by means of an optical microscope and image analysis software. The output was measured for a range of waveguide lengths from 118 to 303 mm. Wire waveguide distal tip displacements as high as 98 μm (p–p) at 23.5 kHz were measured. For the range of lengths tested, the experimental measurements show the critical relationship between the length of the waveguide and the output distal tip displacements. A finite element model that can predict the resonant frequencies and distal tip displacements of various wire waveguide geometries and configurations, including the effect of damping, is presented. This numerical model has been validated against the experimental displacement data obtained. This will be a valuable design tool for ensuring the safety and effectiveness of therapeutic ultrasound angioplasty procedures.     

Bayesian inference in disputed authorship: A case study of cognitive errors and a new system for decision support

Bayesian inference provides a formal framework for assessing the odds of hypotheses in light of evidence. This makes Bayesian inference applicable to a wide range of diagnostic challenges in the field of chance discovery, including the problem of disputed authorship that arises in electronic commerce, counter-terrorism and other forensic applications. For example, when two documents are so similar that one is likely to be a hoax written from the other, the question is: Which document is most likely the source and which document is most likely the hoax? Here I review a Bayesian study of disputed authorship performed by a biblical scholar, and I show that the scholar makes critical errors with respect to several issues, namely: Causal Basis, Likelihood Judgment and Conditional Dependency. The scholar’s errors are important because they have a large effect on his conclusions and because similar errors often occur when people, both experts and novices, are faced with the challenges of Bayesian inference. As a practical solution, I introduce a graphical system designed to help prevent the observed errors. I discuss how this decision support system applies more generally to any problem of Bayesian inference, and how it differs from the graphical models of Bayesian Networks.     

Fast, large-scale model predictive control by partial enumeration

Partial enumeration (PE) is presented as a method for treating large, linear model predictive control applications that are out of reach with available MPC methods. PE uses both a table storage method and online optimization to achieve this goal. Versions of PE are shown to be closed-loop stable. PE is applied to an industrial example with more than 250 states, 32 inputs, and a 25-sample control horizon. The performance is less than 0.01% suboptimal, with average speedup factors in the range of 80-220, and worst-case speedups in the range of 4.9-39.2, compared to an existing MPC method. Small tables with only 25-200 entries were used to obtain this performance, while full enumeration is intractable for this example.     

Dichotomous behavior of polymer melts in isothermal melt spinning

Isothermal melt spinning experiments have been conducted using two polyethylene melts of low density (LDPE) and high density (HDPE) to produce steady state spinline profiles. The data revealed the threadline extensional viscosity exhibiting a contrasting picture : extension thickening behavior for LDPE and extension thinning one for HDPE. A White-Metzner model having a strain rate-dependent relaxation time was then found to be able to simulate this dichotomy in melt spinning fairly well: the fluids whose relaxation times have smaller strain rate-dependence can fit LDPE data with extension thickening extensional viscosity whereas the fluids whose relaxation times have larger strain rate-dependence can fit HDPE data with extension thinning extensional viscosity. This dichotomous nature of viscoelastic fluids is also believed to be able to explain other similar contrasting phenomena exhibited by polymer melts, such as vortex/no vortex in entry flows, cohesive/ductile fracture modes in extension, and more/less stable draw resonance than Newtonian fluids.     

CAL delivery selection criteria and authoring systems

Abstract  In the past, authoring systems have been used to generate computer-assisted learning materials that have often followed the rather restrictive programmed learning format. A number of innovative ways of using recently developed systems to develop CAL packages that include a wider range of learning activities (access to data bases, simulations, interactive video, etc.) are described. Analogous to the concept of a media selection model, a computer delivery mode selection model is presented as an aid to decision making for designers. This increase in flexibility should broaden the applicability of computerassisted learning (CAL) to a wider range of educational objectives and raise the level of the cognitive emphasis in learning packages, as well as facilitate the implementation of visually appealing materials. The paper also implies a standard of acceptability for authoring systems.     

Current collecting efficiency of micro tubular SOFCs

In this study, current collecting efficiency of the micro tubular solid oxide fuel cell (SOFC) was estimated to determine optimum size of the micro tubular SOFC. Two models for collecting current from single terminal (ST) and double terminal (DT) of anode tube were proposed and used to calculate the current collecting efficiency as functions of anode thickness, tube length and operating temperature. It was shown that design of the cell geometry and current correcting method are significantly important to achieve high performance micro tubular SOFC stacks. The efficiency loss estimated from the DT model was about 2–4-fold lower than those of obtained from the ST model. The DT model was shown to be more effective for higher operating temperature and the tube length.