排序方式: 共有24条查询结果,搜索用时 500 毫秒
1.
2.
形式化方法介绍及其在工程中的应用 总被引:10,自引:0,他引:10
吕毅 《微电子学与计算机》2003,20(10):26-31,34
文章介绍了形式化方法的基本概念和分类,几种主要的形式化方法技术的源流和相互影响,形式化方法在工业界的典型应用以及形式化方法的能力和局限。着重介绍了形式化方法这几年的最新进展。 相似文献
3.
4.
一种改进的SAR图像边缘检测方法 总被引:6,自引:0,他引:6
针对Ration边缘提取算法对弱边缘检测效果差,边缘定位精度低的缺点,提出了一种改进算法用于检测微弱边缘,并给出具有FCAR特性的阀值选取办法,实际应用中,将两种方法结合为一种综合处理方法,对真实SAR图像的处理结果表明,该综合处理方法具有较高检测正确率及较好的边缘定位精度。 相似文献
5.
吕毅 《信息安全与通信保密》2001,(2):43-44
引言 我们都知道,传统意义上的防火墙用于限制被保护的网络与互联网络之间,或者与其他网络之间相互进行信息存取、传递操作,它所处的位置在内部网络与外部网络(很多时候就是因特网)之间。实际上,所有以前出现的各种不同类型的防火墙,从简单的包过滤在应用层代理以至自适应代理,都基于一个共同的假设,那就是防火墙把一端的用户看成是可信任的,而另一端的用户则都被作为潜在的攻击者来对待。这样的假设是整个防火墙机制工作的基础,但最近几年随着各种网络技术的发展和各种攻击情况的出现,我们需要重新来探讨一下传统类型防火墙的问题。 相似文献
6.
7.
8.
9.
10.
本文将Adobe公司推出的Flex+Flash Media Server的网络发布平台以及Flash Lite+Flash Cast的移动网络发布平台与SMG的东方宽频、东方龙等新媒体发布平台进行比较,将Adobe发布平台对现有业务的覆盖进行了分析.并展望了其在国内的应用前景. 相似文献