Interactive design exploration for constrained meshes

In architectural design, surface shapes are commonly subject to geometric constraints imposed by material, fabrication or assembly. Rationalization algorithms can convert a freeform design into a form feasible for production, but often require design modifications that might not comply with the design intent. In addition, they only offer limited support for exploring alternative feasible shapes, due to the high complexity of the optimization algorithm.We address these shortcomings and present a computational framework for interactive shape exploration of discrete geometric structures in the context of freeform architectural design. Our method is formulated as a mesh optimization subject to shape constraints. Our formulation can enforce soft constraints and hard constraints at the same time, and handles equality constraints and inequality constraints in a unified way. We propose a novel numerical solver that splits the optimization into a sequence of simple subproblems that can be solved efficiently and accurately.Based on this algorithm, we develop a system that allows the user to explore designs satisfying geometric constraints. Our system offers full control over the exploration process, by providing direct access to the specification of the design space. At the same time, the complexity of the underlying optimization is hidden from the user, who communicates with the system through intuitive interfaces.     

Global optimization for power dispatch problems based on theory of moments

Non-convex of an optimal power dispatch problem makes it difficult to guarantee the global optimum. This paper presents a convex relaxation approach, called the Moment Semidefinite Programming (MSDP) method, to facilitate the search for deterministic global optimal solutions. The method employs a sequence of moments, which can linearize polynomial functions and construct positive semidefinite moment matrices, to form an SDP convex relaxation for power dispatch problems. In particular, the rank of the moment matrix is used as a sufficient condition to ensure the global optimality. The same condition can also be leveraged to estimate the number of global optimal solution(s). This method is effectively applied to {0,1}-economic dispatch (ED) problems and optimal power flow (OPF) problems. Simulation results showed that the MSDP method is capable of solving {0,1}-ED problems with integer values directly, and is able to identify if more than one global optimal solutions exist. In additional, the method can obtain rank-1 moment matrices for OPF’s counterexamples of existing SDP method, this ensures the global solution and overcomes the problem that existing SDP method cannot meet the rank-1 condition sometimes.     

Fluoride-mediately solvothermal synthesis and tunable photocatalytic selectivity of urchin-like ZrO2 hollow microspheres

Photocatalysts often show excellent performances on the basis of their surface state of exposed faces with high reactivity, but unfortunately surfaces of this type are usually concealed into the interior of crystals for their high surface energy. We report here a possibility that for fluorine-terminated surfaces of monoclinic ZrO₂, these higher-energy surfaces could be retained and exposed. Urchin-like ZrO₂ hollow microspheres (UZHS) composed of nanoribbons with exposed (010) facets are obtained through a fluoride mediately solvothermal method. We prove the stabilization effect of fluorine adsorption on (010) facets by density functional theory calculations. More interestingly, UZHS exhibit tunable photocatalytic selectivity in dye degradation. The fluorinated UZHS exhibit good performances both on decomposing Congo red (CR) and methylene blue, while the surface-modified UZHS by calcination only favor decomposition of CR.     

Why do small business butcher shops fail to fully implement HACCP?

This study aims to assess the degree of HACCP implementation in small business butcher shops and understand which factors most influence butchers' intention to fully implement it, through the application of the Theory of Planned Behaviour. One hundred and one butchers managing or owning small butcher's responded to the interview regarding their Attitudes, Subjective Norm, Perceived Behavioural Control, Personal Norm, and Knowledge with regard to their Intention to fully implement a HACCP system in their shops. Before the interviews, a certified veterinarian visited all the shops. Visits included an inspection of the establishments using the Official Portuguese Control Plan checklist for meat retailers. Conformance level measured past performance regarding food safety practices. Based on past performance, butchers were divided into “high performers” and “low performers”. “High performers” yielded high values of Attitude and Intention towards the Behaviour. For these, Attitude and Personal Norm emerge as predictors of the Intention to fully implement a HACCP system. For “low performers”, Personal Norm was the strongest predictor of Intention, with results pointing to the need for an intervention from the authorities to promote increased conformance to food safety practices. For both groups, neither Social Norm nor Perceived Behavioural Control acted as significant predictors of Intention.     

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

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

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].     

Revising threshold functions

A revision algorithm is a learning algorithm that identifies the target concept, starting from an initial concept. Such an algorithm is considered efficient if its complexity (in terms of the resource one is interested in) is polynomial in the syntactic distance between the initial and the target concept, but only polylogarithmic in the number of variables in the universe. We give an efficient revision algorithm in the model of learning with equivalence and membership queries for threshold functions, and some negative results showing, for instance, that threshold functions cannot be revised efficiently from either type of query alone. The algorithms work in a general revision model where both deletion and addition type revision operators are allowed.     

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.