出了一個任務(wù)合作時序圖,圖中每個頂點表示一個人,頂點標(biāo)簽A,B,C,D,E表示不同的職業(yè),頂點之間的有向邊表示兩個人之間交接任務(wù)的方向,每條邊上都有一個時間區(qū)間(s,f)表示任務(wù)交接的開始時間s與結(jié)束時間f。圖1 任務(wù)合作時序圖假設(shè)有一個任務(wù)合作模式圖QT,如圖1(b)所示,QT中每條邊ei都具有一個時序優(yōu)先級,時序優(yōu)先級規(guī)定了低優(yōu)先級邊的開始時間一定要晚于高優(yōu)先級邊的結(jié)束時間,即模式圖QT隱含著一種時序約束,該文稱其為時序模式圖,其中A先與B交接任務(wù),然

重要。功能驗證和時序驗證是保證芯片功能符合設(shè)計需求的重要手段。20世紀(jì)90年代中期，靜態(tài)時序分析（Static Timing Analysis，STA）的概念被提出，其通過分析電路拓?fù)鋪盱o態(tài)計算電路中不同信號的時間，以判斷是否滿足時序要求[1-4]。靜態(tài)時序分析依賴于時序約束文件，好的時序約束設(shè)計可以正確體現(xiàn)芯片的設(shè)計需求，最終實現(xiàn)芯片的正常通信功能。RapidIO互連技術(shù)是一種高性能、低引腳數(shù)、基于報文交換的互連體系結(jié)構(gòu)，是唯一的嵌入式系統(tǒng)互連的國際標(biāo)準(zhǔn)

高級高性能總線）時序轉(zhuǎn)換模塊和SJA1000 時序轉(zhuǎn)換模塊。其中，AHB 時序轉(zhuǎn)換模塊主要用于將MSS 對外訪問的AHB 總線時序轉(zhuǎn)換為Local 總線時序（片選、讀寫使能、地址數(shù)據(jù)總線）。SJA1000 時序轉(zhuǎn)換模塊主要用于將Local 總線時序轉(zhuǎn)換為SJA1000芯片的讀寫時序。2.2 AHB時序轉(zhuǎn)換模塊從功能劃分上，SmartFusion2 芯片上的ARM 內(nèi)核負(fù)責(zé)CAN 總線數(shù)據(jù)的發(fā)送和解析，而且ARM 對外訪問的FIC（Fiber Interfa

大，進(jìn)而產(chǎn)生路徑時序違例的風(fēng)險[1-3]。對此，IC設(shè)計工程師需要在芯片物理實現(xiàn)階段即進(jìn)行考慮老化的時序分析，通過設(shè)置針對性的時序裕量(margin)來覆蓋老化后的惡劣時序場景，確保芯片在服役期限中可靠運行。在先進(jìn)工藝芯片設(shè)計中，精確的老化時序分析并確認(rèn)合理的margin 是一個關(guān)鍵問題。偏大的margin 會導(dǎo)致過設(shè)計，帶來額外成本并限制芯片性能，而偏小的margin 會導(dǎo)致欠設(shè)計，造成失效泄露的風(fēng)險。本文利用基于Liberate+Tempus 的agi

