模型论是数理逻辑的主要分支学科之一，是研究形式语言及其解释（模型）之间关系的理论。作为格值逻辑的一个方面，一阶逻辑的格值模型论已有了一系列深入的研究，Keisler定义了带广义
本文从语言、专业、转型和科研四个立足点出发，探讨一贯以学历教育为主的军校公共英语教学如何适应转型，走一条可持续发展的转型之路。
汞在工业生产和产品中有着广泛的应用,但汞会对生态环境造成严重污染和破坏,许多西方国家已对汞的部分使用实施限制性或禁止性措施,而更好的解决汞污染的方法是回收处理废弃
现实世界中很多问题具有滞后性,因此延迟微分方程广泛的应用于诸如控制论、经济学、流体力学、大气学、生态学等应用科学领域。近几十年里很多数值方法被用来求解延迟微分方
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
《拼接方凳》是我于2017年3月开发的一款基于“当代榫卯”的拼接家具,该作品有幸获得了2017年中国设计红星奖红星原创奖,这次获奖更加坚定了我在“当代榫卯”拼接家具领域的
The reservoir conditions, oil and gas charge history and accumulation phases were studied for Yingshan Formation of Yuqi block, and an oil and gas accumulation
本文主要对虚拟纽结中的不变量问题展开研究.比照经典纽结的定义及性质，作者研究了虚拟纽结和链环的Jones多项式，并证明了它是扩展的Reidemeister移动下的不变量.之后，作者通过
图书馆是一座城市的文化灵魂,它的存在让文化有了更多生长的可能,也让文化有了安躺沉淀的空间.作为城市发展进程中担当中坚力量的图书馆,应该如何更好的完善知识服务,融入城
随着信息科学技术的飞速发展，信息安全快捷的传输成为一个热门的研究学科一-密码学.拟群理论作为组合设计的重要内容在密码学中的应用越来越广泛，如序列密码，Hash函数，秘密共享系