您的位置： 专家智库 > >

卢超

作品数：12 被引量：25H指数：3
供职机构：华中科技大学更多>>
发文基金：国家自然科学基金湖北省自然科学基金国家科技支撑计划更多>>
相关领域：自动化与计算机技术一般工业技术电气工程文化科学更多>>

合作作者

文献类型

  • 7篇期刊文章
  • 5篇学位论文

领域

  • 8篇自动化与计算...
  • 1篇经济管理
  • 1篇电子电信
  • 1篇电气工程
  • 1篇一般工业技术
  • 1篇文化科学

主题

  • 4篇并发
  • 3篇软件测试
  • 3篇并发程序
  • 2篇遗传算法
  • 2篇时空数据
  • 2篇时空数据库
  • 2篇数据库
  • 2篇死锁
  • 2篇索引
  • 2篇索引结构
  • 2篇可达性测试
  • 1篇动态博弈
  • 1篇动态检测
  • 1篇多目标
  • 1篇多目标优化
  • 1篇永磁
  • 1篇优化算法
  • 1篇有限元
  • 1篇有限元分析
  • 1篇语句

机构

  • 12篇华中科技大学
  • 1篇三峡大学
  • 1篇江西财经大学
  • 1篇金华职业技术...

作者

  • 12篇卢超
  • 5篇卢炎生
  • 2篇毛澄映
  • 1篇谢晓东
  • 1篇赵小松
  • 1篇张屹
  • 1篇张金隆
  • 1篇张正中
  • 1篇刘铮

传媒

  • 3篇小型微型计算...
  • 1篇华中科技大学...
  • 1篇微电机
  • 1篇计算机应用研...
  • 1篇计算机科学

年份

  • 1篇2021
  • 3篇2017
  • 1篇2014
  • 3篇2008
  • 2篇2007
  • 1篇2005
  • 1篇2004
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种Java并发程序死锁动态检测的新方法被引量：1
2008年
死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖关系集上作适量演算便得到潜在死锁关系对.进一步地,结合线程间控制流图所反映的部分静态依赖关系,剔除假性死锁关系对,提高了计算结果的精度.该算法显著的特点是简单易于实现,且无需构造锁树或锁图等图形表示.
毛澄映卢炎生张金隆卢超
关键词：死锁动态检测
直径1.5mm微型永磁同步马达的设计与实验研究被引量：1
2017年
设计了一种直径1.5mm微型永磁同步马达,马达转子为永磁体,定子采用可挠线圈与导磁外壳相结合的结构;通过电磁分析软件JMAG建立微马达数字模型并进行2D瞬态电磁场有限元分析,根据结果求得马达的感应电动势常数和转矩常数;研制了微型马达样机,测试其转速-反电动势与扭矩-电流曲线,结果显示样机实测值与仿真具有较好的一致性,为微型永磁马达进一步设计与应用提供理论数据和数字模型。
张正中卢超
关键词：有限元分析
政府补贴策略对绿色供应链决策的影响研究
绿色可持续发展已成为社会各界关注的焦点。受到企业的研发资金、技术能力等诸多因素约束,政府有必要制定合理的补贴政策,激励相关企业提高绿色生产研发水平。本文结合绿色供应链管理的发展现状,考虑了政府补贴策略的排他性与共生性,将...
卢超
关键词：绿色供应链消费者偏好动态博弈
ASRSP——一种新的并发程序测试准则
2008年
可达性测试是目前较为成熟的一种并发程序测试方法,该方法解决了如何生成最小完备偏序测试序列集的问题。但研究表明,对于一般规模的并发程序,这一测试序列集仍然太大,以至穷尽测试无法完成。因此,目前亟需能投入实际应用的并发程序测试准则和相应的测试序列生成算法。本文提出了一种实用性较高的并发程序测试准则:全发送接收语句对(ASRSP),并针对该准则提出了一种新的并发程序测试方法:全发送接收语句对可达性测试(ASR-SP-RT)。该方法利用可达性测试生成测试序列集的完备性来保证覆盖所有的发送接收语句对,并在每次生成新序列之后及时去掉对覆盖剩下发送接收语句对无作用的序列,从而达到约简测试序列集的目的。
卢炎生卢超
关键词：软件测试可达性测试并发
基于无线局域网应用的圆极化介质谐振器天线研究
无线局域网(WLAN)具有数据传输速率快、可移动办公、安装便捷等优点。目前,WLAN已经在人流量大的公共场合以及集中办公点、学校等区域得到了广泛应用。天线作为接入设备的核心,其性能对通信网络WLAN的性能影响显著。圆极化...
卢超
关键词：无线局域网介质谐振器天线圆极化天线
文献传递
时空数据存储与索引结构的设计与实现
时空数据库管理系统(Spatio-Temporal DBMS)是能够同时处理时态数据和空间数据的数据库管理系统.如何将时态属性和空间属性有机的结合起来是实现时空数据库技术的关键问题.随着GPS、GIS等技术的应用和发展,...
卢超
关键词：时空数据库数据存储索引结构
文献传递
加工时间可控的多目标车间调度问题研究
车间调度问题是现代制造系统中亟需解决的组合优化问题之一。在传统车间调度的研究中，工件加工时间通常被假定为常量，但是实际生产中的工件加工时间是可变的，它可通过消耗可用的额外资源（如，燃料、人力、机器、能耗以及资金等）加以控...
卢超
关键词：车间调度多目标优化遗传算法
一种基于邻居自适应的多目标元胞遗传算法被引量：2
2014年
针对现有多目标元胞遗传算法存在邻居单一固定、不能适时变化的缺点,提出一种基于邻居自适应的多目标元胞遗传算法。该算法在经典多目标元胞遗传算法的基础上引入邻居自适应机制,动态调节邻居结构,使算法不断寻找全局搜索与局部寻优之间的平衡点。最后,与现有流行的其他多目标进化算法作比较,通过对不同类型的20种基准测试函数问题进行测试,证明该算法具有良好的收敛性和扩展性。
张屹刘铮卢超
关键词：邻居自适应多目标元胞遗传算法
一种并发Java程序控制流模型被引量：4
2008年
研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型——CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.
卢超卢炎生毛澄映
关键词：PETRI网并发
TDLRtree时空数据库索引结构及实现算法被引量：4
2005年
提出了一种新的时空数据库索引结构:Temporal Double L evel Rtree,简称TDL Rtree.TDL Rtree利用静止对象作为运动对象的容器,并使用双向链表链接对象的历史状态和将来状态.相比现有的时空数据库索引结构,TDL Rtree能支持更多的查询方法和较好的查询速度.本文给出了TDL Rtree的体系结构及关键实现算法.
卢超卢炎生
关键词：时空数据库索引结构
全选 清除 导出
共2页<12>
聚类工具0