、資源調(diào)度復(fù)雜、時序控制繁瑣等問題，本文提出了一種基于現(xiàn)場可編程門陣列(Field Programmable Gate Array,FPGA)的時序控制器設(shè)計方案，以滿足多面陣?yán)走_(dá)的應(yīng)用需求，在反無人機雷達(dá)領(lǐng)域具有廣泛的應(yīng)用前景。1 時序控制系統(tǒng)多面陣?yán)走_(dá)時序控制系統(tǒng)如圖1所示，該系統(tǒng)由顯控計算機、信號處理系統(tǒng)、時鐘源、定位定向設(shè)備以及4個天線陣面組成。其中，顯控計算機主要完成雷達(dá)工作陣面選擇，雷達(dá)工作模式、工作狀態(tài)等命令的控制；信號處理系統(tǒng)由中央處理器(

間還需滿足一定的時序要求才能確保信號正確地傳遞到目的時鐘域。CDC信號的時序分析是分析源時鐘域寄存器發(fā)出的多位CDC信號是否能被目的時鐘域寄存器正確地采樣。CDC信號的一般時序要求是目的時鐘域采樣時刻范圍內(nèi)同時變化的CDC信號不超過1個[3]，因此CDC信號被目的時鐘域采樣的時刻偏差只要不超過一個源時鐘周期就可以滿足時序要求。CDC信號產(chǎn)生時序違反的主要原因是時鐘頻率過高導(dǎo)致約束較嚴(yán)或CDC邏輯過于分散。近年來隨著設(shè)計頻率的逐漸提升、設(shè)計規(guī)模的逐漸增大，C

時代，一直以來，時序簽核一直是檢驗芯片設(shè)計是否合格的重要標(biāo)準(zhǔn)之一，在綜合工具(Design Compiler，DC)、布局布線工具(Integrated Circuit Compiler，ICC)、時序分析工具(Prime Time，PT)中都嵌入了不同的時序分析引擎。當(dāng)工藝節(jié)點達(dá)到90 nm 及以下時，為了使芯片在不同的極端環(huán)境下可以正常工作，就需要采用多工藝角多模式的物理設(shè)計方案來確保芯片在不同環(huán)境下穩(wěn)定工作[1-3]。在對多場景物理設(shè)計進(jìn)行時序分析時

的一種事件聯(lián)系為時序關(guān)系.時序關(guān)系表示事件發(fā)生的先后順序，其串聯(lián)了文章中事件的發(fā)展演化.如果能準(zhǔn)確地抽取文章中的事件時序關(guān)系，將有助于理解文章信息，梳理事件脈絡(luò).因此，事件時序關(guān)系抽取成為了一項重要的自然語言理解任務(wù)，受到越來越多的關(guān)注.事件時序關(guān)系抽取的目標(biāo)為抽取文本中包含的事件時序關(guān)系，如圖1中的例子，其包含4個事件：刺殺(E1)、暴行(E2)、屠殺(E3)和內(nèi)戰(zhàn)(E4)，其中可抽取出時序圖中的6對事件時序關(guān)系.圖1中時序關(guān)系BEFORE表示事件在另一

用開發(fā)方面，靜態(tài)時序分析通過分析用戶設(shè)計的建立保持時間來指導(dǎo)用戶進(jìn)行FPGA應(yīng)用開發(fā)。在FPGA配套軟件方面，靜態(tài)時序分析通過分析計算電路中每條時序路徑的延時，指導(dǎo)布局布線進(jìn)行時序優(yōu)化，為FPGA應(yīng)用開發(fā)提供有效的技術(shù)保障[1]。在靜態(tài)時序分析工具中算法引擎影響時序分析的效率，時序參數(shù)影響最終時序分析的正確性。FPGA每一個型號芯片針對不同的設(shè)計結(jié)構(gòu)和生產(chǎn)工藝，時序參數(shù)存在巨大差異。因此針對每一個型號芯片，軟件都會有一套相對應(yīng)的時序參數(shù)庫，作為時序分析引擎

在不同的工藝角下時序收斂，也需要保證在各種工作模式下正常工作。對此，工藝角和芯片工作模式的增加使得芯片在時序收斂方面遭受較大的挑戰(zhàn)。所謂工藝角是指在保證芯片功能正確的前提下所表現(xiàn)出來的參數(shù)波動的極端情況[1-2]。在以往設(shè)計過程中習(xí)慣性采用傳統(tǒng)的方法實現(xiàn)時序收斂，但在這過程中往往需要大量的人工操作進(jìn)行大工作量的反復(fù)迭代并且分析消除模式之間的影響，容易產(chǎn)生時序難以收斂的情況。除此以外，可測試性設(shè)計(Design for Test,DFT)技術(shù)也可以降低芯片功

試中，常出現(xiàn)接口時序不匹配導(dǎo)致的電氣系統(tǒng)工作故障問題，因此有必要開展接口時序的一致性在線測試方法研究。現(xiàn)有的一致性測試方法分為主動測試和被動測試兩類[1]。ISO/IEC 9646標(biāo)準(zhǔn)定義了主動測試的框架和方法[2]，工程應(yīng)用中一般基于TTCN-3測試框架實現(xiàn)[3-5]，通過生成能夠觸發(fā)故障的測試集作為測試輸入，觀測輸入與輸出之間的因果關(guān)系實現(xiàn)一致性檢測，其缺點是不能在線測試，且只能檢測測試集已覆蓋的故障類型。被動測試則利用形式化模型描述被測系統(tǒng)行為，通過

、姿態(tài)控制系統(tǒng)、時序控制系統(tǒng)和供配電系統(tǒng)組成[1]。其中時序控制系統(tǒng)在運載火箭飛行過程中執(zhí)行如各級發(fā)動機點火、級間分離、整流罩分離、星箭分離等多項時序輸出關(guān)鍵動作，控制對象包括了運載火箭的所有分系統(tǒng)。若火箭的時序控制系統(tǒng)失效，一般將直接造成整個飛行任務(wù)的失敗，甚至危及發(fā)射場和參試人員的安全。針對新一代運載火箭控制系統(tǒng)架構(gòu)[2-3]及民營商業(yè)運載火箭快響應(yīng)、低成本、高可靠的要求，對集成化、智能化、快速測試的箭載時序控制器的需求越來越緊迫。時序控制器[4-5]

天冰雪消融，這叫時序。做事把握時序最重要，逆時序而行，只能是吃力不討好，事倍功半，甚至徒勞無功。時序里有一種叫時機的東西，只有遵循時序，依時序而行，順時序而動，抓住時機，做起事來才能事半功倍，馬到成功。同樣，冬天，你可以建造一個溫室，營造一個小小的春天，讓一些開在春天的花，也能在冬天的溫室里生長。通過人力，讓一些開在春天的花也能在冬天開，這很重要，它意味著人不是生來就聽天由命的，是有所作為的，是可以通過自身的努力，為這個世界做點什么、改變點什么，讓這個世界

項重要的技術(shù)就是時序數(shù)據(jù)庫，物聯(lián)網(wǎng)設(shè)備產(chǎn)生的大量數(shù)據(jù)，需要通過有效的時序數(shù)據(jù)庫進(jìn)行處理和存儲，各大行業(yè)也對時序數(shù)據(jù)庫投入關(guān)注，本文將針對時序數(shù)據(jù)庫進(jìn)行研究和介紹。2 介紹2.1 時序數(shù)據(jù)時序數(shù)據(jù)，即時間序列數(shù)據(jù)，我們把按照時間戳的大小順序排列的一系列記錄值的數(shù)據(jù)稱為時間序列數(shù)據(jù)（Time Series Data）[1]。在日常生活中，時序數(shù)據(jù)相當(dāng)常見，比如，汽車的位置定位，在一段時間內(nèi)某輛特定汽車的其他屬性，包括型號、顏色、車牌號、所有者等都是不變的，但它

ysis, 靜態(tài)時序分析)方法也逐漸應(yīng)用到 FPGA的設(shè)計驗證中。靜態(tài)時序分析不需要測試向量，即使沒有仿真條件也能快速地分析電路中所有時序路徑是否滿足約束要求[3]。本文使用靜態(tài)時序分析工具Prime Time，針對某FPGA設(shè)計中SRAM的讀寫接口設(shè)計進(jìn)行時序驗證。采用衍生時鐘約束，輸入、輸出延時約束，多周期路徑約束相結(jié)合的方式，將FPGA的輸入輸出信號關(guān)聯(lián)起成一個回路，成功的對FPGA與SRAM之間的交互進(jìn)行環(huán)路分析。根據(jù)分析結(jié)果，快速準(zhǔn)確發(fā)現(xiàn)了接口設(shè)

