可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

消除Win2k的危险共享

各位网管请注意:这里的共享是Win2k默认的隐藏共享,即表面上看不到那个小手图标。不管是Server版还是Professor版的Win2k都有这样的共享:C$、D$、E$、F$等盘符共享,还有Admin$(C:\Winnt目录的共享)及IPC$()共享。微软这样做的初衷是好的,可以极大地方便我等网管的日常网络维护工作,不过对于黑客们来说,这无疑是一道诱人的亮丽风景,极具诱惑力,因为它们的存在使入侵难度大打折扣。所以,我们要取消这些危险的共享。既然是隐藏的共享,当然不能通过在盘符上点击鼠标右键后选“共享”之类的操作方法来取消它。最直接的方法是改注册表。打开…     

一种计算气藏动态储量的新方法

本文提出了一种计算气藏动态储量的新方法。使用该方法计算渗透性差、非均质性强的气藏的动态储量，具有较高的准确性。     

CCD光电系统噪声受限的探测能力分析

从光电子学的概念出发，分析了ＣＣＤ的噪声源及其特性，提出了信噪比相关的信号检测概率，建立了ＣＣＤ光电系统对点目标的探测能力公式。     

大型封闭式棒料冲模

我厂是生产精密复杂刀具的工厂,大部分刀具是中碳钢和高速钢经对焊而成。因数量大,所以棒料的下料问题是我厂备料的关键,过去我们一直沿用开式冲模下料,因偏斜和椭圆度达不到工艺要求,在焊接时只好加大两端的平头量,这样做既浪费了原材料,又加大了工时费用。 1979年,我们和西安交通大学共同设计制造成功了精密差动剪切模,解决了偏斜和椭圆度超差问题,但是只能用于ф28毫米以下的棒料,ф28毫米     

气压传动与控制在电子专用设备上的应用

气压传动与控制已成为电子专用设备研制过程中一项不可缺少的内容 ,必须进行合理的气动系统设计及其控制 ,选择相应的气动元件以满足设备的功能要求。概述了气压传动与控制在电子专用设备上的应用。     

均匀设计法优化苯一步羟基化制苯酚工艺参数

在单因素研究的基础上 ,用均匀设计法对苯一步羟基化制苯酚的反应条件进行了整体优化。在反应温度 75℃ ,催化剂用量 2 .2g mol,n(C6H6) n(H2 O2 ) =10∶1,H2 O2 浓度为 0 .5 2mol L的条件下 ,反应 2h ,苯的转化率可达 6.18% ,双氧水的转化率和利用率分别可达 87.4%和 89.2 %。     

陶瓷复合尾矿管道施工方法应用与分析

介绍了尖山铁矿陶瓷复合尾矿管道的施工方法，生产实践情况及经济分析。     

建筑给排水设计对住宅环境性能的影响及对策

阐述了建筑给排水工程师在实际工作中除必须满足国家有关强制性规范外 ,还应采取一系列针对性技术措施 ,以使住宅的环境性能得到良好的控制 ,以提高住宅的品质。     

适用于快速平台测井的多通道核能谱测井仪设计

介绍一种基于快速平台测井要求的多通道核能谱测井仪设计方案。复杂可编程逻辑器件的应用使仪器功能增强，规模减小。该系统可对岩性密度长短源距脉冲信号、自然γ能谱脉冲信号进行多道脉冲幅度分析，并对补偿中子测井信号及井下多路常规模拟信号、脉冲信号进行数字化采集。数据传输采用曼彻斯特编码，传输方式可选择20kB／s半双工(兼容Atlas 3508)或下行20kB／s、上行41．66或93．75kB／s全双工方式(兼容Atlas WTS)，适应挂接到不同测井系统的需要。