两向斜放类与三向钢筋混凝土空腹网架的分析方法

本文是在文[1]、[2]、[3]基础上的推广与发展,即用柔度法对正交斜放与三向钢筋混凝土空腹网架进行内力分析。在工程实例申提出一种新的装配整体式钢筋混凝土空腹网架结构,并和五种屋盖的结构形式进行分析比较,证明此类结构将更节约建筑用材和降低工程造价。     

无粘结部分预应力混凝土空腹网架结构的设计与分析方法(续)

本文为文[1]的继续,主要讨论预应力混凝土空腹网架在其他支承条件下的近似分析方法,以期推广和发展这类新型结构。     

局部凸空间中集值K映象的不动点定理

首先指出了文[1]中定理并未真正推广到局部凸空间上,其次改进文[1]中的结论,将集值 K 映象的不动点定理推广到局部凸空间.     

波形钢腹板预应力混凝土连续刚桥动力性能分析

波形钢腹板PC组合箱梁桥是一种新型的钢-混凝土组合结构,在这种结构中用波形钢腹板替代了预应力混凝土箱梁的混凝土腹板[1]。本文在总结国内外研究资料的基础上,结合波形钢腹板预应力混凝土连续刚构桥的受力性能,采用空间有限元软件MIDAS,主要分析结构的动力特性。     

局部凸空间中集值K映象的不动点定理

本文首先指出文[1]中定理并未真正推广到局部凸空间上,其次改逍[1]中结论,将集值K映象的不动点定理真正推广到局部凸空间。     

弯扭复合作用预应力T形截面构件的空间桁架模式推导

文献[1]就矩形截面构件受纯扭作用情况下,提出了考虑砼软化的变角度空间桁架理论,本文探讨如何将此理论推广应用于弯扭复合作用下的预应力组合截面构件,以推广该理论的适用范围。本文通过内力平衡条件、应变协调条件、材料的应力-应变关系,推导了计算弯扭作用预应力T形截面构件极限强度的理论方程,并将理论计算结果与作者的试验结果[2]进行了比较,符合良好。     

关于集值K映像的不动点定理及有关注记

文[1]给出了集值K映像的Schaefer定理,推广了赋范线性空间中单值连续映像的Schaefer定理。本文指出[1]中的重大疏忽,并在[1]的基础上给出了集值K映像的其它几个不动点定理,推广了Banach空间中单值全连续映像的几个类似结果。     

直觉模糊内积空间和直觉模糊余内积空间

文[1]在模糊子域、模糊线性空间理论的基础上,给出了模糊内积空间、模糊范数、模糊余内积空间、模糊余范数等概念及其对应的性质．在文[1]的基础上,笔者结合直觉模糊集的相关理论,以模糊内积空间和模糊余内积空间理论为依托,将模糊内积空间及模糊余内积空间理论推广到直觉模糊集的情形,定义了直觉模糊内积空间与直觉模糊余内积空间,相应给出了直觉模糊子域、直觉模糊线性空间、直觉模糊范数、直觉模糊余范数等概念,并讨论了相应的性质．     

摄动迭代及其在 Burgers 方程数值解中的应用

本文推广了文[1]中的摄动迭代格式,并将其应用于二维耦合 Burgers 方程组的数值求解。结果表明,这种计算格式对求解一类隐式非线性差分方程十分有效.     

局部凸空间上的不动点定理

本文给出局部凸空间上的压缩型映象对的公共不动点定理,它是文[1]、[2]、[4]、[3]在局部凸空间的引用和推广。     

S——“Bolzano—Weierstrass”性质

文[1]、[2]、[3]、[4]分别讨论了S—紧性和可数S—紧性,本文则讨论一种弱于S—紧性和可数S—紧性但对于半T_1空间类来说却等价于可数S—紧性的性质.这种性质称为S—“Bolzano—Weierstrass”性质或S—列紧性质,且要求这种空间的任何无限子集都具有空间内的半聚点.     

Banach空间的正规结构及渐进正规结构

讨论P—一致凸Banach空间重赋范数后的结构性质,得到了一些满意的结果,它包含了[1],[2]的结果,此外我们还获得了一类特定的Banach空间的两个重要结构常数——凸性特征和正规结构常数。     

分析和设计安全协议的新逻辑的语义

文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良好的语义,现将新逻辑和串空间模型结合起来,给出新逻辑的串空间语义,并运用该语义证明了新逻辑的推理规则是正确的.     

Research of optimization to solve nonlinear equation based on granular computing

