检索结果-维普期刊中文期刊服务平台

抽象解释的部分等价逻辑关系模型: 1; 作者王蓁蓁《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2015年第2期453-457,共5页; 抽象解释由CousotP和CousotR于1977年提出,随后许多作者做了大量工作.从不同的角度构造了基于部分等价关系和逻辑部分等价关系一个模型,它与传统抽象解释模型根本不同,该模型并不是对具体系统在"近似"意义上的抽象,而是对原... 展开更多; 关键词抽象解释部分等价关系逻辑部分等价关系; 在线阅读下载PDF 职称材料

CIPS 智能表决机的原理及设计: 2; 作者潘中林《计算机应用》 CSCD 1989年第S1期85-88,共4页; 一、引言智能表决机是《计算机多功能会议事务信息处理系统》的一个组成部分。它可以和别的设备配合使用构成表决子系统,也可以单独使用。适用于各种规模的议案表决,迅速。; 关键词信息处理系统 CIPS 表决器部分逻辑单板机地址线选通总线驱动器输出功能表决结果; 在线阅读下载PDF 职称材料

平板显示器用全互补高压驱动器集成电路: 3; 作者邸建华《液晶与显示》 CAS CSCD 1990年第3期42-42,共1页; 近年来,几种平板显示器如荧光指示器屏(FIPs)、等离子体显示屏(PDPs)和电致发光屏(EL panels)己被用于小型的仪器设备。为了驱动这些显示屏,需要相当高的电压和大电流,目前采用混合型集成电路(ICs)来驱动这些显示屏。但是,随着显示屏信... 展开更多; 关键词平板显示器输出电路电致发光逻辑电路高压输出信息密度单片式电源电压逻辑部分合型; 在线阅读下载PDF 职称材料