Sequent calculi for propositional star-free likelihood logic

We consider classical, multisuccedent intuitionistic, and intuitionistic sequent calculi for propositional likelihood logic. We prove the admissibility of structural rules and cut rule, invertibility of rules, correctness of the calculi, and completeness of the classical calculus with respect to given semantics.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 1, pp. 3–21, January–March, 2005.     

直径不超过4的树的割宽

§ 1　IntroductionThe cutwidth problem for graphs,as well as a class of optimal labeling and embed-ding problems,have significant applications in VLSI designs,network communicationsand other areas (see [2 ] ) .We shall follow the graph-theoretic terminology and notation of [1 ] .Let G=(V,E)be a simple graph with vertex set V,| V| =n,and edge set E.A labeling of G is a bijec-tion f:V→ { 1 ,2 ,...,n} ,which can by regarded as an embedding of G into a path Pn.Fora given labeling f of G,th…     

Doppler cooling a single Ca+ ion with a violet extended-cavity diode laser

We present a scheme for employing a violet extended-cavity diode laser in experiments with single, trapped ions. For this the grating-stabilised laser is spatially and spectrally filtered and referenced to a Fabry–Pérot cavity. We measure an upper limit to the line width by observing a 305-kHz FWHM beat note with the second harmonic of a titanium sapphire laser. The laser is subsequently used to optically cool a single ⁴⁰Ca⁺ ion close to the Doppler limit. PACS 03.67.Lx; 32.80.Pj; 42.55.Px     

Energy spectrum of <Emphasis Type="Italic">p</Emphasis> electrons in a plane crystal lattice and in a strong magnetic field

Harper equations are derived for a _px, _py electronic system. Analysis is carried out for extreme points of the quasi-continuous spectrum in the cases when the number of magnetic flux quanta through a unit cell is a rational number and calculations are made for square and triangular lattices as well as for a honeycomb lattice with two nonequivalent atoms. The possibility of application of the results for explaining the fractional Hall effect is considered.     

Optical spectroscopy of single InAs/InP quantum dots around λ=1.55 μm

We discuss the preparation and spectroscopic characterisation of a single InAs/InP quantum dot suitable for long-distance quantum key distribution applications around λ=1.55 μm. The dot is prepared using a site-selective growth technique which allows a single dot to be deposited in isolation at a controlled spatial location. Micro-photoluminescence measurements as a function of exciton occupation are used to determine the electronic structure of the dot. Biexciton emission, shell filling and many-body re-normalization effects are observed for the first time in single InAs/InP quantum dots.     

Methodological reflections on a three-step-design combining observation,stimulated recall and interview

In this paper a tripartite qualitative design combining abservation, stimulated recall and interview is presented and discussed. This three-step-design makes it possible to get insight into the interaction of internal and external processes when solving mathematical tasks. The data analysis depends on the research question and the methodological approach. In the light of two research projects in mathematics education two different methods of data analysis are presented and methodologically reflected.     

A market-based computational approach to collaborative organizational learning

We draw upon the concepts of knowledge market, organizational tacit knowledge, credit assignment, and single-loop learning in proposing a market-based conceptual model for collaborative organizational learning. Our proposed model is characterized by the local competition among seller agents and the global collaboration among winner agents in forming a plan, through a chain of ‘upstream–downstream’ working relationship, for task accomplishment. This feature is achieved through three closely coupled processes: the expert selection process, the capital reallocation process, and the plan formation process. Our model is intended for multiple-step learning environment in which each task consists of a sequence of single-step learning tasks. Learning at the global level is the result of a sequence of nested single-loop learning at the local level.     

Generalized binomial and negative binomial distributions of order<Emphasis Type="Italic">k</Emphasis> by the<Emphasis Type="Italic">l</Emphasis>-overlapping enumeration scheme

In this paper, we investigate the exact distribution of the waiting time for ther-th ℓ-overlapping occurrence of success-runs of a specified length in a sequence of two state Markov dependent trials. The probability generating functions are derived explicitly, and as asymptotic results, relationships of a negative binomial distribution of orderk and an extended Poisson distribution of orderk are discussed. We provide further insights into the run-related problems from the viewpoint of the ℓ-overlapping enumeration scheme. We also study the exact distribution of the number of ℓ-overlapping occurrences of success-runs in a fixed number of trials and derive the probability generating functions. The present work extends several properties of distributions of orderk and leads us a new type of geneses of the discrete distributions.     

Generation of angular momentum of fission fragments in a cluster model

Based on the dinuclear system concept, the role of bending vibrations in creation of the angular momentum of primary fission fragments is investigated. For ²⁵²Cf spontaneous fission, the angular momenta of the fragments are calculated as a function of the neutron multiplicity and compared with available experimental data. Different cluster compositions of the ²⁵²Cf fission modes at the scission point are considered.     

Ferrocenyl-substituted fluorescent anthracenes and anthraquinones

The synthesis of a range of ferrocene-substituted ethynylanthracenes and 1,1^′-(bis-(2-ethenylanthraquinoyl)ferrocene has been achieved. The synthesis relies on the production of ferrocenylanthraquinones as key precursors. The products were obtained in the reactions of ferrocenylanthraquinones with phenylethynyllithium or trimethylsilylethynyllithium followed by reduction with tin chloride. The key products such as 1- and 2-ferrocenyl(9,10-bis-phenylethynyl)anthracenes have been characterised by X-ray single crystal diffraction.