一個安全文件系統的半形式化功能規範設計

一分子 一 一類基於主從代理的應用層多播水印協... 一類基於幾何分析的迭代學習控制演算法 一類基於函數值的有理三次樣條曲線的... 一類基於分解協調機制的多學科優化演算法 一類基於填充設計的LDPC碼的構造 一類基於多變數密度估計的盲源分離方法 一類基於循環群理論的變形機理分析 一類基於微分關係同時識別聲速和密度的方法 一類基於數據的解釋性模糊建模方法的研究 一類基於時變邏輯的序列發生器