期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
一种基于混沌不透明谓词的压扁控制流算法 被引量:10
1
作者 吴伟民 林水明 林志毅 《计算机科学》 CSCD 北大核心 2015年第5期178-182,共5页
提出了一种基于混沌不透明谓词的压扁控制流算法。该算法将一种新的基于Arnold cat二维混沌映射的N态不透明谓词的构造方法用于改进压扁控制流混淆算法的全局索引变量,并开发了一个基于该算法的JavaScript脚本混淆系统。通过对混淆前后J... 提出了一种基于混沌不透明谓词的压扁控制流算法。该算法将一种新的基于Arnold cat二维混沌映射的N态不透明谓词的构造方法用于改进压扁控制流混淆算法的全局索引变量,并开发了一个基于该算法的JavaScript脚本混淆系统。通过对混淆前后JavaScript程序的静动态分析证明了该混淆算法具有正确性和有效性,同时还能提高混淆后程序的安全性。 展开更多
关键词 ARNOLD cat二维混沌映射 N态不透明谓词 压扁控制流算法 JAVASCRIPT
下载PDF
基于同余方程和改进的压扁控制流的混淆算法 被引量:2
2
作者 王岩 黄章进 顾乃杰 《计算机应用》 CSCD 北大核心 2017年第6期1803-1807,共5页
针对现有控制流混淆算法的混淆结果单一的问题,提出了一种基于同余方程和改进的压扁控制流混淆算法。首先,使用密钥和一组同余方程来生成源代码的基本块中需要使用的不透明谓词;其次,基于Logistic混沌映射提出了一种新的N态不透明谓词... 针对现有控制流混淆算法的混淆结果单一的问题,提出了一种基于同余方程和改进的压扁控制流混淆算法。首先,使用密钥和一组同余方程来生成源代码的基本块中需要使用的不透明谓词;其次,基于Logistic混沌映射提出了一种新的N态不透明谓词构造算法,并将其应用到现有的压扁控制流算法中,对现有的压扁控制流算法进行改进;最后,将上述两个对源码进行混淆的算法结合,以此来增加源代码中控制流的复杂度,使其更难被破解。与现有的基于混沌不透明谓词的压扁控制流算法相比,所提混淆算法使混淆后代码的防篡改攻击时间平均提高了22%以上,总圈复杂度平均提高了34%以上。实验结果表明,所提算法能够保证混淆后程序执行结果的正确性并且具有很高的圈复杂度,能够有效地抵抗静态攻击和动态攻击。 展开更多
关键词 代码混淆 N态不透明谓词 同余方程 压扁控制流算法
下载PDF
基于签名的控制流错误检测算法检测能力的验证模型
3
作者 吴艳霞 顾国昌 +2 位作者 戴葵 沈晶 刘海波 《宇航学报》 EI CAS CSCD 北大核心 2010年第12期2776-2783,共8页
目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流... 目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。 展开更多
关键词 可靠性 软件实现的硬件故障容错 控制流错误检测算法 验证模型
下载PDF
网络超市平台建设中数据接口与控制算法设计
4
作者 王红艳 朱全银 +1 位作者 沈建春 施晓春 《北京联合大学学报》 CAS 2010年第4期29-33,共5页
根据地方政府对特色产业网络超市平台的建设需求,采用J2EE企业级解决方案,选取Struts2、Hibernate、Spring框架进行平台建设,阐述了数据库接口设计、数据控制类设计与控制流算法设计,建成的平台系统已经能够稳定运行。
关键词 网络超市平台 数据接口 数据控制 控制流算法
下载PDF
GCC编译器中间代码层控制流扩充研究 被引量:1
5
作者 何涛 周会平 +1 位作者 贾丽丽 王发鸿 《计算机工程与科学》 CSCD 北大核心 2012年第2期73-77,共5页
本文首先对CFCSS(控制流检错算法)进行了介绍,对GCC编译器的运行流程进行了简要分析,再次给出了在GCC编译器中扩充CFCSS算法的具体方法,最后通过故障注入实验对扩充后的GCC进行了有效性验证。实验表明,扩充了CFCSS算法的GCC编译器所编... 本文首先对CFCSS(控制流检错算法)进行了介绍,对GCC编译器的运行流程进行了简要分析,再次给出了在GCC编译器中扩充CFCSS算法的具体方法,最后通过故障注入实验对扩充后的GCC进行了有效性验证。实验表明,扩充了CFCSS算法的GCC编译器所编译的程序在运行过程中具有控制流检错能力。这为我们下一步的故障定位和故障恢复提供了有力的支持,为解决星载计算机的运行故障奠定了基础。 展开更多
关键词 GCC 中间层代码 优化 控制流检错算法
下载PDF
基于表驱动的纯软件签名错误检测算法 被引量:1
6
作者 陈建 沈潇军 +2 位作者 姚一杨 邢雅菲 琚小明 《计算机工程》 CAS CSCD 北大核心 2018年第4期187-192,共6页
针对临时性、间歇性与永久性错误的存在,处理器获取并执行一条不正确的指令将导致控制流错误的发生。为此,在研究通过软件签名的控制流检错(CFDSS)算法的基础上,基于表驱动形式,提出一种纯软件签名错误检测算法(EDSS)。构建二维表(CFID)... 针对临时性、间歇性与永久性错误的存在,处理器获取并执行一条不正确的指令将导致控制流错误的发生。为此,在研究通过软件签名的控制流检错(CFDSS)算法的基础上,基于表驱动形式,提出一种纯软件签名错误检测算法(EDSS)。构建二维表(CFID),用于存储控制流图的信息,通过比较基本块中的签名和存储在CFID表中的签名检测出非法的指令跳转。对于CFDSS算法不能有效检测的共享分支扇入节点的非法指令跳转错误,可成功检测出这类错误。实验结果表明,EDSS算法的平均错误检测覆盖率比CFDSS算法高出1.3%,对具有共享分支扇入节点的检错能力平均高出约1.9%。 展开更多
关键词 表驱动 软件签名 错误检测 通过软件签名的控制流检错算法 控制流
下载PDF
The New Architecture with Time-Spatial Consistency for 5G Networks 被引量:3
7
作者 SUN Zhennian XU Xu +3 位作者 CHAI Xiaomeng ZHANG Tianyu TIAN Lin ZHANG Zhongshan 《China Communications》 SCIE CSCD 2016年第1期68-79,共12页
While operators have started deploying fourth generation(4G) wireless communication systems,which could provide up to1 Gbps downlink peak data rate,the improved system capacity is still insufficient to meet the drasti... While operators have started deploying fourth generation(4G) wireless communication systems,which could provide up to1 Gbps downlink peak data rate,the improved system capacity is still insufficient to meet the drastically increasing demand of mobile users over the next decade.The main causes of the above-mentioned phenomenon include the following two aspects:1) the growth rate of the network capacity is far below that of user's demand,and 2) the relatively deterministic wireless access network(WAN) architecture in the existing systems cannot accommodate the prominent increase of mobile traffic with space-time domain dynamics.In order to address the above-mentioned challenges,we investigate the time-spatial consistency architecture for the future WAN,whilst emphasizing the critical roles of some spectral-efficient techniques such as Massive multiple-input multiple-output(MIMO),full-duplex(FD)operation and heterogeneous networks(HetNets).Furthermore,the energy efficiency(EE)of the HetNets under the proposed architecture is also evaluated,showing that the proposed user-selected uplink power control algorithm outperforms the traditional stochastic-scheduling strategy in terms of both capacity and EE in a two-tier HetNet.The other critical issues,including the tidal effect,the temporal failure owing to the instantaneously increased traffic,and the network wide load-balancing problem,etc.,are also anticipated to be addressed in the proposed architecture.(Abstract) 展开更多
关键词 wireless access network spectral efficiency energy efficiency super base station heterogeneous network
下载PDF
Modelling and Predictive Control of a Buck-Boost DC-DC Converter
8
作者 Gianluca Gatto Ignazio Marongiu +2 位作者 Aldo Perfetto Alessandro Serpi Ivan Luigi Spano 《Journal of Energy and Power Engineering》 2012年第8期1276-1283,共8页
A predictive current control algorithm for the Buck-Boost DC-DC converter is presented in this paper. The continuous time model of the system is properly introduced, then, by imposing a proper PWM modulation pattern, ... A predictive current control algorithm for the Buck-Boost DC-DC converter is presented in this paper. The continuous time model of the system is properly introduced, then, by imposing a proper PWM modulation pattern, its discrete time model is achieved. This last one is successfully employed in determining the steady state locus of the Buck-Boost converter, both in CCM (continuous conduction mode) and DCM (discontinuous conduction mode). A novel continuous time equivalent circuit of the converter is introduced too, with the aim of determining a ripple free representation of the state variables of the system, over both transient and steady state operation. Then, a predictive current control algorithm, suitable in both CCM and DCM, is developed and properly checked by means of computer simulations. The corresponding results have highlighted the effectiveness of the proposed modelling and of the predictive control algorithm, both in CCM and DCM. 展开更多
关键词 Equivalent circuits DC-DC power conversion predictive control.
下载PDF
A Transient Multidimensional CFD Approach to the Analysis of a Control Valve Using Non-Newtonian Fluids
9
作者 Fabrizio Grasselli Massimo Milani Luca Montorsi Fabrizio Paltrinieri 《Journal of Energy and Power Engineering》 2012年第9期1398-1407,共10页
In this paper the flow through a control directional valve is studied by means of a CFD (computational fluid-dynamics) analysis under transient operating conditions. The mesh motion is resolved on a time basis as a ... In this paper the flow through a control directional valve is studied by means of a CFD (computational fluid-dynamics) analysis under transient operating conditions. The mesh motion is resolved on a time basis as a function of the external actuation system In the analysis, an open source fluid-dynamics code is used and both cavitation and turbulence are accounted for in the modeling. Moreover, the numerical model of the working fluid is modified in order to account also for the non-Newtonian fluids. The effects of the shear rate on the shear stress are accounted for both by using experimental measurements and correlations available in literature, such as the Herschel-Bulkley model. The analysis determines the performance of the control directional valve under different operating conditions when using either Newtonian or non-Newtonian fluids. In particular, the discharge coefficient, the recirculating regions, the flow acceleration angle and the pressure and velocity fields are investigated. 展开更多
关键词 CFD hydraulic valve transient analysis moving mesh non-Newtonian fluid.
下载PDF
The Application of Microcontroller and PID Technology on the Control of Motor Drive
10
作者 Jingjun Cui 《International Journal of Technology Management》 2013年第1期4-6,共3页
This paper describes the incremental PID control algorithm and the basic principles of motor soft start, and introduced STM32F103RB8 basic performance microcontroller, combined with incremental PID control advantages,... This paper describes the incremental PID control algorithm and the basic principles of motor soft start, and introduced STM32F103RB8 basic performance microcontroller, combined with incremental PID control advantages, and gives MCU in motor soft start process control application. Practice shows that the incremental PID applications, simplifying the control ideas to improve the performance of the current loop control, limiting the starting current, smooth start-up speed, and achieved good results motor start. 展开更多
关键词 Incremental PID technology STM32F 103RB8 motor control Current Monitoring
下载PDF
Power Quality Improvement Using Grid Side Converter of Wind Energy Conversion System
11
作者 Mohamed Machmoum Mohamed Boutoubat Lakhdar Mokrani 《Journal of Energy and Power Engineering》 2013年第4期752-759,共8页
This paper presents the control ofa WECS (wind energy conversion system), equipped with a DFIG (doubly fed induction generator), for maximum power generation and power quality improvement simultaneously. The propo... This paper presents the control ofa WECS (wind energy conversion system), equipped with a DFIG (doubly fed induction generator), for maximum power generation and power quality improvement simultaneously. The proposed control algorithm is applied to a DFIG whose stator is directly connected to the grid and the rotor is connected to the grid through a back-to-back AC-DC-AC PWM (pulse width modulation) converter. The RSC (rotor side converter) is controlled in such a way to extract a maximum power, for a wide range of wind speed. The GSC (grid side converter) is controlled in order to filter harmonic currents of a nonlinear load coupled at the PCC (point of common coupling) and ensure smooth DC bus voltage. Simulation results show that the wind turbine can operate at its optimum energy for a wide range of wind speed and power quality improvement is achieved. 展开更多
关键词 Variable speed DFIG MPPT wind energy power quality active filtering GSC.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部