试析高职英语教学存在的问题及解决对策

该文旨在通过对天津市部分高等职业技术学院的调研,分析高职学院目前英语教学的现状和存在的问题,力求探索出一条适合高职高专特色人才培养模式的英语教学改革新途径。     

用事件-条件-动作规则表示模糊知识的方法

提出了模糊触发器的概念，采用模糊事件、模糊条件和模糊动作来对触发器进行模糊推理，为在主动数据库及其应用领域表达不精确的应用语义特性提供了可行的方法．通过一个“过热警报”的应用实例说明了模糊事件-条件一动作(ECA)触发器的建立及其实现方法．     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于平台的系统级芯片设计方法

介绍了系统设计方法和基于平台的SoC设计，描述了基于模块和系统统的IP复用设计方法，讨论了硬件和软件的协同设计以及系统芯片设计发展中所需要改进的关键问题并展望了未来的研究方向。     

陕甘宁老区实施生态购买工程可行性分析

通过实际调研，以集革命老区、贫困地区、水土流失严重地区及生态环境脆弱区域于一身的陕甘宁老区为例，探讨西部大开发中生态环境建设的最佳途径，认为陕甘宁老区的生态环境建设必须是一种经济建设，即建设“商品生态”和买卖“生态商品”，通过“生态购买”实现“生态致富”。论述了实施生态购买工程的必要性和可行性，建议国家启动生态购买工程。     

多相流流型识别技术与系统开发

基于油气水多相流混合物在管道内流动时的多传感器信号－－压力和压差信号，建立特定流型的识别规则，采用学习矢量量化模式分类器作为未知流型的分类器，根据数据融合的技术思路获得了油气水多相流的流型在线识别技术。通过系统集成的手段，利用微处理装置研制出了流型识别系统。该识别技术具有置信度高、容错性好、性能稳定、降低了对单个传感器的性能要求等优点。该识别系统结构简单、无运动部件、不改变管道的截面结构，可以处理非快速变化的瞬态流动，测量误差小于10％，并具有连续工作、定时打印、信号输出等功能。     

基于粗糙集理论的数据挖掘方法在电子商务中的应用

介绍了一种基于粗糙集理论提取关联的数据挖掘方法：并给出它在电子商务中的应用以及数据挖掘的全过程和示例，指出作为一种决策支持技术，它可以用来提高企业的决策效率和决策可信度，从而为企业赢得一定的竞争优势。     

基于QFD的网站用户需求分析

以最终用户满意为驱动力,基于质量功能展开原理,提出一种将网站用户需求转化为对网站各个环节的要求的多层次演绎分析方法,即网站用户需求展开,为将用户满意理念贯穿于网站的设计与管理之中提供了理论框架与操作方法。     

一类钴基化合物的分子场理论分析

根据两格点分子场理论，在考虑重稀土与钴的磁矩偏离反平行倾角的基础上，分析了钴基化合物RCo5(R=Y，Pr，Nd，Gd，Tb，Dy)的磁化与温度的关系，采用数值拟合的方法得到了描述3种磁作用的分子场系数n(CoCo)，n(RCo)和n(RR)，计算出了Tc，结果表明，RCo5中的磁作用主要由钴3d电子问的交换所决定。     

视频数据在网络教学中的应用探讨

从分析视频在网络教学中的教学功能的入手，进而分析视频点播、视频直播、嵌入式视频和网上视频阅览室等四种应用模式，此基础上总结了当前视频应用中存在的一些问题，文中特别论及基于内容的视频检索。