李吉
- 作品数：5 被引量：22H指数：3
- 供职机构：北京航空航天大学机械工程及自动化学院更多>>
- 发文基金：国家高技术研究发展计划教育部留学回国人员科研启动基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术生物学更多>>
- C程序缓冲区溢出漏洞精确检测方法被引量：2
- 2008年
- C程序中的缓冲区溢出漏洞是影响系统安全性的严重问题,利用工具有效地检测并消除出这一漏洞,可以大大提高系统的安全性.针对现有工具在检测缓冲区溢出漏洞上的不足,提出了一种利用模型检测技术对C语言代码中潜在的缓冲区溢出漏洞进行精确检测的新方法.该方法首先将对缓冲区漏洞的检测转化为对程序某个位置可达性的判定,再使用模型检测工具对可达性进行验证.使用这一方法建立了一个精确检测C程序中缓冲区溢出漏洞的原型系统,并使用该原型系统进行了试验.结果表明该方法可以较为精确地检测并定位出代码中的漏洞.
- 李吉王雷
- 关键词：缓冲区溢出安全漏洞
- 仿生蝠鲼机器鱼BH-RAY3的研制及水力实验被引量：8
- 2010年
- 通过对蝠鲼外形参数的设计和胸鳍变形机理的研究,研制了仿生蝠鲼机器鱼BH-RAY3。该机器鱼具有双柔性胸鳍,翼展620 mm,身长400 mm,最大航速1.09 DLS,外形阻力小,通过尾舵实现升降及转向。对BH-RAY3进行的水洞拖拽实验表明,随着拍动频率和幅度的增大,胸鳍推进力增大,在频率为1.0 Hz,幅度为24°时达到1.452 N;其次,对胸鳍被动变形形态的分析表明,柔性胸鳍同时产生0.25波长的弦向波和1个波长的展向波,与蝠鲼短波长、低频率的运动特点一致,验证了设计的合理性和可行性。
- 李吉毕树生高俊郑礼成
- 关键词：机器鱼
- 缓冲区溢出漏洞精确检测方法研究被引量：7
- 2008年
- 缓冲区溢出漏洞是影响系统安全性的严重问题之一,本文提出了一种利用模型检测技术对代码中潜在的缓冲区溢出漏洞进行精确检测的方法.该方法通过静态分析,先将对缓冲区漏洞的检测转化为对程序某个位置可达性的判定.然后,利用模型检测技术对可达性进行验证.基于GCC和Blast,我们使用这一方法构造了一个精确检测缓冲区溢出漏洞的原型系统.最后,使用该原型系统对wu-ftpd,minicom和CoreHTTP等三个实际应用程序进行了检测,结果不仅检测出了已知的漏洞,而且发现了一些新漏洞.
- 王雷李吉李博洋
- 关键词：缓冲区溢出安全漏洞
- 仿生蝠鲼机器鱼BH-RAY3的研制及水力实验
- 本文通过对蝠鲼外形参数的设计和胸鳍变形机理的研究，研制了仿生蝠鲼机器鱼BH-RAY3。该机器鱼具有双柔性胸鳍，翼展620mm，身长400mm，最大航速1.09DLS，外形阻力小，通过尾舵实现升降及转向。对BH-RAY3进...
- 李吉毕树生高俊郑礼成
- 关键词：水下机器人仿生机器鱼
- 文献传递
- 胸鳍扑翼式机器鱼的设计及水动力实验被引量：5
- 2011年
- 提出了一种基于胸鳍拍动推进的仿生机器鱼的设计模型,并对其进行了水动力实验研究.首先根据仿生对象的胸鳍运动和结构特点设计了由直流伺服电机驱动的扑翼式机器鱼,然后设计了推力测试实验装置,在北京航空航天大学机器人所的低速水洞中完成了机器鱼的推力和功耗测试实验,获得了推力系数和效率随Sr(斯特劳哈尔数)变化的曲线.实验结果表明最大推力系数和效率都在Sr=0.4时达到,该结果与前人关于游动和飞行生物保持高效推进时Sr的范围一致.机器鱼的自由航行实验进一步验证了水洞测力实验结果,最大航行速度可达0.64m/s,约1.5倍身长比,相比国内外的同类仿生机器鱼具有较大的速度优势.实验结果表明:该仿生设计模型可以很好地模拟牛鼻鲼的推进方式,较大提高胸鳍扑翼式机器鱼的速度,为仿生水下航行器的设计提供了一种思路.
- 高俊毕树生李吉蔡月日
- 关键词：仿生机器鱼
