邏輯跟蹤(logical tracing)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名:邏輯跟蹤
- 外文名:logical tracing
- 所屬學科:計算機科學技術
- 公布時間:2018年

邏輯跟蹤(logical tracing)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。
邏輯跟蹤(logical tracing)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。定義對轉移指令的跟蹤動作,以觀察轉移是否成功執行。1出處《計算機科學技術名詞 ...
邏輯狀態分析儀用來對系統進行實時狀態分析,檢查在系統時鐘作用下匯流排上的信息狀態。它的內部沒有時鐘發生器,用被測系統時鐘來控制記錄,與被測系統同步工作,主要用來分析數字系統的軟體,是跟蹤、調試程式、分析軟體故障的有力工具。邏輯...
《邏輯化智慧型交易:趨勢追蹤與攻防策略》是2018年四川人民出版社出版的圖書,作者是黃怡中。內容簡介 作者集20餘年國際國內金融市場的交易經驗,從倉位、形態、斜率、乖離、試單、止損、撐壓七個方面,闡述股票交易的核心邏輯,並圍繞股價...
NLDM收集、存貯、和監控網路邏輯問題確定數據。NLDM利用網路通信控制設備(NCCF)來得到並在中央或遠程NCCF網路操作員終端顯示與會話有關的數據。NLDM收集兩類與會話有關的數據:會話明了(awareness)數據和會話跟蹤數據。會話明了是SNA訪問方法...
時序邏輯電路較常採用±5V、±15V、±12V電源。當電源對地短路或電源穩定性差都可能導致系統故障,表現為系統無反應、系統程式紊亂等。一般來說,電源對地短路是因為電容(去耦電容)短路產生的,找到故障電容最好的辦法是採用電流跟蹤儀...
過程追蹤方法是在單一個案研究設計中考察因果機制的工具,對於研究中的個案內推斷頗有助益。本書詳細探討了過程追蹤區別於其他個案研究方法的本體論和認識論基礎,充分闡述了該方法的邏輯基礎和特點。作者指出,過程追蹤方法有三種變體——理論...
不管是自學還是教學,都能非常輕鬆愉快。《數字跟蹤技術》附光碟1張,內含教學輔助文檔,如PowerPoint文檔、相關範例、習題答案等。圖書目錄 第1章 認識數字波形與跟蹤工具 1-1 認識數字波形 1-2 認識邏輯分析儀 1-3 安裝邏輯分析儀...
邏輯仿真(英語:logic simulation),或稱邏輯模擬,是對硬體描述語言所定義數字電路行為的預測與檢驗,通常可以利用計算機仿真實現。邏輯仿真可以在具有不同物理抽象層次(級別)下進行,例如電晶體級、邏輯門級、暫存器傳輸級和行為級。其...
梁家輝超出他對自我的限制,本是求財卻一再殺戮。而任達華攜帶徐子珊的成長,代價未免太大。《跟蹤》的細節多多,卻是前緊後松,沒能帶起觀眾的高潮。對於觀眾而言,讓任達華死去在情理和邏輯上更恰當(新浪娛樂評)。
《基於神經網路模型的目標跟蹤方法及裝置》是北京曠視科技有限公司和北京小孔科技有限公司於2016年5月10日申請的專利,該專利的申請號為2016103062507,公布號為CN105976400A,授權公布日為2016年9月28日,發明人是俞剛、李超、何奇正、陳...
本項目為受限、干擾、隨機等影響下多值邏輯網路系統的分散式控制建立了一種代數狀態空間方法。基於代數狀態空間方法,給出了多值邏輯網路分散式鎮定控制、輸出跟蹤控制、魯棒控制的設計方法。本項目組將得到的理論結果套用於網路演化博弈的...
本項目擬結合數據融合、數據挖掘、人工智慧等方法,探索並提出面向複雜環境和亂序現象的機動目標跟蹤方法。主要研究內容包括:(1)利用數據流頻繁模式挖掘方法研究機動目標特徵模式發現問題;(2)從時序邏輯和基於區間的時間推理方法出發,...
由於目標回波和其背景是起伏的,有時還有多路徑干擾,因此,雷達導引頭在跟蹤目標時,回波信號的幅度有時會低於跟蹤門限值。過程 記憶跟蹤功能需要根據目標失鎖前的跟蹤數據,採用時序控制邏輯、目標航跡或伺服驅動電壓平滑外推等濾波方法...
船舶操縱控制隨著船舶的工作狀態(如載荷、吃水、航速等)及航行環境(如航線、水深、風、浪、流等)的不同而有很大的變化,是一個模型時變、非線性、大幹擾的過程,將智慧型控制(神經網路、模糊邏輯、遺傳算法等)技術引入船舶路徑跟蹤...
《邏輯設計基礎(第7版)》是2016年清華大學出版社出版的圖書,作者是Charles H. Roth,Jr. Larry L. Kinney。內容簡介 由Charles H.Roth,Jr.和Larry L.Kinney共同編著的Fundamentals of Logic Design是有關數字邏輯設計的重要著作之一...
《三體2:黑暗森林》中負責羅輯的安全,幫助羅輯找到莊顏。後因輻射導致的白血病進入冬眠。危機紀元205年甦醒後找到羅輯,並多次救了他的命。是第一個聽到羅輯說出黑暗森林理論的地球人。自述在工作中從不進行道德判斷。工作偏重於防騙...
當filemon 以 -v 標誌調用時,相關的跟蹤 hook 會列出。包含 -f 選項的 gennames 命令將被執行,它的輸出被保存在 Gennames_File 中以收集 filemon 的附加訊息。-f 選項被用來和 gennames 命令一起去收集邏輯卷和物理卷的設備信息...
自動標識與數據採集(AIDC)指的是不用鍵盤直接將數據輸入計算機系統、可程式邏輯控制器(PLC)或者其他微處理器中。它包括條形碼、射頻標識與射頻數據通訊、磁條、語音和視覺系統、光學字元識別、生物統計等。每種技術都有其優點,適合不同...
-L 地址 將N命令所指定檔案的內容讀入到指定記憶體位置。另,邏輯卷扇區直接讀:-L 地址 邏卷號 起始邏扇號 扇數 -W 地址 將BX-CX個位元組的記憶體數據寫入N命令指定的檔案中。另,邏輯卷扇區直接寫:-W 地址 邏卷號 起始邏扇號 扇...
中國計算機學會多值邏輯與模糊邏輯專業委員會主任委員 中國系統工程學會人機環境系統專業委員會副主任委員 中國人工智慧學會神經網路與計算機智慧型專委會副主任委員 國家自然科學基金會學科評議組成員 總裝備部科技委委員 深圳市科技協會副主席 ...
《追隨》是由克里斯托弗·諾蘭自編自導,eremy Theobald、Alex Haw、露西·拉塞爾共同主演的驚悚懸疑電影。影片講述了喜歡跟蹤陌生人打發時間的比爾,在一次跟蹤叫克布的男子時被對方發現,克布自認是一名竊賊,並邀請他加入合夥入室盜竊,他...
B2BUA(Back-to-Back User Agent,背靠背用戶代理)是通訊網路中,使用SIP(Session Initiation Protocol,會話發起協定)實現會話的一種邏輯實體。B2BUA作為SIP呼叫兩端的用戶代理,負責處理呼叫兩端的所有SIP信令,從呼叫確立到終止全程跟蹤...
航跡起始算法有很多,比較常用的有直觀法、邏輯法、修正的邏輯法等。數據關聯 在理想的目標運動模型中,總認為觀測環境是“乾淨”的,每次只檢測到一個觀測值,並且這個觀測值就是來自於正被跟蹤的目標。但是,在實際的系統中環境並非是...
