9581.
总被引：7，自引：2，他引：7
本文构造了一大类相关免疫布尔函数，给出了一阶相关免疫函数个数的新的下界，从而大大改进了相关免疫函数的计数公式。 相似文献
9582.
9583.
总被引：7，自引：0，他引：7
目前国内外流行的应用自验证ＳＴＣ和互验证ＭＴＣ来模拟电路子网络级故障的方法，面临着一个基础性核心问题：当解除撕裂端点必须全部可及的限制后，是否有误区存在？可及点分布应遵循什么规律？本文给出的定理回答了这些问题，并论证了撕裂端点全部可及，仅是文中所研究的无误区的一个特例而已。… … 相似文献
9584.
总被引：7，自引：0，他引：7
本文提出了一种改进的用于ＤＭＴ信道的实用比特分配算法，它可以在整比特数限制下实现近似平坦的功率分布。这种算法与其它算法的性能几乎相等，但是大幅度降低了计算量和运行时间。 相似文献
9585.
总被引：7，自引：0，他引：7
包过滤是防火墙的一项基本技术,通过对包过滤规则的合理制订可以有效地保护内部网络.文中结合一些典型的网络攻击,讨论了有关合理制订包过滤规则的问题.最后详细分析了一种新的过滤机制--流过滤. 相似文献
9586.
总被引：7，自引：0，他引：7
软交换技术作为业务／控制与传送/接入分离思想的体现,是下一代网络体系结构的关键技术,其核心思想是硬件软件化,通过软件的方式来实现原来交换机的控制、接续和业务处理等功能,更快地实现各类复杂的协议及更方便地提供各种业务。通过对下一代网络体系结构的剖析,阐述软交换技术如何通过实现各种业… … 相似文献
9587.
总被引：7，自引：2，他引：7
基于Ｗｅｂ的应用系统中,资源访问的控制是系统安全性的一个重要方面。从实用的角度,提出了相关Ｗｅｂ页面资源访问控制的解决方法。 相似文献
9588.
9589.
9590.
总被引：7，自引：0，他引：7
ＰＳＳ／Ａｄａ是一个Ａｄａ程序静态切片生成系统，可广泛应用于Ａｄａ程序的测试、排错、理解、维护以及Ａｄａ软件的波动性分析、并行性检测和复杂性度量等诸方面，本文介绍ＰＳＳ／Ａｄａ系统的设计思想、系统的结构、工作原理以及系统实现的重要技术细节。 相似文献
关于我们 |
广告服务 |
商务洽谈 |
联系我们 |
免责条款 |
隐私声明 |
网站导航
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
