赵利民
- 作品数：9 被引量：4H指数：1
- 供职机构：天水师范学院更多>>
- 发文基金：陕西省自然科学基金甘肃省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- C51堆栈构成与空间需求分析被引量：1
- 2013年
- C51的堆栈操作和硬件及软件实现密切相关,C程序设计一般隐藏底层实现细节,因此由堆栈引发的错误很难发现,本文从C51堆栈构成、使用的场合出发,详细比对系统堆栈和模拟堆栈的不同,并由此分析了两类堆栈空间的计算方法,为避免堆栈溢出提供参考。
- 赵利民
- 关键词：堆栈溢出
- 计算机定时系统研究
- 2010年
- 论述了单片机、嵌入式系统和微机中不同的定时计数硬件模块．针对不同的底层硬件分析其定时方法、定时机制和定时精度，为实时系统的定时选择和平台选择提供方法和参考依据。
- 赵利民
- 关键词：单片机嵌入式系统
- 分层递阶智能控制在IC测试分选机中的应用
- 2017年
- 针对目前IC测试分选机因各功能单元之间无协调控制算法而导致的产能竞争冲突问题,在改进型分选机设备中引入了其它行业解决类似问题比较成功的分层递阶控制结构,并在该结构中的组织级控制层采用了智能化程度较高的专家控制策略,在执行级控制层中采用了控制精度较高的迭代学习策略。通过对改进前后两种设备的算法模型进行实测数据对比分析,证明采用分层递阶控制方案的设备性能要远优于采用传统方案的设备,其流水线配合协调度明显提高,并具有良好的动态特性和鲁棒性。
- 梁达平赵利民蔡志元
- 关键词：分层递阶控制迭代学习控制
- P2P网络中带阀值Top-k查询方法研究
- 2009年
- 由于P2P网络(peer-to-peer networks)具有高动态、分散的特点,洪泛式查询方法引起查询反馈信息的急剧增加.基于互联网搜索引擎广泛采用的Top-k查询算法,以查询树中祖先节点本地查询结果下界作为阈值,提出了用于非结构化P2P网络的带阈值Top-k查询算法.实验证明,在非结构化P2P系统中,带阈值Top-k方法能减少网络传输量.
- 赵利民
- 关键词：非结构化P2P网络TOP-K查询搜索阈值
- C指针安全性的分析检测被引量：2
- 2011年
- 针对C语言指针操作没有限制,可由无效指针或者错误引用引起安全漏洞的问题,提出了一种在编译阶段利用抽象语法树定义安全规则检测的无效指针,在没有无效指针的基础上利用指针逻辑对源代码中的指针进行等价替换,然后借用属性验证工具从可达性方面检验指针的安全性.
- 赵利民赵玉祥
- 关键词：代码分析安全漏洞形式化验证
- RTP协议多用户组管理测试
- 2014年
- 针对流媒体类分布式传输协议,提出采用抽象状态机结合桩函数的一致性测试模型,实现了RTP协议中多用户组管理功能的一致性测试。在多节点参与的情况下,分析测试覆盖率的统计结果,检验了微软流媒体传输被测协议实现的稳定性。
- 赵利民
- 关键词：流媒体协议
- 自同步红外语音通信系统
- 2014年
- 提出一种具有边沿检测和位同步检测的红外语音单声道异步传输系统,设计自恢复下降沿检测电路,解决了异步传输时接收方时钟和发送方时钟存在的边沿同步问题,利用7位巴克码判别电路的输出作为语音帧的位同步判别,控制语音信号的D/A转换和自恢复下降沿检测电路的复位,解决了当红外语音信号被阻断后再次自动同步的问题。最后给出了系统在SPICE环境下的语音信号仿真结果。
- 赵利民
- 关键词：语音通信自同步红外传输
- 基于ASM模型的协议一致性测试研究被引量：1
- 2011年
- 针对协议测试中,状态机描述、测试集成环境和被测实现彼此独立带来的问题,提出了在可视化编程环境下利用抽象状态机模型和桩函数结合实现协议一致性测试方法。在分析抽象状态机测试理论的基础上,给出基于抽象状态机和remoting技术的协议分布式测试模型。以抽象状态机语言描述简单文件传输协议为例,采用分布式测试模型,实现了被测协议的远程一致性测试。
- 赵利民尚称平
- 关键词：接口自动机
- 基于MATLAB的偏振光干涉设计与仿真
- 2012年
- MATLAB语言给抽象物理现象的计算机动态模拟提供了简单,高效的编程环境。本文对偏振光干涉理论进行了MATLAB设计与仿真,在分析偏振光干涉现象模型的基础上,运用MATLAB工具实现了偏振光干涉现象的计算机仿真,使这一抽象而复杂的物理现象变得直观、简单,且容易理解。
- 刘勍张利军赵利民温志贤
- 关键词：MATLAB偏振光相位差仿真
