基于素性检验思想的不可约多项式判断

论文将Fermat素性检验的思想运用于不可约多项式的判断,给出了一个对于不可约判断问题的Monte Carlo 算法,分析了该算法的计算复杂度问题,并且给出了次数在200以内的检验结果。     

台北101层国际金融中心之结构施工技术与其设计考量概述

本文旨在简要说明目前正在施工中之超高层大楼—台北国际金融中心之结构系统、钢结构工程、钢筋混凝土工程基础与深开挖工程等特殊施工技术,并佐以相关之设计考量与施工规划概要,以供工程界做参考。     

Indicators for inspection and maintenance planning of concrete structures

Based on an idea introduced by Benjamin and Cornell (1970. Probability, statistics and decision for civil engineers. New York: McGaw Hill) and previous works by the authors it is demonstrated how condition indicators may be formulated for the general purpose of quality control and for assessment and inspection planning in particular. The formulation facilitates quality control based on sampling of indirect information about the condition of the considered components. This allows for a Bayesian formulation of the indicators whereby the experience and expertise of the inspection personnel may be fully utilized and consistently updated as frequentistic information is collected. The approach is illustrated on an example considering a concrete structure subject to corrosion. It is shown how half-cell potential measurements may be utilized to update the probability of excessive repair after 50 years. Furthermore in the same example it is shown how the concept of condition indicators might be applied to develop a cost optimal maintenance strategy composed of preventive and corrective repair measures.     

A simplified expression for the hard-sphere dimer fluid radial distribution function

Recently, in our laboratory a closed form expression for the correlation function of the hard-sphere dimer fluid obtained from Wertheims multidensity Ornstein-Zernike integral equation theory with Percus-Yevick approximation was presented by Kim et al. [2001]. However, it is difficult to apply its expression to perturbation theory and vapor-liquid equilibria calculations, since it is of very complex form. In this work, we present a simplified expression for the first shell of the radial distribution function (RDF) of the hard-sphere dimer fluid using a series expansion of the analytical expression. The expansion is carried out in terms of both the packing fraction and the radial distance. Expressions are also obtained for the coordination number and its first and second derivatives as functions of radial distance and packing fraction. These expressions, which are useful in perturbation theory, are simpler to use than those obtained from the starting equation, while giving good agreement with the original expression results. Then we present an simplified equation of state for the square-well dimer fluid of variable well width (λ) based on Barker-Henderson perturbation theory using its expression for the radial distribution function of the hard-sphere dimer fluid, and test its expression with NVT and Gibbs ensemble Monte Carlo simulation data [Kim et al., 2001].     

基于Struts框架的科研资源计划系统的应用研究

Struts是基于模型视图控制体系(MVC)的Web应用框架。详细介绍了基于MVC体系的Struts工作原理，探讨应用Struts框架构建企业级应用系统的步骤及方法。给出了基于Struts的科研资源计划系(SRRPS)的设计实现，结果表明Struts框架能极大地提高系统的可扩展性、可重用性及可维护性。     

Contractor Prebid Planning Principles

Planning is an essential function of project management. Yet, many small- and medium-sized contractors do a relatively poor job of operational planning. Better prebid plans will reduce costs, shorten schedules, and improve labor productivity. Unfortunately, the published literature offers little guidance for smaller contractors on what constitutes effective planning. Most papers describe planning as a macrolevel process for owners. Most emphasize scope definition for industrial projects. This paper describes a microlevel planning process for contractors. It consists of eight steps which are: (1) assess contract risks; (2) develop a preliminary execution plan; (3) develop site layout plans; (4) identify the sequences that are essential-to-success; (5) develop detailed operational plans; (6) develop proactive strategies to assure construction input into design; (7) revise the preliminary plan; and (8) communicate and enforce the plan. The entire process is illustrated with a case study project and is fully illustrated with figures which show how to integrate the work of multiple contractors, keep key resources (crews or equipment) fully engaged with no downtime, provide time buffers so the work of follow on crews can be efficiently done, expedite the schedule using multiple work stations and concurrent work, ways to communicate the work plan to the superintendent and foremen, and how to assess the feasibility of various work methods. The steps are easy to understand and implement. They will yield immediate positive results.     

Generation and selection of likely interpretations during plan recognition in task-oriented consultation systems

This paper presents a mechanism which infers a user's plans from his/her utterances by directing the inference process towards the more likely interpretations of a speaker's statements among many possible interpretations. Our mechanism uses Bayesian theory of probability to assess the likelihood of an interpretation, and it complements this assessment by taking into consideration two aspects of an interpretation: its coherence and its information content. The coherence of an interpretation is determined by the relationships between the different statements in the discourse. The information content of an interpretation is a measure of how well defined the interpretation is in terms of the actions to be performed on the basis of this interpretation. This measure is used to guide the inference process towards interpretations with higher information content. The information content of an interpretation depends on the specificity and the certainty of the inferences in it, where the certainty of an inference depends on the knowledge on which the inference is based. Our mechanism has been developed for use in task-oriented consultation systems. The particular domain that we have chosen for exploration is that of travel booking.     

重建思想的能力：批评的理论化与理论的批评化

批评是理论与实践的重要中介。建筑批评变革的普遍要求反映了人们对批评现状的不满和对批评中理论建设的呼声。批评的理论化和理论的批评化是探索这种理论建设的一条重要途径，它为我们重建思想的能力提供了可能性。     

Unified equation of state based on the lattice fluid theory for phase equilibria of complex mixtures part I. Molecular thermodynamic framework

Consistent calculation of fugacities of fluid mixtures remains as one of the most important subjects in contemporary molecular thermodynamics. In practice, equations of state (EOSs) and g^E-models have been used. However, most EOSs are erroneous for condensed phases at high densities and g^E-models are inapplicable for pressuresensitive systems. Recently to remedy the shortcomings in both approaches, there has been a surge of new g^E-EOS mixing rules. By equating any set of EOS and g^E-models, the limitations in both approaches could be resolved significantly. However, the self-consistency in the underlying concept of those mixing rules remains controversial. During the last several years, the present authors proposed a new lattice-fluid EOS and its simplification relevant to phase equilibrium calculations. Without employing any g^E-EOS mixing rule and with only two parameters for a pure component and one adjustable interaction energy parameter for a binary mixture, results obtained to date demonstrated that the EOSs are quantitatively applicable to a great variety of phase equilibrium properties of mixtures, especially, for complex and/or macromolecular systems. In the present article we summarize the EOSs and extended the applications to liquid-liquid Equilibria. In part I, we discussed briefly the molecular thermodynamic aspects of general derivation of the EOS and a brief discussion of applying the EOSs to pure fluids while the illustrative application to various real mixture systems is discussed in part II.     

Public grid computing participation: An exploratory study of determinants

Using the Internet, “public” computing grids can be assembled using “volunteered” PCs. To achieve this, volunteers download and install a software application capable of sensing periods of low local processor activity. During such times, this program on the local PC downloads and processes a subset of the project's data. At the completion of processing, the results are uploaded to the project and the cycle repeats.