具有少量基本回路布尔网络的不动点

近来作为自然和人造非线性动态网络的一种紧凑模型,布尔网络的研究受到广泛关注.不动点和吸引子是预测布尔网络长期行为的关键.本文针对具有少量基本回路的布尔网络,提出了确定不动点的算法.我们的方法是基于构成反馈顶点集的变量所满足的一组方程.作为应用,我们还给出了检验这类布尔网络全局稳定性的充要条件.     

基于自相似业务的网络TCP拥塞控制算法

本文通过对自相似网络模型的分析,采用TCP协议可以直接观测的回环时间（Bound Trip Time)来进行拥塞程度预测,提出一种改进的TCP拥塞控制算法。仿真证明,改进算法在一定程度上提高了网络的整体性能,在自相似程度较高时尤为明显。     

一种物联网智能数据采集系统的研究与实现

设计并实现了基于CANBus的智能数据采集系统。系统主要由主站与从站2个部分组成。主站以S3C6410为核心处理器,运行WindowsCE;从站以STM32为核心处理器。S3C6410、STM32与CANBus的搭配及以此为基础的应用层协议赋予了此系统智能性。运用马尔可夫决策模型对系统的状态进行了描述,同时对系统协议的正确率进行了估算。该系统是物联网底层数据采集技术的一种实现方案。     

无线传感器网络中重发问题的理论分析*

针对无线传感器网络信道特性和网络布置等具体问题,以Mica2节点为例,从理论上分析了重发次数、时间窗长度、节点通信半径范围内的节点数量等参数的选取对数据可靠性、节点平均寿命等性能的影响.     

串行加工线阻塞问题的建模及分析

本文考虑具有有限缓冲容量的串行生产线的阻塞问题,建立了其在极大代数意义下的线性模型,并在此基础上给出了不发生阻塞的参数化条件。     

异步电路验证算法

异步电路因不受时钟偏差的限制而逐渐成为电路设计研究的热点 .发展自动化的验证工具已成为确保大规模异步电路质量和性能的关键 .其核心课题就是建立异步电路的验证算法 .该文整理列举了基于多种数学模型的验证算法 ,如逻辑模型、代数模型、符号模型、数值模型和几何模型的验证算法 ,并从应用的角度将现有的异步电路验证算法分为两类 ,分别是事件时序分析类算法和状态空间搜索类算法 ,从算法的理论基础、应用背景、模型结构、图形描述、适用范围、算法复杂度编程复杂度等多个角度作了比较研究 ,给出了部分代表算法的应用算例 ,最后总结了在实际问题中选择验证算法的原则     

无线传感器网络及应用简介

主要介绍无线传感器网络的相关知识、应用前景、研究现状和笔者在传感器网络的目标检测问题中的若干研究成果。     

异步电路的计算机辅助设计软件

异步电路由于没有时钟频率的限制,所以较同步电路有很多优点,其研究也越来越广泛,是未来解决计算机CPU设计的一种重要方案。异步电路的计算机辅助设计软件代表了异步电路当前研究的前沿,通过研究这些软件可以对异步电路的模型有更为深入的认识。论文整理列举了有关异步电路的63种软件工具,并将其分为设计、仿真、相关设计工具、前端设计、综合和验证6个方面。最后,在这些软件中选取两种设计软件对一个简单的例子进行了设计实现,以体现异步电路的设计特点。     

无线传感器网络及应用简介

主要介绍无线传感器网络的相关知识、应用前景、研究现状和笔者在传感器网络的目标检测问题中的若干研究成果。