批处理包过滤防火墙的实现方法

    公开(公告)号:CN105871856B

    公开(公告)日:2018-11-06

    申请号:CN201610224777.5

    申请日:2016-04-12

    Abstract: 本发明公开一种批处理包过滤防火墙的实现方法,包括:规则库的分类、规则的协议类型的压缩处理、规则的端口号的压缩处理、符号OBDD刻画、数据包头信息的预处理、数据包头信息与规则库的匹配。本发明通过对规则和传入数据包的预处理,使得二者可以节省存储空间并更高效和有针对性的进行匹配,使得防火墙在过滤数据包时花费更少的节点比较次数,达到节省内存和加快匹配的效果。

    基于描述逻辑和案例推理的智能学习方法

    公开(公告)号:CN104573062B

    公开(公告)日:2018-01-23

    申请号:CN201510035773.8

    申请日:2015-01-23

    Abstract: 本发明公开一种基于描述逻辑和案例推理的智能学习方法,先对案例的属性采用基于描述逻辑的相似度计算方法对文字属性和数值属性的分别计算,给出相似度匹配初步结果;后利用蚁群算法中的信息素权重自适应更新及分配策略和案例推荐建立联系;通过使用对学习主体的学习等级和问题等级划分,对处于不同学习阶段的学习主体能够给出其所在等级的案例推荐;最后分别对以上方法的计算结果分别赋予不同的权值,综合计算出案例之间的相似度;通过综合相似度从案例库中给出对于当前问题案例的最优解决方案的列表,供学习主体选择。这样就可使学习者快速地从其所遇到的错误中进行学习。

    基于符号边值二叉决策图的安全两方计算方法和系统

    公开(公告)号:CN104618332B

    公开(公告)日:2017-10-24

    申请号:CN201410841646.2

    申请日:2014-12-30

    Abstract: 本发明公开一种基于符号边值二叉决策图的安全两方计算方法和系统,其包括3个阶段,即服务器构建局部混淆子联合函数阶段,服务器与客户端的信息交互阶段和客户端的解密计算阶段。本发明通过服务器联合函数混淆和客户端输入数据混淆,可以实现函数规模,内部结构以及输入数据的隐私保护的目的;通过EVBDD的符号刻画和结点的加解密算法,提高了安全两方计算的执行效率。本发明能够在较高的算法效率下,安全的完成参与方对联合任务的策略执行功能,同时还保证了联合任务的安全策略以及计算过程中的加密数据不被泄漏。

    石油钻杆抓取推送机械手
    14.
    发明授权

    公开(公告)号:CN104653126B

    公开(公告)日:2017-01-04

    申请号:CN201510011347.0

    申请日:2015-01-09

    Abstract: 本发明公开了一种石油钻杆抓取推送机械手,其左、右夹臂通过左右扩张收缩机构和前后移动机构安装于推送架的上、下安装板之间,左右扩张收缩机构包括上滑动板与上安装板之间、下滑动板与下安装板之间对称设置的滑动板传动组件以及上安装板与夹臂之间、下安装板与夹臂之间对称设置的夹臂传动组件;前后移动机构包括设于左、右夹臂之间的移动板,移动板滑动置于上、下安装板的滑动槽内,移动板的上、下端分别连接上滑动板和下滑动板。本发明主体尺寸小,张口大,适用的钻杆直径范围广,可在钻杆丛中作业,提高作业效率,特别适合夹持5英寸~10英寸的钻杆。

    一种装配序列规划方法
    16.
    发明公开

    公开(公告)号:CN104616084A

    公开(公告)日:2015-05-13

    申请号:CN201510082672.6

    申请日:2015-02-15

    CPC classification number: Y02P90/30 G06Q10/047 G06Q50/04

    Abstract: 本发明公开一种装配序列规划方法,其可以划分为三个阶段:阶段I:装配信息收集及建立适应度函数;阶段II:利用混沌混合算法搜索装配序列;阶段III:计算适应度值,动态更新种群的规模以及更新路径信息素。本发明在蚂蚁遗传算法的基础上加入混沌算法,既在蚂蚁算法搜索之后引入混沌算法搜索,加强算法的局部搜索能力,再以这两种算法搜索到的可行解作为遗传算法的初始种群,引导遗传算法全局搜索。由于丰富了初始种群,使遗传算法的全局搜索能力得到加强,进而扩大了搜索空间。

    基于BDD解决社会主义百万富翁问题的方法

    公开(公告)号:CN104601323A

    公开(公告)日:2015-05-06

    申请号:CN201510081626.4

    申请日:2015-02-15

    Abstract: 本发明公开一种基于BDD解决社会主义百万富翁问题的方法,其客户端A和B分别将各自秘密输入值改写成m位带实数类型的连分数形式;服务器对两个m位带实数类型的连分数各个对应分量的安全比较;客户端A用特殊的BDDs结构对改写成连分数形式的实数的比较过程进行刻画,并对特殊BDDs结构进行混淆加密;服务器与客户端A执行2选1不经意传输协议得到结点密钥对BDDs进行遍历,将得到加密的叶子结点信息送给客户端A和B解密得到实数的比较结果。本发明可以实现客户端A和B的秘密输入值之间的安全比较。

    基于动态描述逻辑和模型检测的语义Web服务验证方法

    公开(公告)号:CN104536901A

    公开(公告)日:2015-04-22

    申请号:CN201510034291.0

    申请日:2015-01-23

    Abstract: 本发明公开一种基于动态描述逻辑和模型检测的语义Web服务验证方法,在语义Web环境中模型验证技术的基础上,引入动态描述逻辑,将动作的执行作为Web服务模型中状态变化的原因,其可以将传统的模型检测技术应用到语义Web环境下Web服务验证的问题上。从系统模型的角度,将语义Web服务抽象为模型检测中的状态迁移系统;同时引入了动作理论,将原子服务的前提条件和执行结果抽象为动作理论的原子动作,将动作的执行看作是原子服务中状态迁移的原因。在此基础上,考察动作的执行所产生的模型是否满足时态规范。本发明弥补了传统的验证方法没有考虑Web服务中状态迁移原因的局限性,丰富了语义Web环境下Web服务验证的方法。

    基于动态描述逻辑和案例推理的软件系统故障检测方法

    公开(公告)号:CN104503920A

    公开(公告)日:2015-04-08

    申请号:CN201510034300.6

    申请日:2015-01-23

    Abstract: 本发明公开一种基于动态描述逻辑和案例推理的软件系统故障检测方法,其以状态为基础,采用动态描述逻辑的动作理论对问题进行描述,把程序功能模块的执行看作是使状态改变的动作,把状态的转换看作是由动作引起的改变,加入了状态转换之间的语义信息,降低了建模的复杂度。再将动态描述逻辑的描述能力和可推理能力结合案例推理技术,对故障案例进行管理,为系统将要出现的新的故障提供解决方法上的经验支持。加入动作序列匹配的案例检索提高对系统故障的案例检索的查准率。当系统运行的过程中遇到故障之后,利用本发明的方法能够通过软件运行的状态转换序列找出相似故障案例及提供相应修复措施。

    虚拟专用网络中安全隐患的解决方法

    公开(公告)号:CN102833271B

    公开(公告)日:2014-11-26

    申请号:CN201210351966.0

    申请日:2012-09-20

    Abstract: 本发明为虚拟专用网络中安全隐患的解决方法,步骤为:A,防火墙服务器检查VPN隧道内数据包加密部分包头信息的密文是否处于与其明文包头信息中目的IP地址对应的黑白名单中;B,A步结果为否,防火墙服务器按其目的IP地址查询防火墙得出符合条件的FDD分支;C,防火墙服务器将B步查询结果转化成OBDD,保存该OBDD及对应的查询条件;D,防火墙服务器加密并混淆C步所得OBDD各节点发送给VPN服务器;E,VPN服务器解密接收的OBDD得终结点信息,所得信息异或数据包的密文,发送至防火墙服务器;F,防火墙服务器执行防火墙策略,并将A步中的密文添加到与其目的IP地址对应的黑白名单内。防火墙对VPN隧道内的数据流安全执行防火墙策略,且加密数据不被泄漏。

Patent Agency Ranking