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

功能验证已经成为开发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)，适应挂接到不同测井系统的需要。