SoC中多层AHB总线的断言验证应用

随着SoC设计复杂程度的不断提高,芯片的功能验证面临的挑战越来越大。断言作为一种描述属性的方法,可以快速地验证设计代码是否满足系统要求。基于断言的验证方法学近年来发展极为迅速,应用也越来越广泛。在基于Multi-layer AHB总线架构上的SoC系统验证过程中,采用System Verilog Assertion验证方法,证明SVA是SoC设计过程中功能验证的一种有效的验证方法。     

数字化网络拓扑专业制图工具研究

为满足网络咨询设计数字化转型中的网络拓扑图绘制需求，解决现有网络拓扑图在设计环节只能孤立使用、现有绘图工具不支持将绘制的网络图形自动转为网络配置数据能力等问题。本文研究在线协作绘图的方法和系统，提炼五大设计要点，创建拓扑绘图各场景应用模型，定义拓扑绘制表达规则，最终实现网络设计专用制图工具。其可自动化生成结构化数据和咨询设计成果表格，无缝对接机房布局设计、装架设计和软硬件集成等网络规划建设其它环节工作，推进网络数字孪生发展。     

高清电视的技术发展总动员

电视机从黑白到彩色．从模拟到数字．从标清到高清．电视传播的清晰度逐步提升．数字高清晰电视以其大屏幕画面的细腻逼真,配以环绕立体声,俨然成为人们越来越舒适的视觉享受。     

类癌性乳腺癌的超微结构观察(附11例报道)

本文收集我室1984—1987年向电镜下见到癌细胞内含有神经内分泌颗粒(NSG)、嗜银染色阳性的11例乳脉癌。其中粘液腺癌1例,浸润性导管癌2例、浸润性癌3例、腺癌2例、小叶癌1例、髓样癌1例、腺鳞癌1例。临床上无一例有类癌综合往症状。这些肿瘤的超微结构特点是:大多数或少数瘤细胞质内含有数量不等的NSG,颗粒通常呈园形或椭园形,直经90～300nm、电子密度不一、中央常见有一致密蕊子、但也有呈均质状,絮状或指纹状,     

无支持膜切片的制作

近年来,随着细胞化学、细胞免疫学的发展,作免疫酶标、免疫胶体金标的超薄切片越来越多,这种切片要裱在无支持膜铜网上酶标或金标的反应效果才好;另外普通电镜切片裱在无支持膜铜网上,也有图象清晰、分辨率高容易着色、不易污染的优点。这种无支持膜切片(以下简称无膜切片)虽然好,但制作不易,要制作出好的无膜切片,根据我室近三年来制作的2000余例片子的经验来看,要注意以下几点: 一、切片本身的制作过程:无膜切片由于没有膜的支持,容易断裂和皱折。切片太脆就易断,     

智能网新技术部署方案探讨

首先对VoLTE技术及能力开放架构进行简单介绍,然后对智能网组网架构以及相关网络的建设策略进行初步研究,并具体阐述能力开放网络架构和能力开放部署方案分析,最后总结智能网新技术将支撑运营商构建互联网化通信能力.     

从庚型肝炎病人肝穿组织中发现具有布尼安病毒科（Bunyaviridae）病毒形态特征的病毒颗粒

应用常规超薄切片技术,对单纯HGV感染患者的肝穿组织进行电镜观察。发现肝细胞胞浆内高尔基囊泡增生、扩张,在扩张的囊泡中见到呈芽生性生长和成熟的病毒颗粒。成熟病毒具有双层脂质包膜及表面穗状微突,核心为微细点丝状,直径约70－120nm,根据其形态学及形态发生特征,可以主伙HGV有可能属布尼安病毒科（Bunyaviridae)成员。     

面向未来网络演进的局房规划思路及方法

本文面向网络转型中出现的网络技术发展演进与局房建设之间的矛盾,围绕如何建立局房建设与网络演进之间的连接展开讨论,分析了未来网络演进对局房的需求、面向未来网络演进的局房规划思路和规划方法,通过本文的研讨,为局房规划建设提供了一套分析思路和分析方法。     

基于经分数据优化不良信息监控策略的研究

本文分析了基于经营分析系统优化不良信息监控策略的总体思路,描述了经营分析系统与现网监控系统的业务架构,详细介绍了构建名单识别模型所需的基础变量集和较为典型的模型算法,并给出了针对不同用户名单制定不同监控策略的应用建议,最后重点讨论了实际应用的效果分析方法以及对模型和监控策略的优化提升要求。     

节约电镜标本制作材料的几种方法

节约电镜标本制作材料的几种方法宋小明（南京八一医院电镜室，南京２１０００２）制作电镜标本的材料，大多靠进口，价格昂贵，本文主要介绍几种节约的方法。一、用斜瓶法节约锇酸先制作一个斜瓶槽（如图１），方法：将白铁皮折成“楼梯”状，然后放平即成斜瓶槽。将用锇...