首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   7篇
  完全免费   4篇
  自动化技术   11篇
  2012年   1篇
  2008年   3篇
  2006年   1篇
  2004年   3篇
  2002年   2篇
  1998年   1篇
排序方式: 共有11条查询结果,搜索用时 15 毫秒
1.
基于WinPcap的网络安全监控系统的设计与实现   总被引:5,自引:0,他引:5  
伍丽华  张莉  曾致远 《微机发展》2004,14(12):55-58
数据包捕获技术是设计网络分析软件的基础,而WinPcap则是在Windows系统中实现的一个优秀的包捕获架构。文中结合该软件包的结构与功能对包捕获原理进行了详细的分析,并介绍了其在网络安全监控系统设计中的应用。该系统的基本原理是通过调用WinPcap库捕获本地网络上的所有数据包,然后对数据包进行协议解码,从而可以实时地监视网络,自动发现网络故障并报警。局域网使用结果表明此系统稳定,效果较好。  相似文献
2.
规划问题编码为约束可满足问题的研究   总被引:4,自引:1,他引:3       下载免费PDF全文
基于约束可满足问题的规划求解是研究智能规划的重要技术方法。把规划问题编码为约束可满足(CSP)问题,是这种规划求解方法的关键技术之一。本文介绍把规划问题编码为约束可满足问题的方法,及一些已有的并且已经用于规划的可满足过程,并对这些编码方法做进一步的研究,主要讨论领域知识在编码方法中的应用,提出在编码求解中加入领域知识的观点。  相似文献
3.
一阶逻辑在关系数据库中的应用   总被引:1,自引:1,他引:0  
一阶逻辑能唯一地作为关系数据库的统一语言,对关系数据库的可用性很多,本文主要讨论一些利用Prolog语言实现的应用。  相似文献
4.
规划图框架下用遗传算法求解时态规划问题   总被引:1,自引:0,他引:1  
许多现实世界中的规划问题通常希望规划目标能在尽可能短的时间内实现,并且规划动作的执行需要考虑时间因素.在规划图框架下,提出了一种能进行时态约束推理的遗传规划算法.主要工作有以下3个方面:1)介绍基于完全动作图的时序约束推理技术;2)提出能进行时序约束推理的基于规划图的遗传规划技术;3)针对基于规划图的遗传规划技术存在局部搜索能力不足的缺点,提出了在原有遗传操作算子的基础上,引入局部修复算子的混合规划技术.实验表明,这种算法能有效地处理一类时态规划问题.  相似文献
5.
本文主要面向NetWare网络管理员,论述了网络管理上的一些概念问题及管理措施。  相似文献
6.
周青  伍丽华 《计算机学报》2004,27(8):1109-1114
提出一个逻辑推理与算术运算合并系统的形式定义,通过合并算子把逻辑推理合并到算术系统中,使得在需要解决逻辑推理中的数值计算时,直接把问题转化为纯算术系统中的运算;文章对该形式系统作了理论上的分析,考察了合并系统的语法描述和语义解释,对其中的合并算子进行了定义和讨论,证明了该系统的可靠性与完备性.由于该系统基于一阶逻辑,所以比Ohlbach和Koehler提出的基于集合的系统Ⅲ适用性更大.  相似文献
7.
数据包捕获技术是设计网络分析软件的基础,而WinPcap则是在Windows系统中实现的一个优秀的包捕获架构.文中结合该软件包的结构与功能对包捕获原理进行了详细的分析,并介绍了其在网络安全监控系统设计中的应用.该系统的基本原理是通过调用WinPcap库捕获本地网络上的所有数据包,然后对数据包进行协议解码,从而可以实时地监视网络,自动发现网络故障并报警.局域网使用结果表明此系统稳定,效果较好.  相似文献
8.
周青  伍丽华 《计算机科学》2002,29(Z1):92-95
1引言 一直以来,从逻辑系统到算术系统的转换都依赖于人工的描述,没有自动转换系统.例如,逻辑系统中已有以下信息:某班学生中选修数据结构课程的有50人,选修软件工程课程的有40人,两门课程都选修的有25人,求某课程的平均成绩.解决这样的问题,通常需要在逻辑程序设计语言系统中另外编写程序,执行后才能得到解答.  相似文献
9.
在规划图框架下,定义了动作图,并进一步扩展为时态动作图,使之能体现处理具有时间资源约束的时态规划问题中的时态信息.在此基础上,提出一种对时态信息进行表示与管理并且能够进行时态约束推理的时态一致性赋值方法,利用约束可满足问题(CSP)技术对时序约束进行表示和处理,包括过滤、约减及时态信息的一致性检验,使时态推理技术能更好地应用于时态规划的求解过程中.最后,给出一个基于时态规划图的遗传规划算法GP-td,通过对国际智能规划大赛提供的Satellite规划领域问题进行实验.结果表明:该方法能够有效地提高大规模时态规划问题的求解效率和求解成功率.  相似文献
10.
随着电子设备系统的日益复杂化,依靠单一的推理技术的故障系统已难以满足复杂系统的诊断要求.将多种不同的推理技术结合起来的集成诊断系统,能够充分利用各自的优点,从而提高系统诊断的正确性和效率,是目前智能诊断研究的一个发展趋势.本文将研究复合系统的智能诊断问题,提出在一个复合系统的诊断过程中,运用基于规则的诊断和基于模型的诊断,两种诊断技术相结合将在诊断的不同阶段发挥出各自的作用,从而建立一个融合了RBD和MBD技术优点的、具有一定学习能力的智能诊断系统.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号