阅读下列论文摘要，然后判断下面的这些关键词是否都是论文摘要合适的关键词？
摘要：晚古生代是天山构造带发生变革的关键时期，对南天山层序清楚尚未变质的晚古生代沉积记录进行研究，对于恢复南天山晚古生代的构造古地理、并对其构造演化史提供约束，具有重要地质意义。南天山中段上石炭统阿依里河组砂岩主要为含砾砂岩、岩屑砂岩、次岩屑砂岩、长石砂岩和含铁岩屑砂岩，砂岩中石英颗粒含量67．41％，岩屑25．07％，长石7．52％，Q/（F＋L）平均为2．07，岩石具有低的结构成熟度和成分成熟度。碎屑岩SiO2平均为64．78％，Al2O310．22％，TiO20．35％，TFe2O34．23％，MgO1．37％，CaO7．16％，K2O2．13％，Na2O0．93％。稀土总量∑REE平均为130．1×10-6，δEu异常0．74，LaN/YbN9．4。砂岩中重矿物组合主要为锆石、白钛石、赤褐铁矿和黄铁矿，其次有电气石、磷灰石、金红石、石榴子石、铬铁矿和锐钛矿。阿依里河组的源岩主要为中-酸性火成岩、低级-中级变质岩和沉积岩，还有少量基性岩等。根据QFL判别，砂岩物源区主要为消减杂岩源区，其次是弧造山带和碰撞造山带源区。根据稀土元素、微量元素特征，以及Th-Co-Zr/10、Th-Sc-Zr/10和Ti/Zr-La/Sc判别图，阿依里河组碎屑岩物源区属于大陆岛弧区和活动大陆边缘区，与上地壳源区相比，有铁镁质的叠加。校正后的碎屑岩化学风化指数CIAcorr．平均为71．25（52．25～89．40），指示源区主要经历了中等程度的化学风化。砂岩碎屑LA-ICP-Ms锆石U-Pb年龄测定表明，锆石年龄分为两期，主要为404～542Ma，其次是1797～2436Ma，表明物源区地质体时代主要为早古生代和古元古代，它们和南天山早古生代消减带弧和塔里木北缘库鲁克塔格古元古代基底比较吻合。同时，进一步将南天山造山带开始碰撞的时间限制在早泥盆世末-中泥盆世，俯冲汇聚在早古生代，大规模的隆升剥露在二叠纪以后。
关键词：碎屑锆石年代学，碎屑岩成分，上石炭统，物源分析。答案是：
选项：是的，不是
答案：是的

这是关于哪方面的新闻： 故事,文化,娱乐,体育,财经,房产,汽车,教育,科技,军事,旅游,国际,股票,农业,游戏?薛之谦、杨幂离开？《明日之子2》导师曝光，她的加盟让人太意外
答案：娱乐

我想知道下面两句话的意思是否相同。“借呗如何提现到银行卡”，“借呗的钱提现到已注销的银行卡”是相同的吗？。选项：是的，不是。答案：不是

这个句子“一个身份证两个账号只能开通一个花呗吗”转述(意思是一样的)了下面这句话？“一个人两了手机号码可以开通两个花呗吗”。选项：是的，不是。答案：不是

这个App应用程序的描述会出现在哪个栏目？重庆时时彩是一款国内重庆时时彩,新疆时时彩，快三系列等专业在线购彩，据具有速度快、准确率高、易懂特点。是一款不可多得的分析APP。,重庆时时彩，一款专业购彩平台,修复网络错误问题。增强稳定性
选项：银行，社区，电商，支付，经营，卡牌，借贷，驾校，理财，职考，新闻，旅游，交通，魔幻，医疗，影像，动作，工具，体育，小说，运动，相机，工具，快递，教育，股票，菜谱，行车，仙侠，亲子，购物，射击，漫画，小学，同城，成人，求职，电子，艺术，赚钱，约会，经营，兼职，视频，音乐，英语，棋牌，摄影，养生，办公，政务，视频，论坛，彩票，直播，其他，休闲，策略，通讯，买车，违章，地图，民航，电台，语言，搞笑，婚恋，超市，养车，杂志，在线，家政，影视，装修，资讯，社交，餐饮，美颜，挂号，飞行，预定，票务，笔记，买房，外卖，母婴，打车，情侣，日程，租车，博客，百科，绘画，铁路，生活，租房，酒店，保险，问答，收款，竞技，唱歌，技术，减肥，工作，团购，记账，女性，公务，二手，美妆，汽车，行程，免费，教辅，两性，出国，婚庆，民宿
答案：彩票

阅读下列论文摘要，然后判断下面的这些关键词是否都是论文摘要合适的关键词？
摘要：中国主权财富基金设立的初衷是提高我国外汇储备管理效率以获得更多的投资回报。然而,由于经验不足以及国际环境的影响,中国主权财富基金面临着如政府力量过多介入、人才管理机制缺乏专业性、风险管理无法落实及透明度受到广泛质疑等问题。中国主权财富基金应通过强化外部治理、建立国际化人才培养机制、完善风险控制机制以及继续增加透明度等措施,对上述所面临的问题进行有针对性的改进,以使中国主权财富基金发挥更积极的影响、创造更佳的投资业绩。
关键词：外部治理，主权财富基金，投资策略，影响。答案是：
选项：是的，不是
答案：不是

这是关于哪方面的新闻： 故事,文化,娱乐,体育,财经,房产,汽车,教育,科技,军事,旅游,国际,股票,农业,游戏?饱受英国侵略却成功控制美国政治，爱尔兰人为何对英国人恨之入骨？
答案：体育

这是关于哪方面的新闻？92和95号汽油有什么区别？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：汽车

以下两句话的意思相同的吗？“在什么我花呗用不了”，“我的花呗有额度却不可以用”。选项：是的，不是。答案：是的

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

以下两句话的意思相同的吗？“为什么我的芝麻信用最近一年多重来没涨过，我缴费充值，花呗什么都用了，信息也完善了”，“我的芝麻信用都***多了，为什么借呗只有***的额度”。选项：是的，不是。答案：不是

这个句子“为什么花呗额度降低了”转述(意思是一样的)了下面这句话？“花呗可以降额不”。选项：是的，不是。答案：不是

什么类别最好的描述了这段话？用5年前的小米2跑了个分：结果有点尬
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：电竞

哪个类别最好的描述了这篇新闻？绝地求生：新版本数据M416依旧称王，狙击枪的时代来临？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：电竞