Preface

Different from traditional tax audit, supervision with self-audit is a combination of audit by the taxpayer himself and audit by the tax authority. This paper mainly studies a taxpayer’s optimal policy of tax evasion under supervision with self-audit and its related properties, in order to deduce some effective suggestions and theoretical bases to restrain tax evasion. Assuming that only a certain proportion of evaded tax can be discovered when the audit is executed, the authors first formulate a static model with self-audit. This model is divided into two stages. At the first stage, taxpayers declare their taxes, then the tax authority chooses audit objects, based on a known probability, and announces the result; if the taxpayer is chosen, he will enter the second stage, during which he has a chance to pay the evaded tax and the corresponding late fees and then is audited by the tax authority. The authors show the existence and uniqueness of the optimal amount of tax evasion at the first stage and the optimal proportion to self-expose at the second stage. The authors also discuss the related properties of the interior solution, and do elasticity analyses on some parameters. Besides, the authors extend the static model into the corresponding two-period model, and study the existence and uniqueness of the solution of the extended model. Finally, under the assumption that tax evasion can only be discovered with a certain probability when the audit is executed, the authors formulate another static model with self-audit and investigate its properties. This research is partially supported by the National Natural Science Foundation of China under Grant Nos. 60674082, 70221001, and 70731003.     

椭圆柱及旋转椭球导体面的静电张力探讨

文章基于一定平面与椭圆柱、椭球的截痕均为椭圆的性质和边值问题的唯一性定理,给出了一种计算一类导体静电表面张力的简捷方法:几何归类解法,规避了引用广义坐标和进行保角变换;同时,通过深入的探讨而指出了在静电表面张力分析中存在的误解和定势思维障碍。     

扩展Meadows模型分析Ad Hoc网络路由协议安全性

目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.     

唐钢一铁炉料性能及合理搭配的研究

试验研究表明，唐钢一铁烧结矿粒度均匀，具有良好的强度和冶金性能；搭配２５－４０％酸性球团的综合炉料，具有较好的熔滴性能，是合理结构。     

微波通信接收系统噪声的研究

本文全面论述了微波通信接收系统的噪声来源和分类，并较详细地分析了噪声系数及网络的噪声特性。专门讨论了调频制卫星通信和微波中继通信系统中的噪声对多路电话通信的影响。     

一类多线性振荡奇异积分算子的有界性

考虑了一类多线性振荡奇异积分算子并获得了其在一维Lebesgue空间Lp(R)(1＜p＜∞)的有界性.并通过迭代方法,将这种有界性推广到高维的Lebesgue空间Lp(Rn)(1＜p＜∞)上.     

2001年中国物流发展回顾

近几年,物流在中国迅速发展,受到了各界广泛的关注。本文总结了过去的一年中我国物流业发展的一些特点,并指出了现阶段我国物流发展中仍然存在的一些问题。针对这些特点和问题,对我国物流的发展提出了一些相关的政策建议。     

计算力学量平均值的一种方法

论述了量子力学中的海尔曼-费曼定理的内容和应用范围，重点阐明应用海尔曼-费曼定理求力学量平均值的方法，并探讨了粒子在中心力场中的运动．     

非线性控制系统可逆性改善问题研究

基于多轨线思想，提出了系统可逆性改善问题，给出了系统可逆性可改善的充要条件，并用实例验证了其有效性。     

计算机软件资源保护现状及对策

本文阐述了目前计算机软件资源保护的几种方法，并从实用的角度分析了这几种方法的优缺点，最后提出了今后计算机软件资源保护的对策。