Enhancing optomechanical force sensing via precooling and quantum noise cancellation

We theoretically investigate optomechanical force sensing via precooling and quantum noise cancellation in two coupled cavity optomechanical systems.We show that force sensing based on the reduction of noise can be used to dramatically enhance the force sensing and that the precooling process can eifectively improve the quantum noise cancellation.Specifically,we examine the effect of optomechanical cooling and noise reduction on the spectral density of the noise of the force measurement;these processes can significantly enhance the performance of optomechanical force sensing,and setting up the system in the resolved sideband regime can lead to an optimization of the cooling processes in a hybrid system.Such a scheme serves as a promising platform for quantum back-action-evading measurements of the motion and a framework for an optomechanical force sensor.     

粘性解框架下的完全耦合正倒向随机系统最优控制问题的验证定理

研究了完全耦合正倒向随机控制系统的最优控制问题.得到了粘性解框架下的,控制变量同时出现在正倒向随机系统的漂移项和扩散项中的最优控制问题的验证定理.还讨论了验证定理在构造随机最优反馈控制中的应用.     

Effector Regulated Catalytic Cyclization of Alkynoic Acids Using Pt2L4 Cages

Metabolic pathways are highly regulated by effector molecules that influences the rate of enzymatic reactions. Inspired by the catalytic regulation found in living cells, we report a Pt₂L₄ cage of which the activity can be controlled by effectors that bind inside the cage. The cage shows catalytic activity in the lactonization of alkynoic acids, with the reaction rates dependent on the effector guest bound in the cage. Some effector guests enhance the rate of the lactonization by up to 19-fold, whereas one decreases it by 5-fold. When mixtures of specific substrates are used, both starting materials and products act as guests for the Pt₂L₄ cage, enhancing its catalytic activity for one substrate while reducing its activity for the other. The reported regulatory behavior obtained by the addition of effector molecules paves the way to the development of more complex, metabolic-like catalyst systems.     

Active sound control in composite regions

In active sound control, noise shielding of a target region is achieved via additional sources (called controls) situated at the perimeter of the region. The sources protect the target region by adjusting the acoustic field near the boundary of the region. In the present paper a numerical model of active sound control based on surface potentials in 3D bounded composite regions is numerically studied. In the composite region setup, it is required that the regions be shielded from noise while allowing admissible sound that is generated in the shielded regions to be preserved. The admissible sound is usually required to propagate freely inside the protected regions or in a (selective) predetermined pattern. The adjusting approach used here does not require any knowledge of the sound sources or the properties of the propagation medium in order to obtain the controls. Moreover, the approach differs sharply from some other approaches where the detailed knowledge of the sound sources and the propagation medium is required. For the first time, numerical test cases involving both free communication and predetermined communication pattern between the regions in three dimensions are considered. In all test cases, these regions are effectively shielded from the noise while any present admissible sound is preserved. In addition, selective propagation of the admissible sound between the regions is enforced. The effect of the number of controls on their operation is also studied. Whether admissible sound is present or not, the level of noise cancellation decreases linearly as fewer controls are used. In addition to the increase in size of the interference zone, the controls become individually distinguishable.     

An intercausal cancellation model for Bayesian-network engineering

When constructing Bayesian networks with domain experts, network engineers often use the noisy-OR model, and causal interaction models more generally, to alleviate the burden of probability elicitation: the use of such a model serves to reduce the number of probabilities to be elicited on the one hand, and on the other hand forestalls experts having to give assessments for probabilities with compound conditions which they feel are hard to envision. Recently, we have shown that ill-considered use of the noisy-OR model specifically can substantially decrease a network's performance, especially in domains in which causal mechanisms include cancellation effects. Motivated by this observation, we designed a new causal interaction model, with the same engineering advantages as the noisy-OR model, to describe such effects. We detail properties of our intercausal cancellation model, and compare it against existing causal interaction models. We further illustrate the application of our model in the real-world domain of pharmacology.     

基于水声信道传播时延排序的分层空时信号检测

基于分层空时编码的多输入多输出技术是一种极具潜力的高速水声通信技术, 但要实现这种潜力需要复杂的空时信号处理方法, 以抵消来自水声信道的多径干扰和异步到达干扰, 以及叠加在接收端的各层信号之间的干扰. 对低复杂度的空时信号处理方案进行了研究, 提出了一种基于子信道传播时延排序的有序连续干扰抵消信号检测算法, 利用子信道间的传播时延差, 实现可使差错概率最小的最佳检测排序; 给出了利用信道估计, 以极低的计算量确定排序的方法, 从而可以大幅降低信号检测的计算复杂度. 采用低复杂度的单载波频域均衡来抵消水声信道中的码间干扰和异步到达干扰. 仿真结果表明, 基于时延排序的信号处理算法可以获得检测性能的改善, 而且性能增益在高数据率时更加显著. 研究结果表明, 采用有效的信号处理方法可使水声信道中造成信号检测干扰的传播时延成为改善系统性能的有利因素.     

Linearization of nonlinear filter generators and its application to cryptanalysis of stream ciphers

Nonlinear filter generators are commonly used as keystream generators in stream ciphers. A nonlinear filter generator utilizes a nonlinear filtering function to combine the outputs of a linear feedback shift register (LFSR) to improve the linear complexity of keystream sequences. However, the LFSR-based stream ciphers are still potentially vulnerable to algebraic attacks that recover the key from some keystream bits. Although the known algebraic attacks only require polynomial time complexity of computations, all have their own constraints. This paper uses the linearization of nonlinear filter generators to cryptanalyze LFSR-based stream ciphers. Such a method works for any nonlinear filter generators. Viewing a nonlinear filter generator as a Boolean network that evolves as an automaton through Boolean functions, we first give its linearization representation. Compared to the linearization representation in Limniotis et al. (2008), this representation requires lower spatial complexity of computations in most cases. Based on the representation, the key recoverability is analyzed via the observability of Boolean networks. An algorithm for key recovery is given as well. Compared to the exhaustive search to recover the key, using this linearization representation requires lower time complexity of computations, though it leads to exponential time complexity.     

Global asymptotical stability of a unique almost periodic solution for enterprise clusters based on ecology theory with time-varying delays and feedback controls

This paper is concerned with some dynamic behavior of enterprises cluster constituted by n satellite enterprises and a dominant enterprise. We present a model involving time-varying delays and feedback controls based on ecology theory, which effectively describe the competition and cooperation of enterprises cluster in real economic environments. Applying the comparison theorem of differential equations and constructing a suitable Lyapunov functional, sufficient conditions which guarantee the existence of a unique globally asymptotically stable nonnegative almost periodic solution of the system are obtained. Finally, we present an example to explain the economical significance of mathematical results.     

Multi-objective optimal design of feedback controls for dynamical systems with hybrid simple cell mapping algorithm

This paper presents a study of multi-objective optimal design of full state feedback controls. The goal of the design is to minimize several conflicting performance objective functions at the same time. The simple cell mapping method with a hybrid algorithm is used to find the multi-objective optimal design solutions. The multi-objective optimal design comes in a set of gains representing various compromises of the control system. Examples of regulation and tracking controls are presented to validate the control design.