定义框架相关论文
空间逻辑作为一个模态逻辑，能很好地描述分布式系统的行为和空间属性。其中，逻辑公式的有效性、可满足性及模型检测问题的可判定性已......
随着社会经济水平的不断提高和各项改革的不断深化，我国财政资金的管理日益规范化化。财政资金效益审计作为我国现代绩效审计的重要......
财政资金效益审计是指国家审计机关对政府相关组织经济活动中资源配置的经济性、效率性、效果性进行监督的活动。本文主要是对财政......
致命性自主武器系统引发国际社会军控问题讨论,但对于致命性自主武器系统的定义这一核心问题,国际社会难以形成统一认识。针对目前......
作为应对全球气候变暖而提出的概念,碳中性主要是指在一定时空边界条件下,通过技术措施使得向大气中排放的净CO2为零。随着近年来......
