计算机推理的语义与语法 闫硕，吴尽昭* 基金项目： 本论文得到了高等学校博士学科点专项科研基金的资助，课题名称为嵌入式软件设计验证与评 估若干关键问题研究，课题编号为（...

基于潜语意分析的文本过滤系统 蔡毅超，陈光，徐蔚然* 作者简介：蔡毅超，（1986-），男，硕士，主要研究方向：信息检索. E-mail: caiyichaobupt@gmail.com 通信联系人：徐蔚然，(1977-)，男，...

输煤皮带机械化采样的精密度测定和偏倚 试验# 于晓东1，宋树磊1，王泽南2，李建军3，张贵林1** 基金项目：输送带煤流自动采样系统的研究与应用，中国矿业大学横向科研项目 作者简...

坚硬顶板断裂及能量转化分析 冯小军，王恩元，沈荣喜，魏明尧** 作者简介：冯小军(1987-)，男，四川德阳人，硕士研究生，从事煤岩动力灾害的预测及防治方面的研究 通信联系人：沈...

张沟矿高压输电线路铁塔下采煤的安全性 研究# 唐照成1，黄成飞2，郭文兵1* 基金项目：国家自然科学基金资助项目（50974053）；国家重点基础研究发展计划项目（2009CB226107） 作者简介...

基于遗传优化的四杆机构四位置综合 王光明，史立新* 作者简介：王光明，（1986-），男，硕士研究生，主要研究方向为机构学、模具CAD/CAM 一体化技术. 通信联系人：史立新，（1967-）...

基于can 总线广播系统分组中继器设计 刘凯，刘晓文，马丽娜 作者简介：刘凯，（1987-），男，硕士，主要研究方向：CAN 总线，语音信号处理 通信联系人：刘晓文，（1964-），女，教授...

高等院校无线网的建设与发展 苏晓雯，赵素华** 作者简介：苏晓雯，（1990-），女，辽宁大学信息学院2008 级信息管理与信息系统专业本科生 通信联系人：赵素华，（1954-），女，辽宁...

基于iHistorian 煤矿实时历史数据采集的设计 王飞，李世银** 作者简介：王飞，（1986-），男，研究生，.NET 软件开发 通信联系人：李世银，（1971-），男，教授，博士生导师，网络拥塞控...

引言 智能IC卡可以应用到极为广阔的领域，用智能卡来代替目前仍在通用的磁条卡是当前的趋势。尽管智能IC卡本身的成本相对比较高，但是其本身具有极强的安全保密功能，因而可以...