论文部分内容阅读
基于LET模型的时间语义编程语言
【出 处】
：
中国科学技术大学
【发表日期】
：
2021年01期
其他文献
指挥是诸多活动的核心环节，运用现代科学方法对指挥系统在实施指挥活动中发挥作用的有效程度进行评析和估量十分必要。目前，国内关于“指挥效能评估”的研究成果主要体现在效能评估指标体系、效能评估方法两个层面。主要从效能评估指标体系、效能评估方法两个层面进行重点综述，同时对查阅相关研究文献中发现的效能评估指标体系建立原则、确立依据、细分指标以及目前使用指挥效能评估方法存在的不足之处进行分析，以期为新形势下开
2010年,中国国内生产总值已超过日本,正式发展成为世界第二大经济体。然而,经济的增长也带来了重大的环境污染问题。环境作为一种公共资源,应该由全民来维护,然而企业也会有可能出现“搭便车”现象,面对这种现象,一般政府会出台相关的环境规制政策,来限制企业的相关排污行为,这对于企业便是一种成本的增加,企业在面对这种环境成本增加时,其表现也可能大相径庭。于是便有了各个学派对企业面对环境规制政策时如何处理企
19世纪60年代开始,俄国在经济、政治、文化、社会等领域的深刻变革,对俄国的女子中等教育提出了更多的要求与挑战。传统的封闭式的女子中等教育机构已经不能适应时代的发展。19世纪50年代,俄国知识分子开始关注俄国的妇女教育问题。俄国社会对女子教育的关注,再加上俄国政府政策上的支持,使得19世纪中后期俄国的女子中等教育快速发展。本文包括绪论、正文和结论三部分,其中正文包括二、三、四、五章。第1章为绪论,