存储系统功能验证方法浅析

IC日益增长的设计复杂性和在时间、代价方面的需求,使得验证工作很重要却又困难重重。传统的简单验证方法和手段已不能满足 要求,采用新的验证方法势在必行。以存储系统功能性的验证为例,介绍了目前流行的先进的验证方法.包括ABV(Assertion-based verification)和TBV(Transaction-based verification)。对ASIC芯片的一般功能验证流程也作了较为详尽的分析。     

深井煤矿巷道隔热材料研究

分析了国内外高温热害矿井的研究现状及热害治理措施，提出了采用巷道隔热材料隔断热源降低井下温度的方法。通过大量实验研制出了适合于煤矿井下的巷道隔热材料，该材料适合于在煤矿井下高温热源地段的进风巷内，对高温矿井热害治理、改善井下作业环境具有积极意义。     

基于分形理论的区域降雨时间序列特征分析

以浙江省某县年降雨时间序列为例，运用分形理论计算了该区域降雨的分形维数，并分析了所反映的降雨特征。研究表明：分形维数可作为反映区域降雨特点的有价值指标。     

用于IEEE802.11g帧头类型识别的一种新方法

阐述一种用于IEEE 802.11g的帧头类型识别的方法与具体硬件实现方案。该方法利用IEEE 802.11g协议中两种帧头的不同特点,使用相应的匹配滤波器,根据相关结果识别出帧头类型。方法的新颖点在于,只取接收信号的符号位进行相关运算,并在检测判定之前有意地加入了载波调制,提高了检测方法的性能。     

再生混凝土粗骨料质量等级模糊综合评估方法

对再生混凝土骨料质量进行评估是评价其品质是否满足混凝土结构工程性能要求的关键所在。基于模糊综合评估理论,提出了再生混凝土粗骨料质量等级评估方法。采用表观密度、吸水率、洛杉矶损失值、吸附的水泥砂浆含量、氯化物含量与硫酸盐含量6个指标,将再生混凝土粗骨料划分为3个模糊质量等级,对应于优质、合格与不合格3个状态,给出了不同质量等级再生粗骨料的适用环境作用等级与适用工程。采用基于可信度矩阵与频数统计的CMFS法确定各指标的权重,用最优区间型隶属度函数确定各指标的隶属度以实现等级变化的连续性,采用加权平均模糊算子计算评判矩阵,对评判矩阵作归一化处理后以质量等级评分值作为等级评定的唯一标准。用matlab语言编制了评估程序并用大量的算例验证了评估方法的合理性。     

容错多总线系统的可靠性分析

本文从“任务”的角度讨论计算机网络的可靠性。提出了可靠度的一个新定义。计算机网可靠度的若干定义都可作为新定义的特例,本文还给出了求多总线系统可靠度的有效算法,由于引入了图的示性向量,使得大量的同构判定转化为简单的数的比较,大大降低了计算量。     

基于Windows CE的嵌入式GIS设计与应用

以Windows CE为操作系统,eVC为开发环境,结合eSuperMap相关工具,介绍了手持终端的嵌入式GIS开发;主要分析了嵌入式GIS的开发流程和相应的关键技术,具体涉及到WindowsCE软件开发环境的建立,电子地图的制作,GIS应用程序的开发3个方面;详细介绍了应用程序的整体架构以及eSuperMap类库在eVC中的具体运用,包括eSuperMap类库的结构分析、点按动作的实现、地图操作具体流程、GPS信息管理以及最短路径算法优化等。     

南水北调受水区水资源合理配置综合评价研究

针对南水北调受水区水资源配置的特点，从风险性、合理性、持续性等角度构建了水资源合理配置一般评价指标体系，并运用基于最大POME的模糊模式识别交叉迭代公式和AHP群组评判法进行多方案多目标评价。由于推荐的方案隐含了水资源配置的特点，评价结果合理、客观。     

班级管理人性化的实践与探索

人性化管理是一种新的管理理论,将人性化管理与班主任工作有机结合起来,在班级中实施人性化管理,对强化班级管理、促进学生健康成长都能起到积极的作用,使教育成果最大化.