A complexity measure for families of binary sequences

In earlier papers finite pseudorandom binary sequences were studied, quantitative measures of pseudorandomness of them were introduced and studied, and large families of “good” pseudorandom sequences were constructed. In certain applications (cryptography) it is not enough to know that a family of “good” pseudorandom binary sequences is large, it is a more important property if it has a “rich”, “complex” structure. Correspondingly, the notion of “f-complexity” of a family of binary sequences is introduced. It is shown that the family of “good” pseudorandom binary sequences constructed earlier is also of high f-complexity. Finally, the cardinality of the smallest family achieving a prescibed f-complexity and multiplicity is estimated. This revised version was published online in August 2006 with corrections to the Cover Date.     

基于Web的图书馆管理系统访问控制策略

针对基于Web的图书馆管理系统资源访问控制的动态性问题，提出了一种基于角色的访问控制策略描述方案．通过对基于Web的图书馆管理系统访问控制管理影响因素和访问控制需求的分析，结合NIST基于角色的访问控制统一模型标准，构造了一种基于角色的访问控制元模型．并在这一元模型的基础上，提出了一种紧凑的基于角色的访问控制XML策略描述语言框架．结果表明该访问控制策略描述语言框架适合表述动态环境下对图书馆资源的访问策略，提高了基于Web的图书馆管理系统资源访问的安全性．     

On the finiteness of differential invariants

In this paper we show how Weil's theory of near points yields a new light on the classical approaches to the study of the differential invariants of a sheaf of tangent vector fields. We give conditions for the existence of invariant derivations for a sheaf of tangent vector fields, which allows to apply Lie's algorithm to obtain new differential invariants as quotients of Jacobian determinants of known ones. We give sufficient conditions for the asymptotic stability of the symbol of a sheaf of tangent vector fields and prove our main result, a finiteness theorem for the differential invariants of a sheaf of Lie algebras which simplifies and improves on the treatment given in J. Differential Geom. 10 (1975) 249-416.     

Solutions globales d'un problème de Cauchy linéaire

On résoud le problème de Cauchy pour des opérateurs aux dérivées partielles à coefficients polynomiaux par rapport aux variables d'espace dans des classes de Gevrey projectives. Nos résultats sont des versions globales du théorème de Cauchy-Kowalewski et du théorème de Nagumo.     

Transition Specifications for Dynamic Abstract Data Types

Transition specifications extend algebraic specifications by a notion of states and state transitions, introducing a second dynamic layer on abstract data types. This makes possible a reduction of complex specifications by the introduction of an explicit system state, a formal comparison of algebraic specifications and imperative algorithms, and the specification of input/output and other communication features. States are modelled as partial algebras that extend a given algebra by an environment, that is, a partial function that assigns contents to references. State transitions are specified by conditional parallel assignments, analoguous to the conditional existence equations of partial equational specifications. A framework of transition specifications is developed, including initial model semantics, parameterization and general composition mechanisms, and a notion of model correctness. Examples from programming languages show the applicability of the approach.     

Characteristic of the Ag(II)/Ag(I) system in the presence of 2-pyridinecarboxylic acid in acetonitrile

Summary Formation constants of the complexes of Ag(I) with 2-pyridine-carboxylic acid (Hpic) were determined by the potentiometric method: ₀₁=36, ₀₂=537. It was shown by IR spectroscopy that the complexation of Ag(I) ions in acetonitrile proceeds without the formation of Ag-O bond and the complexes have the following forms: AgHpic ⁺ and Ag(Hpic) ₂ ⁺ . Oxidation of Ag(Hpic) ₂ ⁺ at the potential =1850 mV vs. NHE resulted in the complex Ag(Hpic) ₂ ²⁺ . The formal potentialE _f ⁰ =1.772 V vs. NHE of the system Ag(Hpic) ₂ ²⁺ +eAg(Hpic)⁺+Hpic was determined by chronovoltamperometry, while the formal potentialE _f ⁰ =1.841 V vs. NHE of the system Ag(Hpic) ₂ ²⁺ +eAg(Hpic) ₂ ⁺ was calculated. Properties of the system in water and acetonitrile were compared.

