一种动态切换第三方程序库的实现方法及实现装置

    公开(公告)号:CN108804087A

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

    申请号:CN201710283541.3

    申请日:2017-04-26

    IPC分类号: G06F8/30

    CPC分类号: G06F8/313

    摘要: 本发明公开了一种动态切换第三方程序库的实现方法及实现装置,涉及软件开发技术领域。该实现方法包括:在业务逻辑层与基础框架层之间增设中间屏蔽层,并定义通用访问接口;将业务逻辑层设置为只能通过调用通用访问接口来实现功能;为基础框架层中的每个第三方程序库创建适配容器,该适配容器用于提供通用访问接口的具体实现方法;当进行初始化时,将指定的第三方程序库的适配容器传入到初始化的方法中;当需要切换至另一个第三方程序库时,将需要切换的另一个第三方程序库的适配容器重新传入到初始化的方法中。本发明能够简单、高效的实现第三方程序库的动态切换,且上层无感知,极大的降低了代码的入侵性,避免了程序bug的引入。

    基于MVC架构的日志记录系统及方法

    公开(公告)号:CN105893016A

    公开(公告)日:2016-08-24

    申请号:CN201510919783.8

    申请日:2015-12-11

    发明人: 张鹏

    IPC分类号: G06F9/44 G06F9/445

    CPC分类号: G06F8/313 G06F8/65

    摘要: 本发明公开了一种基于MVC架构的日志记录系统及方法,其可在不改变源程序代码的基础上,只需要添加一些注解,即可完成日志信息的记录,而且所记录的信息远比切面丰富。所述系统包含:控制层处理模块,用于在所述控制层对所接收到的用户请求进行处理的过程中,在程序执行到所述控制层内其之前设置有注解的方法时,调用该注解的业务逻辑,以提取用户信息;以及服务层处理模块,用于在程序执行到所述服务层内其之前设置有注解的方法时,调用该注解的业务逻辑,以记录日志参数,并将该日志参数与所述用户信息一同存储在日志存储模块内。

    一种基于Avalon接口的SM3算法IP核的设计方法

    公开(公告)号:CN105786528A

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

    申请号:CN201610198363.X

    申请日:2016-04-01

    发明人: 苏振宇

    IPC分类号: G06F9/44 G06F17/50

    摘要: 本发明提供一种基于Avalon接口的SM3算法IP核的设计方法,属于信息安全技术领域。IP核的封装接口的所有信号是时钟同步的,在上升沿被采样,高电平有效;IP核工作时,首先向长度寄存器写入消息块的总长度,之后向IP核的数据寄存器写入第一个待运算的消息块的数据,当第一个消息块数据运算完成后,设置控制寄存器的第3位为1,之后向IP核写入第二个待运算的消息块数据,并设置控制寄存器的第3位为0,直到所有的消息块数据运算完成,最终的杂凑运算结果被写入到运算结果寄存器中,通过Data_out[255..0]接口读出。本发明设计灵活方便,可以满足信息安全领域对数据加解密的应用需求。

    一种基于状态机机制的事件处理方法及装置

    公开(公告)号:CN107357592A

    公开(公告)日:2017-11-17

    申请号:CN201710623717.5

    申请日:2017-07-27

    发明人: 崔波 戚勇

    IPC分类号: G06F9/44

    CPC分类号: G06F8/313

    摘要: 本发明公开了一种基于状态机机制的事件处理方法及装置,该方法包括:第一模块接收激励状态;根据激励状态和第一模块中的状态机的当前状态,将状态机变为对应的下一状态,并执行下一状态对应的第一模块的逻辑;其中,状态机包括对应于第一模块的各个逻辑的状态;本发明通过根据接收的激励状态和第一模块中的状态机的当前状态,将状态机变为对应的下一状态,并执行下一状态对应的第一模块的逻辑,可以将第一模块的逻辑分割成状态机不同的状态对应的逻辑,通过各模块向状态机发送的激励状态,完成对应的逻辑的执行过程,降低了模块之间的耦合度,同时增强模块内部逻辑的扩展性。

    轨旁控制单元中基于数据配置的C语言代码自动生成系统

    公开(公告)号:CN107301080A

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

    申请号:CN201710526443.8

    申请日:2017-06-30

    发明人: 王芳萌 李广诚

    IPC分类号: G06F9/45

    CPC分类号: G06F8/313

    摘要: 本发明公开了轨旁控制单元中基于数据配置的C语言代码自动生成系统,包括数据库解析模块、数据结构模块、联锁规则库模块、逻辑树模块和C语言代码生成模块,数据结构模块定义了联锁表示和逻辑运算所需数据结构;联锁规则库模块定义了基于联锁规范的运算规则;数据库解析模块读取联锁数据和配置数据,结合数据结构模块和联锁规则库模块,将联锁数据表达为复杂逻辑表达式;逻辑树模块将复杂逻辑表达式解析为基本逻辑表达式;C语言代码生成模块以基本逻辑表达式的列表为输入,结合数据结构模块和联锁规则库模块,根据配置数据、联锁数据和现有源代码信息,生成最终的C语言代码文件。准确处理基于数据配置的复杂逻辑表达式的解析和代码编写。

    一种响应方法和装置
    9.
    发明公开

    公开(公告)号:CN107133025A

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

    申请号:CN201710156242.3

    申请日:2017-03-16

    IPC分类号: G06F9/44

    CPC分类号: G06F8/313 G06F8/38

    摘要: 本发明实施例提供了一种响应方法和装置,用于降低代码维护的难度。所述方法包括:接收用户针对界面显示出的一显示组件的操作;基于所述操作,与所述操作对应的响应函数抛出表示所述操作的第一自定义事件;所述第一自定义事件的帧听组件执行所述帧听组件的逻辑,以响应所述操作;其中所述帧听组件为响应所述操作的子函数对应的组件。

    基于Prolog的AADL行为模型时间一致性验证方法

    公开(公告)号:CN106325855A

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

    申请号:CN201610654797.6

    申请日:2016-08-11

    发明人: 周勇 刘骁 谢红梅

    IPC分类号: G06F9/44

    CPC分类号: G06F8/22 G06F8/313

    摘要: 本发明公开了基于Prolog的AADL行为模型时间一致性验证方法,属于软件工程的技术领域。本发明在AADL行为附件的基础上进行扩展以建立带有时间约束的AADL行为模型,AADL行为模型描述了节点状态信息、时间约束信息,节点状态信息能够定性描述实时系统的属性,时间约束能够定量描述实时系统的时间区间,为完整验证实时系统时间一致性奠定了基础,将AADL行为模型分解得到的执行路径转换为Prolog事实,将形式化描述的隐式时间约束以及显式时间约束转换为Prolog规则,利用Prolog规则刻画实时系统的一致性,即可实现实时系统时间一致性的完整验证。