一种适用于通信协议自稳定性的恢复算法

主要提出了一种适用于通信信议自稳定性的恢复算法，先论述了适用于该算法的有关概念及形式描述方法；接着描述了该恢复算法，并给出了该算法的正确性证明及复杂性分析；最后通过一个多进程通信协议的实例研究，验证了该算法的正确性和有效性。     

一种实用的数值型伪Hash函数排序方法

本文给出一种具有实用价值的数值型伪Ｈａｓｈ函数排序方法。该方法通过尽量避免比较而直接计算定位的方式提高排序速度。测试结果表明：该算法的排序时间好于比较式排序的代表性算法Ｑｕｉｃｋｓｏｒｔ，Ｓｈｅｌｌｓｏｒｔ。与现有算法相比，该算法简洁，灵活，易于实现，适合于某些应用领域的特殊需求。     

基于微分模型的改进微粒群算法

针对基本微粒群算法的微分模型，从解的存在惟一性角度出发，发现最大速度常数虽然能保证解的存在性，但却降低了算法的全局搜索性能．为了提高算法的计算效率，提出了一种不合最大速度常数的微分模型，该模型首先将速度向量与位置向量等同对待，两者同时对空间进行搜索，并讨论了该模型解的稳定性条件，给出了相应的改进微粒群算法，能有效地提高算法效率．仿真结果证明了算法的有效性．     

通信协议的全局状态算法及自稳定性

本文主要研讨了一类适应于通信协议的全局状态算法及协议的自稳定性。文中先论述了一种适应于协议全局状态的基本算法，讨论了该算法对全局状态的适用性及对协议自稳定性的局限性；然后论述了一种增强算法，该算法不仅适用于协议的全局状态，而且适用于增强协议的自稳定性，文中给出了该增强算法的正确性证明及复杂性分析，并通过协议实例验证了该算法的可用性及有效性。     

NANDFIash在嵌入式文件系统中的一种动态管理方法

针对NANDFlash的使用特性，提出了一种适用于嵌入式文件系统的动态逻辑映射表及其管理算法。通过该表的动态滚动可以均衡NANDFlash中块的使用频率、延长器件使用寿命，同时给出了垃圾块的回收策略和脏数据的判别方法。该算法采用查表的方式解决动态滚动中出现的速度问题，使算法效率高、软件开销少，并得到了实际验证。     

分布式主动安全签名系统的研究与实现

在分布计算环境中构造安全的应用系统是当前计算机信息安全研究的重点课题，基于数字签名算法DSA，首次利用面向对象的中间件技术、密钥的共享技术和动态刷新技术，研究并实现了一种分布式主动安全签名系统，给出了相应的系统结构，提出并实现了主动安全的影子刷新和影子重构等算法，对系统的安全性进行了分析，结果表明，当系统总的结点数n≥3t 1时，即使攻击者每个周期都能成功地入侵系统中t个结点，该签名系统也能有效防止攻击者窃取签名私钥，正常提供DSA签名服务.     

一种机载冰川厚度探测雷达波数域成像算法

针对机载冰川厚度探测雷达传统成像方法计算量大的问题,提出了一种适用于两层传播媒质的正下视波数域(RMA)成像算法.该算法能自动补偿电磁波的折射效应,校正不同媒质中电磁波传播速度的变化.基于空间几何模型和回波信号形式,推导了雷达回波信号的二维频谱,并在此基础上给出了成像算法实现步骤及相位补偿因子,分析了运动误差的影响及其补偿方法.最后通过仿真分析验证了该算法的有效性.     

一种适应于通信协议自稳定性的恢复算法

主要提出了一种适应于通信协议自稳定性的恢复算法 .先论述了适用于该算法的有关概念及形式描述方法 ;接着描述了该恢复算法 ,并给出了该算法的正确性证明及复杂性分析 ;最后通过一个多进程通信协议的实例研究 ,验证了该算法的正确性和有效性 .     

用于控制器保护的防火墙规则的三叉树算法

为提高防火墙安全规则的查找速度,提出了一种面向IP地址集合处理的时间复杂度为O([log32N])的三叉树查找算法,N为安全规则数。用空间分析法解决规则冲突,并给出规则树的生成算法,该方法适用于控制应用的可靠性分析和安全完整性等级验证的要求。     

