平台间光束耦合传输与控制技术研究

介绍了平台间光路耦合传输系统的构成及光轴稳定控制的实现方法,开展了耦合校正系统和探测控制系统的设计,对校正系统进行了动态范围和模态仿真,优化设计后研制出光束耦合传输与控制系统。在对快反镜性能参数测试之后,开展了平台间光束耦合传输与控制实验,当振动台加载0 db振动谱且控制系统开环时,光轴X轴抖动10.9″@RSM,Y轴抖动102.3″@RSM,闭环时,光轴X轴抖动0.75″@RSM,Y轴抖动1.11″@RSM,通过频谱分析发现,快反镜光轴耦合系统闭环时对28 Hz以内光轴抖动具有较好地抑制作用,在系统开环残差较大的频率段2～6 Hz的抑制比为−40～−30 dB。实验结果表明,该光轴耦合控制系统对平台间光束传输过程中光束抖动具有较好地抑制和稳定效果。     

基于分数阶傅里叶变换的模式测控一体化方法

提出了一种基于分数阶傅里叶变换的模式测控一体化方法。利用分数阶傅里叶变换光路对光纤模式耦合态进行空间调制和相位调制,以实现模式的有效分解。与双重傅里叶变换（F²）法以及空间和频谱成像（S²）法相比,采用的分数阶傅里叶变换法,通过改变分数阶参数,控制模式的空间分布以及模式间的叠加状态,更易于分解出高阶模式。基于分数阶傅里叶变换的模式测量方法可在更广泛空间,研究模式的空间和相位叠加以及模式分解,也可退化为F²法和S²法。     

Relevance and truthfulness in information correction and fusion

A general approach to information correction and fusion for belief functions is proposed, where not only may the information items be irrelevant, but sources may lie as well. We introduce a new correction scheme, which takes into account uncertain metaknowledge on the source’s relevance and truthfulness and that generalizes Shafer’s discounting operation. We then show how to reinterpret all connectives of Boolean logic in terms of source behavior assumptions with respect to relevance and truthfulness. We are led to generalize the unnormalized Dempster’s rule to all Boolean connectives, while taking into account the uncertainties pertaining to assumptions concerning the behavior of sources. Eventually, we further extend this approach to an even more general setting, where source behavior assumptions do not have to be restricted to relevance and truthfulness. We also establish the commutativity property between correction and fusion processes, when the behaviors of the sources are independent.     

Performance investigation of an advanced tracked prime mover on the low bearing soil

This study has presented a performance investigation of an advanced tracked prime mover for the operation of agricultural goods and other operations on peat terrain. The maximum and continuous traction torque of the prime mover has been developed by designing an advanced controller for controlling the intelligent system. The prime mover’s mobility is studied with ultrasonic displacement sensor, torque transducer, National Instrument cRIO-9004 Compact-RIO Real-time Controller Unit (RCU), a National Instrument TPC 2106T Touch Panel Control (TPC), a Trimble AG132 GPS antenna and receiver unit, and a Dlink DIR-655 router. The fuzzy logic controller (FLC) has been equipped with the prime mover hydraulic system to increase the traction torque of the hydraulic motor when the prime mover’s sinkage is more than or equal to 70 mm. The prime mover’s design demonstrates good potential in traversing peat terrain as the measured tractive effort was found to be 48% of the vehicle’s gross weight while the recommended tractive effort is in the range of 30–36% of the vehicle’s gross weight.     

Two-Photon-Induced CO-Releasing Molecules as Molecular Logic Systems in Solution,Polymers, and Cells

Phototherapeutic applications of carbon monoxide (CO)-releasing molecules are limited because they require harmful UV and blue light for activation. We describe two-photon excitation with NIR light (800 nm)-induced CO-release from two Mn^I tricarbonyl complexes bearing 1,8-naphthalimide units ( 1 , 2 ). Complex 2 behaves as a logic OR gate in solution, nonwovens, and in HeLa cells. CO release, indicated by fluorescence enhancement, was detected in solution, nonwoven, and HeLa cells by single- (405 nm) and two-photon (800 nm) excitation. The photophysical properties of 1 and 2 have been measured and supported by DFT and TDDFT quantum chemical calculations. Both photoCORMs are stable in the dark in solution and noncytotoxic, leading to promising applications as phototherapeutics with NIR light.     

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.     

Reasoning about proof and knowledge

In previous work [15], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, belief and knowledge. Deviating from Gödel's interpretation of IPC in S4, our modal systems contain IPC in the way established in [13]. The modal operator can be viewed as a predicate for intuitionistic truth, i.e. proof. Epistemic principles are partially adopted from Intuitionistic Epistemic Logic IEL [4]. In the present paper, we show that the S5-style systems of our hierarchy correspond to an extended Brouwer–Heyting–Kolmogorov interpretation and are complete w.r.t. a relational semantics based on intuitionistic general frames. In this sense, our S5-style logics are adequate and complete systems for the reasoning about proof combined with belief or knowledge. The proposed relational semantics is a uniform framework in which also IEL can be modeled. Verification-based intuitionistic knowledge formalized in IEL turns out to be a special case of the kind of knowledge described by our S5-style systems.     

Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false

In 2001, J.-M. Le Bars disproved the zero-one law (that says that every sentence from a certain logic is either true asymptotically almost surely (a.a.s.), or false a.a.s.) for existential monadic second order sentences (EMSO) on undirected graphs. He proved that there exists an EMSO sentence ? such that $\mathsf{P}(G_n??)$ does not converge as $n\to \infty$ (here, the probability distribution is uniform over the set of all graphs on the labeled set of vertices $\{1,\dots ,n\}$). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the zero-one law holds. In this paper, we disprove this conjecture.