•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9641-9650项 搜索用时 79 毫秒
[首页] « 上一页 [960] [961] [962] [963] [964] 965 [966] [967] [968] [969] [970] 下一页 » 末  页»
9641.
限制理论是形式化常识知识并进行常识推理的一种重要方法.本文主要研究将限制理论转化为面向对象逻辑语言的可能性,并实现了完成这个转换的编译器.按面向对象逻辑语言的语义运行编译后的程序,可得到与原限制理论相同的结果.将该编译器嵌入面向对象逻辑语言解释器中,可以大大提高该语言的表达能力,… …   相似文献
金芝  胡守仁 《软件学报》1994,5(5):16-25
9642.
  
软件漏洞静态分析是信息安全领域的重点研究方向,如何描述漏洞及判别漏洞是漏洞静态分析的核心问题。提出了一种用于描述和判别漏洞的漏洞静态检测模型。首先对软件漏洞的属性特征进行形式化定义,并对多种软件漏洞和其判定规则进行形式化描述;其次,针对传统的路径分析存在的状态空间爆炸问题,提出了… …   相似文献
王涛  韩兰胜  付才  邹德清  刘铭 《计算机科学》2016,43(5):80-86, 116
9643.
一、引论北京海关担负着北京口岸进出口货物、运输工具、行车和邮递物品的监管任务,进出的贸易性货物主要是经航空运输和铁路、海运转关运输的。改革开放以来,北京海关监管的货运量逐年递增,年增长率平均为万.7%,随着我国市场经济的深入发展和对外开放的不断扩大,随着北京市步入国际化大都市的进… …   相似文献
9644.
  
为有效减少冗余数据传输,增强安全性,提出了一种基于单向函数的传感器网络安全数据汇聚方案,汇聚节点无须解密数据,利用单向函数完成数据完整性检查、身份认证、数据汇聚等,保证了端到端传输的数据私密性。与相关数据汇聚方案相比,除了具有较小的能耗开销,该方案还在抵抗主动攻击、节点妥协攻击及… …   相似文献
9645.
下载全文  总被引:3,自引:0,他引:3
本文提出了Java程序设计中遇到的中文问题,阐述了产生中文问题的原因,并提出了解决JaVa中文问题的方法.  相似文献
9646.
下载全文  总被引:1,自引:0,他引:1
存储方案是XML数据管理研究领域的核心问题之一。底层的存储表达在性能上对上层的查询和优化有着重要的影响,因此有效地建立XML文档的存储方案是首要问题。以关系数据库为基础,提出了一种基于边模型映射的XML存储方案的数据库模型。在该模型中,首先依据文档中的结点类型对XML文档树进行结… …   相似文献
9647.
下载全文  总被引:1,自引:0,他引:1
为了提高粒子群(PSO)算法的性能,提出一种基于云模型理论的改进PSO算法,并应用于差异工件单机批调度问题的求解。首先根据粒子的适应值把种群划分为三个子群,提出一种随机的位置和速度更新方法,来有效平衡算法的局部和全局搜索;然后引入基于云模型理论的自适应参数策略,不同的子群采用不同… …   相似文献
9648.
下载全文  总被引:2,自引:1,他引:2
研讨了同时为多个点播用户服务的轮转服务策略和比例服务策略,并提出了VOD(video-on-demand)服务器在不破坏各路点播流实时播放率的前提下,应用这些服务策略的方法.  相似文献
9649.
下载全文  总被引:1,自引:0,他引:1
在广域网中使用FTP命令穿过防火墙进行文件传输时,如果使用主动模式,那么对大于1024的端口进行过滤实际上是不可能的。因为这个通路由于安全问题,在防火墙上是关闭的,那么唯一的方法就是使用被动模式的FTP工具。在被动模式下,所有的FTP连接和数据传输请求都由FTP客户发起,这样就可… …   相似文献
9650.
本文介绍了入侵检测系统的基本概念,分析了数据挖掘技术在入侵检测系统中的应用.本文主要研究了聚类分析中的k-means算法在入侵规则匹配中的应用,指出了该算法的不足,通过对传统k-means算法的改进解决了聚类算法固有的无法预知最佳聚类个数和分类过细的问题.提高了系统的规则匹配效率… …   相似文献
[首页] « 上一页 [960] [961] [962] [963] [964] 965 [966] [967] [968] [969] [970] 下一页 » 末  页»