契约 - 技术新讯

技术新讯 > 契约 > 列表

基于程序静态分析的契约合成方法、装置、设备及介质

本技术涉及软件工程，具体涉及一种基于程序静态分析的契约合成方法、装置、设备及介质。背景技术：1、契约概念来自契约式设计(design by contract)，其规定软件设计者应该为软件组件定义形式化......

2024-08-05 36

#契约#介质#静态
一种基于YOLO模型的古契约文书文字识别方法

本发明涉及深度学习与目标检测，具体涉及一种基于yolo模型的古契约文书文字识别方法。背景技术：1、少样本多类别的目标检测问题属于计算机视觉领域问题，其一般定义为：在一个含有少量样本(不超过1000张图......

2024-07-31 89

#契约#文书#模型