• <blockquote id="fficu"><optgroup id="fficu"></optgroup></blockquote>
    

    <table id="fficu"></table>
    <sup id="fficu"></sup>
    

    <output id="fficu"></output>
      2. 
    
      
    
      
                                    20240703
                            
      
            關(guān)注中國自動(dòng)化產(chǎn)業(yè)發(fā)展的先行者！
            
      
                
				
                
                
                
            
      
        
      
    
      

      

    
      
    
      
        
        
        
        
       
					
      
				
      
					
      
												
      
							工業(yè)智能邊緣計算2024年會(huì )
						
      
												
      
							2024
						
      
												
      
							2024中國自動(dòng)化產(chǎn)業(yè)年會(huì )
						
      
												
      
							2023年工業(yè)安全大會(huì )
						
      
												
      
							OICT公益講堂
						
      
						
					
      
				
      
				
      
			
      
		
    
      

      

    
      
    
    

      


      
        
      
            
            當前位置：首頁(yè) >> 案例 >> 案例首頁(yè)
        
      
        
      
            
      案例頻道
      
        
      
		
      
			
      
				
      翻譯確認方法在核安全級GCG中的應用研究
      
				
      
					
      • 
                                                    企業(yè)：北京廣利核系統工程有限公司    
                                                                            領(lǐng)域：工業(yè)安全    
                                                                                                    
        • 
						
      • 點(diǎn)擊數：1033     發(fā)布時(shí)間：2018-05-08 18:39:27
        • 
						
      • 分享到：
        • 
					
      
				
      
				
                
				
				
      
                    
      作者：北京廣利核系統工程有限公司 閆鑫，張智慧，任保華，齊敏
      摘要：在核安全級數字化儀控系統中，人機交互安全控制顯示裝置的顯示內容和控制邏輯由圖形化組態(tài)工具實(shí)現。由于顯示內容規模龐大，結構復雜，如何保證實(shí)現從圖形到C轉換的圖形代碼生成器（GCG）的正確性是一個(gè)難題，通過(guò)引入形式化驗證方法對GCG生成過(guò)程的正確性進(jìn)行驗證。本文在對兩種形式化驗證技術(shù)比較并結合應用場(chǎng)景分析之后，選取了翻譯確認方法，并通過(guò)示例說(shuō)明了方法的可行性，為之后圖形代碼生成器的形式化驗證工作奠定了基礎。
      關(guān)鍵詞：圖形代碼生成器；形式化驗證方法；翻譯確認；求值流圖
      在線(xiàn)預覽：翻譯確認方法在核安全級GCG中的應用研究
      摘自《自動(dòng)化博覽》2018年4月刊
      
				
      
			
      
			
      
                                    
      熱點(diǎn)新聞
      
                    
                
                                    
      推薦產(chǎn)品
      
                    
                			
      
		
      

        


	
      

    









    



      
    
    x
    
    
      


      • 在線(xiàn)反饋
      

      

      


      1.我有以下需求：
      

      
    
        
            
      
            
      
            
      
                  
          		

      

      2.詳細的需求：
      

      

      
    姓名:
    

      

      
    單位:
    

      

      
    電話(huà):
    

      

      
    郵件:
    

      

      
    

      
      

      

      

      

      

      

      




欧美精品欧美人与动人物牲交_日韩乱码人妻无码中文_国产私拍大尺度在线视频_亚洲男人综合久久综合天

    3. <blockquote id="fficu"><optgroup id="fficu"></optgroup></blockquote>
      

      <table id="fficu"></table>
      <sup id="fficu"></sup>
      

      <output id="fficu"></output>
        2.