Semiconductor optical amplifier (SOA)-assisted Sagnac switch for designing of all-optical tri-state logic gates

Tri-state logic plays a significant role in carry free arithmetical operation. Design of all-optical scheme of three basic tri-state logical operation (NOT, AND, OR) with the help of polarization encoded semiconductor optical amplifier (SOA)-assisted Sagnac interferometric switch has been studied and investigated in this present paper. Numerical simulation is also presented, which verifies the theoretical results. Insertion loss, contrast ratio, extinction ratio, amplitude modulation, bit error rate and signal to noise ratio values have also been analyzed.     

Optical switching and logic gates with hybrid plasmonic-photonic crystal nanobeam cavities

We propose a hybrid resonance architecture in which a plasmonic element is coupled to a silicon-on-insulator photonic crystal nanobeam cavity operating at telecom wavelengths. It benefits from the combined characteristics of the photonic cavity and the plasmonic element, and exploits the unique properties of Fano resonances resulting from interactions between the continuum and the localized cavity states. As confirmed through 3D time-domain simulations, a strong cavity mode damping by the plasmonic element offers mechanisms of controlling a probe signal propagating in the nanobeam. It makes possible to create optical switching devices and logic gates relying on any optical nonlinear effect.     

基于错误逻辑分解转化联结词的生态文明指标知识表达模型研究

研究错误逻辑的知识表达模型,以错误逻辑理论结合生态文明"五位一体"所构建的生态文明建设指标体系,进行基于对象识别的知识表达.指标体系内的各元素分别被定义为错误逻辑模型中的事物、特征、函数和规则.建模时,首先进行事物分解,第二步进行特定事物下对应的特性及规则分解,最后根据判别规则G对错误函数f形式的影响,对各项指标所适用的错误函数类型进行分类.对象的生成可以为用矩阵这样的数据结构对逻辑知识进行系统化组织做前期准备.     

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．     

Analyzing completeness of axiomatic functional systems for temporal × modal logics

In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions (being injective, surjective, increasing, etc.) have been considered and axiomatic systems (called functional) which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Time-constrained temporal logic control of multi-affine systems

In this paper, we consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time. We focus on multi-affine systems and specifications given as syntactically co-safe linear temporal logic formulas over rectangular regions in the state space. The proposed algorithm is based on estimating the time bounds for facet reachability problems and solving a time optimal reachability problem on the product between a weighted transition system and an automaton that enforces the satisfaction of the specification. A random optimization algorithm is used to iteratively improve the solution.     

试探《物理学》的美学原理

本文通俗地描述物理学中所包含的美学原理．使工科师生也能从非功利的视角来认识物理学的博大精深．