(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

L型连续退火炉退火工艺的模拟实验

结合唐钢镀锌线退火炉的工艺特点,热模拟了退火工艺,检验了退火后带钢的力学性能和金相组织,为实际生产提供了理论依据.     

LINEX损失下一类分布族参数渐近最优的EB检验

目的 在LINEX损失函数下，讨论一类双边截断型分布族参数的经验Bayes(EB)检验问题。方法 构造适当的EB判决(检验)函数。结果 在经验Bayes检验问题中，将损失函数推广为LINEX损失，在适当的条件下证明了所构造的判决函数是渐近最优的。结论 LINEX损失函数具有比对称损失更广泛的意义，而且在一定条件下可以获得参数渐近最优的EB检验。     

微分多项式的正规族(英)

给出了一个一般性的正规定则，改进了顾永兴^［1］和朱经浩^［2］的结果. 设F为区域D上的一个亚纯函数族，h≠0,a₀,a₁,…,a_m-1为区域D上的全纯函数。如果对于任意的f∈F，f的零点重级≥m+3并且f^(m)(z)+a_m-1(z)f^(m-1)(z)+…+a₁(z)f′(z)+a₀(z)f(z)≠h(z) z∈D,则F在区域D上正规.     

一类非线性奇异问题的有限元方法

讨论一类非线性奇异问题的对称有限元方法和非对称有限元方法，证明了弱解的存在唯一性，并给出有限元解的加权L2-模估计。     

关于几类图的L(3,2,1)-标号问题

图G的L(2，1)-标号是一个从顶点集V(G)到非负整数集的函数f(x)，使得若d(x，y)=1，则|f(x)-f(y)|≥2；若d(x，y)=2，则|f(x)-f(y)|≥1．图G的三(2，1)-标号数λ(G)是使得G有max{f(v)：v∈V(G)}=k的L(2，1)-标号中的最小数k．该文将L(2，1)-标号问题推广到更一般的情形即L(3，2，1)-标号问题，并得出了Kneser图、高度不正则图、Halin图的λ3(G)的上界．     

Banach空间中若干几何性质之间的关系

Banach空间X的许多几何性质在不动点理论中都具有重要的作用,1997年,Garcia Falset证明了当R(X)<2时,Banach空间X具有不动点性质.本文通过研究了Banach空间X的(L)性质与Opial性质,一致Opial性质,Non strictOpial性质及R(X)几何常数之间的关系,得出了(L)性质与一致Opial性质的等价条件,并得到自反且具有一致Opial性质的Banach空间X具有不动点性质.     

广义Burgers方程族的一类扩展可积模型

首先构造了loop代数A1的一个新的子代数,再将其扩展为一个高维的loop代数G,利用G设计了一个新的等谱问题,应用屠格式求出了名的Burgers方程族的一类扩展可积模型。     

Biochemical characterization of the protein encoded by rice osRACD gene

A recombinant plasmid pET-racd was first constructed by cloning osRACD,the development-regulating gene that controls photoperiod fertility transformation in the photoperiod sensitive genic male sterile rice Nongken 58S,into a prokaryote expression vector pET28a(+).It was then transformed into E.Coli BL-21.Cutting with thrombin of the fusion protein extracted from transformants and PAGE separation yielded pure osRACD protein,which was further concentrated using ultrafiltration and renatured using glutathione oxidation/reduction refolding system for later functional study.As demonstrated by in vitro functional assay,the osRACD protein expressed in E.Coli B-21 shows remarkable activity in binding GTP specifically and hydrolyzing it.     

Cpf1 和 Cas9核酸酶靶向EGFR-L858R突变的研究

表皮生长因子受体(EGFR)单核苷酸突变(2573TG,L858R)占所有EGFR突变的90%.使突变的EGFR失活对有此突变的病人非常有利.这里,应用双荧光报告分析的方法分析规律成簇间隔短回文重复(CRISPR)系统中Cpf1和Cas9在靶向EGFR-L858R突变的编辑效率.在EGFR-L858R突变位点的附近,有两个Cpf1前间区序列邻近基序(PAMs)——TTTN.并且,2573TG突变形成了一个Cas9的PAM——NGG.因此本文通过构建两条AsCpf1的gRNAs(gRNA1和gRNA2)和一条SpCas9的gRNA(gRNA3)在体外通过双荧光蛋白分析系统去评估SpCas9和AsCpf1特异性靶向等位基因的能力.结果证实了AsCpf1和SpCas9都能够特异性的编辑突变的EGFR(2573TG).