论文部分内容阅读
品牌故事
【出 处】
：
数字生活
【发表日期】
：
2004年2期
其他文献
浮点运算部件的功能验证是处理器设计验证中重要的一环.相对于传统的模拟仿真方法,形式化方法具有验证完备且时间短的优点.给出了一种浮点乘加部件的形式化验证方法.该方法基
视频片断检索是视频领域的研究热点，为了提高查询效率，利用高维索引结构Vector-Approximation File（VA-File）来组织视频子片段，并采用新的相似度模型和基于限定性滑动窗口的高效视
目的研究静脉治疗中存在的护理管理问题及其应对策略。方法以2017年1—6月该院接诊的静脉治疗患者50例为对照组,予以常规护理管理,另以2017年7—12月该院接诊的静脉治疗患者5
目的通过对医院各个职种的问卷调查结果讨论员工满意度。方法通过扫描二维码在网上填写问卷的形式,每位员工只需填写一次。结果满意度前三:工作协调与沟通、对医院的认同程度
目的探讨分析案例教学法在肾内科实习护生中的应用效果。方法选取2016年7月—2018年8月该院肾内科实习护士生100名,随机分成对照组和观察组,各50名,对照组采取传统教学法,观
软构件技术虽被广泛应用于软件系统的开发中，但其测试问题并未得到很好地解决．系统构建者对外部提供的构件内部结构及其变更信息缺乏了解，很难选择出与构件变更相关的用例用于下
通常，OpenMP程序开发将开发过程、程序正确性检测和性能分析分离开采．为此，提出动态并行区的概念，并在此基础上提出一种新的OpenMP程序开发模式，将OpenMP程序的开发过程、正确性检
PATRICIA算法是一种经典的信息检索算法,但是插入性能差、硬件实现困难.研究发现,PATRICIA算法在用于定长匹配时如果不保持NBT值的有序性,可以有效地降低硬件设计复杂度,提高