基于角色的访问控制中职责分离的设计与实现

职责分离是基于角色的访问控制技术中保障实现最小特权原理的关键因素。基于实际项目开发经验,详细阐述了基于角色的访问控制技术中职责分离实现的目的、原理、实现逻辑以及具体的实现方法。     

多相DC-DC电路中PWM控制技术的研究

本文对多相DC-DC电路中的PWM控制技术进行了研究,对电压型PWM控制和电流型PWM控制进行了简单比较,提出了基于快速主动均流技术的电流型控制方法,并将这种方法应用于工程设计。实验证明,采用快速主动均流技术消除了器件性能不一致带来的影响。     

RAZUMIKHIN-TYPE THEOREMS OF NEUTRAL STOCHASTIC FUNCTIONAL DIFFERENTIAL EQUATIONS

The stability of stochastic functional differential equation with Markovian switching was studied by several authors,but there was almost no work on the stability of the neutral stochastic functional differential equations with Markovian switching.The aim of this article is to close this gap.The authors establish Razumikhin-type theorem of the neutral stochastic functional differential equations with Markovian switching,and those without Markovian switching.     

■ukasiewicz命题逻辑系统中有限命题集的约简理论

在n值■ukasiewicz命题逻辑中提出了命题集Γ的约简理论,引入由命题集Γ所诱导的形式背景的概念,从Γ及其子集的关系出发给出了n值命题逻辑中有限命题集Γ约简的判定定理以及求Γ约简的方法。说明了无穷值■ukasiewicz命题逻辑中命题集Γ的约简可转化为n值情形。     

n值命题逻辑系统Ln^＊中有限命题集的相容性与约简

设Г为有限命题集,首先讨论了Г在不同的n值命题逻辑系统Ln^＊中的相容性问题,提出了Г的约简理论,从命题集Г所诱导的多值形式背景出发,运用概念格的方法从Г及其子集的关系出发给出了Г约简的判定定理。     

动态不确定非线性系统直接自适应模糊backstepping控制

对一类单输入单输出动态不确定非线性系统,提出一种直接自适应模糊backstepping和小增益相结合的控制方法.设计中,首先用模糊逻辑系统逼近虚拟控制器:其次把自适应模糊控制和backstepping控制设计技术相结合.给出了直接自适应模糊控制设计方法.最后基于Lyapunov函数和小增益方法证明了整个闭环系统的稳定性.仿真实例进一步验证了所提方法的有效性.     

An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs

In this paper, we provide a necessary infrastructure to define an abstract state exploration in the HOL theorem prover. Our infrastructure is based on a deep embedding of the Multiway Decision Graphs (MDGs) theory in HOL. MDGs generalize Reduced Ordered Binary Decision Diagrams (ROBDDs) to represent and manipulate a subset of first-order logic formulae. The MDGs embedding is based on the logical formulation of an MDG as Directed Formulae (DF). Then, the MDGs operations are defined and the correctness pro...     

一类基于小波框架的采样子空间

采样定理是现代信息理论与技术的基本工具,具有采样性质的信号具有比较完美的信息重构形式.Walter 和 Zhou 将古典信号的采样定理发展到小波子空间.发展了基于小波框架的数字信号的采样定理与方法.提出并回答了信息理论中的一个基本问题:一个能量有限的数字信号,是否具有采样定理的形式.以小波框架为工具给出了具有采样性质的数字信号的刻画;对于一个给定的采样子空间,给出了该子空间的信号的表示形式;特别是给出了一大类新的具有采样性质的数字信号空间.应用实例表明,从理论和实践上对于数据信息的采样和重构是有意义的,是对以往相关结果的有效改进.     

一种基于中国剩余定理的数字指纹体制

数字指纹技术可以追踪盗版拷贝的来源,在版权保护方面具有很重要的作用,受到越来越广泛的关注.本文提出了一种基于中国剩余定理的数字指纹体制,避免使用一般的安全多方计算协议,该方案不仅具有较好的实现效率,而且还能确定性地跟踪叛逆者.     

一种实用的图像滤波算法

在分析经典中值滤波算法基础上,提出了一种实用的图像滤波算法,即图像加窗中值滤波算法.给出了其基本原理与实现过程,并与经典的邻域均值滤波器、中值滤波器、Butterworth低通滤波器、Wiener滤波器进行了滤波比较实验,分别从主观效果及客观参数计算两个方面验证了其优良的滤波性能.