对VE理论与方法研究中一些有争议问题的思考

本就VE理论与方法研究中长期存在的一些有争议的问题进行探讨。如以每个零件的功能重要性程度去约束成本的比例性与其相匹配，简称为“匹配的理论”；以各种打分方法为手段，对每个零件的功能重要性程度进行量化评价，简称为“打分法”。而本认为：这是VE研究中所产生的重大偏差。我们试图从理论与实践结合的角度对其存在问题进行分析，并对今后VE研究中的几个有关问题进行探讨。     

基于特征空间轨迹匹配方式的语音关键词检测法

语音关键词识别是近年来颇受重视的一个研究领域,文章基于特征空间轨迹的时间规整化原理,提出了一种高性能的关键词检测法,并探讨了轨迹等分长度对该算法检测性能的影响。实验结果表明,基于特征空间轨迹匹配方式的关键词检测法的检测性能接近于人工检测,具有一定的实用性。     

用LWR学习进行乒乓球轨道预测的仿真研究

乒乓机器人的任务是将球击回到对方的场地内．这个任务由两部分组成：知觉和行动．本文研究机器人的知觉问题，也就是利用ＬＷＲ（ＬｏｃａｌｙＷｅｉｇｈｔｅｄＲｅｇｒｅｓｓｉｏｎ）学习的方法预测接触反弹后的球的轨道．     

电感耦合等离子体质谱法测定高纯镓中痕量元素

探讨了电感耦合等离子体质谱仪(ICP—MS)测定高纯镓中痕量元素的新技术，实验采用气固反应原理分离镓主体，富集杂质元素；采用10ng/ml Rh和Se为双内标补偿校正镓基体的抑制效应，采用碰撞室(CCT)技术消除多元素分子离子的干扰；使分离富集技术与ICP—MS技术联用，可满足99．9999％超高纯镓的分析要求。方法的检出限0．001～0．01μg／L，加标回收在90．6％～111．1％之间，RSD为0．27％～7．00％。     

燃煤飞灰对痕量重金属吸附脱除的研究

煤燃烧过程中生成的飞灰实际上是一种吸附痕量重金属的固体吸附剂，而飞灰结构和组分、灰中含碳量以及烟气温度等因素对飞灰吸附脱除痕量重金属有不同的影响。研究表明，这种吸附脱除机理是一种复杂的物理吸附和化学反应及化学吸附的组合，飞灰本身的结构特性和化学组分对痕量元素的吸附影响很大，烟温也是关键的影响因素，而灰中含碳量对其影响很小。     

燃煤烟气中痕量元素的形态及其分析方法

介绍煤燃烧过程痕量元素形态的分析方法：化学热力学平衡分析和化学反应动力学模型分析。以Hg为例，描述了痕量元素化学反应动力学模型的建立、发展和完善过程，指出了煤燃烧过程中痕量元素形态分析的若干研究方向，并给出了部分痕量元素在烟气中的形态分布。     

快速分形图像编码的一种特征方法

快速分形图像编码的特征向量法是最具创新性、最有前途的方法之一,但它有几个缺点、特别是特征向量的高维数性.针对这个问题,本文提出减少分形编码时间的一种可选的特征方法.作为它的应用,本文先定义图像块的新特征——叉迹,然后提出一个基于叉迹的快速分形算法.这个算法把Range-Domain子块匹配问题转化为叉迹意义下的邻域搜索问题.对256×256 Lena图像的实验显示,与基于全搜索的基本分形算法比较,依赖于搜索邻域大小,该算法既能在峰值信噪比相同的情况下实现加快3倍多,也能在主观质量有一定下降的成本下实现加快100倍以上.     

Java-MaC: A Run-Time Assurance Approach for Java Programs

We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance that the target program is running correctly with respect to a formal requirements specification by monitoring and checking the execution of the target program at run-time. MaC bridges the gap between formal verification, which ensures the correctness of a design rather than an implementation, and testing, which does not provide formal guarantees about the correctness of the system.Use of formal requirement specifications in run-time monitoring and checking is the salient aspect of the MaC architecture. MaC is a lightweight formal method solution which works as a viable complement to the current heavyweight formal methods. In addition, analysis processes of the architecture including instrumentation of the target program, monitoring, and checking are performed fully automatically without human direction, which increases the accuracy of the analysis. Another important feature of the architecture is the clear separation between monitoring implementation-dependent low-level behaviors and checking high-level behaviors, which allows the reuse of a high-level requirement specification even when the target program implementation changes. Furthermore, this separation makes the architecture modular and allows the flexibility of incorporating third party tools into the architecture. The paper presents an overview of the MaC architecture and a prototype implementation Java-MaC.     

Ti、B微量元素对焊缝金属韧性的影响

研究了Ti、B微量元素对焊缝金属韧性的影响，结果表明，加入Ti、B微量元素有利于改善焊缝金属韧性，同时适当的Ti、B配比才能获得高韧性的焊缝。     

夏县地震台痕量氢气突升异常成因的调查与分析

针对2016年9月~10月山西夏县地震台痕量氢气出现的3次大幅突升变化,按照异常核实的时间相关性、空间相关性、强度相关性和机理相关性原则,对异常进行调查分析、实验,结果表明,山西夏县台痕量氢气大幅度变化系交流电源受干扰导致,非震兆异常,提出观测系统整改意见,以期为地震预测提供可靠的观测资料。