哈工大朱飞博士毕业论文
哈工大空天力学学科是新中国 早建立的几个力学学科之一。1952年建立全国第一个理论力学教研室，1958年创办工程力学专业，1961年建立工程力学系，1981年建立全国首批固体力学、一般力学和结构力学(后转为工程力学)博士点，2007年获批国家重点一级学科。2012年全国第三轮学科评估中排名第一 (与清华和北大并列)，2016年全国第四轮学科评估排名为A，2017年入选“双一流”建设学科名单。
AI 科技 评论按： 日前，哈工大朱晓蕊教授等人在中国工程院院刊《信息与电子工程前沿》（英文）（Frontiers of Information Technology & Electronic Engineering，FITEE）上发表了一篇题为《针对无人机系统安全的新型层级式软件架构》（A new hierarchical software architecture towards safety-critical aspects of a drone system）的论文，提出一种覆盖底层源代码到上层用户任务代码的新型层级式软件架构，能够有效地提高无人机系统安全性与可靠性。
目前，对于基础技术日趋成熟的无人机领域来说，无人机系统的安全性还是一个欠缺关注的研究方向，然而，这一研究方向对于无人机未来发展而言至关重要。因而，朱晓蕊教授等人在这一方向上的研究颇具前瞻性，其工作成果也独具开创性意义。雷锋网 AI 科技 评论借此机会拜访了朱晓蕊教授，深入探讨了其开启这项工作的背景、研究历程以及对于无人机领域的一些思考。
实际上，在无人机系统安全这个项目之前，朱晓蕊教授的研究方向主要是无人机控制和导航，而之所以转到无人机系统安全的研究则源自于她与耶鲁大学邵中教授一次对话中受到的启发：系统安全会成为无人机等小型智能系统未来的一个重要问题。
2014 年底，朱晓蕊教授在与来自耶鲁大学的邵中教授进行学术交流的过程中，了解到邵中教授一直在进行安全操作系统方面的研究，并在这个领域处于国际最前沿。而当时还在专注于无人机控制、导航研究的朱晓蕊教授，意识到她此前所做的这些研究工作实际上都已经趋向成熟，正在思考无人机未来的研究方向，邵中教授的这一研究方向则带给了她一个新的研究思路。朱晓蕊教授在采访中「他正在做这项工作就提醒了我，无人机这类小型智能系统的安全问题，会成为未来一个比较重要的问题 」。
然而，当时甚至是现在，无人机领域对于安全性问题的关注度都比较少。对此，朱晓蕊教授指出：「需要注意的一点是我们研究的基本上是小型飞行器，而小型飞行器和大型飞行器的区别是非常大的。光就安全性而言，大型飞行器很早就按照 Safety Critical System 启用了标准度很高的 系统安全验证，虽然在安全验证方面的人力、物力的耗费量都非常巨大，但是它们的一个小小的安全问题就可能带来非常严重的后果，因而即便投入巨大，大家也不得不关注这一问题。然而对于小型飞行器的安全验证问题，目前领域内国际上只有极少数研究者开始尝试去做这些事情，因为这是一个全新的东西，一切都从新开始。」
正是基于上面的两点考量，朱晓蕊教授决心要成为「第一批吃螃蟹的人」，与邵中教授开启了无人机系统安全的研究项目。
「当无人机这类智能系统进入到民用领域后，就不可避免地走向小型化，就会在片上资源方面牺牲掉很多的性能，因此直接将大型飞行器的安全验证系统移植到小型飞行器上是不可行的，所以我们就需要设计一个新的软件架构，既保证小型飞行器理论验证消耗不会那么高，又能够保障系统的安全性。传统而言，新系统研发是通过反复地模拟和实际测试来确保系统可靠性和安全性的。但是这种方式从严格意义上是无法完全保证安全性的，会出现看似随机的一些故障，甚至引起飞机坠毁现象。」
同时，为了促成双方正式将无人机系统安全项目提上重要日程，朱晓蕊教授和邵中教授也特地正式申请了国际合作项目。
按照朱晓蕊教授的说法，研究上层系统的人通常并不关注底层系统的细节，只在需要的时候直接使用底层系统，而反过来，研究操作系统的人往往也很少考虑上层系统的情况。因此，无人机等智能系统的上层系统和底层操作系统之间相当于存在一块「隔板」，二者间往往只存在最基本的互动。
「这样的话，这两个方向的研究者在进行安全测试时，往往只测试各自系统内的交互情况，然而这样仅仅只能确保系统内的安全性，而不能保证上层系统在跟底层操作系统做交互的时候不会出现问题。因此，我们合作这个项目的思路就是要将这两个系统中间的这块隔板打开，将二者作为一个整体来设计软件架构，从而完全保证无人机系统的安全性。」
对于这项工作成果在保障无人机整体安全性上的具体工作原理，朱晓蕊教授介绍道：「我们将所有算法形成的代码设计成分层结构，同时设计好层与层之间的交互架构，然后使用形式化验证的方法去检测层与层之间交互的正确性。」
形式化验证是采用逻辑来验证程序可靠性的一种方法，即用逻辑的方法将一段程序证明一遍，证明它能得到预期的结果并且没有出现错误，例如，欧美国家就将这种验证方法广泛地应用于一些大型飞行器中，由于这些设备的系统一旦出现出现错误，导致的后果会非常严重，同时研究者又无法对其进行一遍一遍的测试，因而形式化验证是可以选择的非常不错的方法。
因此，朱晓蕊教授项目组的这项研究成果不仅以实现上层系统和底层操作系统的层级式互动的方式来保障系统整体的安全性，更从逻辑层面避免了人为测试中所存在的偶然性，保障了安全性和可靠性。而同时从这两个方面着手展开（小型）无人机系统安全测试工作的，朱晓蕊教授等人是首创者。
实际上，无人机系统安全这个合作项目在 2014 年底就启动了，然而一直到现在才出成果，朱晓蕊教授表示背后的原因主要有两点：
此外，朱晓蕊教授还提到了她这边存在的一个比较严峻的问题，就是在现行的培养体制下，一方面是由于研究生培养年限比较短，另一方面则是因为学生对于新事物的热情和好奇心也不够，畏难心理比较明显，因此她这边参与项目的学生更替很快，这样的话，轮到下一批加入的学生，他们又要去学习操作系统方面的知识，这就又需要耗费一个周期的时间了。
谈及至此，朱晓蕊教授也就目前国内高校学生存在的一些问题提出了两点自己的期望：
也正是基于这种期望，朱晓蕊教授在日常教学中也始终坚持引导学生树立正确的研究思路：「所以我也一再地跟我的学生强调，我要教给他们的是一套系统的做科学研究的方法论，是怎样从零或一个 idea 开始做出一套有说服力的成果的方法，让他们最终在毕业答辩的时候能够自信地将自己做出来的这些成果讲给别人听，而不是说一定局限在课题所涉及的特定研究领域。」
对于无人机系统安全研究的这一版研究成果，朱晓蕊教授表示，目前还没有达到最理想的状态，因此下一步的规划还是希望参与研究的学生能够再花半年到一年左右的时间，实现该方案的最佳效果。
「下一步，我们会利用虚拟化技术来完善无人机系统安全方案，具体来说就是用虚拟化技术来将智能系统中对安全重要和对安全没那么重要的部分隔开来，从而减少不必要的安全验证消耗 。以无人机为例，它其中的某些模块对于安全来说至关重要，一旦出现问题，可能会直接导致无人机停止运行（从空中掉下来）；而其中也有部分模块对安全性而言不那么重要的，例如一些第三方程序，对于飞机整体的安全性不会造成太大影响，就不需要付出代价去证明这部分模块的安全性。因此，大概再花一年左右的时间，整个安全方案就比较完整了。」
同时，朱晓蕊教授希望，这一系统安全性验证方案不要被局限于无人机。「它同样可以给其他小型智能系统包括无人驾驶带来很大的价值。实际上，这个方案如果应用到无人驾驶这些场景中，实现原理其实还是一样的，只不过需要针对这一套系统进行修改和调整，因此说，我们实际上提出的是一套可以广泛应用的方法论。」
而对于目前每年只能各自投入 1 到 2 名学生的耶鲁合作项目来说，人手同样是一个亟需解决的问题，因此扩充科研队伍同样也是下一步规划中的重要内容。
「本次之所以希望通过媒体来报道这项成果，主要也是有两个诉求：第一个就是希望更多对这项研究感兴趣的人能够加入到我们的研究队伍中来，从而更快地推进项目进度；第二个就是希望我们在无人机系统安全方面的这项研究成果能给相关领域研究者带来一些启发，启发他们去挖掘领域内目前还未受到较大关注但对未来而言至关重要的研究方向。」
学界和业界应该怎么分工？
朱晓蕊教授认为，学界和业界由于各自的性质以及承担的 社会 责任不同，分工也不尽相同，如果二者能够各司其职，形成一个非常良性、平衡的合作状态，对于无人机以及整个人工智能领域的发展会大有裨益。
「对于学界而言，首先一定要做一些超前的事情，在一些业界乃至整个研究领域还没有关注到的问题上，先要尝试着去开展研究工作，所有的研究工作往往在获得成功之前都要经历一个漫长的过程，所以，学界应该充当这个引路者的角色；其次，我认为学界的价值是提出一些能够对业界具有启发性意义的新的 idea，正如我之前所提到的，我们的研究实际上更像是提出了某一套具有普遍适应性的新方法，业界可以借鉴，并在我们的新思路和新方法上进行完善，从而最终与真正的应用场景实现对接。
而对于业界来说，他们需要做的便是将学界提出的新方法、新成果落地到各个细分应用场景中，并利用其丰富的人力、物力资源来推进某项成果不断完善和升华，最终对整个 社会 的实际发展负责。」
无人机领域的最终目标为何？
对于目前无人机领域的整个发展情况，朱晓蕊教授还是比较有信心的，她认为在技术层面，无人机的通用性已经做得相对来说比较成熟的，接下来要着重解决的就是产业化落地的问题。
「目前就我看来，无人机领域在基础技术方面都不错，就差在细分行业中有针对性地应用了。因为不同的细分行业对于这些基础技术都有特殊且具体的要求，因此我认为这其中还有很多可以挖掘的东西。当技术和市场、成本达到一个平衡的状态时，无人机领域差不多就是一个比较理想的状态了。」
论文： 《针对无人机系统安全的新型层级式软件架构》
作者： 朱晓蕊，梁辰，殷振国，邵中，刘孟启，陈昊
中文摘要： 本文提出了一种覆盖从底层源代码到上层用户任务代码的新型层级式软件架构，用于提高无人机系统的安全性与可靠性。在这种软件架构下，每一个软件模块采用形式化验证的方法验证其源代码符合设计规范，而且这些软件模块基于经过形式化验证的操作系统内核CertiKOS，因而从理论上保证无人机系统不存在软件漏洞。考虑到无人机的机载传感器会对系统可靠性产生显著影响，本文对驱动传感器的SPI总线与I2C总线进行形式化验证，并针对总线异常的情况设计完成相关实验。实验结果表明此类软件架构能有效提高无人机系统安全性与可靠性。
关键词： 安全关键系统；无人机；软件架构；形式化验证；
本文引用格式：
Xiao-rui Zhu, Chen Liang, Zhen-guo Yin, Zhong Shao, Meng-qi Liu, Hao Chen, 2019. A new hierarchical software architecture towards safety-critical aspects of a drone system. Frontiers of Information Technology & Electronic Engineering, 20(3): 353-362.
2019 全球人工智能与机器人峰会
由中国计算机学会主办、雷锋网和香港中文大学（深圳）联合承办的 2019 全球人工智能与机器人峰会（ CCF-GAIR 2019），将于 2019 年 7 月 12 日至 14 日 在深圳举行。
届时，诺贝尔奖得主JamesJ. Heckman、中外院士、世界顶会主席、知名Fellow，多位重磅嘉宾将亲自坐阵 ，一起探讨人工智能和机器人领域学、产、投等复杂的生存态势。
点击 阅读原文 ， 查看 如何让无人机灵活穿越满是障碍的房间？训练一个循环神经网络试试看
好。1、哈尔滨工业大学也是国际宇航大学在亚洲唯一常设分校的单位，航天学院力学专业是王牌专业。2、就业前景不错，空天力月毕业生可从事与航空学有关的科研、技术开发、工程设计、测试、制造、使用、维修和教学工作。
成熟不是不流泪，而是含泪奔跑;成熟并非不恐惧，而是尽管恐惧，仍有所行动,下面这些是我为大家推荐的几篇 励志 故事 1000字。励志故事1000字1：越过门槛走向世界 由于母亲的期望,居伊·德很小的时候就拜于法国当时著名的大作家居斯塔夫门下，学习写作。 这位大师级的老师，对居伊·德的要求极为严格，甚至是苛刻。每个周末，居伊·德都要带上自己的习作请老师批改。可他的作业，多数都无法让老师满意。为此，居伊·德不得不在老师的指点下反复修改。 有一天，居斯塔夫对居伊·德说：“你去巴黎第九大街，在第二个十字路口向左拐，看看路右边的第一个人是谁?” 居伊·德来到路口，远远地看到了一座老妇人的雕塑，就赶回来告诉老师：“是一个老太婆。” 老师听了摇摇头，不满地说：“你看到的别人也能看到，你再去瞧瞧是一位什么样的老太婆?”居伊·德不得不又来到路口。这次，他走近雕像看了几眼，很快回来告诉老师说：“那个老太婆很脏，满脸灰尘，头发乱得像鸡窝。”居斯塔夫听后，微笑着说：“有进步，但你看到的东西别人还是可以看到，你应该用你的第三只眼睛去看，看到别人看不到的东西。”居伊·德只好第三次来到路口。这次，他走到雕像前面，非常认真仔细地观察起来，回来后兴奋地告诉老师：“我发现那个老太婆的鼻子是世界上最蹩脚的木匠随便拿了一块木头削了一块安在她脸上的。”这个时候，居斯塔夫的脸上终于露出了满意笑容。 随着写作训练逐渐深入，居伊·德的写作水平突飞猛进。这期间，居伊·德写了大量的作品，这些作品让同行看来已经高不可及，完全可以拿出来发表，其中很多作品还得到了老师的赞赏。可居斯塔夫还是劝告他，先不要急着发表。 老师的话一时让居伊·德很是不解：“为什么我的这些作品不能发表呢?”1875年，25岁的居伊·德背着老师，偷偷公开发表了自己第一篇小说《人手模型》。这是一篇构思奇特的小说：杀人犯的手做成的模型复活了，而且又开始图谋不轨，最后“断手再植”，方才平静下来。作品发表后，许多人读了都赞叹不已，可居伊·德被老师狠狠地批评了一通。“你的那些学步之作，通通都是废纸，因此请不要发表。”末了，居斯塔夫还郑重地对居伊·德居说，“我是一道门槛，你只有从我这里跨过去，才可以走向外面。” 老师的话让居伊·德有些伤心，但他还是遵照师命，从此潜心练习，不再去想发表之事。而之前那些已经写好的作品，他统统束之高阁。 就这样又过了4年。1879年，居伊·德完成了一篇小说。他小心翼翼地拿给老师审阅，等待老师的批评与指点。数日后，居伊·德怀着忐忑不安的心情去见老师。老师看到他后，却一反常态，欣喜若狂地拉着他的手，激动地说：“祝贺你，你的 文章 成熟了，可以面世了。” 居伊·德听后，激动得泪流满面。他一直期盼的这一天，终于来到。这一年，居伊·德已近30岁。而之前在写作上所做的努力，已10多年。 那个刻苦练习写作的青年居伊·德，就是后来法国著名的大作家莫泊桑，居斯塔夫就是他的恩师著名作家福楼拜。而被老师福楼拜首肯的那篇作品，就是莫泊桑的成名作《羊脂球》。 励志故事1000字2:爱迪生发明电灯的故事 爱迪生在一八七七年开始了改革弧光灯的试验，提出了要搞分电流，变弧光灯为白光灯。这项试验要达到满意的程度。必须找到一种能燃烧到白热的物质做灯丝，这种灯丝要经住热度在二千度一千小时以上的燃烧。同时用法要简单，能经受日常使用的击碰，价格要低廉，还要使一个灯的明和灭不影响另外任何一个灯的明和灭，保持每个灯的相对独立性为了选择这种做灯。这在当时是极大胆的设想，需要下极大的功夫去探索，去试验。 丝用的物质，爱迪生先是用炭化物质做试验，失败后又以金属铂与铱高熔点合金做灯丝试验，还做过上质矿石和矿苗共一千六百种不同的试验，结果都失败了。但这时他和他的助手们已取得了很大进展，已知道白热灯丝必须密封在一个高度真空玻璃球内，而不易溶掉的道理。这样，他的试验又回到炭质灯丝上来了。他昼夜不息地用到了一八八0年的上半年，爱迪生的白热灯试验仍无结果。有一天，他把试验室里的一把芭蕉扇边上缚着一条竹丝撕成细丝，全副精力在炭化上下功夫，仅 植物类 的炭化试验就达六千多种。他的试验笔记簿多达二百多本，共计四万余页，先后经过三年的时间。他每天工作十八、九个小时。每天清早三、四点的时候，他才头枕两、三本书，躺在实验用的桌子下面睡觉。有时他一天在凳子上睡三、四次，每次只半小时。 到了一八八0年的上半年，爱迪生的白热灯试验仍无结果，就连他的助手也灰心了。有一天，他把试验室里的一把芭蕉扇边上缚着一条竹丝撕成细丝，经炭化后做成一根灯丝，结果这一次比以前做的种种试验都优异，这便是爱迪生最早发明的白热电灯——竹丝电灯。这种竹丝电灯继续了好多年。直到一九0八年发明用钨做灯丝后才代替它。爱迪生在这以后开始研制的碱性蓄电池，困难很大，他的钻研精神，更是十分惊人。这种蓄电池是用来供给原动力的。他和一个精选的助手苦心孤诣地研究了近十年的时间，经历了许许多多的艰辛与失败，一会儿他以为走到目的地了，但一会儿又知道错了。但爱迪生从来没有动摇过，而再重新开始。大约经过五万次的试验，写成试验笔记一百五十多本，方才达到目的 . 众所周知，托马斯·爱迪生是一.位伟大的发明家，他一生总共获得1093项发明专利，是实行专利制度以来获得个人专利最多的人。他的 名言 “天才是百分之九十九的勤奋加百分之一的灵感”成为激励人们勤奋努力的座右铭。可以说，爱迪生的贡献极大地改变了人类生活。在他众多的发明中，爱迪生认为电灯最重要，但他最钟爱的是留声机。下面是电灯发明的过程：灯是人类征服黑夜的一大发明。19世纪以前，人们一般用油灯、蜡烛等来照明。在电灯问世以前，人们普遍使用的照明工具是煤油灯或煤气灯。这虽已冲破黑夜，但仍未能把人类从黑夜的限制中彻底解放出来。只有发电机的诞生，才使人类能用各色各样的电灯使世界大放光明，把黑夜变为白昼，扩大了人类活动的范围，赢得更多时间为社会创造财富。 19世纪初，英国一位化学家制成世界上第一盏弧光灯。但这种光线太强，只能安装在街道或广场上，普通家庭无法使用。无数科学家为此绞尽脑汁，想制造一种价廉物美、经久耐用的家用电灯的这一天终于来到了。1879年10月21日，一位美国发明家通过长期的反复试验，终于点燃了世界上第一盏有实用价值的电灯。从此，这位发明家的名字，就象他发明的电灯一样，走入了千家万户。他，就是被后人赞誉为“发明大王”的爱迪生。 爱迪生是一个异常勤奋的人，喜欢做各种实验，制作出许多巧妙机械。他对电器特别感兴趣，自从法拉第发明电机后，爱迪生就决心制造电灯，为人类带来光明。 爱迪生在发明电灯的过程中，认真 总结 了前人制造电灯的失败 经验 后。前后经历了无数次的失败，但是他毫不气馁，终于用棉纱变成了焦焦的炭。他小心地把这根炭丝装进玻璃泡里，一试验，效果果然很好。灯炮的寿命一下子延长13个小时，后来又达到45小时。就这样，世界上第一批炭丝的白炽灯问世了。1879年 除夕 ，爱迪生电灯公司所在地洛帕克街灯火通明。最后，爱迪生把炭化后的竹丝装进玻璃泡，通上电后，这种竹丝灯泡竟连续不断地亮了1200个小时! 爱迪生发明的这种炭丝电灯与以往的电弧灯相比，无疑显得实用多了。它的出现，标志着人类使用电灯的历史正式开始。然而，这种炭丝电灯亮度不理想，灯丝的制作 方法 比较复杂，使用的寿命也不是很长。因此，世界各国的科学家都在致力于白炽灯的改进。 在炭丝电灯诞生30年后的1909年，美国通用电器公司的库里基发明了以钨丝做灯丝的电灯泡。这种电灯与炭丝电灯相比，又前进了一步，但由于通电后钨丝极易变脆，因此它的使用寿命也受到影响。 励志故事1000字3:不抛弃不放弃 高会军没有念过高中。1991年，他15岁，选择去陕西第一工业学校读中专。“当时的目的很简单，就是 毕业 后马上可以工作，为贫困的家庭减轻经济负担。”高会军说。然而，在他的内心深处，似乎还有另外一目标或者说是理想隐约在心底萌动，他一直相信，自己总能做出点什么像样的事情。全身心投入学习，使他的成绩一直排名第一。中专二年级，他开始准备专科自学考试，熬夜和早起成了家常便饭，拿着别人用过的旧资料埋头苦读，在别人眼中他似乎从来不知疲倦，终于，中专毕业时专科13门课程考试全部通过。 中专毕业后，高会军顺理成章的找到一份工作，虽然作息时间不规律，条件艰苦，但他仍没有放弃学习，没有忘掉自己的追求。为了自考本科，他利用一切可以利用的时间来学习，常常是在机床边一边工作一边学习，夜里看书经常不知不觉睡着了，但醒了之后又接着学。那些沾满了机床油渍的书本印证了那段刻苦的岁月。“记得为了节省车费、骑着自行车风雨无阻地在古城西安往返于单位、报名点和考场;记得那时的生活常常是入不敷出，常常需要借钱买资料、交报名费;还清晰地记得遇到难题、彻夜难眠又无人请教的那种痛苦与无助，多少次想放弃却又咬着牙坚持下来;也还记得因为攒不够路费，而没能回家看望重病卧床数月的父亲和因胃出血而住院的母亲……”说起那段岁月，高会军仍然历历在目。 “谁也不是天生就喜欢吃苦，只是在黑龙江长大，黑龙江人就是有一种敢吃苦、不服输的精神，大庆精神、铁人精神、北大荒精神从小我们的骨子里就有。”高会军说。就这样，在两年的时间里，自学考试本科要求的15门课程他全部一次性通过，取得了本科毕业证书。 有人说，不满足是进步的车轮。高会军只是觉得自己还有能力再学的好一些，便走上了 考研 的道路。要考研就要把工作丢掉，没有工作就意味着没有经济来源，仅靠着一点点积蓄和家里的支持度过了那段埋头苦读的岁月。 研究生入学考试取得了350多分的好成绩，被沈阳工业大学录取。在硕士学习期间，高会军抓住一分一秒的时间去补习英语、学习专业知识。每天早起听英语广播、背单词、大声朗读、参加英语角……就这样坚持了两年。毕业时，同学都在各种高薪职位间选择，他却又一次做出惊人的选择——继续攻读博士学位。2001年，顺利进入哈工大航天学院攻读博士学位，在导师指导下开始搞科研，并摸索出一个新的研究方向。 高会军当时的信念就是力争把研究工作做到最好。哈工大优越的科研条件和研究氛围，更是提供了很大的施展空间。在读博期间，他在国内外权威期刊上发表了几十篇高水平学术论文，是哈工大控制学科历史上第一个获得全国优秀论文的人。 2005年10月至2007年10月，高会军前往加拿大埃尔伯塔大学从事博士后研究工作，并获得了埃尔伯塔创新基金和Killam博士后基金两项著名研究基金的资助。在研究工作即将结束时，他可以选择去德国作洪堡学者，可以选择去英国做访问研究，还可以选择在北美高校继续从事教学研究工作。高会军直言道：“国外的科研环境比国内好不说，妻子和孩子也能在物质上生活的更好。”但是他带着一份感情和一份责任，义无反顾地回到家乡做一名博士生导师，把精力全部投入到授课和科研之中。他指导的学生牟少帅获得耶鲁大学全额奖学金，是我省第一个走进耶鲁的学生。现在，高会军开始在仿生机器人和飞行控制方面开展研究工作，并与国内外著名高校开展合作研究，力争把理论研究的成果更好地应用到实际中去，为国家航天事业贡献自己的力量。
哈工大博士毕业论文
不算摘要，目录，后面附的图、程序，不算参考文献致谢，正文内容100页左右。
在哈工大读博毕业还是有一定难度的，论文是要经过很多次的考核，当然经过努力最后是一定可以毕业的。而且前途是很好的。
一般来说，哈尔滨工业大学博士毕业证书上会注明毕业日期，毕业日期一般是毕业论文答辩完成日期。
哈工大博士毕业论文要求
据我所知，博士生是好近不好出（考容易，毕业不容易）。博士生还是要有点能力和毅力的。毕业论文要求SCI、EI检索还是什么的（各学校、专业多多少少有差别）。如果你很喜欢搞研究，就考吧。
哈工大深圳的本科毕业要求包括学分要求、课程要求、毕业论文要求和毕业综合考试要求等。学分要求为必修课程、选修课程、实践课程、公共课程和体育课程等共计至少160学分，其中必修课程不得低于96学分。课程要求主要包括学科素养课程、专业必修课程、专业选修课程、公共必修课程和公共选修课程。毕业论文要求由学生自行选题，完成一份具有一定学术水平的毕业论文，并经导师指导和评审通过。毕业综合考试要求为完成所有课程的学生需参加毕业综合考试，考试成绩符合要求即可获得学士学位。
哈尔滨工业大学博士毕业要求：在SCI检索源期刊上至少发表两篇论文。
关于博士研究生在攻读学位期间发表学术论文的要求 《中华人民共和国学位条例》和《中华人民共和国学位条例暂行实施办法》规定：
博士学位论文应当表明作者具有独立从事科学研究工作的能力，并在科学或专门技术上做出创造性的成果。
博士研究生在攻读学位期间发表论文的数量和水平是研究生培养质量和学位授予质量的重要标志之一。
我校对博士研究生在攻读学位期间发表学术论文的基本要求如下： 在SCI检索源期刊上至少发表两篇论文。本规定自2006年春季入学的博士研究生开始执行。
博士论文署名审查是否通过主要看导师和自身水平。具体情况应跟导师沟通，打分标准都是个人化的。自身水平足够的话，那一定是会通过的。
哈工大博士毕业论文公示
你可以去问一相关部门的，这样才更准确希望能帮到你 东莞汇刊文化
在哈工大读博毕业还是有一定难度的，论文是要经过很多次的考核，当然经过努力最后是一定可以毕业的。而且前途是很好的。
两次。根据哈尔滨工业大学的公告可知，截止2022年12月10日，该学校的博士论文仅有两次送审机会，该学校是由工业和信息化部直属的全国重点大学。
哈工大博士毕业论文字数
国家没有硬性规定博士论文的字数，不同学校所规定的博士生毕业论文的字数要求不同，以河南大学2019年上半年博士研究生毕业论文要求为例：
学位论文主体部分（不包括参考文献）的字数：
自然科学博士学位论文一般不少于5万字；文科博士学位论文一般不少于8万字；硕士学位论文一般不少于2万字；硕士专业学位论文一般不少于万字。
1、发表论文的过程
投稿-审稿-用稿通知-办理相关费用-出刊-邮递样刊
一般作者先了解期刊，选定期刊后，找到投稿方式，部分期刊要求书面形式投稿。大部分是采用电子稿件形式。
2、发表论文审核时间
一般普通刊物（省级、国家级）审核时间为一周，高质量的杂志，审核时间为14-20天。
核心期刊审核时间一般为4个月，须经过初审、复审、终审三道程序。
3、期刊的级别问题
国家没有对期刊进行级别划分。但各单位一般根据期刊的主管单位的级别来对期刊划为省级期刊和国家级期刊。省级期刊主管单位是省级单位。国家级期刊主管单位是国家部门或直属部门。
一篇博士论文，要严格控制论文的字数。最少要有15 万字，一般不宜超过20 万字。
如若论文太长，老师批阅的难度也大大增加。最好是将博士论文精炼到15 万至20 万字，如果还有许多话要说，可在学位论文通过之后，再适当增加内容，或可成为一部专著出版。当然博士论文的字数也不能太少，好比只是开列了一个简单的提纲，可见作者没有用心去深入钻研。
论文字数要求
（1）尾数"0”多的5位以上数字，可以改写为以万和亿为单位的数。一般情况下不得以十、百、千、十万、百万、千万、十亿、百亿、千亿等作单位(百、千、兆等词头除外)。例如：1 800 000可写成180万；142 500可写成万，不能写成14万2千5百；5000字不能写成5千字。
（2）纯小数必须写出小数点前用以定位的"0”。数值有效位数末尾的"0”也不能省略，应全部写出。例如：、、不能写作、、2。
（3）数值的修约按照GB 8170-1987《数值修约规则》进行，其简明口诀为“4舍6入5看右，5后有数进上去，尾数为0向左看，左数奇进偶舍弃”。例如：修约到1位小数，修约为；修约为；修约为，修约为。
博士毕业论文格式要求
毕业论文是一种学术论文，是综合检验毕业生专业能力的一项重要考核手段，是取得学士学位的必要性考核依据。接下来我为你带来博士毕业论文格式要求，希望对你有帮助。
按照教育部和学校的有关规定，我院毕业生在毕业前的指定时间内应当提交毕业论文，经评判成绩合格方可获得毕业证书和学士学位。为进一步规范我院本科生毕业论文的.写作、引导学生独立、认真地完成毕业论文，特做出如下写作要求。
（一）选题与体裁
1．毕业论文选题由学生自主选择法学类选题；提交非法学类选题论文按未提交论文处理。
2．毕业论文体裁必须是论述文；提交工作总结、调查报告、教材等体裁文章按未提交论文处理。
3．鼓励学生选题体现多样性、时代性和实务性等特点；杜绝选择有政治性错误的选题、防止选择滞后于现行立法和学理的选题、避免多数学生选择同一学科同一类别的选题。
（二）形式
1．毕业论文应当包括五个部分：标题、摘要、正文、结论、注释。
2．引文应当注明出处，在正文结尾处依次列明引注。
3．在论文誊写本末尾逐项列明参考书目。
4．论文字数不得少于3000字，原则要求在5000字—8000字之间。
（三）内容
1．论点明确，论据有力；论证充分、条理清晰、逻辑严密；结构合理、层次分明；文字通顺；资料运用合理。
2．独立自主完成论文；鼓励合理创新、鼓励合理借鉴引用最新理论成果和观点。
3．不得抄袭、拼贴他人作品。
4．避免使用陈旧、过时的资料。
（四）评判等级
评判等级分为：优、良、中、及格、不及格。
（五）评判标准
1． 优秀：完全符合写作规范，选题立意、论述等指标俱佳；或者虽然在某一方面存在缺陷，但能独立思考、有思想深度、有创新。