difficult configurations 中文意思是什麼
-
Mesotheliomas have either spindle cells or plump rounded cells forming gland - like configurations, as seen here at high power microscopically. they are very difficult to diagnose cytologically
圖示間皮瘤內既有梭形細胞又有飽滿的圓形細胞，二者形成類似腺體的外形。在細胞學上很難診斷。 -
These facts show that the closed configurations of the noble gases are most difficult to disturb by removal of a electron.
這些事實表明，對惰性氣體的閉合電子組態，要移去一個電子以破壞其組態是最困難的。 -
The paper introduces the history that chinese sci - tech forerunner and sci - tech operator difficult explored, studies the sci - tech policies of china and important sci - tech achievements by stages. in the light of the theory of " self - organization ", the paper analyses our country " s sci - tech configurations of china of a century, and points out that the technological innovation of china of a century went through a systemic course from " non - organization " to " out - of - order him - organization " to " order self - organization ". this paper values the sci - tech competition level, predominance and inferior position, prospects sci - tech competition of china in the future
文章分階段客觀地闡述了中國百年來技術創新所走過的艱難曲折的探索歷程、各個階段中國科技政策、技術創新的重大成就，並以自組織理論為基礎，分析了我國各階段的科技動態，實事求是地論述了中國百年來的技術創新活動是由解放前期的「非組織」形態，到解放后至十一屆三中全會召開前的「無序」的「他組織」形態，再到目前正在逐漸形成「有序」的「自組織」形態，這樣一個從低級到高級發展、變化的系統化歷程。 -
A widely used method for checking real - time systems is, according to the real - time property to be checked, to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space. the algorithm needs only to explore the finite space to get a correct answer. in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases. in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real - time automata, satisfies a linear duration property. to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ). based on these two relations, an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property. the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature
一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率 -
Java developers who move from single - machine programming to the wilder world of ejb technology and distributed computing often run into trouble : it can be difficult to write code that successfully navigates through the jndi maze, and multiple machines and configurations just increase the chance of something going wrong
從單機編程轉向ejb技術和分散式計算這些更復雜領域的java開發人員常常會陷入困境：編寫成功地游歷jdni迷宮的代碼會很困難，多計算機和配置也增加了出錯的可能性。 -
Operating system, network adapter and server vendors must develop and test an ever - growing number of device drivers, while corporations are faced with the increasingly difficult task of supporting a wide range of multi - vendor configurations
操作系統、網卡和服務器供應商必須開發和測試數量不斷增多的設備驅動程序，同時各公司面臨著支持范圍很廣的多廠家設備混合配置這樣越來越困難的任務。
分享友人