积分C-半群与抽象柯西问题

引入非指数有界的积分Ｃ－半群及关于线性算子Ａ的积分Ｃ－半群概念,证明了当ρＣ（Ａ）Φ时,有关于Ａ的积分Ｃ－半群的充分必要条件是与Ａ相应的抽象柯西问题对初始值集Ｉｍ（Ｃ）有唯一积分解。     

拓扑空间中的Browder型不动点定理及应用

在拓扑空间中利用某些特殊的技巧得到了一些Browder型的不动点定理.作为应用,研究了Ky Fan截口定理和抽象拟变分不等式解的存在性.     

抽象二级囿变函数的逼近性质

本文讨论抽象二级周期囿变函数的逼近性质。得到有抽象系数的三角多项式的Beinstein不等式。证明x(t)∈V_(2π)~(2)依多项式的逼近阶并且证明x∈V_(2π)~(2)的一个充分必要条件。     

科技论文摘要的写作与翻译

通过大量调查研究和英文摘要审校与翻译实践,归纳了科技论文中英文摘要完整性、概括性、精确性、经济性的4大特点,分析了科技论文摘要写作与翻译通常出现的信息冗余、信息缺省、表述不确切的问题,从词汇、语态、人称、时态4个方面对摘要的写作和翻译方法进行了探讨.     

极限证明的改进

用极限的严格定义证明了三个定理。在定理的基础上再证明极限问题时,就可避开使用抽象的ε、δ和N．     

FORTRAN到C源级转换的研究

介绍了一种以规范抽象语法树为中间语言且基于转换规则制导的ＦＯＲＴＲＡＮ 到Ｃ的源级转换系统,简称ＦＴＯＣ．     

α-times Integrated Regularized Cosine Functions and Second Order Abstract Cauchy Problens

In this paper, α -times integrated C-regularized cosine functions and mild α-times integrated C-existence families of second order are introduced. Equivalences are proved among α -times integrated C-regularized cosine function for a linear operator A, C-wellposed of (α + 1)-times abstract Cauchy problem and mild α -times integrated C-existence family of second order for A when the commutable condition is satisfied. In addition, if A = C-1AC, they are also equivalent to A generating the α -times integrated C-regularized cosine finction.The characterization of an exponentially botnded mild α -times integrated C-existence family of second order is given out in terms of a Laplace transform.     

如何写好英文摘要中的句子——实例剖析

讨论了英文摘要写作中对造句的基本要求,即好的句子应当具有完整(unity)、连贯(coherence)、简洁(conciseness)、强调(emphasis)和多样(variety)等特点.用实例详细说明了如何使语句更简洁,如何强调语句中的某一成分和如何正确插入修饰语等问题,以期有助于作者和编者能够准确地、合乎逻辑地表达论文的主要思想.     

静态测试中C／C＋＋抽象语法树的生成

利用GNU提供的标准编译器,通过调用词法分析程序生成了C／C＋＋抽象语法树。基于系统崩溃故障模型的软件进行了静态测试,描述了C／C＋＋抽象语法树及其语法和语义分析的具体方法。     

C半群与抽象Cauchy问题的Mild解

在Banach空间中,讨论主算子为C半群无穷小生成元的一类非齐次抽象Cauchy问题的mild解与其强解的关系．