資料介紹
形式化方法有助于從根本上提高軟件系統的質量與可靠性,但其開發成本往往過于高昂.一種折衷的辦法是在軟件系統中選取關鍵性部件進行形式化開發,但目前尚無非常有效的定量選擇方法.將軟件系統中的形式化開發關鍵部件選取建模為一個0-1約束規劃問題,以便使用元啟發式搜索方法對其進行優化求解.另外,針對該問題專門設計了一種離散水波優化(water wave optimization,簡稱WWO)算法,在一個大型軟件系統上的應用驗證了問題模型的有效性,同時證明了WWO算法相對于其他若干典型元啟發式搜索方法的優越性.
?
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
- 无人机无线通信协议的形式化认证综述9次下载
- 开源软件包管理升级的多目标优化方法0次下载
- 基于定理证明其的有限域及其形式化研究1次下载
- 如何使用Myeclipse进行java可视化开发5次下载
- 如何使用一种形式化方法的3D虚拟祭祀场景建模语言与环境9次下载
- 面向航天嵌入式的形式化建模1次下载
- Web服务系统的形式化的语义模型0次下载
- 操作系统汇编级形式化设计和验证方法1次下载
- 一种服务网络拓扑结构的形式化描述方法_陈鹏2次下载
- RFID领域软件构件化开发技术研究22次下载
- 基于Petri网的安全协议形式化分析29次下载
- 基于Spin的Rdt2.2及其改进的形式化分析7次下载
- 形式化方法和测试技术及其在安全中的应用25次下载
- 密码协议形式化分析的计算合理性11次下载
- Agent系统软件体系结构形式化建模方法35次下载
- 动态追溯方法:彻底革新软件测试599次阅读
- 嵌入式软件开发和软件开发的区别2763次阅读
- MySQL性能优化方法835次阅读
- 如何通过最小化热回路PCB ESR和ESL来优化开关电源布局806次阅读
- 芯片开发中形式化验证的是一个误区2225次阅读
- 形式化建模(一)1564次阅读
- 基于构件化软件开发的IEEE802.15.4标准的设计与实现2589次阅读
- ZWS云平台的可视化开发功能介绍和应用实例说明1511次阅读
- 360度全景环视和自动泊车系统2475次阅读
- 米尔科技AM335X开发板缩减开机待机2780次阅读
- 优化嵌入式软件时可以遵循几个通用技巧盘点726次阅读
- 基于spice3f5的建模工具的器件建模机制实现模块复用和快速原型化开发1429次阅读
- 使用oprofile对软件做profiling963次阅读
- Xilinx INT8 优化开发嵌入式视觉5641次阅读
- 干货!汇总电路开发设计使用的软件2361次阅读
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關電源設計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論