保从属积分算子的注记

１９８４年，Ｍｉｌｌｅｒ等人利用了不正确的单叶从属链引理得到保从属积分算子的结果的证明不完整。本文给它另一简单证法，且得到了更一般的结果，由此证实了ＢｒｉｃｋｍａｎＬ猜测。     

Volterra积分微分方程的稳定性准则

本文考虑Ｖｏｌｔｅｒｒａ积分微分方程，建立了若干新的稳定性准则，所得结果改进了Ｂｕｒｔｏｎ，Ｍａｈｆｏｕｄ和Ｍｉｌｌｅｒ的有关结果。     

关于解析函数的积分算子

在解析函数空间的完备子空间（Ｓ·（ｈ），ｄ）上讨论积分算子的一些性质，推广和改进了Ｍｉｌｌｅｒ和Ｍｏｃａｎｕ等人的相应结果。     

断裂力学在转化管剩余寿命预测中的应用

在８３０～１０００°Ｃ温度和３．３～７．８ ＭＰａｍ初始应力强度因子下研究了运 行８１ ０００ ｈ的ＨＫ ４０转化管的蠕变裂纹扩展行为，由裂纹扩展速率与温度的Ａｒｒｈｅｎｉｕｓ 关系和裂纹扩展速率与断裂时间的反比关系导出Ｌａｒｓｏｎ－Ｍｉｌｌｅｒ参数（Ｐ），从而建立 了初始应力强度因子（Ｋｒｒ）和 Ｌａｒｓｏｎ－Ｍｉｌｌｅｒ参数关系外推寿命的方法．     

从属链及其应用

给出从属链和单叶从属链的充要条件，利用从属链的结果，确定了一些一阶微分从属的控制和最佳控制，这些结果推广和改进了Ｍｉｌｌｅｒ和Ｍｏｃａｎｕ等人的相应结果．     

一个多解定理的新证明

利用一种新方法证明了属于Ａｍｂｒｏｓｅｔｔｉ和Ｒａｂｉｎｏｗｉｔｚ的一个著名定理．已有文献的证明利用的是指标理论，新方法的证明使用的是Ｍｏｒｓｅ理论．     

一个多解定理的新证明

利用一种新方法证明了属于Ａｍｂｅｒｏｓｅｔｔｉ和Ｒａｂｉｎｏｗｉｔｚ的一个著名定理，已有文献的证明利用的是指标理论，新方法和证明使用的是Ｍｏｒｓｅ理论。     

广义Malfatti不等式的两个证明

借助于函数的Ｓ－凹性和ｔ阶加权平均不等式给出广义Ｍａｌｆａｔｔｉ不等式的两种证明。     

表面竖向谐和力作用下弹性半空间的内部位移

提出了弹性半是表面上作用均匀布谐和力时半空间内部任意一点的位移解;该解在半空间表面与精确解较吻合,在半空间内部远场与Ｍｉｌｌｅｒ近似解也较一致。     

Minkowski不等式的一个证明

本文通过构造一个特殊的多元函数，在证明了它的凸性的基础上，利用凸函数的定义，对Ｍｉｎｋｏｗｓｋｉ不等式给出了另一证明。     

RDB直尺的两类刻度分布模型

本文建立关于RDB直尺的两类刻度分布模型,依据这些模型改进了米勒(Miller)关于RDB的一个结论。     

计算双线性Weil对平方的一个注记(英文)

给出了在具有偶嵌入次数的椭圆曲线上计算双线性Weil对平方的一个注记.当在Miller算法中运用分母消除技巧时,文章说明了直接对Miller循环后的输出结果做平方不会得到正确的双线性对赋值.     

An Analysis to Linda——A Woman Struggling in Life

Arthur Miller's Death of a Salesman gives prominent presentation to the male characters but keeps the female characters almost unnoticed.This paper will focus on Linda Lowman,the only woman on stage much of the time,analyze Linda as a woman struggling in life,so as to disclose the injustice of the society and the emptiness of the American Dream in the post-war American society.     

一个Z的证明责任产生器

在写出规格说明后,需要对规格说明的严密性进行证明,定理证明则可以消除规格说明中的模糊性和不一致性,从而验证规格说明是否满足用户需求．证明责任是从规格说明中产生待证的性质,该文描述了一个Z的证明责任产生器的工作过程、完成证明责任产生器的工作难点就在于如何生成证明责任,本文对这一工作进行了详细的介绍。     

文学真的死了吗?——论文学后现代性对人类中心主义主体性原则的消解

随着后现代文化形态的充斥,网络时代的来临,越来越多的学者对文学的存在与否持怀疑态度。美国著名学者希利斯.米勒教授提出的"文学终结"论引发了一场关于文学生与死的论争。文学是否会消亡?可从文学的后现代性对现代性的人类中心主义主体性特征消解的角度,正视文学的重重危机,但这并不是对"文学之死"的肯定。从米勒《文学死了吗》一书中可以找到文学不死的理由,即无论文学外在形式如何变换,都是引向文学内视性的现实"魔法",最终指向的都是另一个无言的、隐性的、等待被发现的世界。     

关于求解二次规划的Wolfe方法

本文指出[2]在证明中存在的不足之处,并对该文提出的求解二次规划的常用著名方法给出一个新的证明。在此基础上讨论了对Wolfe方法的一种改进算法。     

实数系完备性基本定理的循环证明

在柯西收敛准则的基础上,链式论证了实数系的其他6个基本定理,并最终形成一个完美的论证“环”,体现了数学论证之美;指出了有理数集不具有完备性.     

Efficient 4-round zero-knowledge proof system for NP

A 4-round zero-knowledge interactive proof system for NP (Non-deterministic Polynomial) is presented when assuming the existence of one-way permutations and collision-free hash functions. This construction is more efficient than the original construction of 5-round zero-knowledge proof system for NP. The critical tools used in this paper are: zap, hash-based commitment scheme and non-interactive zero-knowledge.     

公诉证明标准的重塑——从证明标准的概念谈起

廓清了证明标准与证明要求的关系,在"案件事实清楚,证据确实、充分"这一证明要求的旗帜下,从两个层次上对公诉证明标准进行了阐述,提出了"有足够证据"这一表述方式,并对如何具体把握作了进一步的探讨,以期从庞杂的证明标准体系中理出一点头绪。     

对Dirichlet判别法必要性证明的探讨

通过对复变数复值函数级数与含参变量广义积分一致收敛的Dirichlet判别法必要性的证明 ,将文献[1]中的证明方法进行了改进 ,给出了更具有一般性的证明