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