A graph theory approach to subcontracting, machine duplication and intercell moves in cellular manufacturing

We address in this paper the problem of finding an optimal strategy for dealing with bottleneck machines and bottleneck parts in the cell formation process in group technology. Three types of economic decisions are considered: subcontracting, machine duplication and intercell moves. The problem is formulated as a minimum weighted node covering problem in a hypergraph, and we show that it can be solved in polynomial time by finding a maximum weighted stable set in a bipartite graph. We extend this result to cellular manufacturing systems in which the sequence of operations of each part is known in advance.     

耗散系统不可逆过程中的可拓展广义相对论时空关系

在引入非保守非惯性系的基础上对不可逆过程建立非保守系等效性假设，在引入广域度规的基础上对具有复杂行为的时空建立非保守系协变性假设；利用密度分布的不均匀度h(ρ)和粗粒熵S（ρtε）及推导的多标度因数η*计算式，引入非保守惯性质量和非保守引力质量.分析表明，新结果使引力理论与非平衡态统计理论和非线性动力学达到应有的谐和，发展并修正广义相对论. 关键词： 时空关系 耗散系统 不可逆性 可拓展广义相对论 非保守引力质量     

Locality Hypothesis and the Speed of Light

The locality hypothesis is generally considered necessary for the study of the kinematics of non-inertial systems in special relativity. In this paper we discuss this hypothesis, showing the necessity of an improvement, in order to get a more clear understanding of the various concepts involved, like coordinate velocity and standard velocity of light. Concrete examples are shown, where these concepts are discussed.     

Twin Paradox and the Logical Foundation of Relativity Theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND.     

Quintessence and Dark Matter Created by Weyl–Dirac Geometry

A spatially closed universe undergoing at present accelerated expansion, having a non-vanishing cosmological constant, and filled with luminous- and dark matter is described in terms of the Integrable Weyl–Dirac theory. It is shown that, during the dust-dominated period, dark matter and the quintessence pressure, the latter giving rise to acceleration: both are created by the Dirac gauge function. The behavior of two models: a nearly flat one and a well closed are considered in appropriate gauges, and plausible scenarios are obtained. The outcome of the present paper, together with results of a previous work,⁽³¹⁾ provide a geometrically based, classical, singularity-free model of the universe, that has originated from a pure geometric Weyl–Dirac entity, passed a prematter period, the radiation-dominated era, and continues its development in the present dust period.     

Distributive lattices of numberings

We study into a semilattice of numberings generated by a given fixed numbering via operations of completion and taking least upper bounds. It is proved that, except for the trivial cases, this semilattice is an infinite distributive lattice every principal ideal in which is finite. The least upper and the greatest lower bounds in the semilattice are invariant under extensions in the semilattice of all numberings. Isomorphism types for the semilattices in question are in one-to-one correspondence with pairs of cardinals the first component of which is equal to the cardinality of a set of non-special elements, and the second — to the cardinality of a set of special elements, of the initial numbering. Supported by INTAS grant No. 00-429. __________ Translated from Algebra i Logika, Vol. 46, No. 1, pp. 83–102, January–February, 2007.     

Correlation between gravitational-wave detectors and particle detectors during SN1987A

Summary A review of the correlations between gravitational-wave detectors and particle detectors during SN1987A is given. The correlation between the Maryland and Rome g.w. detectors with the Mont Blanc neutrino detector is illustrated. This correlation extends during a period of one or two hours centred at 2∶45 UT of 23 February 1987, with the ?neutrino? signals delayed by (1.1±0.5) s and with a probability of the order of 10⁻⁵ to be accidental. Using the data obtained with the Kamiokande and IMB detectors, with the same statistical choices and procedures for the data analysis used previously, the above result is confirmed with a probability of the order of 10⁻³ or 10⁻⁴ that the additional correlation be accidental. Paper presented at the V Cosmic Physics National Conference, S. Miniato, November 27–30, 1990.     

An adaptive filter for gravitational-wave antennas

Summary We report on the development of an adaptive optimum filter for processing the data of a resonant bar gravitational-wave detector. This filter, based on the matched-filter theory, is adaptive in the sense that the function it realizes is derived from the actual noise spectrum of the data being analysed (instead from an idealized model of the noise). Its implementation is mostly based on frequency domain techniques. We also report on the application of the new filter to the data of the cryogenic antenna Explorer of the Rome group, with particular reference to the comparison between its performance and that of an otpimum filter with fixed values of the parameters.     

二阶线性微分方程的解法改进

本改进了二阶线性微分方程的朗期基解法，只要求出转化以后的一阶微分方程或二阶齐次线性微分方程的一个特解，即可求出二阶线性微分方程的通解。