{0}类中对偶型完全卷积方程的正则化及Noether定理

讨论了对偶型完全卷积型方程在{0}类中的正则型求解方法。利用完全奇异积分方程理论及Fredholm积分方程理论得到了方程在{0}类中的一般解的表达形式及相应的Noether定理。     

0-1型与非0非1型逻辑方程构成的逻辑方程组的解法

为了使解逻辑方程组灵活、方便、多样化,文章给出了由0-1型与非0非1型逻辑方程构成的逻辑方程组成立的充要条件、化逻辑方程组为0型或1型逻辑方程的方法,得到了若两个0型逻辑方程的解集分别为S1、S2,则逻辑方程组的解集为S1＋S2;若两个1型逻辑方程的解集分别为S3、S4,则逻辑方程组的解集为S3＋S4的结论。从而可应用结论解由0-1型与非0非1型逻辑方程构成的逻辑方程组。     

关于0^0,∞^0及1^∞不定式的几个定理

在求两个无穷小（无穷大）的积或商的极限过程中，常常把其中的无穷小（无穷大）用与其等价的无穷小（无穷大）来替换。本文证明了这一方法对于０＾－型、∞＾０型以及１＾∞型不定式也是成立的。此外，本文还给出了两类常见的０＾０型不定式的值。     

利用偏导数求0／0型多元不定式的极限

给出了利用偏导数判定0／0型的多元不定式极限是否存在的方法,还给出了在一定的条件下,当这类极限存在时求出此极限的方法。     

广义C0半群的谱映射定理