以脈沖方式工作，時序控制系統(tǒng)通過輸出控制信號，同步調(diào)控光學(xué)系統(tǒng)、微波頻率綜合器，實現(xiàn)原子的冷卻—上拋—選態(tài)—微波激勵—探測等周期性運行。通過數(shù)據(jù)采集系統(tǒng)采集銫原子的飛行時間信號，經(jīng)過計算獲得伺服控制系統(tǒng)的參數(shù)，實現(xiàn)頻率鎖定[1]。目前運行在NTSC-F1銫原子噴泉鐘上的時序控制系統(tǒng)，由于其硬件版本較低，系統(tǒng)整體性能提升空間不足。同時其系統(tǒng)通用性不理想，時序的各項參數(shù)設(shè)置修改比較繁瑣，所以需要研制一套界面友好，操作人性化，性能更優(yōu)的時序控制系統(tǒng)應(yīng)用于NTSC

術(shù)不斷發(fā)展，可對時序數(shù)據(jù)進(jìn)行無損壓縮，并已有并行壓縮技術(shù)，實現(xiàn)時序數(shù)據(jù)的高效壓縮[1]。時序數(shù)據(jù)壓縮可有效將原有時序數(shù)據(jù)轉(zhuǎn)換為多種表現(xiàn)形式，用盡可能少的數(shù)據(jù)對時序數(shù)據(jù)信號進(jìn)行表示[2]。相關(guān)專家學(xué)者對時序數(shù)據(jù)壓縮技術(shù)展開深入研究，并取得一定有效成果。已有通過諧波濾波器對時序數(shù)據(jù)進(jìn)行壓縮的方法。先將原始時序數(shù)據(jù)信號內(nèi)穩(wěn)態(tài)分量和暫態(tài)分量分離，利用傅里葉變換法對諧波分量參數(shù)進(jìn)行估計，通過參數(shù)量化實現(xiàn)壓縮。該方法壓縮速度快，但穩(wěn)定性較差[3-5]。傳統(tǒng)時序數(shù)據(jù)并行

