路及其相关图的序列性

设G是一个简单图,在G上当且仅当两个顶点的距离为2时增加一条边,所得的图称为G的平方,记作G2;在G上每个顶点都增加一条悬挂边所得的图称为G的冠,记作I(G).设Pn是n个顶点的路,本文给出了I(Pn2)、I(Fn)、F2n徊和I(Fn2)的序列标号.     

An NE/SQP Method for the Bounded Nonlinear Complementarity Problem

NE/SQP (Refs. 2–3) is a recent algorithm that has proven quite effective for solving the nonlinear complementarity problem (NCP). NE/SQP is robust in the sense that its direction-finding subproblems are always solvable; in addition, the convergence rate of this method is q-quadratic. In this note, we consider a generalized version of NE/SQP, as first described in Ref. 4, which is suitable for the bounded NCP. We extend the work in Ref. 4 by demonstrating a stronger convergence result and present numerical results on test problems.     

CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT

The aim of this paper is to extend the semantic analysis of tense logic in Rescher/Urquhart [3] to propositional dynamic logic without*. For this we develop a nested sequential calculus whose axioms and rules directly reflect the steps in the semantic analysis. It is shown that this calculus, with the cut rule omitted, is complete with respect to the standard semantics. It follows that cut elimination does hold for this nested sequential calculus. MSC: 03B45.     

Productive Coreflective Classes in Top

If sequential cardinals do not exist then every topological space is generated from a converging sequence by using finite products, disjoint sums and quotients. The author acknowledges the support of the grants MSM 0021620839 and GAČR 201/06/0933 of Czech Republic.     

On Sequential Separability

A new criterion for the sequential separability of the space C(X) of continuous real-valued functions on X in the topology of simple convergence is obtained.     

Liberating the Subgradient Optimality Conditions from Constraint Qualifications

In convex optimization the significance of constraint qualifications is evidenced by the simple duality theory, and the elegant subgradient optimality conditions which completely characterize a minimizer. However, the constraint qualifications do not always hold even for finite dimensional optimization problems and frequently fail for infinite dimensional problems. In the present work we take a broader view of the subgradient optimality conditions by allowing them to depend on a sequence of ε-subgradients at a minimizer and then by letting them to hold in the limit. Liberating the optimality conditions in this way permits us to obtain a complete characterization of optimality without a constraint qualification. As an easy consequence of these results we obtain optimality conditions for conic convex optimization problems without a constraint qualification. We derive these conditions by applying a powerful combination of conjugate analysis and ε-subdifferential calculus. Numerical examples are discussed to illustrate the significance of the sequential conditions.     

An Approach to NMR Assignment of Intrinsically Disordered Proteins

An efficient approach to NMR assignments in intrinsically disordered proteins is presented, making use of the good dispersion of cross peaks observed in [¹⁵N,¹³C′]‐ and [¹³C′,¹H^N]‐correlation spectra. The method involves the simultaneous collection of {3D (H)NCO(CAN)H and 3D (HACA)CON(CA)HA} spectra for backbone assignments via sequential H^N and H^α correlations and {3D (H)NCO(CACS)HS and 3D (HS)CS(CA)CO(N)H} spectra for side‐chain ¹H and ¹³C assignments, employing sequential ¹H data acquisitions with direct detection of both the amide and aliphatic protons. The efficacy of the approach for obtaining resonance assignments with complete backbone and side‐chain chemical shifts is demonstrated experimentally for the 61‐residue [¹³C,¹⁵N]‐labelled peptide of a voltage‐gated potassium channel protein of the Kv1.4 channel subunit. The general applicability of the approach for the characterisation of moderately sized globular proteins is also demonstrated.     

Morita–Baylis–Hillman (MBH) Reaction Derived Nitroallylic Alcohols,Acetates and Amines as Synthons in Organocatalysis and Heterocycle Synthesis

The Morita–Baylis–Hillman (MBH) reaction is one of the most useful and efficient protocols for constructing new carbon–carbon bonds between an activated olefin and electrophiles in the presence of a tertiary amine/phosphine. Herein, we present the use of MBH alcohols, which are obtained from the reaction of nitrostyrenes with aldehydes, as well as acetates and amines derived thereof in several organocatalytic transformations. Densely functionalised MBH adducts can also be used to synthesise substituted heteroaromatic compounds, such as furan, pyrrole, pyrazole and imidazole derivatives.