关于形式三角矩阵环

本文研究形式三角矩阵环 R 的若干新性质,讨论 R-模的伪投射性,给出了形式三角矩阵环 R 是 V-环或半 V-环的充要条件．同时,给出了 R 是 PS-环的条件．     

From the classical to the generalized von Kármán and Marguerre–von Kármán equations

In this work, we describe and analyze two models that were recently proposed for modeling generalized von Kármán plates and generalized Marguerre–von Kármán shallow shells.

First, we briefly review the “classical” von Kármán and Marguerre–von Kármán equations, their physical meaning, and their mathematical justification. We then consider the more general situation where only a portion of the lateral face of a nonlinearly elastic plate or shallow shell is subjected to boundary conditions of von Kármán type, while the remaining portion is free. Using techniques from formal asymptotic analysis, we obtain in each case a two-dimensional boundary value problem that is analogous to, but is more general than, the classical equations.

In particular, it is remarkable that the boundary conditions for the Airy function can still be determined on the entire boundary of the nonlinearly elastic plate or shallow shell solely from the data.

Following recent joint works, we then reduce these more general equations to a single “cubic” operator equation, which generalizes an equation introduced by Berger and Fife, and whose sole unknown is the vertical displacement of the shell. We next adapt an elegant compactness method due to Lions for establishing the existence of a solution to this operator equation.     

First steps toward formal controller synthesis for bipedal robots with experimental implementation

Bipedal robots are prime examples of complex cyber–physical systems (CPSs). They exhibit many of the features that make the design and verification of CPS so difficult: hybrid dynamics, large continuous dynamics in each mode (e.g., 10 or more state variables), and nontrivial specifications involving nonlinear constraints on the state variables. In this paper, we propose a two-step approach to formally synthesize controllers for bipedal robots so as to enforce specifications by design and thereby generate physically realizable stable walking. In the first step, we design outputs and classical controllers driving these outputs to zero. The resulting controlled system evolves on a lower dimensional manifold and is described by the hybrid zero dynamics governing the remaining degrees of freedom. In the second step, we construct an abstraction of the hybrid zero dynamics that is used to synthesize a controller enforcing the desired specifications to be satisfied on the full order model. Our two step approach is a systematic way to mitigate the curse of dimensionality that hampers the applicability of formal synthesis techniques to complex CPS. Our results are illustrated with simulations showing how the synthesized controller enforces all the desired specifications and offers improved performance with respect to a classical controller. The practical relevance of the results is illustrated experimentally on the bipedal robot AMBER 3.     

Convergent Synthesis of 2H-Chromenes - a Formal [3+3] Cycloaddition by a One-pot, Three-Step Cascade

In cases in which the palladium-catalyzed coupling of a bromoquinone with a vinyl stannane affords a vinyl quinone that enolizes, the resulting ortho-quinone methide undergoes an oxa-6π electrocyclization. Enolization is promoted by the presence of a polar additive. The net conversion is a formal [3+3] cycloaddition that gives 2H-chromenes. Because the first two steps of the cascade are catalyzed, the overall conversion is an example of multicatalysis. Yields for the optimized, one-pot protocol are dramatically improved over the conventional stepwise process.     

A scaleable formal total synthesis of dehydrogliotoxin

A formal total synthesis of the epidithiodiketopiperazine natural product, dehydrogliotoxin (2), utilizing an intramolecular ring closure to form key intermediate 5 is described.     

On sums of degrees of the partial quotients in continued fraction expansions of Laurent series

For any formal Laurent series with coefficients cn lying in some given finite field, let x=[a₀(x);a₁(x),a₂(x),…] be its continued fraction expansion. It is known that, with respect to the Haar measure, almost surely, the sum of degrees of partial quotients grows linearly. In this note, we quantify the exceptional sets of points with faster growth orders than linear ones by their Hausdorff dimension, which covers an earlier result by J. Wu.     

On the complexity of enumerating pseudo-intents

We investigate whether the pseudo-intents of a given formal context can efficiently be enumerated. We show that they cannot be enumerated in a specified lexicographic order with polynomial delay unless P=NP. Furthermore we show that if the restriction on the order of enumeration is removed, then the problem becomes at least as hard as enumerating minimal transversals of a given hypergraph. We introduce the notion of minimal pseudo-intents and show that recognizing minimal pseudo-intents is polynomial. Despite their less complicated nature, surprisingly it turns out that minimal pseudo-intents cannot be enumerated in output-polynomial time unless P=NP.     

命题逻辑公式的压缩表示及其相应的形式系统

提出一种将命题逻辑公式压缩表示的方法--公式的压缩图,给出相应的形式系统,并证明该系统的证明效率比传统相继式演算系统Gentzen\{cut}有指数级的提高,从而为命题逻辑提供了一种新的有效的推理系统.     

Parametric Statistical Uncertainty Relations and Parametric Statistical Fundamental Equations

Multivariate parametric statistical uncertainty relations are proved to specify multivariate basic parametric statistical models. The relations are expressed by inequalities. They generally show that we cannot exactly determine simultaneously both a function of observation objects and a parametric statistical model in a compound parametric statistical system composed of observations and a model. As special cases of the relations, statistical fundamental equations are presented which are obtained as the conditions of attainment of the equality sign in the relations. Making use of the result, a generalized multivariate exponential family is derived as a family of minimum uncertainty distributions. In the final section, several multivariate distributions are derived as basic multivariate parametric statistical models.     

Multivariate Discrete Distributions with a Product-Type Dependence

A discrete multivariate probability distribution for dependent random variables, which contains the Poisson and Geometric conditionals distributions as particular cases, is characterized by means of conditional expectations of arbitrary one-to-one functions. Independence of the random variables is also characterized in terms of these conditional expectations. For certain exchangeable and partially exchangeable random variables with a joint distribution of this form it is shown that maximum likelihood estimates coincide with the simple method of moments estimates, suggesting that these models offer a pragmatic way to analyze certain dependent data.