潘 莉 黃希庭?時序知覺影響因素與思考*潘 莉 黃希庭(西南大學(xué)心理學(xué)部, 重慶 400715)時序知覺是在幾十毫秒到幾百毫秒內(nèi), 對事件的同時性、非同時性和順序性的知覺。對時序知覺的影響因素的探索可分為自下而上和自上而下兩種研究取向。自下而上的研究探討刺激的物理特征、被試的生物學(xué)特征, 以及實驗方法對時序知覺的影響。而自上而下的研究探討因果信念、情緒、文化對時序知覺的影響。今后的研究還應(yīng)結(jié)合行為實驗與神經(jīng)科學(xué)技術(shù), 深入探討時序知覺的兩種加工方式是分離的

0854一種基于時序路徑的FPGA接口時序測試方法朱偉杰 周 輝 費亞男 陽 徽 郭冠軍北京航天自動控制研究所，北京100854針對航天高速高可靠FPGA接口時序測試，分析了FPGA接口類型及測試需求，介紹了一種基于時序路徑的FPGA接口時序測試方法，結(jié)合時序路徑模型，闡述了異步總線接口時序測試的測試流程和計算方法，并給出實際案例。該方法集成了功能仿真和靜態(tài)時序分析的優(yōu)點，特別適合極限工況下的FPGA接口時序驗證，已經(jīng)應(yīng)用到多個航天高可靠FPGA接口測試中

下，納米級效應(yīng)對時序的影響越來越顯著。對于全定制數(shù)字電路，精確評估內(nèi)部信號完整性（SI）尤為重要。高速SRAM IP采用65nm工藝全定制設(shè)計，我們選擇Synopsys公司的NanoTime來分析信號完整性。本文詳細(xì)介紹了NanoTime靜態(tài)時序分析、SI分析、時序模型提取在SRAM IP設(shè)計中的應(yīng)用。NanoTime；靜態(tài)時序分析；SI分析；時序模型提取1 NanoTime簡介NanoTime是Synopsys公司的晶體管級靜態(tài)時序分析工具。它集對晶體管

