英语原文共 10 页， Android程序的静态分析 Eacute;tienne Payet , Fausto Spoto b 摘要 Android是一种基于Java和嵌入式操作系统的编程语言移动设备，其上层是用Android语言编写的。作为一种语言，它的特点是可以扩展的基于事件的库和声明式XML布局的图形视图的动态文件。 用Android程序的静态分析器必须考虑以下这些特征，用于正确性和精确性。 目标：我们的目标是扩展Julia静态分析器，基于抽象解释，正确分析Android程序。这篇文章是对这样一个扩展的深入描述以及我们面临的困难和获得的结果。 方法：我们已经扩展了Julia分析器的类分析，这是对许多其他的核心分析，通过考虑一些Android密钥的具体功能，如潜在的存在许多条目指向一个程序和通过反射从XML图形视图的扩展。 我们还大大提高了Android程序的分析的精度。 结果：�

英语原文共 19 页， 网页延伸到统一建模语言（uml）：使用模型-视图-控制（MVC）三 摘要：现在的网页建模语言缺乏对Web系统开发的建模要求。特别是，这些含有超媒体基础的网页建模语言，更紧密地注重在信息体系结构，然而软件系统网页建模语言更侧重于功能体系结构。一般来说，建模语言没有能弥合这两个领域之间的差距。它们也不能很好地处理不同抽象层次之间的连接，并且在很大程度上无法与商业模型连接良好。基于现有的建模方法分析，我们提出了一个概念的扩展建模方法来尝试解决这些限制。尤其在语言方面，我们展示了如何实施利用统一建模语言模型和从网页信息模型方法中的概念相结合。这个扩展围绕着模型-视图-控制概念组织起来，我们主张提供一个恰当的完整的建模框架。我们首先讨论的范围和目标的扩展�

