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

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

浅谈物理模型在解题中的应用

本文通过几个实例说明了在具体问题中建立相应物理模型的方法以及物理模型在解题中应用的重要性。     

在胎儿发育过程中人MK基因的组织差异性表达

MK是肝素结合因子家族中的一个成员，用RT－PCR研究了第11－16周胎儿龄的胎儿的神经组织与非神经组织中MK基因的组织差异性表达，随着胎儿龄的增加，在神经组织中，MK呈现出规律性的从无互有和从低表达到高表达的趋势，提示它可能在胎儿脑的发育中起着重要的作用，在其他非神经组织中，尽管各组织中MK的表达呈现不同的规律，但看起来总的趋势是趋向活跃。     

利用单元状态的改变模拟采场破坏规律

采用能较好反映混凝土等脆性材料破坏特征的五参数Wilianm-Warnke强度准则破坏模型，利用有限单元法单元“处死”的功能模拟回采过程和相似材料模拟试验研究，初步总结出缓倾斜厚煤层悬移支架放顶煤顶板活动及矿压显现规律，为缓倾斜厚煤层悬移支架放顶煤制定较为合理的方案、安全技术措施等提供重要的依据和指导作用。     

有机分子螺旋结构的确定和三维表示

为了正确地判定有机化合物分子的螺旋结构并进行直观地描述 ,进而有效地分析其螺旋结构和光学活性的关系 ,根据立体化学的原理 ,提出了一种易于操作的判定有机化合物分子螺旋结构的方法 ,并用分子模型建造软件Weblab-ViewerPro4 .2作为工具 ,给出了一种分子螺旋结构三维图形表示的新方式 .通过实例介绍了存在多条螺旋线的复杂有机分子的三维模型。结果表明 ,文中提出的方法 ,将有益于进一步完善和推广有机分子的螺旋结构理论 .     

多平台基于方位时延差的目标运动分析

以拖曳阵列与本舰所构成的声纳系统为例 ,从双平台观点考虑 ,利用对目标的两方位及时延的量测为依据 ,研究了该系统的目标运动分析 (targetmotionanalysis,TMA)问题。采用了最大似然估计、扩展Kalman滤波(EKF)方法 ,实现了对目标运动参数的估计 ,并给出了它们的Cramer Rao低界 (CRLB)。通过仿真考察了参数变化对估计精度的影响。仿真结果表明上述方法具有较高定位精度。该方法适合于主、被动形式的多平台系统 ,且容易实现。     

对省内外部分高校改革情况的调查报告

调查了河南省内外多所高校,认识到应进一步深化改革思路,以教学改革为核心,才能充分展示职业技术教育无限活力。     

沥青针入度指数的研究

回顾了针入度指数P1的历史，探讨了P1的应用基础和适用范围，P1应用基础是沥青的针入度的对数与相应的温度之间存在线性关系的这一假设，中国的规范中P1是根据一个不同温度下的针入度回归出来的，不同于欧洲的计算方法；通过实验与分析发现，如果根据中国的规范方法计算P1，P1受是否预冷、温度及温度个数等因素的影响，针入度在允许误差范围内的变化会引起P1更大的波动，回归时很高的相关系数并不能说明由试验数据回归的P1是可信的，由于改性沥青的针入度的对数与相应的温度之间不再是线性关系，P1用于评价改性沥青的感温性能有一定的局限性．     

素质教育评价"建模"构想

构建素质教育评价模式，对素质教育的实施和评价有直接的推进和指导作用。构建素质教育评价模式，应当遵循导向性、科学性、系统性、有效性原则。在构建素质教育评价模式时，有多种方法可供我们选择；但在此过程中，要注意研究模式，防止“模式化”。     

广告视觉创意途径探析

现代社会处于超大量的信息传播时代，注意力成为媒介传播的关键。广告创意人必须不断寻找新的途径和新的灵感来创造不同寻常的视觉形象，在第一时间吸引受众的视线。广告的视觉创意可以通过善于突破传统羁绊，学会忘掉所学，具有敏锐的发现能力，善于出奇创新，注重变化，学会综合等途径而获得。