http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
An Upper Bound of the Longest Impossible Differentials of Several Block Ciphers
( Guoyong Han ),( Wenying Zhang ),( Hongluan Zhao ) 한국인터넷정보학회 2019 KSII Transactions on Internet and Information Syst Vol.13 No.1
Impossible differential cryptanalysis is an essential cryptanalytic technique and its key point is whether there is an impossible differential path. The main factor of influencing impossible differential cryptanalysis is the length of the rounds of the impossible differential trail because the attack will be more close to the real encryption algorithm with the number becoming longer. We provide the upper bound of the longest impossible differential trails of several important block ciphers. We first analyse the national standard of the Russian Federation in 2015, Kuznyechik, which utilizes the 16-byte LFSR to achieve the linear transformation. We conclude that there is no any 3-round impossible differential trail of the Kuznyechik without the consideration of the specific S-boxes. Then we ascertain the longest impossible differential paths of several other important block ciphers by using the matrix method which can be extended to many other block ciphers. As a result, we show that, unless considering the details of the S-boxes, there is no any more than or equal to 5-round, 7-round and 9-round impossible differential paths for KLEIN, Midori64 and MIBS respectively.
Junliang Shang,Junying Zhang,Xiujuan Lei,Wenying Zhao,Yafei Dong 한국유전학회 2013 Genes & Genomics Vol.35 No.3
Epistasis is a ubiquitous phenomenon in genetics,and is considered to be one of the main factors in current efforts to detect missing heritability for complex diseases. Simulation is a critical tool in developing methodologies that can more effectively detect and study epistasis. Here we present a simulator, epiSIM (epistasis SIMulator), that can simulate some of the statistical properties of genetic data. EpiSIM is capable of expanding the range of the epistasis models that current simulators offer, including epistasis models that display marginal effects and those that display no marginal effects. One or more of these epistasis models can be embedded simultaneously into a single simulation data set, jointly determining the phenotype. In addition,epiSIM is independent of any outside data source in generating linkage disequilibrium patterns and haplotype blocks. We demonstrate the wide applicability of epiSIM by performing several data simulations, and examine its properties by comparing it with current representative simulators and by comparing the data that it generates with real data. Our experiments demonstrate that epiSIM is a valuable addition and a nice complement to the existing epistasis simulators. The software package is available online at https://sourceforge.net/projects/episimsimulator/files/.
Yutong Zhang,Yuechao Ma,Lei Fu,Wenying Zhao 제어·로봇·시스템학회 2019 International Journal of Control, Automation, and Vol.17 No.8
This paper is concerned with the reliable robust control for semi-Markovian jump sampled-data systems. A mode-dependent Lyapunov-Krasovskii function (LKF) which fully capture the available characteristics of real sampling period is constructed. Based on the LKF approach, Newton-Leibniz condition and convex combination method, less conservative sufficient conditions are presented, which ensure that the closed-loop systems are robust asymptotically stable and extended-dissipativity. Then, actuator failures are taken into consideration, the desired sampled-data controller can be obtained by solving the linear matrix inequalities (LMIs). Finally, two numerical examples are given to illustrate the effectiveness of the proposed method.