《Formal Methods In System Design》雜志查重率過高通常很難過審，論文的重復率是一個重要的考量因素，不同的期刊要求不一樣，通常來說，SCI論文查重率一般建議低于15%或者20%以下，投稿都比較安全。總的來說，保持論文的原創(chuàng)性和獨特性是關鍵。

該雜志是國際知名的學術出版物，對論文的原創(chuàng)性和學術質量有著極高的要求。查重率過高往往被視為學術不端行為的一種表現(xiàn)，如抄襲或過度引用他人成果，這嚴重違反了學術誠信原則。

如果查重率過高，常會采取以下措施：

1、直接拒稿：對于查重率明顯超標的論文，SCI期刊往往會直接拒絕接受其發(fā)表。這是為了保護學術界的原創(chuàng)性和誠信，避免抄襲等學術不端行為的傳播。

2、要求修改并重審：在某些情況下，如果論文的查重率雖然較高，但其中存在合理的引用和解釋，期刊編輯部可能會要求作者進行修改并重審。然而，這種情況相對較少，且修改后的論文仍需滿足期刊的原創(chuàng)性要求。

因此，投稿前最好使用專業(yè)查重工具檢測并優(yōu)化重復內容。

《Formal Methods In System Design》雜志（ISSN: 0925-9856，ESSN：1572-8102）是一本專注于工程技術 - 計算機：理論方法的國際SCI期刊，由Springer US出版，創(chuàng)刊于1992年，出版周期為Bimonthly。

該雜志主要發(fā)表由領域內專家撰寫的短篇文章，旨在以簡明易懂的方式呈現(xiàn)計算機：理論方法的最新研究進展，特別適合尚未深入該領域的科研人員閱讀。

《Formal Methods In System Design》雜志在工程技術 - 計算機：理論方法領域具有較高的學術影響力，最新影響因子為0.7。

JCR分區(qū)為Q3（ 按JIF指標學科分區(qū)中學科：COMPUTER SCIENCE, THEORY & METHODS中為Q3，排名：104 / 143，百分位：27.6%； 按JCI指標學科分區(qū)中學科：COMPUTER SCIENCE, THEORY & METHODS中為Q4，排名：120 / 143，百分位：16.43%； ）。

CiteScore為2，(CiteScore排名為大類：Mathematics，小類：Theoretical Computer Science，分區(qū)：Q3，排名：92 / 130，百分位：29%； 大類：Mathematics，小類：Hardware and Architecture，分區(qū)：Q4，排名：136 / 177，百分位：23%； 大類：Mathematics，小類：Software，分區(qū)：Q4，排名：314 / 407，百分位：22%； )

《Formal Methods In System Design》雜志是一本歷史悠久、聲譽良好的計算機科學期刊，以其高質量、易讀性和前沿性在學術界占據(jù)重要地位。