形式化构件装配的图算法生成删除本页内容
作者:石海鹤，鄢梦恬著
ISBN:978-7-5493-8139-5
关键词:算法设计
页数:58
出版社:南昌：江西高校出版社
出版日期:2018.12
发现时间:2024年6月27日 01:55
下载阅读地址： 请登录后查看下载方式
图书馆：全国藏书列表
百度网盘：《形式化构件装配的图算法生成》百度网盘搜索
用户须知：
1.如果《形式化构件装配的图算法生成》最近刷新过，VIP用户一定能通过教程免费下载。
2.本站为VIP用户提供百万本电子书免费阅读的地址及下载阅读教程。
3.本《形式化构件装配的图算法生成》页面是互联网用户最近搜索过，教客网收录的搜索日志，如果您认为侵权，请通过右上方删除按钮删除。
算法的可靠性和开发效率对于软件可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的一种重要途径。本研究以形式化方法PAR为基础，综合运用抽象、演绎、泛型等相关方法和机制，探索面向效率的算法演算法则、策略，对领域算法进行分析，对图论领域的典型算法进行了生成研究，不仅为提高图算法质量和开发效率提供有效的方法、技术和工具支持，构件组装的灵活性与可配置性也将为发现和产生新算法提供有效手段。
算法设计
评论内容
发表评论