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

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.     

Cryptography and cryptographic protocols

We survey the paradigms, approaches and techniques used to conceptualize, define and provide solutions to natural cryptographic problems. We start by presenting some of the central tools (e.g., computational difficulty, pseudorandomness, and zero-knowledge proofs), and next turn to the treatment of encryption and signature schemes. We conclude with an extensive treatment of secure cryptographic protocols both when executed in a stand-alone manner and when many sessions of various protocols are concurrently executed and controlled by an adversary. The survey is intended for researchers in distributed computing, and assumes no prior familiarity with cryptography.Received: June 2001, Accepted: July 2002,     

混凝土输送泵液压系统特点分析和性能改进探讨

ＢＳＡ１４０６Ｅ大象泵和ＨＢＴ６０楚天泵均属于电动活塞式大排量、中远程距离的混凝土输送泵，在国内得到广泛地应用。本在分析液压系统原理和功能的基础上，结合使用中出现的问题，从改善性能更加实用和走向国际市场的角度出发，探讨了两种系统的优点和缺陷以及改进方案。     

Agens Faber: Toward a Theory of Artefacts for MAS

Human intelligence has evolved along with the use of more and more sophisticated tools, allowing Homo Faber (from Homo Habilis to Homo Sapiens Sapiens) to cope with environment changes, as well as to adapt the environment to his needs. Analogously, in this seminal paper we introduce the notion of Agens Faber, conveying the idea that agent intelligence should not be considered as separated by the agent ability to perceive and affect the environment—and so, that agent intelligence is strictly related to the artefacts that enable, mediate and govern any agent (intelligent) activity.

Along this line, we first discuss the notion of artefact for MAS in general, then we try to devise out the admissible / required / desirable features of an artefact for MAS. We elaborate on the many sorts of possible relations between agents and artefacts, focusing in particular on the issue of the rational exploitation of artefacts, and also rough out a possible taxonomy of artefacts for MAS.