为大力增加美国在国际上的核心竞争实力,其从20世纪80年代起制定并实施了一系列相关研发税收抵免政策措施。研究与实验税收抵免(Research and Experiment Tax Credit)是其中主要的一种。由于是临时性立法,该政策一直处于延长和修订的过...为大力增加美国在国际上的核心竞争实力,其从20世纪80年代起制定并实施了一系列相关研发税收抵免政策措施。研究与实验税收抵免(Research and Experiment Tax Credit)是其中主要的一种。由于是临时性立法,该政策一直处于延长和修订的过程中。根据最新的政策,对于被纳入抵免的研发活动和有效支出都有具体的限定,且有不同的计算方式可供选择。本文从这一制度的沿革、适用范围、计算方法、实施效果等方面,特别是近期在简化税收抵免政策方面提出的修正方案进行介绍和评述,试图从优惠方式、政策支持对象、实施细则等方面提供可借鉴的经验和启示。展开更多
作为一种广为接受的语义数据模型,E-R模型被广泛地应用于数据库设计阶段.但是E-R模型自身却存在某些缺陷,这些缺陷制约了对其进一步的应用.针对E-R模型的改进,目前主要存在基于图形表示和描述性逻辑表示两种途径.但是,前者仍然不具有自...作为一种广为接受的语义数据模型,E-R模型被广泛地应用于数据库设计阶段.但是E-R模型自身却存在某些缺陷,这些缺陷制约了对其进一步的应用.针对E-R模型的改进,目前主要存在基于图形表示和描述性逻辑表示两种途径.但是,前者仍然不具有自动推理能力,而后者却存在表示能力弱、与数据库兼容性不足等缺陷.为克服以上缺陷,提出一种利用回答集编程(answer set programming)表示E-R模型的新方法.首先,对应于数据库的E-R模式被区分为基本和扩展两种类型,并分别完成它们的语法与语义定义.其次,利用回答集编程完成以上两类模式的逻辑编程表示.最后,完成表示的正确性证明.提出的方法不仅为E-R模型提供了一种新的逻辑表示途径,而且相对原有的两种E-R模型改进途径具有明显的优势.更为重要的是该研究成果使得应用E-R模型实现异构数据库之间的语义协作成为可能.展开更多
Terra SAR-X图像的几何校正和辐射定标对于获取地面目标高精度地理位置信息和辐射特征具有重要意义。采用距离-多普勒间接定位模型和仿射校正模型进行SAR影像几何校正,同时完成地形辐射校正并对辐射定标精度进行验证。距离向和方位向上...Terra SAR-X图像的几何校正和辐射定标对于获取地面目标高精度地理位置信息和辐射特征具有重要意义。采用距离-多普勒间接定位模型和仿射校正模型进行SAR影像几何校正,同时完成地形辐射校正并对辐射定标精度进行验证。距离向和方位向上达到了约0.3 m和0.4 m的几何定位精度;相对辐射定标精度优于0.3 d B,绝对辐射定标精度为0.22 d B,所以该模型能达到方法较高的精度且简单快捷。展开更多
文摘为大力增加美国在国际上的核心竞争实力,其从20世纪80年代起制定并实施了一系列相关研发税收抵免政策措施。研究与实验税收抵免(Research and Experiment Tax Credit)是其中主要的一种。由于是临时性立法,该政策一直处于延长和修订的过程中。根据最新的政策,对于被纳入抵免的研发活动和有效支出都有具体的限定,且有不同的计算方式可供选择。本文从这一制度的沿革、适用范围、计算方法、实施效果等方面,特别是近期在简化税收抵免政策方面提出的修正方案进行介绍和评述,试图从优惠方式、政策支持对象、实施细则等方面提供可借鉴的经验和启示。
文摘作为一种广为接受的语义数据模型,E-R模型被广泛地应用于数据库设计阶段.但是E-R模型自身却存在某些缺陷,这些缺陷制约了对其进一步的应用.针对E-R模型的改进,目前主要存在基于图形表示和描述性逻辑表示两种途径.但是,前者仍然不具有自动推理能力,而后者却存在表示能力弱、与数据库兼容性不足等缺陷.为克服以上缺陷,提出一种利用回答集编程(answer set programming)表示E-R模型的新方法.首先,对应于数据库的E-R模式被区分为基本和扩展两种类型,并分别完成它们的语法与语义定义.其次,利用回答集编程完成以上两类模式的逻辑编程表示.最后,完成表示的正确性证明.提出的方法不仅为E-R模型提供了一种新的逻辑表示途径,而且相对原有的两种E-R模型改进途径具有明显的优势.更为重要的是该研究成果使得应用E-R模型实现异构数据库之间的语义协作成为可能.
文摘Terra SAR-X图像的几何校正和辐射定标对于获取地面目标高精度地理位置信息和辐射特征具有重要意义。采用距离-多普勒间接定位模型和仿射校正模型进行SAR影像几何校正,同时完成地形辐射校正并对辐射定标精度进行验证。距离向和方位向上达到了约0.3 m和0.4 m的几何定位精度;相对辐射定标精度优于0.3 d B,绝对辐射定标精度为0.22 d B,所以该模型能达到方法较高的精度且简单快捷。