JavaShuo
欄目
標籤
AF與RI
時間 2021-01-02
原文
原文鏈接
在研究抽象類型的時候,先思考一下兩個值域之間的關係: 表示域(rep values)裏面包含的是值具體的實現實體。一般情況下ADT的表示比較簡單,有些時候需要複雜表示。 抽象域(A)裏面包含的則是類型設計時支持使用的值。這些值是由表示域「抽象/想象」出來的,也是使用者關注的。 ADT實現者關注表示空間R,用戶關注抽象空間A 。 R->A的映射特點: 每一個抽象值都是由表示值映射而來 ,即滿射:每個
>>阅读原文<<
相關文章
1.
關於AF, RI, Rep exposure
2.
Spec、AF、RI以及Safety from rep exposure的一些體會
3.
ADT的表示獨立性,測試ADT的方法,不變量,RI與AF
4.
RI中的小Bug
5.
Camera AF version 6.0
6.
RDS電臺 TA 與 AF解釋
7.
抽象數據類型及其表示不變量RI、抽象函數AF簡介(哈工大軟件構造)
8.
ISP PIPLINE (十五) AF
9.
自動對焦 AF
10.
(二)RI主程序分析
更多相關文章...
•
XSL-FO 與 XSLT
-
XSL-FO 教程
•
PHP - AJAX 與 PHP
-
PHP教程
•
Composer 安裝與使用
•
Java Agent入門實戰(一)-Instrumentation介紹與使用
相關標籤/搜索
與之
與會
與人
使與
又與
與衆
在與
付與
Hibernate教程
PHP 7 新特性
Redis教程
0
分享到微博
分享到微信
分享到QQ
每日一句
每一个你不满意的现在,都有一个你没有努力的曾经。
最新文章
1.
子類對象實例化全過程
2.
【Unity2DMobileGame_PirateBomb09】—— 設置基本敵人
3.
SSIS安裝以及安裝好找不到商業智能各種坑
4.
關於 win10 安裝好的字體爲什麼不能用 WebStrom找不到自己的字體 IDE找不到自己字體 vs找不到自己字體 等問題
5.
2019版本mac電腦pr安裝教程
6.
使用JacpFX和JavaFX2構建富客戶端
7.
MySQL用戶管理
8.
Unity區域光(Area Light) 看不見光線
9.
Java對象定位
10.
2019-9-2-用自動機的思想說明光速
本站公眾號
歡迎關注本站公眾號,獲取更多信息
相關文章
1.
關於AF, RI, Rep exposure
2.
Spec、AF、RI以及Safety from rep exposure的一些體會
3.
ADT的表示獨立性,測試ADT的方法,不變量,RI與AF
4.
RI中的小Bug
5.
Camera AF version 6.0
6.
RDS電臺 TA 與 AF解釋
7.
抽象數據類型及其表示不變量RI、抽象函數AF簡介(哈工大軟件構造)
8.
ISP PIPLINE (十五) AF
9.
自動對焦 AF
10.
(二)RI主程序分析
>>更多相關文章<<