英语原文共 7 页， 四元相Ca20Al32-2vMgvSiv O68的结构 F. HANIC, M. HANDLOVIC ，I. KAPRALIK 无机化学研究所，斯洛伐克科学院, 809 34 Bratislava,Duacute;bravskaacute; cesta, Czechoslovakia (1980年4月1日接收，1980年8月11日发表） 摘要 通过X射线分析已经测定了四元相Q Ca20Al32-2vMgvSiv O68的晶体结构，该化合物在正交空间群Pmmn中结晶，其a=27.638（3），b=10.799（2），c=5.123（1）Aring;。由于Mg2 ，Al3 和Si4 离子的等电子性质，原子位置坐标和各向异性温度参数的块对角最小二乘法修正导致具有v = 2,3和4的组合物的R为0.085。基于MO4四面体中观察到的和计算的原子间距离的比较（M = Mg / Al，Si / Al或Al），晶体化学因素已经应用于v的间接测定中；v取2-3之间的值。该结构包含12个AlO4，12个（Mg，Al）O4和8个（Al，Si）O4四面体，其平均M-O距离分别为1.76,1.79和1.71Aring;。Al

英语原文共 4 页， 使用数值模拟和分析计算，模具几何对分级挤出性能的影响 Dirk Landgrebe (3)a,b, Andreas Sterzing a, Nadine Schubert a, Markus Bergmann a,* a Fraunhofer Institute for Machine Tools and Forming Technology IWU, Reichenhainer Str. 88, 09126 Chemnitz, Germany b Institute for Machine Tools and Production Processes IWP, Technische Universitauml;t Chemnitz, Reichenhainer Str. 70, 09126 Chemnitz, Germany Submitted by Rafael Wertheim (1), Chemnitz, Germany 关键词：成型 金属 剧烈塑形变形 分级挤压成形使塑性变形大，塑性应变梯度大，导致组织的相关梯度。 因此可以提供具有定制特性的材料。 控制微结构的等级还需要知道形成工艺和特殊口模结构的相互作用。 基于分析计算方法，表征不同的几何变体。 此外，通过数值模拟更全面地研究所选择的几何变体。 介绍和分析了模具设计和工艺参数优�

英语原文共 8 页， 英语原文共 11 页，资料编号：[142894]，资料为PDF文档或Word文档，PDF文档可免费转换为Word

英语原文共 15 页， 一种微观模拟活跃颗粒状船舶货物的数值方法 雅典国立技术大学船舶与海洋工程学院 Christos C. Spandonidis, Kostas J. Spyrou 摘要：提出了一种用于模拟具有散货船货物物理特性的颗粒状材料的动态行为的微观仿真方法。本文对颗粒物质研究方法在预测货物移动及相关现象方面的潜力进行了展望，尽管其研究具有重要的意义，但该领域发展仍不完善。粒子被视为离散的相互作用对象，应用“分子动力学”方法，对不同材料表现出“流体状”行为的难易程度进行了数值研究。直径在1至3毫米之间、密度不同的单一大小的颗粒会受到倾斜或线性振动的影响。测试分为两部分，首先给定容器的尺寸和颗粒的数量，变化其填充率，在第二部分中，保持其几何相似性，将容器的宽度调整为颗粒直径的一定倍数，监测质心和自由�

英语原文共 12 页， 基于贪婪算法和删除交叉算子的混合免疫算法求解TSP 郭潘 李肯立 欧阳爱家 李克勤 摘要 本文介绍了免疫算法（IA）、贪婪算法（GA）和删除交叉算子（DO）的基本原理。在此基础上，构造了求解旅行商问题的混合免疫算法（HIA）。HIA算法利用遗传算法初始化TSP的路径，利用DO删除路径，采用动态置换算子（DMO）提高搜索精度，提高了混合后全局最优的可能性。实验结果表明，与其它算法相比，HIA算法能够得到更好的解，且计算量小。 关键词 删除交叉算子 动态突变 贪婪算法 免疫算法 TSP问题 1 介绍 TSP问题是一类工程性强，适用性广的经典组合优化问题。TSP问题可以正式的被描述为：已知N个城市C={C1，C2，hellip;，CN}，两个随机选择的城市之间的距离表示为d（C i，C j），那么只需一次通过C内所有城市的

英语原文共 5 页， 基于云平台的智能视觉船舶感知系统 王琦，武汉理工大学交通学院；于文昭，武汉理工大学交通学院；冯辉，武汉理工大学交通学院； 郑瑞东，武汉理工大学能源与动力工程学院；王春磊，武汉理工大学航运学院 摘要：基于云平台的智能视觉船舶感知系统倾向于通过提高船舶的识别和调度能力，增强船舶航行的安全性和经济性。针对智能船舶认知不足，船舷计算能力和船到岸通信效率低下的问题，本文提出了利用云计算平台来支持系统对摄像机和AIS（自动识别系统）所捕获的视频信息进行综合处理，并能够成功实现目标船舶的选择识别、信息跟踪和匹配功能。同时，该平台为岸基的监控客户端以及船舶驾驶员提供了登陆云平台的服务器接口，有利于岸基辅助船舶导航。 关键词：智能船舶感知； 多源�

英语原文共 9 页， 特刊文章 机械工程的进展 无人机-无人水面艇编队 机械工程进展 协同通信框架设计 2018,Vol.10(5)19 copy;The Author(s) 2018 DOI:10.1177/1687814018773668 马勇，赵玉娇，齐鑫，郑元洲，甘阮泽 摘要： 随着无人机、无人水面艇等无人驾驶技术的发展，无人水面艇在海洋管理和巡航活动中发挥着举足轻重的作用。同时，大量的证据表明，单一的无人驾驶交通工具不具备在复杂环境下作业的能力，而无人机-无人水面艇编队由多个无人机和无人水面艇组成，可以显著提高无人驾驶交通工具的性能。然而，无人机-无人水面艇编队的协同作战性能受到其通信能力的制约。为此，设计了一种无人飞行器-无人水面艇编队协同通信框架。为实现无人飞行器-无人水面艇编队的有效通信，构建了一个分布式动态网络拓扑。利用�

英语原文共 8 页， 系统科学与信息学报2006年，第四卷，第四期 714-748页。由英国研究资讯有限公司（RLL）出版。 基于K-熵和RBF神经网络的混沌时间序列预测研究 秀燕 君海马 中国天津大学管理学院，天津300072. 中国天津城建学院基础系，天津300384（2006年3月24日） 文摘：在原理上本文提出一种基于柯尔莫哥洛夫熵和径向基函数神经网络的混沌时间序列直接多步预测方法。首先利用混沌时间序列重构相空间，然后用K-熵作为定量参数得到混沌时间序列的最大可预测时间，最后利用RBFNN得到混沌时间序列的预测数据。以洛伦兹系统为研究对象，对直接多步预测法与递推多步预测法进行了仿真比较，结果表明，在混沌系统最大可预测时间内，直接多步预测法比递推多步预测法更准确、更快速。因此，采用直接多步预测方