Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

刮板输送机断链事故的原因及预防

刮板输送机是煤矿生产的重要运输设备，对于整个工作面的安全起着至关重要的作用。分析了造成刮板输送机断链事故的主要原因，并有针对性地提出了预防措施。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

利用中国春小麦Ph突变体为太谷核不育小麦籽粒附加蓝色标记性状的研究

本文研究的目的是对太谷核不育小麦籽粒进行颜色标记,以便进一步利用太谷核不育小麦。以蓝粒小麦4D-4E二体异代换系作为标记性状供体,利用中国春小麦Ph突变体诱导部分同源染色体联会,增加同祖染色体间的交换,使4D染色体上的Tal基因与4E染色体上的蓝胚乳基因连锁,在本实验杂交组合[(Taltal×phph)×蓝粒小麦]×phph~2F_3中得到一个蓝粒高不育穗行,经分析与继代观察,初步认为这一穗行为4E带有蓝胚乳基因的染色体片段转移到4D染色体上使蓝胚乳基因与Tal基因发生不完全连锁。同时对Ph突变体诱导部分同源染色体联会的作用等问题进行了探讨。     

中国南海海绵化学成份研究Ⅱ—B·C

从中国南海西沙群岛永胜岛附近海域采集到的一种海绵(种属未定)分离到两种新的三羟基长链酰胺类化合物S—Ⅱ(C_(49)H_(99)NO_4,M=765,m.p.138-140℃)和S—Ⅲ(C_(45)H_(93)NO_4,M=723,m.p.92—93℃),通过对它们的IR,MS,~1HNMR,~(13)CNMR及~(13)CNMR DEPT等波谱数据分析,S—Ⅱ和S—Ⅲ的结构分别确定为N-(1-乙基-3,22-二羟基)二十二烷基-2-甲基-4-羟基二十四脂肪酸酰胺和N-(1-羟甲基-2-乙基-4-甲基-3,18-二羟基)十九烷基—二十三脂肪酸酰胺。     

频率合成式无线语音传送系统的研究

本文介绍的是一种无线语音传送系统，它是由两部分构成的，发射部分和接收机部分．发射部分采用最先进的频率合成技术，发射频率稳定．最适合大教室教学场合应用。     

一维单原子链空位的一种新统计方法

视一维单原子链中原子为谐振子，运用玻尔兹曼分布给出了空位的一种新统计方法．     

椭圆周上的一类新的双正交级数

研究了椭圆周上一类新的双正交级数，给出了它的部分和与其诱导函数的Ｆｏｕｒｉｅｒ三角级数的部分和之间偏差的精确的渐近表达式．     

《高等数学》学习方法探讨

从高等数学的知识体系及其学习的特点与基本要求入手,论述了学习高等数学的基本方法,即阐述了如何接收信息、如何消化材料和所学知识如何运用等问题。     

从遗传基因收获“才富”

基因是人类生命的密码,记录着所有个体特征的遗传信息。本文将在肯定遗传基因的客观作用的基础上,对遗传和环境,情商和智商等一系列关系作一初探,以求对创新人才培养制度和方式有所启示。