论文部分内容阅读
在对可观测性无关项相关问题进行研究的基础上,通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化.同时对已有算法做了一定改进,给出了SANDTNT算法,以适用大输入和输出变量逻辑网络的优化.
基于可观测性无关项的快速逻辑优化实现策略
【摘 要】
：
在对可观测性无关项相关问题进行研究的基础上,通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化.同时对已有算法做了一定
【机 构】
：
南通工学院
【出 处】
：
微机发展
【发表日期】
：
2003年6期
其他文献
我科采用硬脂酸石蜡混合液替代二甲苯透明剂作为脱水剂和石蜡间的中介剂，已有近10年的时间，经反复摸索实践取得满意的制片效果，现介绍如下。
分析了Lotus Domino/Notes作为群件系统的特性,阐述了利用工作流进行合同商务管理的需求、设计要素和工作流程,详细讨论了并发控制技术和主文档域值修改方法.测试结果表明,采
目的 探讨肾混合性上皮间质肿瘤的临床病理特点和免疫表型。方法 对1例肾混合性上皮间质肿瘤的临床、病理组织学及免疫表型进行观察并复习文献。结果 患者右侧腰部持续性酸痛
患者男性,31岁.8个月前无明显诱因全身乏力、尿黄、腹胀,诊断为"黄疸型肝炎".2个多月前因上述症状进行性加重,诊断为"慢性重症肝炎".查体:生命体症尚稳定,皮肤、巩膜黄染,脾
利用图像处理技术以及神经网络技术对汽车牌照自动识别系统进行研究。在所摄的含有车牌的汽车照片中,先获取车牌位置,再把车牌的各个字符分割,提取出各个字符的特征,再利用BP神经网络进行识别,从而获取车牌号码。
在企业级数据存储领域,SAN技术的应用逐渐广泛.这里介绍目前存储技术的现状及SAN同其他存储技术的差异,随后阐述了选择设计SAN存储方案的要素,最后给出某大型企业Z在两个城市
着重介绍Internet交互式教学系统的设计和分析，以及如何利用ASP技术来实现NTENT交互式教学系统，使得远程教育得以实施。
安全作为综合交通运输发展的本质要求,是综合交通运输持续健康发展的坚实基础。文章基于本质安全的特点和我国交通安全发展现状,分析了建设交通强国交通本质安全面临的严峻形
目的 通过介绍1例罕见的甲状腺硬化性黏液表皮样癌伴嗜酸性粒细胞浸润（SMECE）并复习文献,从而了解这种少见疾病及其预后.方法 通过光镜和免疫组化染色观察该肿瘤的表达情况,并
目的 探讨fascin蛋白在结、直肠腺瘤和癌中的表达及其临床病理意义.方法 用免疫组化方法检测41例结、直肠癌,38例腺瘤及20例正常上皮中fascin蛋白的表达.肿瘤细胞染色＞5%的病