Synthesis and Photochemical Properties of a New Substituted Phenol Covalently Linked to Ruthenium （Ⅱ） Tris-bipyridine Containing Four Ester Groups as Sensitizer

As photosensitizer for solar cell, a new ruthenium (Ⅱ) complex with four ester groups had been synthesized, in which a phenol substituted by {[(2-hydroxy-5-tert-butylbenzyl)(pyridyl-2-methyl)amino]methyl} is covalently linked to ruthenium (Ⅱ) tris-bipyridine. The structures of the new compounds were confirmed by NMR and ESI-MS spectra. The electrochemical and photochemical properties were also studied.     

The First and Facile Synthesis of (±) Syringaresinol

The first and facile synthesis of (±)syringaresinol was described.     

A Novel Cardiac Glycoside from Parepigynum funingesis

From the dried aerial part ofParepigynumfuningesis Tsiang et P. T. Li (Apocynaceae),a new cardiac glucoside, named parefuningoside (1) had been isolated. Its structure was determined by means of hydrolysis and spectral analysis.     

Synthesis and Photocytotoxicity of Mono-functionalised Porphyrin with Valine Moiety

A mono-funtionalised tetraphenylporphyrin (TPP) bearing valine moiety at the phenyl ring was synthesized for photocytotoxicity examination in four steps, starting from regiospecific mono-nitration of TPP at the phenyl ring. The in vitro photocytotoxicitic effect against SPC-Al adenocarcinona cell line was tested.     

Crystal Structures of Two Potential Tumor Imaging Agents and Therapeutic Agents Copper（Ⅱ） Ternary Complexes with Salicylidene-tyrosinato Schiff Base and Nitrogen-donor Chelating Lewis Base

The crystal structures of two potential tumor imaging agents and therapeutic agents -copper(Ⅱ) complexes with salicylidene-tyrosinato Schiff base and nitrogen-donor chelating Lewis base, [Cu(sal-tyr)(bipy)] 1 and [Cu(sal-tyr)(phen)]2CH3OH 2 are presented. Our work is helpful to get deep understanding of novel 64Cu tumor imaging agents and therapeutic agents.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

Covering vertices of a graph by k disjoint cycles

Let d, k and n be three integers with k3, d4k−1 and n3k. We show that if d(x)+d(y)d for each pair of nonadjacent vertices x and y of a graph G of order n, then G contains k vertex-disjoint cycles converting at least min{d,n} vertices of G.     

多小波子空间上的单小波表示

本文在较弱的条件下,建立了2重多小波子空间与单小波子空间的关系.即由2重多小波构造出单小波.一方面,这种单小波的平移伸缩与2重多小波的平移伸缩生成的子空间是完全相同的;另一方面,它具有插值性.因此通过构造出的单小波建立了多小波子空间上的Shannon型采样定理.     

Birkhoff系统的Hojman定理的几何基础

研究了Birkhoff系统的Hojman定理的几何基础.建立了系统的运动微分方程和Hojman守恒 定理，利用现代微分几何给出了Birkhoff系统的Hojman定理的一个证明. 关键词： Birkhoff系统 Hojman定理 对称性 微分几何     

Nowhere zero 4‐flow in regular matroids

Jensen and Toft 8 conjectured that every 2‐edge‐connected graph without a K₅‐minor has a nowhere zero 4‐flow. Walton and Welsh 19 proved that if a coloopless regular matroid M does not have a minor in {M(K_3,3), M*(K₅)}, then M admits a nowhere zero 4‐flow. In this note, we prove that if a coloopless regular matroid M does not have a minor in {M(K₅), M*(K₅)}, then M admits a nowhere zero 4‐flow. Our result implies the Jensen and Toft conjecture. © 2005 Wiley Periodicals, Inc. J Graph Theory