：一種新穎的基于時序圖的可達(dá)性算法劉凱洋，范新燦（深圳職業(yè)技術(shù)學(xué)院計算機工程學(xué)院，深圳 518055）隨著海量數(shù)據(jù)的迅猛增長以及大數(shù)據(jù)時代的開啟，涌現(xiàn)出大量的基于超大規(guī)模時序圖的應(yīng)用，并對經(jīng)典圖論算法中的可達(dá)性問題提出新的挑戰(zhàn)。傳統(tǒng)的可達(dá)性算法缺少對非靜態(tài)性、時效性的充分考慮，因此在時序圖上的運行可能導(dǎo)致錯誤結(jié)果，并且不能充分利用時序圖的特性提升運行效率。考慮到時序性對于時序圖的重要性，提出一種新穎的算法Bi-BFS，通過充分利用結(jié)點之間的時序性約束，并借

LD的多電源上電時序的控制設(shè)計株洲中車時代電氣股份有限公司通信信號事業(yè)部 馬茗崗 羅永升 孫 尚 陳 展隨著高速數(shù)字信號的快速發(fā)展，對集成多核和高速接口的處理器的電源的上電時序的設(shè)計則越來越重要，嚴(yán)格的上電時序保證了器件免受損壞和進(jìn)入良好的工作狀態(tài)；基于CPLD的多電源上電時序的控制設(shè)計則更加可靠、穩(wěn)定、精確。電源；上電時序；CPLD1　引言隨著高速數(shù)字信號的快速發(fā)展，對數(shù)字信號的處理方式也越來越豐富，而集成多核和高速接口的處理器為復(fù)雜的嵌入式系統(tǒng)的設(shè)計提

于統(tǒng)計特征向量的時序符號化改進(jìn)算法李曉翠，張新玉，羅慶云，任長安（湖南工學(xué)院計算機與信息科學(xué)學(xué)院，湖南 衡陽421002）傳統(tǒng)基于統(tǒng)計特征向量的時間序列符號化算法不能較好地保留時序數(shù)據(jù)的特征信息，且不支持多維時間序列的符號化。為此，提出一種改進(jìn)算法。對于單維時間序列，引入特殊點時間序列分割方法，在其基礎(chǔ)上實施符號化。對于多維時間序列，在利用基于加權(quán)屬性的主成分分析方法將多維時間序列轉(zhuǎn)化為單維時間序列后，再實施符號化。實驗結(jié)果表明，與傳統(tǒng)算法相比，改進(jìn)算法具

中應(yīng)用STA處理時序問題的方法孫佳佳，趙慶哲（中國電子科技集團公司第四十七研究所，沈陽110032）當(dāng)代數(shù)字IC的設(shè)計規(guī)模和復(fù)雜性在不斷增加，驗證工作也越來越困難，特別是靜態(tài)時序分析在此背景下變得尤為重要。目前業(yè)界普遍采用自動化的設(shè)計方式，通過應(yīng)用工具軟件，來對設(shè)計時序進(jìn)行分析。主要探討了在IC設(shè)計當(dāng)中對于時序違例的一些處理方法。數(shù)字IC；靜態(tài)時序分析；建立時間；保持時間1 引 言當(dāng)代數(shù)字IC的設(shè)計規(guī)模和復(fù)雜性在不斷增加，設(shè)計的時序驗證已經(jīng)成為制約成品率的

