[发明专利]一种搜索带前缀的边界条件的方法在审
| 申请号： | 202110741024.2 | 申请日： | 2021-06-30 |
| 公开（公告）号： | CN113590916A | 公开（公告）日： | 2021-11-02 |
| 发明（设计）人： | 万海;杨滨好;罗炜麟;曾娟 | 申请（专利权）人： | 中山大学 |
| 主分类号： | G06F16/953 | 分类号： | G06F16/953 |
| 代理公司： | 广州粤高专利商标代理有限公司 44102 | 代理人： | 刘俊 |
| 地址： | 510275 广东*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种搜索带前缀的边界条件的方法，该方法针对边界条件表述不合理、可读性不好的问题，首次提出用带前缀的边界条件进行系统冲突检测的描述方法；对于带前缀的边界条件设计了基于局部搜索的搜索算法，能够通过对候选公式进行极小化、随机扰动、abstract和refine等操作搜索到带前缀的边界条件，本发明在搜索过程中很好地平衡随机性和启发式搜索的优点，加速搜索时间和提升搜索的效果；验证了对于带前缀的边界条件的求解结果具有较好的可读性，可以为需求工程的解决工作提供更好的帮助。 | ||
| 搜索关键词： | 一种 搜索 前缀 边界条件 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中山大学，未经中山大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110741024.2/，转载请声明来源钻瓜专利网。
