17546848
Analysis of Fuzzy Operators for High Quality Information Retrieval
Kim, M.H., J.H. Lee and Y.J. Lee, Analysis of fuzzy operators for high quality information retrieval. Information Processing Letters 46 (1993) 251-256. It has been argued that the conventional fuzzy set model based on the MIN and MAX operators is not appropriate for a model of information retrieval systems due to the properties of the MIN and MAX operators adverse to retrieval effectiveness. In this paper we investigate the behavioral aspects of various fuzzy operators and address the properties which are important in achieving high quality document rankings. We then present the fuzzy set model based on positively compensatory operators, which provides higher retrieval effectiveness than the conventional fuzzy set model. It is also described that the behavior of the proposed fuzzy set model almost coincides with that of the extended boolean model.
14456420
A replica control method for improving availability for read-only transactions
Data replication is often considered in distributed database systems to enhance availability and performance. The benefit of data replication, however can only be realized at the cost of maintaining the consistency of data. In particular, network partition failures make it more difficult to achieve high data availability while ensuring strong correctness criteria such as l-copy serializability. We propose a replica control method to improve the availability of data in the presence of network partition failures. Our method extends the traditional primary copy method by using the relaxed correctness criterion called insular consistency for large-scale distributed systems, where partition failures frequently occur. We focus on increasing the availability of data for read-only transactions. We introduce a version vector as a tool for guaranteeing insular consistency and present a mechanism that allows read-only transactions to be executed at any partition as long as the insular consistency is satisfied. An asynchronous update propagation mechanism is also employed to improve the performance of update operations. We also show that the proposed method is correct and give some performance considerations.
38239153
Qualitative Behavior Modeling of Information Processing Components
This paper presents qualitative behavior modeling of Information Processing Components(IPCs), which are domain-specific software components for modeling reusable functions in database management systems(DBMSs). After introducing a detailed formal syntax of IPCs, we propose their modular, qualitative behavior generation mechanism. The proposed mechanism is based on qualitative modeling and simulation, thus produces a sequence of temporal state transitions of modeled IPCs. The proposed modeling mechanism aims to facilitate the scientific measurement of
8831551
A per-object based hybrid concurrency control
Existing concurrency control algorithms do not conform well to various environments in the performance perspective. Each algorithm has some assumption on the conflict characteristic of its execution environment, and its performance degrades when the assumption fails. A per-object hybrid scheme integrating a two phase locking algorithm with a parallel validation technique is presented to solve this problem. Read and write accesses on each database object are controlled by one algorithm at a time. This controlling algorithm can alter while transactions are running, in order to enhance the overall system performance. In the simulation study, the proposed scheme with the proposed algorithm alteration strategy is shown to conform well to various execution environments, better than both the two phase locking algorithm and the parallel validation technique.
591216
The HS File: A New Dynamic Signature File Method for Efficient Information Retrieval
Many works on the signature file methods have been made in the past, but they are mainly for static environments. However, many recent applications in practice require a dynamic information storage structure that effectively supports insertions, deletions and updates. Though there are a few signature file techiniques for dynamic environments, they suffer from serious performance degradation when query signature weights are light. In this paper, we propose a new dynamic signature file organization, called the hierarchical signature(HS) file, that solves the problem of light query signature weights. We perform simulation experiments by using wide range of parameter values. We show through performance comparison based on experiments that the HS file improves performance significantly in both the retrieval time and the storage over-head over the other dynamic signature file methods proposed earlier.
37385528
A framework for handling dependencies among web services transactions
This paper proposes an effective Web services (WS) transaction management framework to automatically manage inconsistencies occurred by relaxing isolation of WS transactions.
31460995
Voltage-Clock Scaling for Low Energy Consumption in Fixed-Priority Real-Time Systems
Power and energy constraints are becoming increasingly prevalent in real-time embedded systems. Voltage-scaling is a promising technique to reduce energy and power consumption: clock speed tends to decrease linearly with supply voltage while power consumption goes down quadratically. We therefore have a tradeoff between the energy consumption of a task and the speed with which it can be completed. The timing constraints associated with real-time tasks can be used to resolve this tradeoff. In this paper, we present two algorithms for voltage-scaling. Assuming that a processor can operate in one of two modes: high voltage and low voltage, we show how to schedule the voltage settings so that deadlines are met while reducing the total energy consumed. We show that significant reductions can be made in energy consumption.
6639595
An Uncertainty-Driven Hybrid of Intensity-Based and Feature-Based Registration with Application to Retinal and Lung CT Images
A new hybrid of feature-based and intensity-based registration is presented. The algorithm reflects a new understanding of the role of alignment error in the generation of registration constraints. This leads to an iterative process where distinctive image locations from the moving image are matched against the intensity structure of the fixed image. The search range of this matching process is controlled by both the uncertainty in the current transformation estimate and the properties of the image locations to be matched. The resulting hybrid algorithm is applied to retinal image registration by incorporating it as the main estimation engine within our recently published Dual-Bootstrap ICP algorithm. The hybrid algorithm is used to align serial and 4d CT images of the lung using a B-spline based deformation model.
9193373
Pfair scheduling of periodic tasks with allocation constraints on multiple processors
Summary form only given. Pfair scheduling for periodic tasks on multiple processors in a time slotted environment can not only guarantee task deadlines to be respected, but also make tasks execute at steady progressive rates. We consider pfair schedulability of periodic tasks with allocation constraints in the sense that some tasks can only be assigned to one or more specified processors. The contributions of the paper lie in the following four aspects. Firstly, we prove that there exists pfair schedule in the case that fixed tasks are assigned to disjoined processor subsets. Secondly, we give a sufficient and necessary condition of the existence of pfair schedule for periodic tasks with arbitrary allocation constraints. Thirdly, we show that pfair schedulability test of periodic tasks with arbitrary allocation constraints can be done in polynomial time. Finally, an online approximate pfair scheduling algorithm called HPA (hierarchical pfair algorithm) is proposed for scheduling fixed and migrating tasks. With HPA although idea a fixed task is not guaranteed to respect its deadline completely, the amount of time by which it misses its deadline is bounded.
14475818
Data exchange for machine shop simulation
Manufacturing simulation systems normally provide interfaces for data import and export using proprietary formats. Dependent data interfaces limit simulation applications in the manufacturing industry. This paper describes a mechanism for transferring data between a traditional database and XML files, which represent a machine shop data model developed at the National Institute of Standards and Technology (NIST). The data model is described by XML (eXtensible Markup Language) and UML (Unified Modeling Language). The data transfer mechanism is based on document object model (DOM), XML path language (XPath), and open database connectivity (ODBC) database engines. A prototype implementation is also described in this paper
6621245
Application of Machine Shop Data Model in Manufacturing Simulation
Simulation technology holds tremendous promise for the manufacturing industry. A machine shop data model has been developed at the National Institute of Standards and Technology (NIST) to represent neutral machine shop data for supporting machine shop manufacturing simulation [1]. This paper discusses the data model and its application in manufacturing simulation. The paper also proposes an application framework that integrates the simulation model, machine shop database, and machine shop XML (Extensible Markup Language) data document. A prototype system is developed to present the application of machine shop data model using the proposed framework.