A general framework for describing photofission observables of actinides at an average excitation energy below 30 MeV

A reasonable prediction of photofission observables plays a paramount role in understanding the photofission process and guiding various photofission-induced applications, such as short-lived isotope production, nuclear waste disposal, and nuclear safeguards. However, the available experimental data for photofission observables are limited, and the existing models and programs have mainly been developed for neutron-induced fission processes. In this study, a general framework is proposed for characterizing the photofission observables of actinides, including the mass yield distributions (MYD) and isobaric charge distributions (ICD) of fission fragments and the multiplicity and energy distributions of prompt neutrons (n_p) and prompt γ rays (γ_p). The framework encompasses various systematic neutron models and empirical models considering the Bohr hypothesis and does not rely on the experimental data as input. These models are then validated individually against experimental data at an average excitation energy below 30 MeV, which shows the reliability and robustness of the general framework. Finally, we employ this framework to predict the characteristics of photofission fragments and the emissions of prompt particles for typical actinides including ²³²Th, ^{235, 238}U and ²⁴⁰Pu. It is found that the ²³⁸U(γ, f) reaction is more suitable for producing neutron-rich nuclei compared to the ²³²Th(γ, f) reaction. In addition, the average multiplicity number of both n_p and γ_p increases with the average excitation energy.     

Stabilized Nonconforming Mixed Finite Element Method for Linear Elasticity on Rectangular or Cubic Meshes

Based on the primal mixed variational formulation, a stabilized nonconforming mixed finite element method is proposed for the linear elasticity on rectangular and cubic meshes. Two kinds of penalty terms are introduced in the stabilized mixed formulation, which are the jump penalty term for the displacement and the divergence penalty term for the stress. We use the classical nonconforming rectangular and cubic elements for the displacement and the discontinuous piecewise polynomial space for the stress, where the discrete space for stress are carefully chosen to guarantee the well-posedness of discrete formulation. The stabilized mixed method is locking-free. The optimal convergence order is derived in the $L^2$-norm for stress and in the broken $H^1$-norm and $L^2$-norm for displacement. A numerical test is carried out to verify the optimal convergence of the stabilized method.     

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

从量子力学诞生日起,它的经典对应(或类比)一直是物理学家关心的话题.本文以介观电路量子化的框架中,带有互感的两个介观电容-电感(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.