P#: a concurrent Prolog for the .NET framework

We discuss P#, our implementation of a tool that allows interoperation between a concurrent superset of the Prolog programming language and C#. This enables Prolog to be used as a native implementation language for Microsoft's .NET platform. P# compiles a linear logic extension of Prolog to C# source code. We can thus create C# objects from Prolog and use C#'s graphical, networking and other libraries. We add language constructs on the Prolog side that allow concurrent Prolog code to be written. A primitive predicate is provided that evaluates a Prolog structure on a newly forked thread. Communication between threads is based on the unification of variables contained in such a structure. It is also possible for threads to communicate through a globally accessible table. All of the new features are available to the programmer through new built-in Prolog predicates. We discuss two software engineering tools implemented using P#. Copyright © 2004 John Wiley & Sons, Ltd.     

Using classification techniques for informal requirements in the requirements analysis-supporting system

In order to efficiently develop large-scale and complicated software, it is important for system engineers to correctly understand users’ requirements. Most requirements in large-scale projects are collected from various stakeholders located in various regions, and they are generally written in natural language. Therefore, the initial collected requirements must be classified into various topics prior to analysis phases in order to be usable as input in several requirements analysis methods. If this classification process is manually done by analysts, it becomes a time-consuming task. To solve this problem, we propose a new bootstrapping method which can automatically classify requirements sentences into each topic category using only topic words as the representative of the analysts’ views. The proposed method is verified through experiments using two requirements data sets: one written in English and the other in Korean. The significant performances were achieved in the experiments: the 84.28 and 87.91 F1 scores for the English and Korean data sets, respectively. As a result, the proposed method can provide an effective function for an Internet-based requirements analysis-supporting system so as to efficiently gather and analyze requirements from various and distributed stakeholders by using the Internet.     

Toughening mechanism for a rubber-toughened epoxy resin with rubber/matrix interfacial modification

For a rubber-toughened piperidine-DGEBA epoxy resin, the interface between the rubber particle and the epoxy resin matrix was modified by an epoxide end-capped carboxyl terminated butadiene and acrylonitrile random copolymer (CTBN). The end-capping epoxides used were a rigid diglycidyl ether of bisphenol-A (Epon 828), a short-chain flexible diglycidyl ether of propylene glycol (DER 736), and a long-chain flexible diglycidyl ether of propylene glycol (DER 732). The microstructures and the fracture behaviour of these rubber-modified epoxy resins were studied by transmission electron microscopy and scanning electron microscopy. Their thermal and mechanical properties were also investigated. In the rubber-modified epoxy resins, if the added CTBNs were end-capped by a flexible diglycidyl ether of propylene glycol (DER 732 or DER 736) before curing, the interfacial zone of the undeformed rubber particle, the degree of cavitation of the cavitated rubber particle on the fracture surface and the fracture energy of the toughened epoxy resin were all significantly increased. The toughening mechanism based on cavitation and localized shear yielding was considered and a mechanism for the interaction between cavitation and localized shear yielding that accounts for all the observed characteristics is proposed.     

Algorithms in the W-Hierarchy

We show new upper bounds for problems in the W-hierarchy of fixed-parameter complexity. A crucial ingredient of our proofs is an extension to the W-RAM model, which permits more-powerful operations but remains equivalent to the original. We use the extended model to give new upper bounds for Subsetsum, Maximum Irredundant Set, and various problems concerning intersection of finite-state machines.     

ACAT inhibitors derived from hetero-Diels-Alder cycloadducts of thioaldehydes

Acyl-CoA:cholesterol acyltransferase (ACAT) is the enzyme largely responsible for intracellular cholesterol esterification. A systemic inhibitor of ACAT is believed to be able to slow or even reverse the atherosclerotic process. Towards that goal, a series of cyclic sulfides, derived from the hetero-Diels-Alder reaction of thioaldehydes with 1,3-dienes, and bearing carboxamide substituents, were prepared and evaluated for in vitro (in several tissues and species) and ex vivo ACAT inhibition. Minor changes in subsequent structure were found to have a significant effect in optimization of the biological activity of this series of compounds.     

An anthropocentric approach to knowledge-based preventive maintenance

It is common knowledge today that application of sound manufacturing concepts and techniques will only provide cost-effective, long-term return when manufacturing functions are totally integrated with the operators, maintenance engineers and other associated personnel. This paper presents a human-centred methodology and its associated knowledge-based tool, to utilize equipment failure information for the purpose of machine down-time minimization. Based upon a structured and rigorous assessment of each breakdown, and combined with total employee participation, continuous improvement of maintenance function and operational effectiveness of equipment can be made a reality.     

Applying real options in investment decisions relating to environmental pollution

This study focuses on how to assess the optimal environmental investment decisions under economic and ecological uncertainty, and establishes the continuous time model using the real option approach to optimize environmental pollution policy. Unlike traditional cost benefit analysis, this work extends the model of [Pindyck, R.S., 2002. Optimal timing problems in environmental economics. Journal of Economic Dynamics and Control 26(9–10), 1677–1697], and attempts to identify the storage threshold of pollution stocks and the optimal timing for implementing environmental pollution decisions.     

A novel fuzzy clustering algorithm for the analysis of axillary lymph node tissue sections

Recently Fourier Transform Infrared (FTIR) spectroscopic imaging has been used as a tool to detect the changes in cellular composition that may reflect the onset of a disease. This approach has been investigated as a mean of monitoring the change of the biochemical composition of cells and providing a diagnostic tool for various human cancers and other diseases. The discrimination between different types of tissue based upon spectroscopic data is often achieved using various multivariate clustering techniques. However, the number of clusters is a common unknown feature for the clustering methods, such as hierarchical cluster analysis, k-means and fuzzy c-means. In this study, we apply a FCM based clustering algorithm to obtain the best number of clusters as given by the minimum validity index value. This often results in an excessive number of clusters being created due to the complexity of this biochemical system. A novel method to automatically merge clusters was developed to try to address this problem. Three lymph node tissue sections were examined to evaluate our new method. These results showed that this approach can merge the clusters which have similar biochemistry. Consequently, the overall algorithm automatically identifies clusters that accurately match the main tissue types that are independently determined by the clinician.     

Polarity control of GaN epilayers grown on ZnO templates

We report the successful growth of Ga-polar GaN epilayers on O-polar ZnO templates pre-deposited on c-sapphire. Prior to GaN growth, NH₃ is exposed onto the ZnO template. The polarity of the GaN layers is confirmed by etching of the surface and by conversion beam electron diffraction (CBED), while the O-polar ZnO is confirmed by CBED. It is suggested that the NH₃ pre-exposure helps form a Zn₃N₂ layer, which possesses inversion symmetry and inverts the crystal from anion polar to cation polar.     

Dynamic RSVP protocol

RSVP is a resource reservation setup protocol that can be used by a host to request specific QoS for multicast multimedia flows on the Internet. Multiprotocol label switching (MPLS) architecture also needs RSVP. The fact that the resolutions of the display system used in different receiver nodes might have different, multi-resolution characteristics is supported in the MPEG-4 standard, and the EZW compression algorithm can cease decoding at any point in the bitstream. However, RSVP does not provide a more flexible mechanism. In this article we propose an extension of RSVP to provide the needed mechanism, coined dynamic RSVP (DRSVP), to dynamically adjust reserved resources on nodes without much effort. It provides different video resolutions to different receiver nodes with different needed reserved resources. Therefore, it does not waste precious Internet resources to transmit unnecessary multimedia packets.