疫情可视化文献翻译

1、ion of PLC program using XML 附 件： 1.外文资料翻译译文； 2.外文原文 。
指导教师评语： 签名： 年 月 日 附件 1：外文资料翻译译文 可视化的 PLC程序使用 XML 米巴尼尤尼斯和 G.弗雷 摘 要 :由于 P LC 程序日益复杂 ,在 PLC 应用方面有越来越多的兴趣爱好者。
形式化方法，让僵化的证明系统属性被核查和验证。
一个传统思路的方法就是在 PLC编程中设立一个正式的设计方法。
不过，现有的软件已被优化，改变，或移植到新系统 .有需 要找到从某一 PLC 程序开始的方法。
因此，规范 PLC 程序是一个现在研究的热点。
该文章概述了基于形式化的 PLC 程序基础上从新启动的方法。
转型成为一个独立的格式和可视化的结。

2、 班 级： 姓 名： 学 号： 指导教师： 翻译日期： - 1 - 外文文献： Applications and Solutions for Interoperable 3d Geo-Visualization 3D visualizations of spatial objects are employed in an increasing number of applications from the areas of (urban) planning, city marketing, tourism, and facility management. Further application fields could be entered, if distributed spatial objects could be integrated on the fly into one 3d scene. We argue, that th。

3、Abstract - Due to the growing complexity of PLC programs there is an increasing interest in the application of formal methods in this area. Formal methods allow rigid proving of system properties in verification and validation. One way to apply formal methods is to utilize a formal design approach in PLC programming. However, for existing software that has to be optimized, changed, or ported to new systems .There is the need for an approach that can start from a given PLC program. Ther。

4、 外文出处 Knowledge Acquisition and Modeling, 2009. KAM09. Second International Symposium on. IEEE, 2009, 1: 442-445. 附 件： 1.外文资料翻译译文； 2.外文原文。
指导教师评语： 签名： 年 月 日 (用外文写 ) - 1 - 附件 1：外文资料翻译译文 设计实现电网知识的可视化 Zhaoyang Qu, Junzhou Liu 摘要：正确高效率的电网工作状态是电力系统运行稳定性的保障。
如今，电网知识学习方式不直观，不生动，且效率不高。
本文提出了电网知识可视化的概念 ，使用基于 PFCM（概率模糊认知地图）电网可视化技术，设计了电网知识的可视化平台。
在 VR（虚拟现实）技术的基础上，以图形模式的方法来展示知识，可以很容易理解。