一种稠密图邻接表压缩方法

    公开(公告)号:CN107564075A

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

    申请号:CN201710909521.2

    申请日:2017-09-29

    Abstract: 本发明公开一种稠密图邻接表压缩方法,其引入了同时结合广度优先搜索和深度优先搜索进行结点编码的方法,依托于邻居集合的相似性与参考压缩,将后续出边表的建立借助于已构建完成的出边表,邻接表存储空间的压缩效率十分显著。此外,本发明公开的方法支持快速查询,由于未增加新的符号,查询时无需解压缩,因此查询效率大大增加。本发明基于图的邻接表表示形式上对数据进行无损压缩,尤其是针对稠密图,压缩效率更为显著。

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

    公开(公告)号:CN104618332B

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

    申请号:CN201410841646.2

    申请日:2014-12-30

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

    一种手机投影灯的健康照明方法

    公开(公告)号:CN107229174A

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

    申请号:CN201710574922.7

    申请日:2017-07-14

    CPC classification number: G03B21/2053

    Abstract: 本发明公开一种手机投影灯的健康照明方法,基于现有微型投影仪,通过投影控制端提供给用户的模式选择反馈来选择相应的连接模块接收数据;通过时钟电路来判断所属时间范围;通过光度感应器接收当前光亮的照度数值;通过投影控制端将光亮照度数值或时间范围传递给光源控制器;通过光源控制器依据司辰效应比值公式来选择合适的投影光源,来调节投影的光源,从而实现手机投影灯的健康照明。

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

    公开(公告)号:CN106850224A

    公开(公告)日:2017-06-13

    申请号:CN201710241151.X

    申请日:2017-04-13

    CPC classification number: H04L9/3073 H04L63/0442 H04L63/062

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

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

    公开(公告)号:CN104653126B

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

    申请号:CN201510011347.0

    申请日:2015-01-09

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

    一种基于ASP的CSP并发系统调试方法

    公开(公告)号:CN106201881A

    公开(公告)日:2016-12-07

    申请号:CN201610543275.9

    申请日:2016-07-12

    CPC classification number: G06F11/3604 G06F11/362

    Abstract: 本发明为一种基于ASP的CSP并发系统调试方法,包括以下步骤:步骤1、根据描述CSP并发系统行为特征的ASP规则集,得到实例化性质规则集;步骤2、生成性质成立或不成立的原因;步骤3、生成反例迹并利用反例迹调试系统错误;步骤4、通过性质成立的原因生成ASP规则L,表示系统中使该性质成立的部分系统结构,分析系统修改后对已验证性质的影响,如果新系统满足规则L,性质依然成立,否则性质需要重新验证。本方法采用基于ASP的CSP并发系统的性质验证框架仅需两层模型即可完成性质验证,且两层模型间的差异较小;利用性质不成立时的反例迹实现针对CSP并发系统错误的调试,避免系统部分改变后,对仍成立的性质重复验证。

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

    公开(公告)号: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的秘密输入值之间的安全比较。

Patent Agency Ranking