杨晋吉
- 作品数：63 被引量：146H指数：6
- 供职机构：华南师范大学更多>>
- 发文基金：国家自然科学基金广东省自然科学基金广东省科技计划工业攻关项目更多>>
- 相关领域：自动化与计算机技术电子电信文化科学天文地球更多>>
- 基于SAT的有界模型检测及其应用研究
- 无论在计算机系统硬件设计方面还是在软件设计方面，随着设计规模越来越复杂和庞大，会产生越来越多的设计缺陷和错误等。用一些传统的方法往往是代价很高，但还难以检测出它们。形式化验证的优点是在一个设计或系统的研制周期的前期进行。...
- 杨晋吉
- 关键词：有界模型检测递归公式
- 文献传递
- 一种地表造型方法被引量：6
- 1996年
- 本文提出一种简单而有效的地表造型方法：中点随机扰动插值法，给出了用这个方法在微机上生成的几幅地表图。这个方法也适合其它不规则自然景物的造型。
- 宋万寿杨晋吉
- 关键词：地表计算机
- 染色体中期细胞图像质量评估系统和方法
- 本发明公开了一种染色体中期细胞图像质量评估系统和方法，系统包括：获取单元，用于获取若干张染色体中期细胞图像作为第一图像；第一计算单元，用于分别计算所述第一图像的染色体簇数量分数、非簇染色体实例数量分数、噪声量分数和图像清...
- 赵淦森林成创李壮伟黄润桦彭璟吴清蓝罗浩宇李双印樊小毛唐华张奇之杨晋吉陈少洁易序晟
- 文献传递
- 有界模型检测和串空间模型相结合的安全协议验证
- 2010年
- 提出用BMC和串空间结合的方法对安全协议进行验证.首先是通过串空间的出测试理论先构造不安全协议的部分丛结构,通过该丛结构来约束协议运行的的规模和角色行为;然后用BMC对该丛结构进行建模,建立起对应的有限状态自动机和LTL验证规范,进行验证,有效减轻状态空间爆炸问题;利用不安全协议丛结构的特点,对BMC的下界进行优化.这种方式结合了模型检测和定理证明的优点,通过典型的安全协议的分析和实验,验证了本方法较传统的模型检测方法在验证安全协议时,验证效率提高明显.
- 杨晋吉苏开乐肖茵茵李超明
- 关键词：有界模型检测串空间NUSMV
- 检测智能合约恶意消除重入影响漏洞的检测方法和装置
- 本发明公开了检测智能合约恶意消除重入影响漏洞的检测方法和装置，方法包括：通过以太坊智能合约反编译技术，构建智能合约字节码的控制流图；根据控制流图，获取智能合约的执行路径；根据执行路径确定智能合约字节码中所有变量的数据传递...
- 何嘉浩赵淦森杨晋吉谢智健唐焌景邹邦祺唐华罗浩宇李双印樊小毛
- 染色体实例分割方法、系统和存储介质
- 本发明公开了一种染色体实例分割方法、系统和存储介质，方法包括以下步骤：获取细胞分裂中期的显微镜图像；对显微镜图像进行第一次分割，得到若干张子图像；对若干张子图像进行识别，得到第一染色体实例集合和染色体簇集合；对染色体簇集...
- 赵淦森林成创黄润桦彭璟吴清蓝李壮伟李双印樊小毛唐华张奇之杨晋吉罗浩宇易序晟陈少洁
- 文献传递
- 通过诊断图分析的快速诊断算法被引量：4
- 2009年
- 基于模型诊断的主要思想是:根据系统的逻辑模型以及系统的输入,通过逻辑的推理理论能推导出系统在正常情况下的预期行为,如果观测到的系统实际行为与系统预期行为有差异,则说明系统存在故障.当系统故障时,可通过逻辑的推理理论来确定引发故障的元件集合.由于经典的基于模型诊断采用的是逻辑推理的手段来产生诊断集合,这导致了传统的基于模型诊断算法的效率非常低下.文中在原有模型诊断基础上,重新定义了诊断,并提出了一种用于诊断的诊断图的数据结构.在此基础上给出了一种基于诊断图分析的快速诊断算法.由于文中的诊断方法是一种过程化的方法,与Reiter的模型诊断的基于逻辑的方法有着本质的不同.因此,文中的方法能很好地克服经典模型诊断效率过低的问题,为诊断问题的求解带来新的前景.实验结果证明了这种新的诊断方法的高效性.
- 陈蔼祥陈清亮潘久辉姜云飞杨晋吉
- 有界模型检测同步多智体系统的时态认知逻辑被引量：14
- 2006年
- 提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系统的智能体知识,避免了为时间域而扩展通常的时态认知模型的状态及迁移关系编码.ECKLn的时态认知表达能力强于另一个逻辑CTLK.给出该算法的技术细节及正确性证明,并用火车控制系统实例解释算法的执行过程.
- 骆翔宇苏开乐杨晋吉
- 关键词：有界模型检测多智体系统时态认知逻辑
- 基于增强现实技术的游戏旅游地图系统开发
- 2018年
- 增强现实技术已经为各种各样身临其境的体验提供良好解决方案。为了将增强现实技术的沉浸式体验代入传统旅游App,借助增强现实游戏旅游地图系统开发设计综合智能地图与AR游戏的智能旅游辅助系统。系统复合智能路径规划、AR景区、AR导航、电子导游等多项功能。该系统的实现对未来旅游App发展方向、AR景区应用,还有对智能路径规划算法在Android平台上的实际应用能提供一定的指导性作用。
- 吴榕华阮嘉俊詹坤展胡奕纯卢嘉裕杨晋吉
- 关键词：百度地图API
- ASM的手骨提取方法研究被引量：4
- 2016年
- 骨龄自动评估面临的困难是骨骼准确定位与骨骼兴趣区域提取。由于手骨X光图像存在光照不均及骨骼发育程度不规则等因素影响,传统的图像分割方法在骨骼上的分割效果不太理想;为了实现对手骨边缘的精确提取,结合Ada Boost级联分类器,提出基于ASM(主动形状模型)算法的手骨边缘提取方法,丰富了骨龄自动评价系统的应用研究。实验表明,基于ASM算法的手骨分割能有效对手骨X射线图像进行准确的定位,为骨龄自动化评价系统的下一步工作奠定基础。
- 黄飞尤启房杨晋吉
- 关键词：骨龄主动形状模型
