韦林
- 作品数：5 被引量：8H指数：2
- 供职机构：桂林电子科技大学计算机科学与工程学院更多>>
- 发文基金：广西省自然科学基金国家自然科学基金广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于启发式DCPM-FGA的产品装配序列规划被引量：3
- 2011年
- 为有效获得优化的装配序列,提出了一种将比较比例方法与模糊遗传算法相结合,并加入启发式搜索策略的新方法。采用连接矩阵和干涉矩阵描述装配模型,并在此基础上通过计算得到装配序列的启发式信息。根据启发式信息设计了具有启发性的种群初始化算子、交叉变异算子、可行序列调整算子,以帮助比较比例方法和模糊遗传算法避开无效序列。通过实例分析表明了所提方法的高效性。
- 常亮刘华古天龙韦林
- 关键词：装配序列规划模糊遗传算法启发式搜索
- 32位并行数据的CRC-16编码器的FPGA实现被引量：5
- 2008年
- 在数据通信中,提高数据在通信中的可靠性,以及快速的数据处理能力一直是人们所追求的,循环冗余校验CRC就是一种广泛采用的差错控制方法,也是一种最常用的信道编码方法。在介绍CRC码原理之后,以经典的LFSR电路为基础,推导出产生32位并行数据的CRC-16编码表达式,用EDA工具设计出CRC-16编码模块,并对其进行综合仿真,验证其可行性。
- 谭华韦林田宜君
- 关键词：循环冗余校验编码器VHDL
- 命题动态逻辑模型检测技术及应用研究
- 命题动态逻辑(propositional dynamic logic.简称PDL)最初是由Fischer和Ladner在上世纪70年代末引入的,已成为计算机科学中一种有价值的理论工具。PDL不但用于程序形式化描述和推理,...
- 韦林
- 文献传递
- 基于模型检测的命题动态逻辑规划
- 2010年
- 命题动态逻辑是对动作进行刻画和推理,并在此基础上进行规划求解的一种有效工具。PDL规划问题一般通过逻辑推演进行求解,其本质是将规划问题转化为PDL公式的可满足性问题,相应的推理复杂度为EXP-完全。与可满足性推理相对应,PDL模型检测问题具有多项式级别的时间复杂度。鉴于PDL模型检测的高效,对基于模型检测的PDL规划求解进行研究,从PDL规划语义的角度证明了PDL规划可以通过模型检测的方法求解,在这基础上给出基于模型检测的PDL规划算法,结合实例验证了算法的正确性。
- 韦林古天龙常亮
- 一种新的爆炸机数据编码方式设计
- 2008年
- 在石油勘探中,爆炸机起到非常关键的作用,而且在各大油田使用广泛。介绍了自主研发爆炸机编码器和译码器数据通信中的编码方式设计,提出了编码的方法,并根据爆破现场环境来设计编码,通过数字转换成模拟信号,然后通过无线电台发送出去;接受方通过无线电台接收数据,然后转换成数字信号,在接收时可以得到纠正。所设计的数据编码方法已经应用到无线电台的通信,具有数据快速、准确的发送和接收的优点。
- 林德树程彩凤旁飞韦林
- 关键词：海明码相位编码无线传输
