一种面向装配规划的符号加权约束求解方法

    公开(公告)号:CN106650129A

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

    申请号:CN201611234708.9

    申请日:2016-12-28

    Abstract: 本发明公开一种面向装配规划的符号加权约束求解方法,首先获取装配体的装配联接图、移动向量矩阵和装配代价指标;然后根据装配体信息刻划WCSP模型;接着根据装配体的装配联接图、移动向量矩阵和装配代价指标创建联接图和移动向量矩阵的OBDD表示以及装配代价指标的ADD表示;最后搜索出一个可行的装配序列并记录其总的代价Cost,再对剩余未扩展完成的联接边逐一扩展,并将扩展的代价Cost1与Cost进行比较;搜索完所有的联接边之后,最终得到的最小代价值的装配序列就是最优装配序列。本发明能够在较高的时间和空间效率下,完成对装配体的最优装配序列的生成。

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

    公开(公告)号:CN104573062A

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

    申请号:CN201510035773.8

    申请日:2015-01-23

    CPC classification number: G06F17/30988 G09B7/04

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

    一种私钥定长的密文策略属性基加密方法

    公开(公告)号:CN106850224B

    公开(公告)日:2021-02-12

    申请号:CN201710241151.X

    申请日:2017-04-13

    Abstract: 本发明公开了一种私钥定长的密文策略属性基加密方法,该方法包含两部分核心内容:基于简化有序二叉决策图的访问结构和基于此访问结构的密文策略属性基加密方法,上述两部分内容的实现主要包含4个实体:数据加密方、数据解密方、授权中心、云端存储服务器;实现过程共包括以下4个步骤:(1)系统建立、(2)明文加密(含访问结构的构造)、(3)私钥生成、(4)密文解密;本发明技术方案中包含的访问结构能够支持任意布尔表达式所表述的访问策略,具有更强的工作能力、更高的工作效率;本发明技术方案中包含的加密方法具有访问结构工作性能较高、用户私钥占用空间极小且定长、能够实现快速解密等优点,整体性能表现更加灵活高效。

    一种面向装配规划的符号加权约束求解方法

    公开(公告)号:CN106650129B

    公开(公告)日:2020-05-08

    申请号:CN201611234708.9

    申请日:2016-12-28

    Abstract: 本发明公开一种面向装配规划的符号加权约束求解方法,首先获取装配体的装配联接图、移动向量矩阵和装配代价指标;然后根据装配体信息刻划WCSP模型;接着根据装配体的装配联接图、移动向量矩阵和装配代价指标创建联接图和移动向量矩阵的OBDD表示以及装配代价指标的ADD表示;最后搜索出一个可行的装配序列并记录其总的代价Cost,再对剩余未扩展完成的联接边逐一扩展,并将扩展的代价Cost1与Cost进行比较;搜索完所有的联接边之后,最终得到的最小代价值的装配序列就是最优装配序列。本发明能够在较高的时间和空间效率下,完成对装配体的最优装配序列的生成。

    基于并行多人工蜂群算法和支持向量机的入侵检测方法

    公开(公告)号:CN107465664B

    公开(公告)日:2020-04-24

    申请号:CN201710552034.5

    申请日:2017-07-07

    Abstract: 本发明公开了一种基于并行多人工蜂群算法和支持向量机的入侵检测方法,首先对原始的人工蜂群算法进行了重新设计,包括:蜜源编码方案的设计、种群的初始化设计、适应度评价函数的构造、蜜源的邻域搜索方法和招募观察蜂概率的计算,克服了算法易早熟、解的多样性差、易陷入局部最优、后期收敛速度慢等问题。其次,设计了多蜂群间的信息交流与协作机制,利用并行执行技术,给出了双环形多蜂群并行协同优化模型,用于对特征和支持向量机模型参数进行同步优化。然后,基于该协同优化模型,给出了基于并行多人工蜂群算法和支持向量机的入侵检测方法和模型。

    一种针对BYOD环境的信息安全保护系统与方法

    公开(公告)号:CN108667843A

    公开(公告)日:2018-10-16

    申请号:CN201810453985.1

    申请日:2018-05-14

    Abstract: 本发明公开了一种针对BYOD环境的信息安全保护系统与方法,涉及计算机及信息安全技术领域,解决的问题是BYOD环境下信息安全问题,该系统包括:安全管理设备、BYOD设备及云平台,通过对系统的访问控制、数据加密、系统审计及入侵检测,实现对BYOD环境的多级防护,确保信息安全。该方法包括如下步骤:(1)系统初始化;(2)安全策略制定与数据加密;(3)加密数据存储与共享;(4)BYOD设备接入与跟踪审计;(5)安全策略更新与数据重加密。本发明能够实现数据加密、对BYOD设备的访问控制、跟踪BYOD设备行为、保护办公系统的信息安全。

    基于SAT及OBDD桶消元的蛋白质分类方法

    公开(公告)号:CN108664768A

    公开(公告)日:2018-10-16

    申请号:CN201810463426.9

    申请日:2018-05-15

    Abstract: 本发明公开一种基于SAT及OBDD桶消元的蛋白质分类方法,其采用布尔可满足性问题(SAT)的模型,利用有序二叉决策图(OBDD)的符号求解算法以及桶消元算法,包括:先利用候选模式中元素位置的约束关系以及基数约束构建SAT模型;再使用OBDD符号技术以及包含的各项符号操作,结合桶消元算法,对所建立的模型进行求解,并且将求解技术应用到蛋白质分类中,分析提取了蛋白质中的特征信息,进行有效的分类。本发明面向蛋白质分类问题,通过求解模式挖掘中的频繁序列挖掘问题,对蛋白质进行研究。算法执行过程中,有效缩减了搜索空间,提高问题的求解效率,具有良好的实用性。

    一种面向PPI网络比对的图匹配约束求解符号方法

    公开(公告)号:CN107704578A

    公开(公告)日:2018-02-16

    申请号:CN201710918814.7

    申请日:2017-09-30

    Abstract: 本发明公开一种面向PPI网络比对的图匹配约束求解符号方法,利用图结构中的约束关系建立CSP模型(其中建立最短路径的约束条件)、采用基于图的回溯算法、结合OBDD符号技术以及包含的各项符号操作,从而达到求解子图同构问题的目的,最后将该技术引用到PPI网络比对问题中,并对该问题进行求解,给出一种面向PPI网络比对的图匹配约束求解符号技术。本发明结合求解约束满足问题的基于图的回跳算法,采用符号OBDD符号技术,发挥操作方法的优势,根据求解子图同构的约束符号求解技术,并将图匹配的符号算法应用到生物信息领域蛋白质相互作用网络比对问题中,其能够一定程度上提高问题的求解效率,降低状态空间复杂度。

    隐私保护下基于云平台的服务竞争系统

    公开(公告)号:CN106993053A

    公开(公告)日:2017-07-28

    申请号:CN201710315853.8

    申请日:2017-05-08

    Abstract: 本发明公开了一种隐私保护下基于云平台的服务竞争系统,包括:服务需求方服务器、云平台服务器、服务提供商服务器、可信授权中心服务器,该系统能够在保证服务需求方隐私安全的前提下,完成包含服务需求的发布、服务提供商的选定、服务流程的协商、订单状态跟踪、服务交付与验收等过程的全周期性工作。本发明能够实现对服务需求的访问控制、保证服务需求方隐私安全、提高服务效率与质量、实现对服务过程的全周期管控且整体具有较好的可扩展性。

Patent Agency Ranking