摘要:
Abstract:
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/5473
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
形式化方法的理论基础专题前言
本站小编 Free考研考试/2022-01-02
相关话题/摘要 全文
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19基于句子向量表示和模糊C均值的电子政务文档自动摘要技术
祁荣苓,1,2,焦文彬,1,*,汪洋,11.中国科学院计算机网络信息中心,北京1001902.中国科学院大学,北京100049AutomaticSummarizationofe-GovernmentDocumentsBasedonSentenceVectorRepresentationandFuzz ...中科院计算机网络信息中心 本站小编 Free考研考试 2022-01-02自动文本摘要研究综述
李金鹏1,2,张闯1,陈小军1，胡玥1,2,廖鹏程1,21（中国科学院信息工程研究所北京100093）；2（中国科学院大学网络空间安全学院北京100040)(lijinpeng@iie.ac.cn)出版日期:2021-01-01基金资助:国家自然科学基金项目(61602474)SurveyonAut ...中科院计算技术研究所 本站小编 Free考研考试 2022-01-01基于关键词的代码自动摘要
张世琨1,谢睿1,2,叶蔚1,陈龙1,21(北京大学软件工程国家工程研究中心北京100871);2(北京大学软件与微电子学院北京100871)(ruixie@pku.edu.cn)出版日期:2020-09-01Keyword-BasedSourceCodeSummarizationZhangShik ...中科院计算技术研究所 本站小编 Free考研考试 2022-01-01林业搜索全文检索系统V1.0获得软件著作权登记
2020年9月27日，科信所独立开发的《林业搜索全文检索系统V1.0》获中国版权保护中心软件著作权登记。林业搜索全文检索系统V1.0是林业专业知识服务系统（http://forest.ckcest.cn/）的综合检索系统。该系统采用Elastic Search分布式全文搜索引擎技术和Spring M ...中国林业科学研究院 本站小编 Free考研考试 2022-01-01《中央音乐学院学报》2021年第一期 目录及摘要
作曲理论 新中国70年音乐创作中的中西多声思维碰撞与融汇 刘康华 摘要：纵观百年中国音乐创作中和声的运用，可以说是一条由中西多声思维碰撞与融汇而逐渐发展起来的“新的河流”。其中最有特色的是，在借鉴西方和声理论与技法的同时，吸取我国民间音乐的多声思维与实践特点，而形成的中西多声思维的碰撞与融汇。 ...中央音乐学院 本站小编 Free考研考试 2021-12-26无人机接力小蜜蜂助力香梨产业发展 被中央人民政府网全文转载
近日,蜜蜂所面向农业主战场，以问题和需求为导向，解决梨树绿色高质量发展的关键技术问题，形成了“蜂-机协同作业的梨树高效液体授粉技术”。新华社对该技术应用进行了报道，同时被中央人民政府网、环球网、腾讯网、解放军报、中国农网、中国经济时报、广西新闻网、浙江日报等媒体广泛转载。（图文来源：新华社）目前，位 ...中国农业科学院通知公告 本站小编 Free考研考试 2021-12-26[成果]“全球灾害数据平台（中文版）”上线 《2020年全球自然灾害评估报告（中文版摘要）》同步发布
5月12日，由应急管理部-教育部减灾与应急管理研究院、中国灾害防御协会、应急管理部国家减灾中心联合建设“全球灾害数据平台（中文版）”（以下简称“平台”，网址https://www.gddat.cn）正式上线发布。平台通过收集、整理与集成应急管理部国家减灾中心、中国地震台网中心、中国气象局国家气候中心 ...北京师范大学通知公告 本站小编 Free考研考试 2021-12-25《新华文摘》全文转载艾云副教授合作发表论文:社会学金融化研究的兴起与展望
2021年第14期（总第722期）《新华文摘》全文转载了我校社会与心理学院艾云副教授（第一作者）与中国社会科学院社会学研究所向静林副研究员合作发表在《国际社会科学杂志（中文版）》2021年第1期的论文——《从经济金融化到社会金融化——社会学金融化研究的兴起与展望》。该文系中央财经大学一流学科建设项目 ...中央财经大学通知公告 本站小编 Free考研考试 2021-12-25《新华文摘》全文转载许飞琼教授文章：中国多层次医疗保障体系建设现状与政策选择
2021年第5期《新华文摘》全文转载了我校保险学院许飞琼教授发表在《中国人民大学学报》2020年第5期的论文——《中国多层次医疗保障体系建设现状与政策选择》。许飞琼教授在文章中指出，构建多层次医疗保障体系是我国医保改革的既定目标，但实践效果并不理想。关键是法定医疗保障制度尚未成熟，商业健康险发展严重 ...中央财经大学通知公告 本站小编 Free考研考试 2021-12-25司法部官网全文刊发我校教授解读文章《在法治轨道上加强行政事业性国有资产管理监督》
国务院总理李克强日前签署国务院令，公布《行政事业性国有资产管理条例》（以下简称《条例》），自今年4月1日起施行。应有关部委邀请，我校法学院院长尹飞教授以《在法治轨道上加强行政事业性国有资产管理监督》对条例撰文解读。中华人民共和国司法部网站在发布《条例》时一并全文发布了该文章。原文链接：在法治轨道上加 ...中央财经大学通知公告 本站小编 Free考研考试 2021-12-25