。文中提出了基于時序關(guān)聯(lián)規(guī)則的設(shè)備故障預(yù)測方法，將故障數(shù)據(jù)轉(zhuǎn)換為時序項集矩陣，利用Apriori改進(jìn)算法和頻繁時序關(guān)聯(lián)規(guī)則查找算法，求出時序項集矩陣的頻繁時序關(guān)聯(lián)規(guī)則，為管理人員提供決策支持。最后給出了該方法的可行性實例驗證。1 故障數(shù)據(jù)模型隨著設(shè)備使用壽命的增多，發(fā)生故障的概率越來越大，企業(yè)能采集到很多故障數(shù)據(jù)。這些故障數(shù)據(jù)具有動態(tài)性、大量性、冗余性、噪聲大等特點。基于這些特點，利用Apriori傳統(tǒng)關(guān)聯(lián)規(guī)則算法的思想［6－7］，將故障記錄表中的數(shù)據(jù)按照

，設(shè)計了紅外相機時序構(gòu)造系統(tǒng)，在進(jìn)行項目調(diào)試和實驗時，采用構(gòu)造的紅外相機輸出信號，提供給后續(xù)圖像處理等系統(tǒng)作為數(shù)據(jù)源，在進(jìn)行實際的跟蹤任務(wù)時再開啟紅外相機。設(shè)計的基于FPGA的紅外相機時序構(gòu)造系統(tǒng)輸出的信號時序與真實的紅外相機輸出時序保持一致，輸出的像素值數(shù)據(jù)采用漸變數(shù)，可以作為圖像傳輸系統(tǒng)、圖像處理等后續(xù)系統(tǒng)的數(shù)據(jù)源，以供其進(jìn)行編程和調(diào)試，調(diào)試成功之后直接將程序應(yīng)用到紅外相機信號的傳輸、處理等操作，這樣就省去了程序開發(fā)、調(diào)試和驗證時頻繁的啟動紅外相機的過

片，而不會去關(guān)注時序分析和約束的問題。實際上，當(dāng)設(shè)計比較簡單，且運行頻率比較低的時候，不加任何的時序約束，F(xiàn)PGA 軟件都可以綜合出來可用且相對較可靠的代碼，但當(dāng)設(shè)計比較復(fù)雜，運行頻率比較高的時候，不做時序分析，不加上一些必要的約束，就很難保證設(shè)計能且穩(wěn)定的運行在所設(shè)定的頻率上。所有的FPGA 廠商都提供靜態(tài)時序分析（STA，Static Timing Analysis）工具，可對設(shè)計的時序性能作出評估。TQ（TimeQuest）是Altera 公司的第二

解和記憶。而利用時序圖來記錄開關(guān)量則一目了然，對照起來也十分方便，還可以檢驗梯形圖的正確性及合理性，提高了教學(xué)效果。時序圖通過描述對象之間發(fā)送消息的時間順序來顯示多個對象之間的動態(tài)協(xié)作。時序圖中，縱軸是時間軸，橫軸代表了在協(xié)作中各獨立的對象所處的狀態(tài)，一幅完整的時序圖可顯示各物理量之間的邏輯關(guān)系，在PLC實訓(xùn)教學(xué)中，教師要善于利用時序圖，方便學(xué)生學(xué)習(xí)，以提高教學(xué)質(zhì)量。一、時序圖在描述傳統(tǒng)繼電器控制電路工作原理中的應(yīng)用以某由繼電器組成的控制電路為例，該裝置的

為時間序列，簡稱時序。如果該數(shù)據(jù)序列是連續(xù)的，稱之為連續(xù)時序；否則稱為離散時序。本文主要研究時序值為實數(shù)的時間序列，即傳統(tǒng)狹義時序。在各個領(lǐng)域中，時序是普遍存在的，并且隨著信息技術(shù)發(fā)展以及人們獲取數(shù)據(jù)手段的多樣化，人類所擁有的時序信息急劇膨脹，如證券公司擁有的大量股票信息時序數(shù)據(jù)、交通路口實時影像數(shù)據(jù)、醫(yī)療設(shè)備腦掃描數(shù)據(jù)等都可看作是時序。在這些海量的時序數(shù)據(jù)中，隱藏著大量的知識或信息急需我們來獲取。因此，研究、探索新技術(shù)或方法，有效地從這些復(fù)雜的海量時序中