集成电路的测试变得日益重要,传统的门级测试虽然效果很好,但是随着电路规模的增大而面临着测试时间太长的困境·高层测试可以很好地缓解测试时间过长的问题,但最大的困难是缺少恰当的故障模型·通过对高层故障模型与门级固定型故障模型间关系可以建立高层故障模型的评估规则,在该规则下可以再对高层故障模型间关系进行分析,以确定彼此间的覆盖关系·归纳模型间的互相覆盖以确定彼此是否包含,这有助于对高层故障模型进行评估,寻找能够对应逼近门级固定型(stuck-at)故障模型的高层故障模型序列,该模型序列有望指导新的测试生成·最后,以对ITC99中标准时序电路的实验来说明该理论方法

支持OLAP的数据库逻辑模型述评(英文)

根据概念模型和最终用户的需求划分分析主题,并以港口货运量主题为例详细设计相应的事实表和维表,得出货物运输主题的星型逻辑模型,按照逻辑模型的设计讨论物理模型设计中遇到的问题。

文章主要介绍了数据仓库的概况,并以保险代理业务数据仓库为实例进一步提出了建立其数据仓库的概念模型和逻辑模型设计方案。

目的以新型二级宏观医疗卫生服务系统为基点,进一步完善以社区为基础的医疗卫生服务理论体系,构建医院与社区互动逻辑模型,进行新型医疗卫生服务系统中医院与社区互动机制研究。

方法:依据“理论模型-数学模型-决策支持系统”的技术路线,采用管理科学逻辑模型法(logic model),界定医院卫生资源结构优化配置的目标、投入、产出和结果及其相互关系,构建医院卫生资源结构优化配置理论模型;采用运筹学、统计学方法,构建相关数学模型;运用基于关系数据库的“三库”结构研制医院卫生资源结构优化配置决策支持系统。