吴尽昭
- 作品数：76 被引量：154H指数：6
- 供职机构：广西民族大学更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信理学文化科学更多>>
- 基于Spin的安全协议形式化验证技术被引量：4
- 2014年
- 针对安全协议的形式化验证问题,运用模型检测方法,以一种改进的入侵者Promela语义模型,对双方密钥分配中心协议进行Spin模型检测,验证发现其不满足线性时序逻辑(LTL)公式描述的安全性,得到了原协议的安全漏洞。针对该漏洞,提出了一种协议改进方案,并针对改进后的协议,给出新的Promela语义模型的建模方法。改进的入侵者模型建模方法比起原方法:模型检测过程中的存储状态数减少,使模型复杂度降低约40%;迁移状态数减少,使验证效率提升约44%。
- 冉俊轶吴尽昭
- 关键词：安全协议形式化验证
- 基于吴方法的多值模型检验被引量：5
- 2008年
- 大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.
- 赵林吴尽昭
- 关键词：多项式
- 基于异步电路设计的RSA算法加密芯片被引量：8
- 2019年
- 提出一种基于异步微流水线的设计方法,设计适合的异步控制框架构建出全异步RSA密码芯片。在核心加解密电路中采用异步控制框架,剔除时钟域,使寄存器翻转时刻随机化,导致无法捕捉关键寄存器翻转时刻号,从根本上防止和避免DPA攻击。常规的RSA密码芯片系统中具有较大的面积,较高的功耗,较长的时钟延迟,通过采用基于异步微流水线的数据路径作为芯片设计方式,消除系统时钟电路,可以有效控制芯片功耗和面积。
- 何安平郭慧波冯志华吴尽昭
- 关键词：差分功耗分析密码算法异步电路
- 特殊Thue系统表现的幺半群的两个性质
- 1996年
- 本文给出了有限特殊Ｃｈｕｒｃｈ－ＲｏｓｓｅｒＴｈｕｅ系统表现的上半群是群或正则半群的两个充要条件．并由此获得了判定该种幺半群是否群、正则半群的十分简单的算法．
- 吴尽昭谭红艳
- 关键词：幺半群正规集半群
- 基于DILATE_TLSTM的港口船舶轨迹预测方法
- 本发明涉及一种基于DILATE_TLSTM的港口船舶轨迹预测方法，具体包括S1、采集港口AIS数据并对所采集的数据预进行处理，获取轨迹预测数据集；S2、构建基于DILATE_TLSTM的港口船舶轨迹预测模型；S3、采用滑...
- 吴尽昭苏伟张久文蔡川雷晖刘映杰
- 基于SVG的专用公式编辑工具的设计与实现被引量：2
- 2009年
- 提出了一种基于SVG技术的专业领域公式编辑工具解决方案。使用自定义的公式输入规则、Java图形编程技术和Batik软件包设计并实现了一个应用于交互式马尔可夫链(IMC)的并发系统性能评价系统的公式编辑器。该方案设计完善、操作简单、编辑方便、公式显示效果出色、通用性强,能方便地进行转化以适应于多种专业领域。
- 唐勇吴尽昭陈剑锋
- 关键词：可伸缩矢量图形BATIK
- 一种针对安全协议的形式化建模及验证方法
- 本发明公开的属于信息交换安全技术领域，具体为一种针对安全协议的形式化建模及验证方法，该针对安全协议的形式化建模及验证方法包括如下步骤：S1：建模：提取安全协议所涉及的数据，并根据提取的数据建立由可信的参与者进程和入侵者进...
- 汤卫东刘美玲吴尽昭曲良东
- 文献传递
- 一种蜂窝基站的迭代加权质心定位算法被引量：3
- 2013年
- 在蜂窝系统中,信号受多径传播和非视距传播等因素影响,导致基于距离的GPRS定位的精度难以提高。针对该问题,提出一种基于多个基站的GPRS定位算法,它综合考虑了蜂窝网络中基站的分布特征和移动台接收的信号强度。在对孤立基站的有效性进行检测之后,以最近基站为中心,运用加权质心法求得移动终端的最终坐标。为了获得最好的定位效果,对加权系数进行了精确调优。与经典质心定位法相比,新提出的算法在精度上提高了30%左右。
- 张飞虎吴尽昭沈强田一姝
- 关键词：移动台定位加权质心异常点检测
- 物联网网关中轻量化规则引擎的设计与实现被引量：7
- 2015年
- 针对物联网网关不适用于多个应用场景的问题,提出了在网关上实现规则引擎的方法。该方法通过＂关联事实＂属性和＂议程推理＂机制,解决了传统规则引擎如JRules等无法应用于轻量级网关设备并且运行时间和响应时间较长的问题。添加＂关联事实＂属性能减小匹配规则集的大小,＂议程推理＂机制能避免匹配过程中不必要的等待时间。基于上述方法,在物联网网关上设计并实现了一种快速轻量化规则引擎（FLRE）,并用规模不等的数据集测试。实验结果表明,添加＂关联事实＂属性能将规则引擎的运行速度提高8%~30%,＂议程推理＂机制能将规则引擎的响应速度提高7%~35%,使规则引擎能够高效地应用于物联网网关上。
- 田瑞琴吴尽昭唐鼎
- 关键词：物联网网关运行时间
- 混杂系统的近似形式化验证技术与应用
- 吴尽昭杨世瀚何安平
- 受国家自然科学基金的资助，项目对基于数值、符号与智能计算交叉融合的混杂计算理论与方法而建立起来的近似形式化验证方法和技术进行了系统的研究。建立确保混杂系统(一种既包含的离散子系统又包含连续子系统，而且这两类子系统又互相交...
- 关键词：
- 关键词：混杂系统
