抽象解释全总域模型

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.     

社会主义核心价值体系融入国民教育全过程的方法和途径三论

该文在实证研究的基础上，对社会主义核心价值体系融入国民教育全过程提出了机制健全论、范式建构论、环境建设论多维建设途径。     

《中外医疗》杂志

正构筑文流平台全国理论性期刊探究医学创新理论搭建联谊桥梁国内外公开发行传播医疗改革经验《中外医疗》杂志是由卫生部医院管理研究所、二十一世纪联合创新(北京)医药科学研究院主办的国家医疗专业学术期刊,中国核心数据期刊(遴选)数据库收录期刊、中国期刊全文数据库收录期刊、中文科技期刊数据库收录期刊。国际刊号:ISSN 1674-0742,国内统一刊号:CN 11-5625/R,邮发代号:80-541,定价:20元。     

《自然辩证法研究》征稿启事

<正>本刊是CSCI哲学类核心期刊、北大中文核心目录自然科学总论期刊,科技哲学学科的专业性、理论性刊物,在学术界和知识界享有盛誉。本刊热诚欢迎国内外学人和作者踊跃投稿,来稿须知如下:1.本刊欢迎经过作者潜心研究而完成的有新材料、新观点的论文,拒绝那些为应付评职、晋级、混学位、敷衍课题交差等而临时拼凑的滥竽充数之作。     

言论

<正>【英媒:中国经济2021年超越美国】近日,英国《经济学家》发表文章称,根据中国经济的增速、美国经济的增速、中国物价的变化、美国物价的变化、中美之间的汇率五大因素测算,预计未来几年,中国经济增速年均7%,通货膨胀率平均为3%,按此推算,中国将在2021年超越美国,重新成为世界最大的经济体。——经济观察报【中国或将扩大黄金储备】尽管中国拥有世界上最大的外汇储备,但黄金在外储占比仅1.1%,而在美国和德国则高达约     

《哈尔滨商业大学学报(自然科学版)》稿约

《哈尔滨商业大学学报（自然科学版）》是中国科技核心期刊，中国学术期刊综合评价数据库来源期刊和中国科学引文数据库来源期刊，并且被美国化学文摘（CA）和俄罗斯文摘（AJ）收录。2004年被CA收录文章数量位居黑龙江省各高校学报之首。是由哈尔滨商业大学主办的理工科综合性学术期刊，国内外公开发行。     

论企业核心竞争力

打造企业核心竞争力是企业可持续发展的客观需要,是建设创新型企业、创新型国家的根本要求。企业是由一系列生产要素有机结合而成的,当企业能够比竞争对手拥有更多更好的生产要素并能有效地使用这些要素时,企业就拥有了一定的竞争优势,即竞争力。只有那些最重要的,能使企业可持续发展的竞争优势并能获得稳定超额利润的竞争力才是企业的核心竞争力。     

基于语料库研究——rea1和really类连接、搭配和语义韵

本文运用语料库的方法，以real和really为例词，从粪连接、搭配和语义韵三方面来研究荚语词由一个形容词变为另一个副词的用法有何变化，研究指出：中国的英语教学可以运用语料库的方法，得出实例来学习这类词的用法。     

矩阵乘积核心逆在0点特征投影的刻画

本文旨在讨论矩阵乘积核心逆在0点特征投影的一些性质,研究具有相同核心逆特征投影的两矩阵之间的关系,给出相同核心逆特征投影条件下核心逆的扰动界.