摘要：为研究磁控溅射对纺织材料性能的影响,利用JPGF-450I型磁控溅射镀膜机,以锦纶织物为基材,制备纳米铝膜.通过改变溅射功率、工作压强等工艺参数,获得在不同工艺条件下的镀铝膜锦纶织物,测试镀膜后锦纶织物中纱线的断裂强度、断裂功等拉伸性能,研究溅射功率与工作压强对镀膜织物中纱线拉伸性能的影响.结果表明:在室温下,镀膜纱线与原纱相比断裂强度有所提高,断裂强度不匀率降低,断裂功受断裂伸长率影响明显;随溅射功率的增加,镀膜纱线的断裂功和断裂伸长率都呈减小的趋势;工作压强在0.8～0.9Pa时,镀膜纱线的断裂功和断裂伸长率达到最大值.通过AFM原子力显微镜观察了镀膜锦纶织物的表面形态发现,锦纶丝的表面形成了较完整均匀的纳米铝膜. 
关键词：铝膜，溅射参数，锦纶，拉伸性能。请问：上面的关键词都是这篇摘要合适的关键词吗？
选项：是的，不是
答案：是的

阅读下列论文摘要，然后判断下面的这些关键词是否都是论文摘要合适的关键词？
摘要：朝阳市某钼尾矿中含有相对较易于回收的磁铁矿和片状云母，铁品位5.30%，云母品位12.23%。在实验室条件下通过粗选-磨矿-精选流程磁选回收铁，可得产率5.06%、铁品位63.75%、回收率60.87%的铁精矿。对粗选尾矿进行磨矿，用0.075mm孔径标准试验筛进行筛分分选，筛上产物为云母精矿，可得产率10.08%、云母品位98.00%、回收率80.77%的云母精矿。
关键词：磁选，可得，精选，筛上。答案是：
选项：是的，不是
答案：不是

什么类别最好的描述了这段话？汶川十年寄哀思，张继科等国乒众将致敬汶川逆境重生！
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：体育

什么类别最好的描述了这段话？「每日提示」别跟车太近
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：汽车

这个是关于哪方面的App应用程序的描述？银行，社区，电商，支付，经营，卡牌，借贷，驾校，理财，职考，新闻，旅游，交通，魔幻，医疗，影像，动作，工具，体育，小说，运动，相机，工具，快递，教育，股票，菜谱，行车，仙侠，亲子，购物，射击，漫画，小学，同城，成人，求职，电子，艺术，赚钱，约会，经营，兼职，视频，音乐，英语，棋牌，摄影，养生，办公，政务，视频，论坛，彩票，直播，其他，休闲，策略，通讯，买车，违章，地图，民航，电台，语言，搞笑，婚恋，超市，养车，杂志，在线，家政，影视，装修，资讯，社交，餐饮，美颜，挂号，飞行，预定，票务，笔记，买房，外卖，母婴，打车，情侣，日程，租车，博客，百科，绘画，铁路，生活，租房，酒店，保险，问答，收款，竞技，唱歌，技术，减肥，工作，团购，记账，女性，公务，二手，美妆，汽车，行程，免费，教辅，两性，出国，婚庆，民宿金狮播放器支持所有流行的视频和音频格式，良好的兼容性。内置高清视频解码引擎，带给您更流畅的播放体验。拥有简洁的界面和方便的操作特性，支持4k高清视频的播放。同时支持普通视频和加密视频的播放。功能特点支持常见的大多数视频和音频格式vi，m4v，mp4，wmv，flv，mpeg，mpg，mov，rm，vob，sf，mkv等。列表管理扫描并且管理手机里的视频和音乐。智能传输模块非常方便的传输视频，从电脑到手机，或者从手机到手机。独特的视频加密功能配合金狮视频加密软件，轻松实现视频加密和播放管理。更新内容BUG修复。
答案：工具

这篇新闻会出现在哪个栏目？汇午报，你最关注的乌鲁木齐教育新闻
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：教育

这是关于哪方面的新闻？中国人在澳洲买房注意事项？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：房产

这是关于哪方面的新闻？从地理或地缘的层面上来讲，哪个国家是最难被入侵的？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：国际

这是关于哪方面的新闻？指定会有人进来的，可俺不喜欢穷光蛋
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：农业

哪个类别最好的描述了这个APP应用程序？鲨鱼浏览器全网热门小说随便看，小说实时更新海量全本小说任你选鲨鱼浏览器是一款手机必备度追网络小说阅读神器，搜索覆盖各大网址的精品小说资源，独有的低流量设计，让您追书无忧小说阅读全网小说阅读器，流畅阅读效果体验，支持多种文本格式浏览，个性化阅读模式切换，更有夜间模式，使您不再担心晚间阅读。网址导航精选大量的在热门主流站点，让用户一触即达热门网站。搜索引擎多种搜索引擎切换，总会搜到你想要的。广告拦截强力广告自动拦截、用户自定义屏蔽，我们只想为你打造一个干净的上网环境。热门新闻新闻资讯、爆点奇闻，在这里你都可以随时掌握。更新内容本次更新1、首页样式改版2、分类页面全新设计网址大全改为精选3、优化阅读模式、播放视频功能4、添加播放器双击手势5、添加浏览器滑动手势
选项：银行，社区，电商，支付，经营，卡牌，借贷，驾校，理财，职考，新闻，旅游，交通，魔幻，医疗，影像，动作，工具，体育，小说，运动，相机，工具，快递，教育，股票，菜谱，行车，仙侠，亲子，购物，射击，漫画，小学，同城，成人，求职，电子，艺术，赚钱，约会，经营，兼职，视频，音乐，英语，棋牌，摄影，养生，办公，政务，视频，论坛，彩票，直播，其他，休闲，策略，通讯，买车，违章，地图，民航，电台，语言，搞笑，婚恋，超市，养车，杂志，在线，家政，影视，装修，资讯，社交，餐饮，美颜，挂号，飞行，预定，票务，笔记，买房，外卖，母婴，打车，情侣，日程，租车，博客，百科，绘画，铁路，生活，租房，酒店，保险，问答，收款，竞技，唱歌，技术，减肥，工作，团购，记账，女性，公务，二手，美妆，汽车，行程，免费，教辅，两性，出国，婚庆，民宿
答案：小说

以下两句话的意思相同的吗？“蚂蚁借呗 可以越期三天吗”，“蚂蚁借呗可以***个月还款么”。选项：是的，不是。答案：不是

摘要：基于一般逻辑程序停机性刻画的动态方法,研究了解形式不动点不停机的一种动态刻画方法,给出了安全协议Horn逻辑扩展模型解形式不动点不停机性的一个充分条件.基于这个充分条件给出了一种不动点计算不终止的预测方法,该方法能够根据新产生的解形式逻辑规则,预测不动点计算的不终止性,同时定位模型中导致解形式不动点无穷计算的解形式逻辑规则.解形式不动点不停机性的预测结果将作为选择精确验证方法或者抽象验证方法验证安全协议的基本依据.相关实验结果表明文中给出的预测算法是高效的.
 以下的关键词都是这篇摘要合适的关键词吗？关键词：验证，不停机性，预测，不动点计算。答案是：
选项：是的，不是
答案：是的

这是关于哪方面的新闻？2019年US News美国研究生金融（Finance）专业排名
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：教育

这是关于哪方面的新闻？封神演义老子大战通天教主谁胜谁负？诛仙阵为何需四圣人才能破？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：故事

哪个类别最好的描述了这篇新闻？为什么天眼收到外星人信号，霍金却不让回复？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：科技