非整数滞后中立型线性定常离散控制大系统的镇定

本文应用刘永清建立的频率等价法与非整数中立型线性离散系统的比较原理［２］,给出了非整数滞后中立型线性定常离散控制大系统的镇定,可由无滞后的线性定常离散系统的镇定所蕴含．     

异步电机等值电路参数计算的一种新方法

针对异步电机的等值参数传统测取方法的不足,提出了一种兼顾精确性和算法的复杂性的一种新的计算方法,该计算方法摒弃了传统方法中假设的前提,在数据处理方面要比传统方法进了一步,也更接近异步电机的实际情况.     

The complexity of variable minimal formulas

Based on the common properties of logic formulas: equivalence and satisfiability, the concept of variable minimal formulas with property preservation is introduced. A formula is variable minimal if the resulting sub-formulas with any variable omission will change the given property. Some theoretical results of two classes: variable minimal equivalence (VME) and variable minimal satisfiability (VMS) are studied. We prove that VME is NP-complete, and VMS is in D^P and coNP-hard.     

基于冀科安全锁的增强型AKA协议的设计实现

在对第三代移动通信技术中处于核心地位的AKA协议进行BAN逻辑分析的基础上,采用基于具有自主知识产权的冀科安全锁的双身份认证技术,改进了服务网络对用户设备的认证方式,进而提出了增强型AKA协议,以进一步增强3G会话的安全性。     

λ_(3,q)-连通图的刻画(英文)

连通图G称为λ3,q-连通的如果存在边割S使得G-S有两个阶数分别至少为p和q的连通分支。给出一个图是λ3,q-连通的一些充分和必要条件。     

带连续系数的BDSDE解的惟一性与连续依赖性的等价

证明若BDSDE中的漂移项系数f=f(t,y,z)关于变量y和z连续且有线性增长,则方程解的惟一性与解关于系数f和终端值ξ的连续依赖性是等价的。     

BCI-代数的软可换理想

将软集合理论应用到BCI-可换理想中,给出了BCI-代数的软可换理想的概念,讨论了软理想和软可换理想之间的关系,研究了两个软可换理想的扩展交、限制交、限制并以及限制差分的性质。丰富了软集合理论的代数性质。     

基于模糊逻辑的电动汽车制动力分配及能量回收控制策略研究

针对前轮驱动的电动汽车提出了一种基于模糊逻辑的制动力分配及能量回收控制策略。同时考虑了制动踏板行程、车速（电机转速）、电池荷电状态等对电动汽车制动力分配的影响,使动力分配更加合理,从而有效地回收制动能量,提高能量利用率。仿真结果表明了该控制策略的有效性和优越性。     

基于MATLAB/Stateflow的助老服务机器人逻辑控制仿真

助老服务机器人是一种可以为老年人提供助行、陪伴和护理等日常服务的机器人.该文提出了一种具有助行和护理功能的助老服务机器人并对其总体结构进行了设计.根据助老服务机器人的功能特点将其划分为行走、取物、人体监测和语音交互4种工作模式.基于MATLAB/Stateflow图形化设计与开发工具对助老服务机器人的主要功能模块进行逻辑建模与仿真.仿真结果表明,该控制模型可以模拟助老服务机器人的实际工作过程,为助老服务机器人控制系统的设计与实现提供了理论依据.     

n次广义幂等正交矩阵集中的等价关系

设R是含幺结合环,Mk(R)为R上的k阶矩阵环,Gnk(R)表示Mk(R)中的n(n≥2)次广义幂等矩阵集,由n次广义幂等矩阵与代数等价的定义,得到了n次广义幂等正交矩阵集中两种不同形式的等价关系.