Ultrafast vibrational spectroscopy and relaxation in polyatomic molecules: Potential for molecular parallel computing

The feasibility of controlled ultrafast pumping in the mid IR and the probe of the subsequent intramolecular dynamics is illustrated for vibrational excitation of the two metal carbonyls W(CO)₆ and Mn(CO)₅Br in solution. Pumping and probing is performed by short, 130 fs, pulses centered at about 2000 cm⁻¹. Frequency resolved measurements of the time delayed probe pulse are performed. Measured two dimensional spectra are fitted by a kinetic scheme that models the vibrational dynamics. Fast relaxation is solvent induced with the solvent acting also as a heat bath. The (several) probe signals in the experiment can be thought of as the response of a finite state logic machine. This suggests that the molecular machine can act as an ultrafast (petaHertz) processor. The number of internal (memory) states of the machine is determined by the number of vibrational states in the kinetic scheme that can fit the observed relaxation. The number of outputs of the machine is the number of the several different available probe signals. It is shown that the machine is massively parallel because in each (sub ps) time step it produces an entire vector as an output and that each component of the output vector is, by itself, a transform over the input. Beyond that, the machine can produce a (finite number of) different output vectors in sequential time steps.     

三级倒立摆的T-S型前馈补偿模糊神经网络控制

为解决T akag i-Sugeno型模糊神经网络在控制多变量系统时的规则组合爆炸问题,提出一种误差前馈补偿的模糊神经网络控制方案,有效实现了三级倒立摆的稳定控制。该控制方案适用对状态变量可按性质和重要程度划分的多变量系统的控制,大大减少了模糊神经网络控制器的规则数,有利于利用专家的控制经验,具有良好的鲁棒性和非线性适应能力。     

计量逻辑学中的近似推理

在多值逻辑系统中给出了计量逻辑学中单个公式到Γ结论集的距离公式,在此基础上,给出发散度的简化形式,讨论了计量逻辑学中三种近似推理模式之间的关系。     

Understanding by semantic language,operation logic and formularies

The aim of the paper is to supply tools for developing the proposed mathematical semantic theory of anthropoecosystems. The paper constructs the semantic language which is equivalent (according to transferring information) to any of natural languages. The operation logic is settled. Its well-defined formulas are semantic language formulas. Its reasoning is realized by production system blocks, each being the sequence of modus ponens rules. Operation logic represents a model how humans, maybe, realize information processing. It allows contradictions and can avoid the dimensionality deadlock. The universal program for answering questions is presented. The introduction to formulary theory is given by means of which the notion of the understanding of systems is formulated. It enables to understand and control very large systems by computer artificial intelligence on the basis of qualitative information and why-role how-roles pairs. In the paper the notions like humans, language, animals, understanding, consciousness, are simplified modelling notions which are only similar to the real existing ones.     

BL代数的等价刻画及更多性质

研究了与H(a)jek的模糊命题演算系统BL相对应的BL代数,提出了仅涉及运算*和→的NBL代数概念并探讨了其有关性质,证明了BL代数与N-BL代数是等价的,进而得到了BL代数更多的性质.     

模糊逻辑系统中广义有效推理的真度递减定理

在模糊逻辑系统中提出了广义有效推理;根据积分真度的性质,证明了广义有效推理的积分真度递减定理,从而在模糊逻辑系统中实现了根据推理前提的真度计算推理结论的真度;最后,把真度递减定理与利用斐波那契数列对推理结论真度的推算结果进行了对比,说明了真度递减定理的优越性.     

Correlated photon emission from semiconductor quantum dots grown in inverted pyramids

We demonstrate photon antibunching and deterministic single-photon operation using single InGaAs/AlGaAs semiconductor quantum dots grown on pre-patterned substrates. Additionally, we observe several types of single-photon cascades involving biexcitonic and other excitonic complexes and have modeled this behavior using numerical Monte-Carlo simulations. This method allows us to determine different non-radiative mechanisms otherwise not directly accessible via conventional spectroscopic methods.     

On the non-classical mathematical models of coupled problems of thermo-elasticity for multi-layer shallow shells with initial imperfections

Mathematical modeling of evolutionary states of non-homogeneous multi-layer shallow shells with orthotropic initial imperfections belongs to one of the most important and necessary steps while constructing numerous technical devices, as well as aviation and ship structural members. In first part of the paper fundamental hypotheses are formulated which allow us to derive Hamilton–Ostrogradsky equations. The latter yield equations governing shell behavior within the applied hypotheses and modified Pelekh–Sheremetev conditions. The aim of second part of the paper is to formulate fundamental hypotheses in order to construct coupled boundary problems of thermo-elasticity which are used in non-classical mathematical models for multi-layer shallow shells with initial imperfections. In addition, a coupled problem for multi-layer shell taking into account a 3D heat transfer equation is formulated. Third part of the paper introduces necessary phase spaces for the second boundary value problem for evolutionary equations, defining the coupled problem of thermo-elasticity for a simply supported shallow shell. The theorem regarding uniqueness of the mentioned boundary value problem is proved. It is also proved that the approximate solution regarding the second boundary value problem defining condition for the thermo-mechanical evolution for rectangular shallow homogeneous and isotropic shells can be found using the Bubnov–Galerkin method.     

Reprogrammable logic-memory device of a mechanical resonator

From the viewpoint of application of nonlinear dynamics, we report multifunctional operation in a single microelectromechanical system (MEMS) resonator. This paper addresses a reprogrammable logic-memory device that uses a nonlinear MEMS resonator with multi-states. In order to develop the reprogrammable logic-memory device, we discuss the nonlinear dynamics of the MEMS resonator with and without control input as logic and memory operations. Through the experiments and numerical simulations, we realize the reprogrammable logic function that consists of OR/AND gate by adjusting the excitation amplitude and the memory function by storing logic information in the single nonlinear MEMS resonator.     

格值命题逻辑LP(X)中不可分极简式的性质

基于格值命题逻辑LP(X)的α-归结原理及α-归结自动推理方法，能够较好地刻画具有可比较性和不可比较性的不确定性信息。LP(X)中的不可分极简式是一个非常重要的概念，本文对蕴涵运算个数小于3的不可分极简式的性质和判定方法进行了讨论，得到了一些重要结论。