李丽梅
- 作品数：8 被引量：17H指数：3
- 供职机构：九江学院图书馆更多>>
- 发文基金：国家自然科学基金国家科技支撑计划江西省教育科学规划课题更多>>
- 相关领域：文化科学自动化与计算机技术电子电信更多>>
- 基于嵌套树模型检测的研究
- 2015年
- 文章针对软件验证过程中的结构抽象表示问题,考虑到结构程序的顺序结构、调用返回关系,给出了嵌套树以及嵌套状态机的定义。在该数据结构及μ演算的基础上,定义了嵌套树的μ演算(NT-μ)。NT-μ的公式语法是基于概要的,在嵌套状态机上提出基于概要类的模型检测。嵌套状态机的结点是有限的,且嵌套状态机有限的概要类对应于嵌套树中的无限的概要,因此该方法能提高检测的效率。
- 郭婧徐中伟李丽梅
- 农业企业中竞争情报的应用被引量：1
- 2007年
- 通过对竞争情报的概念与特性的阐述,结合实际,分析了我国涉农企业对竞争情报的需求;探讨了在当今社会,农业情报研究机构关于农业企业竞争情报的服务方向。
- 李丽梅
- 关键词：竞争情报农业情报情报服务
- 用“启发——探索”模式设计中学物理导体R=ρ(L/S)主教学方案
- 2004年
- 李丽梅
- 关键词：物理教学导体启发性教学探索性教学教学方案
- 教育技术人才培养模式的探索与实践被引量：5
- 2005年
- 以现代教育教学思想为指导,以社会对教育技术专业人才的需要为依据,加强教育技术学与中学物理学科的融合,实现专业理论与实践环节的对接,注重培养学生的综合应用能力和研究创新能力,探索“厚基础、宽口径、重能力”的新培养模式。
- 胡华聂映中李丽梅谢卫军
- 关键词：教育技术
- 基于CNN的混沌参数扩频调制数字保密通信系统被引量：2
- 2012年
- 文章提出了一种基于CNN的混沌参数扩频调制数字保密通信系统。发射时,将CNN混沌输出作为载波,用每个待发送的数字信息信号对CNN多次迭代运算中某一参数在其混沌区域进行相同的调制,实现了参数扩频调制。接收时,利用CNN混沌的发生规则通过简单的信号处理运算恢复出原来的有用信号。由于不需要进行混沌同步,系统实现更简单。分析和仿真表明,文章提出的CNN混沌参数扩频调制通信系统具有极高的保密性能,并且由于采用了扩频处理,误码率远低于传统的混沌参数调制通信系统。
- 袁开艳李丽梅
- 关键词：混沌混沌参数调制扩频保密通信
- 基于TCSP的实时并发系统测试方法被引量：4
- 2015年
- 基于时间通信顺序进程(TCSP)语言——一种用于建模、验证实时并发系统的形式化语言,进行了一种新型实时并发系统测试方法的研究,以提高测试的覆盖率和完整度。首先研究了实时并发系统的输入、输出一致性关系,然后在时间迹、时间拒绝两种框架下,分别定义了最小不满足时间迹、最小拒绝集合,分情况研究了其测试过程。在TCSP的稳定失效模型下,将输出事件加入拒绝事件集合,最后提出了基于通信顺序进程(CSP)精化关系,且辨别输入、输出事件的实时测试模型,因此测试时不仅能精确地表示系统属性及行为,而且能利用该语言的精化关系定义测试的一致性测试关系。
- 郭婧徐中伟李丽梅
- 关键词：实时性并发性形式化方法
- 静摩擦力的研究与教学
- 2005年
- 讨论了各种情况下静摩擦力的方向和大小,并通过具体的物理实例,指出静摩擦力的大小和方向都应根据具体情况视之。这些讨论可以帮助学生澄清一些错误概念,从而正确地认识静摩擦力这种力学中常见的作用力,提高教学效果。
- 李丽梅谢卫军
- 关键词：静摩擦力
