介观电路中量子纠缠的经典对应

从量子力学诞生日起,它的经典对应(或类比)一直是物理学家关心的话题.本文以介观电路量子化的框架中,带有互感的两个介观电容-电感(LC)电路为例,首次讨论了量子纠缠的经典类比(或对应)问题.先用有序算符内的积分理论证明其互感是产生量子纠缠的源头;再推导出求解特征频率的公式,就发现它与一个经典系统的小振动频率的表达式有相似之处,该经典系统组成如下:两个墙壁各连一个相同的弹簧,两个弹簧之间接着一个滑动小车可以在光滑的桌面上运动,小车挂有一根单摆.用分析力学求此系统的小振动频率,发现与上述介观电路的特征频率形式类似,单摆的摆动会造成小车来回振动,摆、小车和弹簧的互相牵制效应反映了小车和摆的"纠缠".     

Quantifier-free epistemic term-modal logic with assignment operator

In standard epistemic logic, the names and the existence of agents are usually assumed to be common knowledge implicitly. This is unreasonable for various applications in computer science and philosophy. Inspired by term-modal logic and assignment operators in dynamic logic, we introduce a lightweight modal predicate logic where names can be non-rigid, and the existence of agents can be uncertain. The language can handle various de dicto/de re distinctions in a natural way. We characterize the expressive power of our language, obtain complete axiomatisations of the logics over several classes of varying-domain/constant-domain epistemic models, and show their (un)decidability.     

A Closed‐Loop Control Strategy for Producing Nitrile Rubber of Uniform Chemical Composition in a Semibatch Reactor: A Simulation Study

To improve the quality of industrial nitrile rubbers, the copolymer chemical composition, p_A(t), should ideally be kept constant along the reaction. This work proposes a closed‐loop control strategy for the semibatch operation of the reactor with the aim of regulating p_A(t) within a reduced range of variability. The proposed strategy is evaluated by simulating a mathematical model of the process. To this effect, a simplified mathematical model of the reaction is first derived and then utilized to obtain a suboptimal control law and a soft‐sensor that estimates the polymerization rates. The suboptimal control law is compensated by adding a term proportional to errors in p_A(t). The simulated example considers the production of the low‐composition AJLT grade, with the copolymerization reaction represented by a detailed mathematical model adjusted to an industrial plant. Due to the high performance of the soft‐sensor, the simulation results suggest that the proposed closed‐loop strategy is efficient to adequately regulate p_A(t) in spite of structural and parametric uncertainties, while other quality variables remained practically unaffected.     

Oscillation and non‐oscillation results for solutions of perturbed half‐linear equations

The purpose of this paper is to describe the oscillatory properties of second‐order Euler‐type half‐linear differential equations with perturbations in both terms. All but one perturbations in each term are considered to be given by finite sums of periodic continuous functions, while coefficients in the last perturbations are considered to be general continuous functions. Since the periodic behavior of the coefficients enables us to solve the oscillation and non‐oscillation of the considered equations, including the so‐called critical case, we determine the oscillatory properties of the equations with the last general perturbations. As the main result, we prove that the studied equations are conditionally oscillatory in the considered very general setting. The novelty of our results is illustrated by many examples, and we give concrete new corollaries as well. Note that the obtained results are new even in the case of linear equations.