刘振安
- 作品数：66 被引量：151H指数：7
- 供职机构：中国科学技术大学信息科学技术学院自动化系更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划天津市重点科技攻关项目更多>>
- 相关领域：自动化与计算机技术电子电信交通运输工程机械工程更多>>
- 一种Java平台上契约式语言的设计与实现被引量：1
- 2008年
- 针对游戏机器人开发平台在图形编程过程中可能出现的错误,提出了一种基于契约式设计思想的程序设计语言扩展方式。它为Java语言提供了契约式设计的支持,能帮助本平台的用户发现程序中存在的逻辑上或者设计上的错误,提供改正错误的手段。
- 刘振安王文涛
- 关键词：契约式设计编译器语法分析逻辑错误
- 开放式立体造型系统三维图库被引量：1
- 1999年
- 在本系统中，开发了一个由立方体、球、半球、柱、半柱、锥、锲、变形立方体、参数曲面等９种基本模型组成的开放式立体造型系统的三维图库。用户不仅可以方便地利用已有的基本模型进行造型，而且可以对图库进行添加。系统采用当今在个人计算机上最流行的Ｂ－ｒｅｐ，即边界表示法造型。
- 刘振安
- 关键词：边界表示法三维图库电子图书
- 具有通信约束的网络控制系统稳定性研究(英文)被引量：7
- 2008年
- 针对网络带宽的限制,在网络控制系统中需要采用多包传输.为了避免这些网络包发生时序错乱,每次只传输控制对象测量值分出的多个数据包中的一个,从而将这类网络控制系统建模为异步动态系统.多包传输网络控制系统中同样存在大的网络延时,这必将影响系统的控制性能,甚至使系统失稳.为了保证这类系统的稳定性,借助异步动态系统的Lyapunov稳定理论,给出了多包传输长时延网络控制系统的Lyapunov稳定条件.仿真实验结果表明了该方法的有效性.
- 葛愿刘振安陈其工江明
- 关键词：异步动态系统LYAPUNOV
- 芯片模拟仿真方法—6.集成模拟仿真软件设计实例
- 1993年
- 本讲介绍8096/8098集成模拟仿真软件设计方法。该集成开发环境集编辑、编译、调试和运行于一体,模拟了MCS-96系列单片机的指令系统。
- 刘振安张培仁雷捷艾欣
- 关键词：模拟仿真芯片软件设计集成开发环境
- 基于类文件的Java程序运行时异常分析技术被引量：1
- 2006年
- 提出一种基于类文件的Java运行时异常分析技术。它可在没有Java源代码文件的情况下,直接对类文件进行处理,分析可能抛出的异常信息,并根据分析结果在类文件中添加适当的异常追踪代码。这种处理后的类文件可无缝替换原类文件运行,并在运行中抛出异常时,能够给出详尽的异常分析报告,从而提高技术人员调试和开发的效率。
- 刘振安张强
- 在线帮助系统的可视化生成
- 1996年
- 本文提出了独立于程序的在线帮助系统的开发模型、帮助窗结点结构、在线帮助系统的运行模式，并给出了在ＦＭＳＳ１．０系统［１］支持下面向用户的在线帮助系统的可视化开发方法。
- 杜晓荣王治森刘振安
- 关键词：在线帮助系统可视化软件开发
- 芯片模拟仿真方法——5.组合模拟仿真软件设计实例
- 1992年
- 本讲介绍如何用Pascal语言在PC机上模拟MCS-51单片机的指令系统,用PC机的存储器和文件系统模拟单片机的硬件环境,再借助于PC机的键盘和显示器构成一个方便用户调试程序的交互面、多窗口及菜单选择的开发环境。
- 刘振安张培仁李海涛
- 一种改进的光流法及其在云爆弹研究中的应用被引量：5
- 2005年
- 提出了抑制光线影响的改进光流法,并将其运用在云爆弹爆炸云雾扩散速度探测估计研究中。首先使用高斯核平滑滤波器,对所获得云爆弹爆炸图像序列进行预处理;然后利用rgb彩色模型在白光照射下的不变性,将RGB模型转换为rgb模型;最后使用基于rgb模型的光流法,得到爆炸过程中的云雾扩散速度。实验证明该方法能获得满意的处理效果。
- 周维刘振安鲍远律於俊
- 关键词：光流云爆弹
- 基于Jini的集群网格计算模型及算法研究被引量：1
- 2004年
- 研究如何使用 Jini 来实现集群网格计算环境,给出系统模型 JCGE(a Jini-based cluster grid environment),设计一个在此模型上进行并行计算的通用算法,并在集群主机上对此模型及算法进行测试,从而证实其有效性。
- 孙忱刘振安
- 关键词：网格计算
- 《计算机文化基础》课程教学的新特点被引量：1
- 2001年
- 本文介绍《计算机文化基础》课程的新特点 ,强调重点是使学生充分认识计算机文化 ,注意为学生指引学习方向 ,并通过将教学演示和实验与教材相配合 ,拓宽学生的知识面。
- 苏仕华刘振安
- 关键词：《计算机文化基础》课程教学教学演示计算机软件
