吴方法在命题逻辑中的应用

该文将命题逻辑的定理证明转换为多项式方程的求解问题，从而提出了一种基于非子句的代数化方法.在代数化的过程中，以一种形式化的方式给出了命题公式的文法定义，通过语法, 语义分析实现了命题公式的代数化.此外，又根据特征列的性质，提出了一种逻辑推论自动生成的方法.     

面向方面编程的一种新型设计模式

通过对一个持久性框架方面进行抽象化的重构来提高Aspect的重用性,并在此基础上提出了面向方面编程领域的一种新型设计模式：方面桥模式(Aspect Bridge).该模式解决了构件与行为模式间的耦合问题,体现了“高层分离,低层耦合”的原则.     

基于UML的软件设计信息抽取及其在重构中的应用

运用统一建模语言UML(Unified Modeling Language),提出了一种关系型建模方法,并实现了一个原型系统,能够对UML中蕴含的部分设计信息进行建模与抽取.所得到设计信息能够应用于软件重构及面向方面编程中,能够挖掘设计阶段形成的语义信息,有效地帮助开发人员进行软件重构.     

应用YOLOv4-tiny算法实现保护压板智能校核

目前继电保护压板的巡检校核仍以人工为主,为提高其工作的效率,提出一种智能实时校核方法。该方法首先使用YOLOv4-tiny算法对压板的投退状态进行预测,然后使用腾讯开源的NCNN前向推理框架,对YOLO模型进行优化,最后将模型移植到移动端,使用APP完成压板校核。经测试,模型的均值平均精度达到99.13%,平均预测速度达到30FPS,并可以有效解决反光、遮挡等环境因素的影响,可以显著提升巡检工作的效率。