雷恩第一大学2017年计算机科学博士论文：浮点到定点转换研究

2017年，雷恩第一大学（Université de Rennes 1）的布列塔尼卢瓦尔大学（Université de Bretagne Occidentale）在其博士论文中探讨了计算机科学领域的一项重要课题。该论文由阿里·哈桑·穆萨维撰写，作为马蒂斯（Matís）博士学院的一部分，他在雷恩第一大学的计算机科学与随机系统研究所（Institut de Recherche en Informatique et Systèmes Aléatoires, IRISA）的联合研究单位6074-IRISA进行研究。论文的主题聚焦于浮点到定点（Floating-point to Fixed-point）转换，这是数字信号处理和计算机硬件设计中的关键技术，尤其是在嵌入式系统中，这种转换对于能源效率和精度控制至关重要。 论文于2016年12月16日提交，由一个由多位专家组成的评审团进行审议，其中包括大卫·德福（David Dufour）作为MFC-佩皮尼昂大学的报告员，莱昂内尔·拉卡萨涅（Lionel Lacasagne）和卡琳·海伊德·伊曼（Karine Heyd Iman）分别来自皮埃尔和玛丽·居里大学，担任评审工作，丹尼尔·梅纳尔（Daniel Menaël）则是INSARennes的检查员，友文由纪（Yuki Funabiki）是INRIA布列塔尼大西洋的审查员，而史蒂文·德尔（Steven Del）作为论文主任提供了指导和支持。 论文的结构详细，分为引言、浮点到定点转换的技术介绍、背景：单指令多数据（SIMD）架构等部分。其中，浮点表示和定点表示是核心概念，讨论了如何从浮点数的二进制表示转换到定点数表示，包括整数单词长度确定、优化策略以及定点代码生成。论文还提及了自动转换工具，如MATLAB定点转换器，以及以色列国防军（IDF）九号项目的可能关联。 此外，作者表达了对导师史蒂文·德尔的深深感谢，感谢他对论文的成功做出的巨大贡献和持续的支持，以及对Patrice Quinton在审查和校正稿件方面的协助。论文的完成也得益于IRISA团队，特别是CAIRN团队的同事，以及行政支持人员Nadia Derouault、Nicolas Simon、Antoine Morvan等人的帮助。 最后，作者对家人多年来的支持表示感激，认为他们的支持对论文的完成至关重要。论文不仅展示了深入的理论研究，而且强调了实际应用中的技术和团队合作，展现了计算机科学博士研究的严谨性和创新性。