Differential equation based length scales to improve DES and RANS simulations

Surprisingly expensive to compute wall distances are still used in a range of key turbulence and peripheral physics models. Potentially economical, accuracy improving differential equation based distance algorithms are considered. These involve elliptic Poisson and hyperbolic natured Eikonal equation approaches. Numerical issues relating to non-orthogonal curvilinear grid solution of the latter are addressed. Eikonal extension to a Hamilton-Jacobi (HJ) equation is discussed. Use of this extension to improve turbulence model accuracy and, along with the Eikonal, enhance Detached Eddy Simulation (DES) techniques is considered. Application of the distance approaches is studied for various geometries. These include a plane channel flow with a wire at the centre, a wing-flap system, a jet with co-flow and a supersonic double-delta configuration. Although less accurate than the Eikonal, Poisson method based flow solutions are extremely close to those using a search procedure. For a moving grid case the Poisson method is found especially efficient. Results show the Eikonal equation can be solved on highly stretched, non-orthogonal, curvilinear grids. A key accuracy aspect is that metrics must be upwinded in the propagating front direction. The HJ equation is found to have qualitative turbulence model improving properties. © 2003 by P. G. Tucker.

对DES的Rectangle攻击和Boomerang攻击

作为加密标准，DES（data encryption standard）算法虽然已被AES（advanced encryption standard）算法所取代，但其仍有着不可忽视的重要作用．在一些领域，尤其是金融领域，DES和Triple DES仍被广泛使用着．而近年来又提出了一些新的密码分析方法，其中，Rectangle攻击和Boomerang攻击已被证明是非常强大而有效的．因此，有必要重新评估DES算法抵抗这些新分析方法的能力．研究了DES算法针对Rectangle攻击和Boomerang攻击的安全性．利用DES各轮最优差分路径及其概率，分别得到了对12轮DES的Rectangle攻击和对11轮DES的Boomerang攻击．攻击结果分别为：利用Rectangle攻击可以攻击到12轮DES，数据复杂度为2~(62)。个选择明文，时间复杂度为2~(42)次12轮加密；利用Boomerang攻击可以攻击到11轮DES，数据复杂度为2~(58)个适应性选择明密文，时间复杂度为2~(38)次11轮加密．由于使用的都是DES各轮的最优差分路径，所以可以相信，该结果是Rectangle攻击和Boomerang攻击对DES所能达到的最好结果．

Isabelle在分析安全操作系统状态机模型中的应用

为了解决已有的状态机模型的形式化框架在分析安全操作系统状态机模型时不够直观．简洁的问题，提出了一套使用Isabelle工具对安全操作系统模型状态中的类型、变量、常量、关系、映射、函数，以及模型中的安全不变量和状态迁移规 则进行形式化描述的新方法．通过实际验证一种典型的安全操作系统状态机模型——可信进程模型，总结出了有效地使用Isabelle辅助形式化设计、分析、验证模型的策略．

基于Isabelle定理证明器算法程序的形式化验证

形式化验证对保证软件的正确性和可靠性具有十分重要的意义.定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具.本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序循环不变式,提出了一种使用Isabelle定理证明器对算法程序进行机械验证的方法.该方法既克服了传统手工验证过程的繁琐性和易错性等缺点,又达到"提高验证效率和保证算法程序高可信"的目标,具有很好的实用价值.

Diagnostique visuel des carences nutritionnelles du cotonnier.

2013

Diastratische und Diaphasische Variation: Normierungstendenz und Unabh?ngigkeit in lothringischen Dokumenten des Mittelalters

Trotter, David, 'Diastratische und 'Diaphasische Variation: Normierungstendenz und Unabh?ngigkeit in lothringischen Dokumenten des Mittelalters', In: ?berlieferungs- und Aneignungsprozesse im 13. und 14. Jahrhundert auf dem Gebiet der westmitteldeutschen und ostfranz?sischen Urkunden- und Literatursprachen', (ed.) Kurt G?rtner, Kliomedia, pp.245-322, 2005

„Livre des merveilles”. Burgundzka wizja Orientu późnego średniowiecza w miniaturach manuskryptu fr. 2810 z Bibliothèque nationale de France

Wydział Historyczny: Instytut Historii Sztuki

Linguistische und psychodidaktische Grundlagen des Fremdsprachenlernens im Seniorenalter

The article is an introduction to the discussion about the linguistic and psychodidactic concepts justifying the thesis that the senior language learners are able to learn foreign languages and that they can achieve educational success in the process of foreign language learning.

La traduction en polonais des textes d'ancien français: une compétence spécifique

This paper is relating a practical experience of teaching Romance philology students the translation from ancient French into Polish. The main scope is a restitution of an ancient text respecting not only the equivalence at the Iexical and syntactical level, but also the discourse structures, such as the linear sequence of events and events related from different points of view: some examples of solving particular problems are discussed. The whole procedure resembles that of translating from Latin, rather than a translation from one modern language to another.

Pratiques d’infirmière clinicienne et obésité

Tese apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Doutor em Ciências Sociais, especialidade em Psicologia

La régulation de la production des entreprises ayant une activité saisonnière

info:eu-repo/semantics/published

Le Concordat douanier de 1600: a l'origine des douanes entre provinces

info:eu-repo/semantics/published

Des anguilles à la philosophie mécanique: deux réfutations peu connues du système de la Nature

info:eu-repo/semantics/published