自动定理证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的     

带有输入饱和的TCP/AQM网络系统事件触发控制

研究了具有用户数据报协议(user datagram protocol,UDP)数据流干扰和不确定项的TCP/AQM网络拥塞控制问题.首先考虑由丢包率范围而导致的输入饱和的问题,从而对丢包率进行限制.其次,利用模糊逼近的方法处理系统中的干扰和不确定项.为节约网络资源,引入事件触发机制,结合输入饱和、模糊逼近以及Backstepping技术,提出了一种主动队列管理算法,不仅可以使队列长度跟踪到期望队列长度,而且减少了触发次数,节约了网络资源.最后,仿真验证和分析表明了所提方法的有效性和优越性.     

基于状态观测器的输入受限不确定系统的滑模控制

研究了控制输入受限情况下不确定系统的滑模控制问题,其中,系统不确定性同时存在于状态矩阵和控制增益矩阵中。首先,利用状态观测器估计不可测状态;然后,在状态估计空间选择一种积分型切换面;最后,设计一个基于状态估计的滑模控制律以保证系统状态轨迹在有限时间内到达指定的切换面,同时利用等价控制律方法给出了滑模动态渐近稳定的充分条...     

变频器输入电抗器及直流滤波电容器的设计

在工业生产中,变频器的应用日益广泛。为提高变频器运行的稳定性和可靠性,需为变频器配备合适的电抗器及整流滤波电容器。从电抗器和整流滤波电容器的工作原理入手,阐述了变频调速系统中输入交流电抗器、直流电抗器和整流滤波电容器的作用、适用场合,给出了它们的设计方法,并利用MATLAB软件仿真验证设计的实效性。     

“通过方向键进行字符输入的方法和装置”产品专利介绍

本发明为通过方向键进行字符输入的方法和装置。其构建输入字符集合中的字符和方向键输入序列之间线性的映射关系,建立表示谈映射关系的至少一张码表,该映射关系表示为包括码表鳊号和方向键输入序列在内的向量乘法线性公式;通过码表选择键、方向键进行字符输入,字符输入包括：S10：根据码表选择键的输入切换码表,直至确定一码表为当前码表;S20：在显示屏上显示当前码表的提示信息、已输入的方向键输入序列的按键、已输入字符;S30：根据方向键输入序列在当前码表中确定输入字符。本发明可通过极少的按键、较少的按键次数来实现大量字符的输入,其中的方向键、确认键．码表选择键均以现有电子书阅读器、影音播放器等电子装置既有按键为基础。     

浅谈可编程并行接口8255A在按键输入判断上的汇编语言编程算法

本文着重描述了一种仅利用可编程并行接口8255对多个按键输入进行判断的汇编语言编程算法,此方法思路明晰,电路连接简单,程序执行效率高,是一种值得进一步探讨的新型按键扫描判断方法     

多参考输入多误差输出FXLMS算法及其在机动车输室内噪声抵消中的应用

针对改善坦克,汽车等多发动机机动车辆室内噪场环境这一课题,在系统研究自适应信号处理和主动噪声控制方法的基础上,推导了多参考输入多误差输出FXLMS算法,提出了基于多参考输入多误差输出FXLMS算法的机动车辆室内主动噪声控制方案,并给出了计算机仿真结果。     

基于冗余伺服电机的平面四连杆机构震动平衡

为了更好地解决平面连杆机构震动平衡问题,提出一种新的平衡概念——冗余伺服电机法.详细介绍了冗余伺服电机法的概念及其平衡平面连杆机构动力学参数的工作原理,并给出实例以介绍该方法的设计过程和验证其对平面连杆机构震动力矩和输入转矩平衡的有效性.     

多输入多输出系统特征模发射最小化误码率优化功率分配

在多输入多输出系统特征模发射设计中,基于最小化误码率准则优化发射功率分配问题没有简单的闭式解,求解方法有通用优化算法(如内点法)和Q函数契尔诺夫近似功率分配法.前者计算量大且不能理论分析,而后者只能获得近似功率分配解.文中将此约束优化问题的解用W主分支函数表示,将其转化为求解关于W函数的问题,提出了W函数求解法.利用W函数的简单求解算法,所提出方法能获得更精确的优化功率分配解.数值模拟结果也显示,该方法获得了较其他求解方法更低的系统误码率.     

Sliding mode identifier for parameter uncertain nonlinear dynamic systems with nonlinear input

This paper presents a sliding mode(SM) based identifier to deal with the parameter idenfification problem for a class of parameter uncertain nonlinear dynamic systems with input nonlinearity. A sliding mode controller (SMC) is used to ensure the global reaching condition of the sliding mode for the nonlinear system;an identifier is designed to identify the uncertain parameter of the nonlinear system. A numerical example is studied to show the feasibility of the SM controller and the asymptotical convergence of the identifier.