传统的C0半群在诸如广义动态经济系统,电 网系统及时滞微分方程等形如d/dt(Cx(t)=Ax(t) Bu(t)其中C不可逆）中得不到直接应用,为此引入广义C0半群来研究初值问题{d/dt(Cx(t))=Ax(t),Cx(O)=Cy,为了讨论其解的稳定性（也即广义C0半群的稳定性）,引入广义C0半群的C生成元A的C谱,用Banach代数中的谱理论方法得到了广义C0半群在此广义谱下的谱映射定理。     

广义C0半群的性质与生成定理

引进广义C0半群及其C生成元的概念,得到广义C0半群的一些性质和生成定理.推广C0半群的结论,为直接用于讨论初值问题(d)/(dt)(Cx(t))=Ax(t)Cx(0)=Cy奠定了基础.     

基础R0-代数与BCI/BCK-代数的关系（Ⅰ）

讨论了基础模糊命题演算形式演绎系统L*相匹配的基础R0-代数与一类重要的BCI/BCK-代数间的相互关系,给出它们之间的等价性定理.分析了基础R0-代数与一类重要的BCI/BCK-代数间的区别与联系,得到一些十分有趣的性质.     

0-3型PZT/PVDF压电复合材料压电性能研究

以PZT和PVDF为原料,采用热压和冷压两种工艺制备了0-3型压电复合材料,其中PZT陶瓷粉末由sol-gel法制得。研究了不同因素对复合材料压电和介电性能的影响。实验结果表明在相同成型压力下,PZT体积含量为70%时,热压和冷压工艺制备的复合材料d33分别为41和24,相差达到17,而ε相差最大值达到32.4。     

广义C_0半群的性质与生成定理

引进广义C0 半群及其C生成元的概念 ,得到广义C0 半群的一些性质和生成定理 .推广C0 半群的结论 ,为直接用于讨论初值问题ddt(Cx(t) ) =Ax(t)Cx(0 ) =Cy奠定了基础 .     

FOR语句在PL/0编译器中的不同实现

为了帮助加深对计算机语言编译技术的理解和应用,引述了PL/0语言的相关知识,简要介绍了PL/0编译器的结构框架。重点给出了FOR语句不同的实现思想和实现过程。因此在功能上对PL/0编译器进行了扩充,从而也为进一步扩充PL/0编译器的功能拓宽了思路。     

球面型空间中的Pappus定理和Desargues定理

1988年左铨如将欧氏平面的Menelaus定理推广到二维球面型空间.本文在此基础上直接证明了二维球面型空间的Desargues定理和Pappus定理,并给出它们的几个应用.     

0/0型极限的求法

0/0型极限是微积分学中最为常见的极限,是待定型极限,不能直接用极限的四则运算法则求出。根据函数的结构特征,可以用以下方法简捷地求出0/0型极限:利用有理化或约分把待定型极限转化为确定型的极限来求;将所求极限看成函数在某点的导数,然后利用导数的定义求得;利用无穷小量的等价替换或洛必达法则简化计算过程后求得。     

遗传算法求解0/1背包问题的综述

背包问题是一种组合优化问题,有很多类型,如多维背包问题等,本文讨论的0/1背包问题是背包问题中最原始最基本的类型.遗传算法在求解背包问题上已经显示了巨大优势.本文分析了遗传算法求解0/1背包问题存在的主要问题,在总结分析近6年的相关文献基础上,提出了未来研究方向,为遗传算法求解0/1背包问题提供参考.     

模糊集单调型分解定理

在给出了基本模糊集和简单模糊集的两个新概念后，建立了模糊单型调型分解定理，它指出任何模糊集都可在表示成可数个单调上升的简单模糊集的和，或等价地，可以表示成可数个单调上的简单模糊集的极限。     

H-交换代数扭曲冲积的 Maschke 型定理

本文利用著名的Maschke型定理讨论了H -交换代数扭曲冲积的半单性，设H 为域k 上的有限维 Hopf 代数带有非退化的积分t，A 是 Yetter-Drinfeld 模代数和 H -双模代数，并且是 H 交换代数，根据 Wang 和 Li 的工作[6]，本文给出了H 交换代数扭曲冲积的 Maschke 型定理， 通过对 H 中的积分和 H 的投射性质的研究， 刻画了扭曲冲积 A# H的半单性。利用 Hopf 代数的模论和双模代数的性质，对任意的左 A# H-模 M 和 N，定义了 M 的右A -模结构， 并且验证了 M 是 A - A 双模， 并讨论了 A# H-模范畴中的态射集的性质与其上的模作用，我们证明了Hom( M,N)A是一个左 A# H-模， 从而得到(Hom A(M,N))H=A#H Hom(M,N)，并且进一步研究了 A的投射性质。 若假设 A 是半单的，我们得到 A# H是半单的当且仅当 A 是投射的左 A# H-模。最后给出在 A 是半单的前提下，则 A# H是半单的当且仅当 t.c=1对某个 c∈A。本文的结果主要推广了 Yang 工作中的定理3.2[4]。
     

非0非1型逻辑方程构成的逻辑方程组的解法

给出了逻辑方程组成立的充要条件和化逻辑方程组为0型或1型逻辑方程的方法 ,证明了若两个0型逻辑方程的解集分别为S1,S2,则对应的逻辑方程组的解集为S1 S2;若两个1型逻辑方程的解集分别为S3,S4,则对应的逻辑方程组的解集为S3 S4,从而可应用此结论 解非0非1型逻辑方程构成的逻辑方程组.     

T - 凸空间中广义H0-条件下的 KKM 定理

[目的]为了在不具有线性结构的T-凸空间中得到弱于H0-条件的GH0-条件下的KKM引理.[方法]利用非线性分析中关于度量以及从属于紧集的有限覆盖的单位分解构造辅助函数,并基于GH0-条件的特征,构造复合函数.[结果]在弱于H0-条件的GH0-条件下建立了T-凸度量空间和T-凸拓扑空间中的KKM引理.[结论]在空间结构和凸结构条件较弱的情形下推广了KKM引理.     

退化C0半群的扰动

讨论多值线性算子A生成的退化C0半群在线性算子B下的扰动问题，在退化C0半群的生成定理的基础上，本文对于B为单值有界，相对A有界，以及B为多值线性算子的情况分别给出了A在B下的扰动A B生成退化C0半群的条件。     

Fe0 Al0/O2体系氧化处理乙二胺四乙酸水溶液的性能

研发了常温常压下由O2自发还原而产生H2O2和·OH等活性氧(ROS)的Fe0-Al 0/O2绿色高级氧化工艺,以乙二胺四乙酸(EDTA)模拟废水为研究对象,考察了溶液的初始pH值、铝铁的质量比、EDTA的初始浓度等因素对EDTA降解的影响.采用N,N-二乙基对苯二胺-辣根过氧化物酶(DPD-POD)法、苯甲酸捕捉法、氧气吹脱、溶液总有机碳(TOC)的变化以及EDTA的降解产物等证实了H2O2和·OH的原位产生及EDTA的氧化降解机制.结果表明:Fe0-Al 0/O2体系对EDTA的去除率随溶液初始pH的升高而降低,但在pH=3~9范围内,始终具有较好的EDTA去除率;随Al 0∶Fe0质量比增加以及EDTA初始浓度降低,EDTA的去除率增大;在初始pH=9、EDTA初始浓度为0.5mmol·L-1、铝铁的质量比为1∶1的条件下反应3h之后EDTA的去除率达到了90%以上;EDTA主要通过·OH的高级氧化去除,其中间产物为亚氨基二乙酸、甲酸和乙酸,最终被矿化降解为CO2和H2O,3h内TOC去除率达到72.5%.研究表明:Fe0-Al 0/O2体系处理EDTA水溶液,无需外加H2O2,此体系节省运行操作费用,且适用pH范围广.     

C0-半群的一表示定理

给出了C0-半群的一表示定理,从而推广了文献[1]中的相应结果。