In this article, a real number is defined as a granulation and the real space is transformed into real granu-lar space[1]. In the entironment, solution of nonlinear equation is denoted by granulation in real granular space. Hence,the research of whole optimization to solve nonlinear equation based on granular computing is proposed[2]. In classicalcase, we solve usually accurate solution of problems. If can't get accurate solution, also finding out an approximate solutionto close to accurate solution. But in real space, approximate solution to close to accurate solution is very vague concept. Inreal granular space, all of the approximate solutions to close to accurate solution are constructed a set, it is a granulation inreal granular space. Hence, this granulation is an accurate solution to solve problem in some sense, such, we avoid to sayvaguely "approximate solution to close to accurate solution". We introduce the concept of granulation in one dimension real space. Any positive real number a together with movinginfinite small distance ε will be constructed an interval [a-ε,a ε], we call it as granulation in real granular space, denotedby ε(a) or [a]. We will discuss related properties and operations[3] of the granulations. Let one dimension real space be R, where each real number a will be generated a granulation, hence we get a granularspace R* based on real space R. Obviously, R∈R*. Infinite small number in real space R is only O, and there are three in-finite small granulations in real number granular space R* : [0], [ε] and [-ε]. As the graph in Fig. 1 shows. In Fig. 1,[-ε] is a negative infinite small granulation,[ε] is a positive infinite small granulation,[0] is a infinite small granulation.[a] is a granulation of real number a generating, it could be denoted by interval [a-ε,a ε] in real space [3-5].Letf(x)=0 be a nonliner equation,its graph in interval[-3,10]id showed in Fig.2.Where -3≤x≤10 Relation ρ(f‖,ε)is defied is follows:(x1,x2)∈ p(f‖,ε)iff |f(x1)- f(x2)|<εWhere ε is any given small real number.We have five appoximate solution sets on the nonliner equation f(x)=0 by ρ(f‖,ε)∧|f(x)|[a,b]max,to denote by granulations[xi1 xi2/2],[xi3 xi4/2],[xi5 xi6/2],[xi7 xi8/2]and[xi9 xi10/2]respectively,where |f(x)|[a,b]max denotes local maximum on x ∈[a,b].This is whole optimum on nonliear equation in interval [-3,10].We will get best opmension solution on nonliner equation via computing f(x)to use the five solutions dented by grandlation in one dimension real granlar space[2,5].     

关于对偶映射的极大单调性

<正> 本文证明了实Banach空间上的对偶映射是极大单调的。虽然这一结果可以作为〔1〕中TheoremA的一种特殊情况,但是本文的证明方法与〔1〕是完全不同的,是完全新的。 我们用Z表示任一实Banach空间,Z~*表示Z的对偶空间,F:Z—→Z~*表示Z的对偶映射,即     

Bochner-Kaehler流形的共形不变量

本文是继续作者前文的工作,找到了在关于L′反不变子流形上的共形不变量.此不变量由子流形的第二基本量及复结构系数表示,在几种特殊的情形下,此不变量有简单的表达式,本文还讨论了拟复空型的性质,并讨论了拟复空型中关于L′反不变子流形的共形不变量,此不变量在某些场合下是人们熟知的.     

凸型算子

如果Hilbert空间上一个有界线性算子的谱的凸壳等于数值城的闭包,则它称为凸型算子。本文利用谱半径和数值半径给出了凸型算子的一个完全刻划,该刻划包含了Istratescu的结果。     

一种改进的ATM交换机结构

本文在Ｂ－ＭＢ交换机结构的基础上，提出一种改进的双链路交换结构，称为ＬＢ－ＭＢ交换结构，该结构从Ｂ－ＭＢ结构最多允许两个相同地址的信元同时输人改进到最多允许四个相同地址的信元同时输人，而硬件的增加不多。本文对改进后的结构性能进行了理论分析及计算机模拟，证明其性能优于Ｂ－ＭＢ结构。研究结果对ＡＴＭ交换机的研制有很好的参考价值。     

平方损失下的容许估计

在平方损失下讨论了一般分布族参数的容许估计问题，给出了一个估计量为待估参数的容许估计的充分条件，关于指数族分布的有关结果＾［１．３．５．６］，都可视为本文结论的特例。对于限制参数空间的情形也给出了相应的充分条件。     

具复特征值奇点的空间系统同宿环的稳定性

空间同宿环的稳定性的结果不多,尤其对于空间中含有复特征值的奇点的同宿环的稳定的结果更少见到.本文在可定义回复映射的条件下给出了含有复特征值奇点的同宿环在其部分邻域中是渐近稳定的判据,这些结果推广了文献[1]的结果.