aaflib-仿射算术C++库

关于
许可证
下载
出版物
示例
链接
谢谢

关于

aaflib是在C++中实现仿射算术的数学构造。Stolfi等人引入了这种结构。他们的c库可以在http://www.ic.unicampbr/~stolfi/EXPORT/software/c/Index.html#libaa.aaflib基于libaffa,是对原始库的重新补充,但已经进一步开发。它已被用作一个类似香料的非线性电路模拟器的主要计算库。目前,该库和模拟器是在微电子系统研究所在德国汉诺威。

下载

此项目仅作为源发布。打包的源可以在以下位置找到:
http://sourceforge.net/projects/aaflib/files/

如果您想参与此项目或想要最新版本,还可以将svn-repository与以下内容一起使用:
svn公司http://svn.code.sf.net/p/aaflib/code/aaflib代码

许可证

这个程序是自由软件;您可以根据自由软件基金会发布的GNU Lesser General Public License的条款重新发布和/或修改它;许可证的2.1版或(根据您的选择)任何更高版本。
分发此程序是希望它有用,但没有任何保证;甚至没有适销性或特定用途适用性的暗示保证。有关更多详细信息,请参阅GNU Lesser General Public License。
GNU Lesser General Public License的副本可以在http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html

出版物

如果您在出版物或应用程序中使用此增强版本或其任何部分,请考虑引用至少一个上述出版物。
所有参考资料也可用于下载作为bibtex文件。

作者职务年份日志/会议记录Reftype(参考类型)
Barke,M.、Kargel,M.,Lu,W.、Salfelder,F.、Hedrich,L.、Olbrich,M.和Radetzki,M.以及Schlichtmann,U。 集成电路和系统的稳健性验证 2012 2012年第四届亚洲质量电子设计研讨会(ASQED),第145-154页 正在进行中
弗雷斯菲尔德,M。 类似于Hilfe stückweise affiner Abbildungen的Schaltungen中的半符号模型和Unsicherheiten模拟 2009 学校:米克罗埃克特尼采系统研究所 抽搐
弗雷斯菲尔德(M.Freisfeld)、奥尔布里奇(M.Olbrich)、格林(C.Grimm)和巴克(E.Barke)。 Verwendung von Gebietsarithmetiken zum Entwurf robuster Schaltungen und Systeme公司 2007 1.GMM/GI/GI-Fachtagung Zuverlaessigkeit und Entwurf,第131-136页 正在进行中
Freisfeld,M.、Olbrich,M.和Barke,E。 基于仿射算法和分段仿射状态模型的不确定性电路仿真 2008 固态和集成电路技术国际会议记录 正在进行中
Freisfeld,M.、Olbrich,M.,Pfost,M.和Barke,E。 Verlässliche Modellierung积分器类比器Schaltungen durch stückweise affine Abbildungen 2008 (56)10。GMM/ITG-Fachtagung Analog 2008年 正在进行中
格拉博夫斯基,D。 Gebietsarithmetische Verfahren-zur仿真模拟程序Schaltungen-mit Parameterunicherheiten 2009 学校:米克罗埃克特尼采系统研究所 抽搐
Grabowski,D.、Grimm,C.和Barke,E。 Ein Verfahren zur effizienten分析von Schaltungen mit参数变量 2006 9.研讨会:Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen(MBMV),第181-190页 正在进行中
Grabowski,D.、Grimm,C.和Barke,E。 电路和系统的半符号建模与仿真 2006 IEEE电路与系统国际研讨会(ISCAS 2006),第CD-ROM页 正在进行中
Grabowski,D.、Olbrich,M.和Barke,E。 模拟模拟器Schaltungen-mit仿射算法 2008
第2卷。GMM/GI/ITG-Fachtagung“Zuverlässigkeit und Entwurf”2。GMM/GI/ITG-Fachtagung uverlässigkeit und Entwurf公司
正在进行中
Grabowski,D.、Olbrich,M.和Barke,E。 AC分析类比器Schaltungen-mit affiner Arithmetik 2008
2008年CAE-MethodenAnalog Analogschaltungen麻省理工大学恩特韦克隆分校卷,第63-68页
正在进行中
Grabowski,D.、Olbrich,M.和Barke,E。 使用测距算法的模拟电路仿真 2008
2008年ASP-DAC会议记录,第762-767页
正在进行中
Grabowski,D.、Olbrich,M.、Grimm,C.和Barke,E。 加速模拟系统可达性分析的距离算法 2007 FDL 2007,第CD-ROM页 正在进行中
Heupke,W.、Grimm,C.和Waldschmidt,K。 用仿射算法建模非线性模拟系统中的不确定性 2006 SoC规范和设计语言的应用,第155-169页 收集不到
Heupke,W.、Grimm,C.和Waldschmidt,K。 非线性系统的半符号仿真 2005 规范与设计语言论坛(FDL’05),洛桑,2005年9月,第CD-ROM页 正在进行中
Kaergel,M.、Schupfer,F.、Grimm,C.、Olbrich,M.和Barke,E。 基于距离的系统仿真的抽象分析技术 2010 规范设计语言(FDL 2010),2010年论坛,第1-6页 正在进行中
Krause,A.、Olbrich,M.和Barke,E。 用神经网络和仿射算法封闭模拟行为模型中的建模误差 2012 2012年电路设计综合、建模、分析和仿真方法及应用国际会议(SMACD),第5-8页 正在进行中
沙夫,O.,奥尔布里奇,M.和巴克,E。 Lösungsverfahren für nichtlineare implizite Gleichungssysteme unter Verwendung von Affiner算术和Gebietsaufteilungen 2013 GMM Fachbericht模拟2013 会议
沙夫,O.,奥尔布里奇,M.和巴克,E。 Anwendung der affinen Arithmetik auf das BSIMSOI-Model zur Parameterschwankungen仿真 2011 2011年GMM Fachbricht Analog 会议

仿射模拟的输出示例

在本节中,我们将展示仿射模拟器的一些示例图。
已使用仿射算法,以便在一次模拟运行中模拟参数变化。每个不相关的参数变化都被分配了一个唯一的偏差符号。在结果中,您可以看到仿射模拟的边界为红色,绿色是使用Monte-Carlo-Samples进行变化的常规模拟。

带通的瞬态模拟。
仿射模拟的输出示例

同一电路的交流模拟。
仿射模拟的输出示例

链接

网址:http://www.ic.unicampbr/~stolfi/EXPORT/software/c/Index.html#libaa
http://www.nonnu.org/libaffa
http://en.wikipedia.org/wiki/Affine_arithmetic
http://www.ims.uni-hannover.de

谢谢

感谢德国BMBF为这个图书馆的工作提供资金。

技术支持:在SourceForge.net上获取aaflib。快速、安全和免费的开源软件下载


上次修改时间:2010年10月26日星期二12:50:12 CEST