---

Charakteristik des Ag(II)/Ag(I)-Systems in Gegenwart von 2-Pyridincarbonsäure in Acetonitril

Zusammenfassung Es wurden die Bildungskonstanten der Komplexe von Ag(I) mit 2-Pyridincarbonsäure (Hpic) mittels Potentiometrie bestimmt: ₀₁=36, ₀₂=537. Die IR-Spektren bewiesen, daß die Komplexierung von Ag(I)-Ionen über die Ausbildung einer Ag-O-Bindung verläuft, wobei die Komplexe die folgenden Formeln besitzen: AgHpic ⁺ und Ag(Hpic) ₂ ⁺ . Die Oxidation von Ag(Hpic) ₂ ⁺ beim Potential =1850 mV gegenüber NHE ergab den Komplex Ag(Hpic) ₂ ²⁺ . Das formale PotentialE _f ⁰ =1.772 V (gegenüber NHE) des Systems Ag(Hpic) ₂ ²⁺ +eAg(Hpic)⁺+Hpic wurde mittels Chronovoltamperometrie ermittelt, während das formale PotentialE _f ⁰ =1.841 V (gegenüber NHE) des Systems Ag(Hpic) ₂ ²⁺ +eAg(Hpic) ₂ ⁺ berechnet wurde. Außerdem wurden die Eigenschaften der Systeme in Wasser und Acetonitril verglichen.

     

An expedient enyne metathesis approach to dysidiolide

A short and efficient enyne metathesis route is reported for the construction of a key intermediate required in the synthesis of dysidiolide thus completing its formal synthesis.     

First green protocols for the large-scale preparation of γ-diisoeugenol and related dihydro(1H)indenes via formal [3+2] cycloaddition reactions

Trans-isoeugenol and related styrenes (trans-isohomogenol or O-benzylated isoeugenol), important components of the essential oil of various tropical plants, dimerize easily in the presence of catalytic amounts of BF₃·OEt₂ in poly(ethylene glycol) with M_n = 400 (PEG-400) or SiO₂-OSO₃H in MeCN via formal [3+2] cycloaddition reaction to give respective natural products (diisoeugenol and its O-substituted analog) with the 1,2-trans-2,3-trans-configuration in excellent yields. γ-Diisoeugenol scale-up preparation has also been described.     

Reactivity of allenoates toward aziridines: [3+2] and formal [3+2] cycloadditions

The reactivity of buta-2,3-dienoates toward aziridines is reported. Allenoates react as 2π-component in the [3+2] cycloaddition with the azomethine ylide generated from cis-1-benzyl-2-benzoyl-3-phenylaziridine affording 4-methylenepyrrolidines in a site-, regio-, and stereoselective fashion. Under conventional thermolysis, cis- and trans-2-benzoyl-1-cyclohexyl-3-phenylaziridines showed a different reactivity. These aziridines participate in formal [3+2] cycloadditions with allenes via C-N bond cleavage of the three-membered ring leading to functionalized pyrroles.     

Preparation, thermal decomposition and lifetime of Eu(III)-phenanthroline complex doped xerogel

The main purpose of this work is proposing a new method of using non-isothermal formal kinetics analysis to predict the lifetime of luminescent complex materials. The Eu(III)-phenanthroline complex doped xerogel has been in situ synthesized by a catalyst-free sol-gel method. The photoluminescence spectra and TG curves of the xerogel verify the formation and decomposition of Eu(III)-phenanthroline complex in xerogel. The decomposition of the xerogel formally occurs in three steps. The Friedman and FWO isoconversional methods and multivariate non-linear regression method are used for formal kinetic analysis. The overall decomposition process below 800 °C is fitted by three-step consecutive reaction. The best fitted model for each step is F_n (n order reaction, the corresponding function f(α) is (1 − α)ⁿ). Correlation coefficient is 0.99956. The lifetime values of xerogel at different temperatures are predicted based on non-isothermal kinetic models by the 5% decomposition of europium organic complex.