中日合作交流樱花系统

出访体会报告 山东交通学院 计算172 张玲玲 2019年2月25日，很感谢樱花计划项目给了我赴帝京大学交流学习的机会，这对于我来说是人生中极为重大的光荣事件。虽然只有短暂的七天，但却在我生命里留下了不可磨灭的美好烙印。如今回想这七天的交流学习和生活的点点滴滴，我感触颇多。 来日本之前，我深切地感受到了樱花计划选拔的激烈竞争、办理签证时的繁琐，出国前的奋力准备工作和踏上日本土地时的欣喜与骄傲。即使出国前准备的再充分，当我真正来到这个陌生的国家时，依然面临了很多意想不到的困难与挫折。语言的障碍，教学方式的差异，生活方式、饮食、气候等诸多问题让我一度无法适应，很难融入日本这个国家，可我不想给这次弥足珍贵的赴日执行留下遗憾，于是，我强迫自己多学、多看、多交流。渐渐地，我开始适应了这个美丽的国家，也开始探索日本不一样的文化。 学习方面：在帝京大学交流学习的这几天，由kemid教授教我们model checking的前沿专业知识。模型检测的基本思想是用状态迁移系统(S)表示系统的行为，用模态逻辑公式(F)描述系统的性质。这样“系统是否具有所期望的性质”就转化为数学问题“状态迁移系统S是否是公式F的一个模型?”，用公式表示为S╞F。对有穷状态系统，这个问题是可判定的，即可以用计算机程序在有限时间内自动确定。模型检测已被应用于计算机硬件、通信协议、控制系统、安全认证协议等方面的分析与验证中，取得了令人瞩目的成功，并从学术界辐射到了产业界。整个学习过程中，我在非常努力地顺利完成学业的同时，提高了自身的英语水平，学习了先进的教学理念，增长了见识、开拓了视野、更新了观念，取得了较大的收获，使我受益匪浅。Kemid教授教授给我们的知识，让我对计算机系统的未来发展有了更深一步的理解与憧憬。在我看来计算机工程于其他自然科学一个巨大的不同就在于保证正确的验证的重要性。其他科学用建造理论来保证正确性和可预见性。我们需要建造复杂系统可靠模型的理论和方法。异构系统可能是同步的或异步的；不同的交互机制，如锁闭、监管、功能调用和消息传达；执行粒度不同，即硬件或软件。我们需要从基于自动机的组合中解放出来，考虑体系结构的组合，像协议、调度和总线。我们需要研究某些特定的特性类，例如无死锁、互操作。而不是去研究一般的安全特性。我们也需要研究特殊体系结构的验证技术。体系结构给定了部件间的交互机制。例如对环形或星形体系结构，对带抢先任务和固定优先级的实时系统，对时间触发的体系结构等。可以像测试定义可测试性一样，定义可验证性。 生活方面：初到一个陌生的国家，就要逼迫自己适应当地的文化生活。在日本生活的这七天，我感受到了日本文化与中国文化的巨大差异。饮食上，日本人对饮食特别讲究，他们杜绝浪费，提倡节俭。他们认为浪费食物是对生产食物的人的莫大不尊敬。在日本生活的这几天，我改掉了以往浪费食物的坏习惯。这七天的饮食，我们吃了日式火锅，日本传统餐厅，日式烤肉还有宇都宫最著名的饺子套餐。虽然这些在中国也吃过，但是当吃到正宗的日本食物时，还是别有一番滋味。七天的时间里，我们学习之余还参观了许多旅游景点。在历史悠久的东照宫，我们祭祀了德川家康，保佑我们平安幸福。日光东照宫内有许多著名文物，有用从中国运来的木材，请中国高手匠人雕刻的"唐门"，其上雕刻的都是中国典故，如"阮由洗耳"、"竹林七贤"等。有一个马厩，上面雕刻三个用爪子捂着眼、耳、嘴的猴子，取自论语"君子非礼勿言，非礼勿视，非礼勿听。"这些都成为日本宝贵的文化财富。恢弘壮观的本田汽车展览，我们领略了本田汽车展的发展历史，体会到了本田是如何一步步成为日本的支柱产业。作为日本乃至世界汽车业的佼佼者，本田是技术和活力的代名词，也是日本大学生毕业后非常向往的就业目标。在繁华的东京，我们游览了未来科学馆，在这里从认识太阳系开始，了解地球所身处的环境，以及邻近的月球之奥秘。同时，在宇宙太空站的模型里，看见日本目前在航太科技上的成就。地球本身的环境当然更是重点。从深海开始，到地表上所有生物的活动，一切的循环与环境问题，都在各种互动的模型或图表中彻底揭露。令我印象深刻的是人工智能机器人，以人体为基础，带领我们从生命的起源出发，复习一次童年时曾在教科书上学过的事。当然在未来馆里，透过不少充满娱乐性的设施操作，更能简单明白像是人体的构造、脑的各部功能等知识。 交流的过程是自己重新认识自己，认识世界的过程。不识庐山真面目，只缘身在此山中。当自己一下子离开熟悉的生活环境，到一个完全陌生的文化环境时，那种对人的认知造成的冲击是十分强烈的，你会重新认识自己，认识中国，认识日本，甚至认识世界。 在日本的生活经历让我的日语水平有了极大的提升，尤其是听说能力。我在日语听说方面一直是短板，而在国外周围环境的压迫下日语水平提升很快。有益于今后自己的职业发展。 最后，在帝京大学交流学习的这七天，能够使自己和世界一流的学生，一流的教授一起上课、讨论、生活会给你带来极大的收获。那种智慧的碰撞能让我受益终身。 参加“樱花计划”活动的收获 山东交通学院 信管162 徐衍征 在今年的2月25日到3月2日我参加了由帝京大学举办的“樱花计划”科技交流活动。通过这次活动，我收获到了很多东西。一方面我在技术上，关于module check了更加系统和专业的认识，另一方面，通过到异国他乡进行生活和交流，我的能力得到了锻炼。通过接触一个全新的民族和文化，增长了我的视野和见识，让我看到了不一样的精彩。 在本次的交流学习中，我们的学习项目是module check（模式检验）。这是我之前从未接触过的知识。通过学习我知道，这是一项用于检验计算机开发系统是否存在漏洞的技术。通过具体检验模式，系统和模块化的对一个开发完成的系统进行检测，查看是否存在漏洞，具有很高的实用价值。但是也是一项十分有难度的技术。 在交流上，我的语言表达有了很大进步。在来日本之前，我很担心我的日语和英语水平。但是来到日本之后，帝京大学的热情招待和友好的态度极大地激励了我，我开始尝试使用很不标准的日语和英语同招待的人员和日本学生进行交流。渐渐地，我从刚开始的不适应和害羞变得越来越喜欢主动和他人进行交流。在交流过程中，我体会到了前所未有的乐趣，通过和拥有不同文化经历的人一起交流，你可以看到你不曾认知的世界和思想。你可以了解到不同的国家和文化下的人的生活以及经历。这是只有在如此交流中才能有的体验。并且可以提高我在陌生人之前积极发言的勇气。每一次积极主动的交流都会有回应，都会有收获。 关于日本的饮食文化，在来日本之前，我对日本饮食，都是通过日语课上老师的描述或者教材上的讲解。而这次，我竟能有机会去品尝期待已久的食物。在这几天中，我尝试了很多具有日本特色的饮食，生鱼片，天妇罗，乌冬面，拉面等等特色的美食。很大的满足了我的好奇心。品尝一个民族的特色食物是了解这个民族的文化的一个绝佳途径。在吃的过程中，不仅仅是味道的体验，还可以了解他们的饮食习惯等等。我发现，日本食品很注重营养均衡。日本的食物不仅新鲜，而且种类搭配很丰富。除了味道之外，日本饮食的营养也很丰富。 在旅游的过程中，我们先去了位于栃木县的本田公司并到访了汽车性能测试场，了解了本田公司的先进技术和产品。之后去了日光东照宫，一个极具日本历史文化的遗迹。在旅游的过程中，我感受到了日本自然的美丽，看到了日本对于环境保护的重视。 通过这一次的交流活动，我收获颇丰。这不仅仅是一次简单的出国旅行；更重要的是，我看到了更加宽广的世界，找到了今后努力发展的方向。最后，感谢帝京大学所举办的这次交流活动，让我有了一次难忘的体验。 　　　　　　　　　　　　　　　　　　　　　　　帝京大学出访体会 山东交通学院 计算171 井漪笛 我很感谢帝京大学能够给我这次机会，当我听说樱花计划时，我很犹豫。但我心中总是有一股力量，推动着我不断前行。我坚信，这段经历是我人生中的一笔宝贵的财富。 我很清楚自己去日本是为了干什么，我很害怕，也一直很矛盾。人总是会害怕未知的事物，假期里我总是会幻想即将在日本的日子。想象总是很美好，但我总会思忖到一些困难:我到那里如何交流?能否适应那里的生活?我该如何跟他们相处?后来我的担心就更重了:我在那里会不会有危险?甚至我会想到我会不会给国人丢人的问题。而事实证明，我这个人总会担心一些不会发生的事情。 就这样我带着许许多多的担心去了日本。我很开心，因为这个友好的国家打消了我所有的顾虑。日本人非常热情礼貌，这里环境好，空气好，比国内的一切都好。但我不太适应，比如喝水要从水龙头里接，饭也总是很淡，也不能移动支付。但我真的很喜欢这个国家。 帝京大学真的很好，一方面,帝京大学的多数教授都具备多学科背景及海外留学背景，不仅眼界开阔，更能从学科交叉中碰撞出有意思、有价值、有创意的课题。将计算机科学结合的课题不在少数，提出了许多让我耳目一新的观点。 另一方面，老师们和蔼可亲，对学生的无知不是苛责而是热心帮助。平时上课时,老师会送给学生自己在外旅游时带回的小点心纪念品等,尊重学生的喜好和对问题的看法,同时引导学生思考得更多更深刻。尤其是完成课题的过程中,老师总是主动问同学们是否有合适的选题。 帝京大学给我们安排的计划非常充实，我们对学校进行了参观，也游览了本地的名胜古迹，感受到了不同的日本文化。我以为这次旅行没有什么意外，直到那天到秋叶原，我发现我的钱包丢了，这让我很着急，幸运的是我后来找回来了。回国后她们可以跟朋友们分享自己在秋叶原的愉快经历，我也可以向我的室友们炫耀:我可是在秋叶原丢过钱包的人。回国后，我见人就点头的习惯改不回来了，但最难改回来的是:我已经习惯从水龙头里接水喝了。 最后，我真的很感谢我的学校能够为我提供一次这样的机会，我会将这次的经历视为我一生的财富。