一种多步Q强化学习方法

Q 学习是一种重要的强化学习算法。本文针对 Q 学习和 Q(λ)算法的不足.提出了一种具有多步预见能力的Q学习方法:MQ 方法。首先给出了 MDP 模型.在分析 Q 学习和Q(λ)算法的基础上给出了 MQ 算法的推导过程,并分析了算法的更新策略和 k 值的确定原则。通过悬崖步行仿真试验验证了该算法的有效性。理论分析和数值试验均表明.该算法具有较强的预见能力.同时能降低计算复杂度,是一种有效平衡更新速度和复杂度的强化学习方法。     

Dynamic programming for 2-D discrete linear systems

The authors calculate the optimal control of 2-D discrete linear systems using a dynamic programming method. It is assumed that the system is described with Roesser's state-space equations for which a 2-D sequence of inputs minimizing the given performance criterion is calculated. The method is particularly suitable for problems with bounded states and controls, although it can also be applied for unbounded cases. One numerical example is given     

Least square geometric iterative fitting method for generalized B-spline curves with two different kinds of weights

Generalized B-spline bases are generated by monotone increasing and continuous “core” functions; thus generalized B-spline curves and surfaces not only hold almost the same perfect properties which classical B-splines hold but also show more flexibility in practical applications. Geometric iterative method (also known as progressive iterative approximation method) has good adaptability and stability and is popular due to its straight geometric meaning. However, in classical geometric iterative method, the number of control points is the same as that of data points. It is not suitable when large numbers of data points need to be fitted. In order to combine the advantages of generalized B-splines with those of geometric iterative method, a fresh least square geometric iterative fitting method for generalized B-splines is given, and two different kinds of weights are also introduced. The fitting method develops a series of fitting curves by adjusting control points iteratively, and the limit curve is weighted least square fitting result to the given large data points. Detailed discussion about choosing of core functions and two kinds of weights are also given. Plentiful numerical examples are also presented to show the effectiveness of the method.     

煤矿主排水泵微机监测系统的研制

针对煤矿主排水泵的特点和当前技术发展，提出适合煤矿特点的监测系统和流量监测的新方法，给出应用实例。对实现煤矿主排水泵的自动化管理颇有参考价值。     

A new method on computation of the characteristic polynomial for a class of square matrices

In this correspondence, a new method is proposed to construct the characteristic polynomial for a class of square matrices with some restrictions. An algorithm is also given. The proposed method and algorithm have recursive forms and are therefore suitable for calculation by computer.     

多边形三角形分解的扇形扫描算法

讨论了任意多边形区域的三角形分解问题,提出了一种扇形扫描方法。该方法沿着多边形轮廓搜索各个可行的目标三角形,逐步将多边形未分解区域缩小,最终完成三角形分解。给出了分解实例。     

支持向量机在混沌系统预测中的应用

提出用支持向量机回归方法解决混沌系统预测问题。阐述了支持向量机回归算法,对四阶混沌时间序列进行预测,在此基础上结合城市交通的混沌性,对珠海市迎宾大道的交通流量进行预测。仿真实验表明,支持向量机泛化能力好、学习速度快,对混沌时间序列具有很好的预测效果,对城市交通流量预测也是切实可行的。     

Reduced-order modeling of human body for brain hypothermia treatment

Brain hypothermia treatment (BHT) is an active therapy for severe brain injury. It makes the temperature of the brain track a given temperature input curve so as to reduce the risk of tissue damage. BHT requires a brain-temperature control system because of environmental disturbances and changes in the human body. The thermal models of the human body devised so far are usually of a very high order and are not suitable for controlling brain temperature. This paper presents a method of finding a reducedorder thermal model of the human body for use in BHT. It combines minimal realization and balanced realization. Unlike other methods, this method yields a reduced-order model that is based on system theory and that takes the frequency characteristics of human thermal sensation into account. It features high precision in the frequency band for BHT and is suitable for the control of brain temperature.     

Function restoration using linear programming†

This paper presents a method for function restoration using linear programming. It is shown that by defining a suitable error function the function restoration problem can be transformed into a linear programming problem. Furthermore, the error correction algorithms reported in the literature can be derived by minimizing the error function by the steepest-descent method. Numerical examples are given for illustration.