Finding the response matrix to the external action from a subspace for a discrete linear stochastic dynamical system

For a discrete linear stochastic dynamical system, computation of the response matrix to the external action from a subspace using given observational data is examined. An algorithm is proposed and substantiated that makes it possible to improve the numerical accuracy and to reduce the amount of observational data compared to the general case where an arbitrary external action is allowed. As an illustration, a discrete system arising in the analysis of a linear stochastic dynamical continuous-time system is considered more thoroughly. Some numerical results are presented.     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

The Action Functional for Moyal Planes

Modulo some natural generalizations to noncompact spaces, we show in this Letter that Moyal planes are nonunital spectral triples in the sense of Connes. The action functional of these triples is computed, and we obtain the expected result, i.e. the noncommutative Yang–Mills action associated with the Moyal product. In particular, we show that Moyal gauge theory naturally fits into the rigorous framework of noncommutative geometry.     

关于群胚作用和李双代数胚态射

在这篇文章中，我们讨论了李双代数胚之间的态射，得到了一些李双代数胚之间态射的性质．研究了泊松群胚在泊松流形上的泊松作用，以及这个泊松作用与被作用流形的切李双代数胚到作用泊松群胚的切李双代数胚之间的态射的关系，得到了一些有用的结论。     

Chern and Pontryagin Numbers in Perfect Symmetries of Spheres

The paper presents a procedure for constructing smooth actions of finite perfect groups on spheres with fixed point sets having certain prescribed properties (Theorem A); in particular, having any prescribed configuration of Chern and Pontryagin numbers (Corollary C). The main ingredients used are equivariant thickening and equivariant surgery.     

On Binary Computation Structures

Based on a modification of Moss' and Parikh's topological modal language [8], we study a generalization of a weakly expressive fragment of a certain propositional modal logic of time. We define a bimodal logic comprising operators for knowledge and nexttime. These operators are interpreted in binary computation structures. We present an axiomatization of the set T of theorems valid for this class of semantical domains and prove – as the main result of this paper – its completeness. Moreover, the question of decidability of T is treated.     

The Geometric Construction of WZW Effective Action in Noncommutative Manifold

By constructing close-one-cochain density Ω^12n in the gauge group space we get the Wess-Zumino-Witten (WZW) effective Lagrangian on high-dimensional noncommutative space.Especially consistent anomalies derived from this WZW effective action in noncommutative four-dimensional space coincide with those obtained by L.Bonora etc.(het-th/0002210).     

On the law S ( S ( x , y ), T ( x , y )) = S ( x , y ) of fuzzy logic

Motivated by some functional models arising in fuzzy logic, when classical boolean relations between sets are generalized, we study the functional equation S(S(x, y), T(x, y)) = S(x, y), where S is a continuous t-conorm and T is a continuous t-norm. Some interesting methods for solving this type of equations are introduced.