关于经验论模态词相互关系的注记

经验论模态逻辑系统含有两组关于经验推理的模态词，证明了该系统中复合模态词间的一系列蕴涵关系，并构造反模型说明了其蕴涵关系的反方向不成立，从而全面弄清了该系统中各种复合模态词的相互关系。     

关于白盒测试基本方法的分析

对软件白盒测试的基本方法进行分析,计算机程序有顺序、选择、循环3种基本结构。根据3种基本结构的组合方式,程序又可以分为基本结构、嵌套结构和连锁结构。对于嵌套结构程序,可以使用基本路径测试法进行测试,对于连锁选择结构,可以抽取部分路径进行测试;对于连锁循环结构,则需根据循环是否独立来确定具体测试方法。     

Structural Changes of Polyethylene Terephthalate Fibers Grafted by Acrylamide

A group of grafted PET fibers with different graft yield are formed by grafting acrylamide onto the PET main chains. The structure of grafted fibers are studied by scanning electronic microscope ( SEM ), infra-red spectrophotometer ( IR ), and differential scanning calorimetry(DSC). At the same time, the moisture regain, dyeability, strength, and elongation at break of the samples are measured and their relations with structural changes are discussed. Compared with ungrafted fiber, shape of the fiber cross-section, IR characteristic absorption peaks, and melting behavior of the grafted fibers have been changed, causing the fiber dyeability and moisture regain to be increased, and mechanical properties to be changed.     

Analysis of cDNA sequence, protein structure and expression of parotid secretory protein in pig

Parotid secretory protein (PSP) secreted abundantly in saliva, whose function is related with the anti-bacterial effect. The PSP cDNA has been isolated from pig parotid glands by 3′ and 5′ rapid amplification of cDNA end (RACE), based on the conserved signal peptide region among the known mammalian PSP. The result of homologous comparison shows that pig PSP and human PSP shares the high identity at the level of the primary, secondary and tertiary protein structure. A search for functionally significant protein motifs revealed a unique amino acid sequence pattern consisting of the residues Leu-X(6)-Leu-X(6)-Leu-X(7)-Leu-X(6)-Leu-X(6)-Leu near the amino-terminal portion of the protein, which is important to its function. RT-PCR, Dot blot and Northern blot analysis demonstrated that PSP was strongly expressed in parotid glands, but not in other tissues.     

Identification and mapping of quantitative trait loci controlling cold-tolerance of Chinese common wild rice (O. rufipogon Griff.) at booting to flowering stages

Cold injury is an important limitation of rice production. Therefore, screening for cold-tolerant genetic resources and the development of highly cold-tolerant cultivars is crucial for higher yield potential and stable yield of rice. There have been several reports on the genetic analysis and QTL mapping of the cold-tolerance at the booting stage. Toriyama et al.[1,2] and Futsuhara et al.[3,4] reported that 4 or more genes were involved in the cold-tolerance. Several QTLs at the booting sta…     

一种带可靠性的疲劳裂纹扩展速率表达式

利用旧桥梁钢实验研究了疲劳裂纹扩展速率表达式,并以一种新的方法获得了带有可靠性的疲劳裂纹扩展速率表达式.该表达式表明了疲劳裂纹扩展门槛值的存在,它覆盖疲劳裂纹扩展A区和B区.为精确评估在役钢结构的安全寿命提供了理论依据.     

兰州北山生物结皮中陆生藻种类组成与群落结构

通过对沙井驿、刘家堡、九州台、白塔山、小牛圈沟等样点采集的生物结皮样的培养和鉴定 ,研究了兰州市北山生物结皮中陆生藻种类组成及其群落结构 .结果发现 ,该地陆生藻共计 5 3种 ,其中蓝藻 34种 ,绿藻 7种 ,硅藻10种 ,裸藻 2种 .蓝藻中以丝状种类占优势 (6 5 % ) ,绿藻中仍以球状种类居多 (5 7% ) ,但也有不少丝状个体(43% ) .黄土结皮以非洲席藻为第一优势种 ,石崖表具鞘微鞘藻占绝对优势 ,人工草丛中小球藻最丰富 ;种类数在砾质黄土中最多 (2 3) ,黄粘土中最少 (16 ) .     

预应力钢筋混凝土结构三维应力场的实验

采用三维光弹性应力二次冻结法模拟分析预应力钢筋混凝土结构中的应力 .为了提高实验速度、增强实验结果的可靠性 ,冻结实验时将预应力和负载应力冻结在同一试件中 .就所涉及相似模拟的若干关键问题 ,结合工程实例进行探讨 ,提供了若干有意义的成果和结论 ,给出切片截面内的最大剪应力等值线分布和边界应力分布 .实验应力分析模拟结果与有限元数值法吻合较好 .因此 ,三维光弹性应力二次冻结法是预应力钢筋混凝土结构的实验应力分析中较好的方法     

预制节段体外预应力桥梁的耐久性评述

桥梁结构设计的基本原则已经从单纯的安全、经济发展为安全、经济、耐久并重.预应力混凝土桥梁结构的耐久性主要为预应力钢筋的防腐蚀,传统的体内预应力钢筋需要高性能混凝土材料隔绝外部侵蚀,而体外预应力结构是提高预应力混凝土结构耐久性的一个简单实用的方法.预制节段施工与体外预应力技术的结合进一步提高了结构的耐久性,并使得结构在整个寿命期内的经济性也具有优势.     

对混炼型聚氨酯弹性体生胶可塑度影响因素的探讨

详细论述了混炼型聚氨酯弹性体(MPU)的加工过程和特性，通过实验指出了生胶可塑度与MPU的加工过程和质量有密切的关系，影响可塑度的因素有生胶中硬链段的含量、聚酯二醇的结构和生胶的分子量。