摘要：在移动IP中,根据子网前缀以及均匀分布于区间[min,max]上的广告间隙,移动节点检测它自身是否移动.因此,区间的长度对于移动检测延时有直接的影响.然而,在移动IP 中,区间的静态配置既不方便也不灵活.根据链路带宽的利用率,提出了一种动态调整区间的新方法,并且进行了理论分析.结果显示,与静态区间相比,动态区间的方法显著地减少了不必要的移动检测延时.

摘要：将压电流体驱动技术和仿生技术、喷流推进技术结合,提出了一种新型的压电喷水推进装置,并对该装置的核心部件—压电喷流泵进行了研究。详细分析和介绍了泵的结构及工作原理,设计制作了实验用样机,并进行了性能测试。实验测试表明,该泵工作性能稳定,喷流量大,在正弦信号激励下,电压为190 V,工作频率为140 Hz时,最大喷流量可达到714 ml/min。

摘要：VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CLP约束生成模拟矢量.该方法的优势在于运用了字级(word-level)约束求解技术,能统一处理控制电路和数据通路间的数据传播,求解效率高;基于功能模型的模拟矢量生成技术,模拟矢量生成目标更明确;与动态加速技术相结合,使搜索过程效率更高;设计化简技术的运用使搜索过程计算复杂度只与断言有关.实验结果表明,该方法能快速找到并定位设计中的错误,生成模拟矢量效率更高.

摘要：针对作业车间调度问题,提出一种改进的蚁群优化算法.首先设计禁忌表以产生活动调度,然后对传统的蚁群优化算法进行简化,并提出一种新型优先规则作为启发式信息.为增强算法的收敛性和提高求解质量,引入基于作业车间调度问题邻域结构的局部搜索.实验表明该文算法有效.

摘要：以分离模块航天器概念设计阶段的方案评估分析为目标,提出一种基于数学建模和蒙特卡洛模拟的定量化评估分析方法框架。首先,定义了分离模块航天器生命周期状态及其转移过程,建立了状态转移概率矩阵,将生命周期不确定风险因素在状态转移过程中加以考虑;进而,基于系统状态模型建立了分离模块航天器生命周期成本和净收益计算模型;然后,以生命周期成本和净收益的均值和标准差作为评价指标,提出了基于蒙特卡洛模拟的综合评估仿真分析方法;最后,采用典型设计案例进行了分析与验证。

摘要：在系统芯片设计中,直接采用现有的跨时钟域信号处理方法不仅设计复杂度高而且验证难度大。为了解决这个问题,将跨时钟域设计与功能设计完全分离,在每个通信接口部件中采用独立的、专用的跨时钟域处理模块统一解决跨时钟域信号的传输问题,并通过封装点对点通信接口和合并处理同一方向的跨时钟域信号,将需要处理的跨时钟域信号的数量减少为方向相反的2组。实验结果表明,该方法能够有效降低跨时钟域设计的验证难度和系统芯片的设计复杂度,并且不会明显增加功能部件的传输延迟和面积开销。

摘要：针对风力机功率控制的重要性,设计了电液比例变桨距执行机构,并结合风力机设计软件Bladed组建成半物理仿真试验台。在此试验台上对提出的分段PID变桨距控制算法以及变速恒频和变桨距切换设定的控制策略进行试验研究。试验结果表明在风速高于额定值时,通过分段PID变桨距控制发电机输出功率稳定性高于常规PID,当风速在额定值左右变化时,变桨距和变速恒频切换正常,满足功率控制和最大风能捕获的要求。

摘要：为了处理3G网络监管系统中产生的海量数据,该文提出一种负载平衡算法.在分布式动态负载平衡模型的基础上,采用负载选择分配策略设计了随机转移负载的时延模型,并给出了增益系数的取值.根据控制论的相关理论和方法对该算法进行稳定性分析,验证了本算法符合3G监管需求,并据此修正了多余负载转移的百分比公式.

摘要：提出了一种基于DSP和单片机的数据采集与融合系统的硬件体系结构.根据该体系结构与设计方案,采用89C52、ADμC812和TMS320F206设计了微操作机械手的数据采集与融合系统.介绍了系统的硬件组成、接口电路、工作原理以及程序设计.系统在结构上具有可扩展性、开放性及可编程的特点,从而具有良好的通用性.

摘要：在传统的软硬件协同设计中，硬件采用的是RTL描述(用硬件设计语言HDL描述)，而软件通常采用C或者C++语言进行描述，这种语言描述的不一致会加大协同验证仿真的难度，从而导致系统设计过程的反复。文章提出了一种基于WISHBONE总线协议标准的用SystemC语言描述的虚部件库设计与管理方法，可以降低SoC系统设计的复杂度，从而加快SoC系统设计的过程。