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

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

消除Win2k的危险共享

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

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

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

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

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

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

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

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

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

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

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

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

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

影响并列运行可控硅励磁整流桥均流的因素

分析了影响均流的几个因素的作用机理；针对常规均流措施提出了实施方法和方案；提出了利用延迟触发脉冲的方法的数字均流解决方案。并给出了现场试验结果；比较了数字均流和常规均流方案，讨论了均流解决措施和整流柜设计建议。