An Algorithm to Decide Feasibility of Linear Integer Constraints Occurrng in Decision Tables

Abstract-To detect errors in decision tables one needs to decide whether a given set of constraints is feasible or not. This paper describes an algorithm to do so when the constraints are linear in variables that take only integer values. Decision tables with such constraints occur frequently in business data processing and in nonnumeric applications. The aim of the algorithm is to exploit. the abundance of very simple constraints that occur in typical decision table contexts. Essentially, the algorithm is a backtrack procedure where the the solution space is pruned by using the set of simple constrains. After some simplications, the simple constraints are captured in an acyclic directed graph with weighted edges. Further, only those partial vectors are considered from extension which can be extended to assignments that will at least satisfy the simple constraints. This is how pruning of the solution space is achieved. For every partial assignment considered, the graph representation of the simple constraints provides a lower bound for each variable which is not yet assigned a value. These lower bounds play a vital role in the algorithm and they are obtained in an efficient manner by updating older lower bounds. Our present algorithm also incorporates an idea by which it can be checked whether or not an (m - 2)-ary vector can be extended to a solution vector of m components, thereby backtracking is reduced by one component.

Passive immunization with an antibody to the beta-subunit of ovine luteinizing hormone as a method of early abortion--a feasibility study in monkeys (Macaca radiata)

Antiserum to the beta-subunit of ovine luteinizing hormone (oLH-beta) raised in monkeys (Macaca radiata) has been tested by a variety of criteria both in vivo and in vitro to establish its ability to neutralize oLH, hLH, and human chorionic gonadotropin (hCG). Passive administration of this antiserum caused inhibition of ovulation and termination of pregnancy in recipient monkeys as indicated by premature vaginal bleeding and a significant reduction in serum progesterone and estrogen levels. The results suggest that antiserum raised in monkeys against oLH-beta can neutralize monkey LH as well as monkey CG.

An investigation into the feasibility of fetal lung maturity prediction using statistical textural features

Fetal lung and liver tissues were examined by ultrasound in 240 subjects during 24 to 38 weeks of gestational age in order to investigate the feasibility of predicting the maturity of the lung from the textural features of sonograms. A region of interest of 64 X 64 pixels is used for extracting textural features. Since the histological properties of the liver are claimed to remain constant with respect to gestational age, features obtained from the lung region are compared with those from liver. Though the mean values of some of the features show a specific trend with respect to gestation age, the variance is too high to guarantee definite prediction of the gestational age. Thus, we restricted our purview to an investigation into the feasibility of fetal lung maturity prediction using statistical textural features. Out of 64 features extracted, those features that are correlated with gestation age and less computationally intensive are selected. The results of our study show that the sonographic features hold some promise in determining whether the fetal lung is mature or immature.

Feasibility study of the measurement of Higgs pair creation at a photon linear collider

We studied the feasibility of the measurement of Higgs pair creation at a photon linear collider. From the sensitivity to the anomalous self-coupling of the Higgs boson, the optimum gamma gamma collision energy was found to be around 270 GeV for a Higgs mass of 120 GeV/c(2). We found that large backgrounds such as gamma gamma -> W+W-, ZZ, and b (b) over barb (b) over bar can be suppressed if correct assignment of tracks to parent partons is achieved and Higgs pair events can be observed with a statistical significance of similar to 5 sigma by operating the photon linear collider for 5 years.

Feasibility of laser-induced breakdown spectroscopy for the study of the temporal distribution of trace elements trapped in snow collected from greater himalayan range

The potential merit of laser-induced breakdown spectroscopy (LIBS) has been demonstrated for detection and quantification of trace pollutants trapped in snow/ice samples. In this technique, a high-power pulsed laser beam from Nd:YAG Laser (Model no. Surelite III-10, Continuum, Santa Clara, CA, USA) is focused on the surface of the target to generate plasma. The characteristic emissions from laser-generated plasma are collected and recorded by a fiber-coupled LIBS 2000+ (Ocean Optics, Santa Clara, CA, USA) spectrometer. The fingerprint of the constituents present in the sample is obtained by analyzing the spectral lines by using OOI LIBS software. Reliable detection of several elements like Zn, Al, Mg, Fe, Ca, C, N, H, and O in snow/ice samples collected from different locations (elevation) of Manali and several snow samples collected from the Greater Himalayan region (from a cold lab in Manali, India) in different months has been demonstrated. The calibration curve approach has been adopted for the quantitative analysis of these elements like Zn, Al, Fe, and Mg. Our results clearly demonstrate that the level of contamination is higher in those samples that were collected in the month of January in comparison to those collected in February and March.

On the feasibility of network alignment for three-source three-destination Multiple Unicast networks with delays

A transform approach to network coding was in-troduced by Bavirisetti et al. (arXiv:1103.3882v3 [cs.IT]) as a tool to view wireline networks with delays as k-instantaneous networks (for some large k). When the local encoding kernels (LEKs) of the network are varied with every time block of length k >1, the network is said to use block time varying LEKs. In this work, we propose a Precoding Based Network Alignment (PBNA) scheme based on transform approach and block time varying LEKs for three-source three-destination multiple unicast network with delays (3-S3-D MUN-D). In a recent work, Menget al. (arXiv:1202.3405v1 [cs.IT]) reduced the infinite set of sufficient conditions for feasibility of PBNA in a three-source three-destination instantaneous multiple unicast network as given by Das et al. (arXiv:1008.0235v1 [cs.IT]) to a finite set and also showed that the conditions are necessary. We show that the conditions of Meng et al. are also necessary and sufficient conditions for feasibility of PBNA based on transform approach and block time varying LEKs for 3-S3-D MUN-D.

A feasibility study of a post-buckled beam for actuating helicopter trailing edge flap

Active trailing edge flaps (TEFs) are one of the most promising devices for helicopter vibration reduction. Smart actuators such as the piezoelectric stack actuators (PEAs) are used for TEF actuation. PEAs possess high energy density and have large force in dynamic condition but are limited to small displacements. In this investigation, we study a linear to rotary motion amplification mechanism (AM-2) based on a pinned-pinned post-buckled beam to actuate trailing edge flaps. A linear motion amplification mechanism is developed and coupled with AM-2 to amplify angular flap deflections. Experiments are conducted on bench top-test setup, and maximum flap angle deflections of the order of 12A degrees are achieved in the static case. An aeroelastic analysis is performed and 91 % reduction in helicopter vibration is obtained with multiharmonic control inputs.