基于Processing的信息可视化研究

Processing是一个开源的可视化设计工具。它为从事可视化设计的广大科研工作者提供强大的技术支持。该文对Processing的API及核心库做了简单介绍,并通过具体应用描述了Processing进行可视化设计的全过程。     

Two types of nonlinear automata over a finite ring

The structure of a class of automata is analyzed. These automata are analogs of symmetric chaotic dynamical systems over a finite ring, namely, the Guckenheimer–Holmes cycle and free-running systems. Problems of parametric identification and identification of initial states are solved, and a set of fixed points of automaton mappings is characterized. Translated from Kibernetika i Sistemnyi Analiz, No. 4, pp. 57–68, July–August 2009.     

选举策略在分布式系统死锁避免中的应用

将单机系统或集中式系统中的死锁避免策略移植到分布式需要面临并发性和冲突问题的解决。本文通过分析二阶段锁的机制,引入了一种应用选举策略来幽雅地解决分布式系统中死锁避免所碰到问题的算法。     

采用固定时间观测器的翼伞控制方法与应用

针对翼伞–火箭一子级柔性结构系统的控制难题,提出了一种采用固定时间观测器的改进矢量场轨迹跟踪控制方法.首先,设计了在线风场估计方法对未知风场进行了估计;其次,为了保证该控制系统在气动参数不确定、子系统铰连耦合等因素影响下的快速稳定性,提出了一种固定时间干扰观测器用来估计无需知道干扰上边界的复合干扰,并用于补偿控制系统的输入;然后,设计了一个同时保证侧偏距、偏航角以及偏航角速率稳定的横侧向控制器,并利用Lyapunov理论证明了闭环翼伞控制系统的收敛特性.最后,通过数值仿真及硬件在环实验验证了所提出方法的有效性及应用价值.     

基于固定增量单样本感知器的AdaBoost算法

针对传统AdaBoost算法在分类过程中时间复杂度和算法学习复杂度较高的问题,提出一种改进的算法AdaBoostFISP。以固定增量单样本感知器为弱分类器,在感知器的权值更新上采用固定增量代替变量增量,从而减少运算时间、降低学习复杂度。实验结果证明了该算法在预测准确性、学习复杂度和时间复杂度等方面的优势。     

基于定长时隙的多跳Ad Hoc网络DCF协议马尔可夫链模型

指出了现有的基于不定长时隙的DCF协议马尔可夫链模型的局限性,并在详细分析多跳ad hoc 网络环境中DCF 协议建模的难点问题基础上,提出了一种基于定长时隙的多跳ad hoc 网络DCF 协议马尔可夫链模型.通过模型的求解,得到了反映多跳ad hoc 网络饱和吞吐量性能的相关性能指标的理论值,并结合GloMoSim 网络仿真环境中的仿真实验,证明了模型的有效性.     

团分划问题的固定参数算法研究

图论中的团分划问题属于NP-完全问题,难以在多项式时间内解决。为此,对团分划问题的固定参数算法进行研究,提出一个针对K4-free图的新归约法则,结合深度限制搜索树技术对K4-free图中的团分划固定参数可解类算法做出改进。实验结果表明,与原算法相比,在稀疏图的情况下改进算法效率提高了30%。     

Coupled common fixed point theorems for a pair of commuting mappings in partially ordered complete metric spaces

The purpose of this paper is to establish a coupled coincidence point for a pair of commuting mappings in partially ordered complete metric spaces. We also present a result on the existence and uniqueness of coupled common fixed points. An example is given to support the usability of our results.     

Some fixed point theorems in 1-M-complete fuzzy metric-like spaces

Very recently, in order to unify the notions of fuzzy metric space and metric-like space, Shukla and Abbas introduced the concept of fuzzy metric-like space and proved some fixed-point results in this setting. In this article, we modify the notion of Cauchy sequence and completeness to generalize their results. Thus, we extend their theorems to a more general framework, which is also appropriate to generalize some recent, well-known results in this line of research. Furthermore, several examples are presented to illustrate the significance of our results.     

一种新的双足机器人模型设计与相关研究

针对双足机器人最简模型在行走过程中出现摆动腿足部擦地的问题,提出了一种通过摆动腿膝关节弯曲达到摆动腿缩短的新模型。当摆动腿开始摆动时,摆动腿膝关节弯曲锁定,摆动腿缩短;当摆动腿摆动到最大位置时,膝关节解锁,摆动腿伸直再锁定,此后摆动腿回摆,系统变为直腿模型。采用脚后跟冲击控制,在摆动腿落地前,拖后的支撑腿与地面接触处施加一指向髋关节的瞬时冲击力,冲击力可以减小摆动腿着地时能量的损耗,同时驱动被动机器人向前行走。设计了迭代学习控制算法,找到极限环与不动点,实现不同给定期望步长跟踪的冲击力的计算。仿真结果表明,迭代学习控制可以有效的实现不同期望步长的跟踪,可以很快的找到机器人系统的不动点,通过收敛的相平面,得到稳定的极限环,保证了机器人行走过程稳定。