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.
Mud Puddles ( bfs )
2.
ReSIProcate環境搭建
3.
SNAT(IP段)和配置網絡服務、網絡會話
4.
第8章 Linux文件類型及查找命令實踐
5.
AIO介紹(八)
6.
中年轉行互聯網,原動力、計劃、行動(中)
7.
詳解如何讓自己的網站/APP/應用支持IPV6訪問,從域名解析配置到服務器配置詳細步驟完整。
8.
PHP 5 構建系統
9.
不看後悔系列!Rocket MQ 使用排查指南(附網盤鏈接)
10.
如何簡單創建虛擬機(CentoOS 6.10)
本站公眾號
歡迎關注本站公眾號,獲取更多信息
相關文章
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主程序分析
>>更多相關文章<<