Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

复合支护结构核爆冲击波等效静载的不确定性分析

根据中值点处展开的一次二阶矩法讨论了土中压缩波的升压时间及其不确定性，然后研究了按单自由度体系进行复合支护地下结构抗核爆设计时的动力系数（荷载系数）和等效静载的变异系数．数值结果表明，土中压缩波升压时间的不确定性，不仅与结构埋深和土参数的变异性有关，而且与土参数的均值有关，等效静载的不确定性，依赖于作用于结构上的动载变异性和结构自振频率变异性，而动载不确定性对等效静载变异性影响最大     

空间振动卸料机的力学分析

利用经典力学和振动学原理建立了空间振动卸料机的力学模型和数学模型，并对其求解。在实验基础上导出阻尼系数的计算公式。     

自级联式感应电动机控制系统的研制

描述了自级联式感应电动机的数学模型及其控制系统的结构,研制成功该类电机矢量控制系统样机.根据实验结果,分析了其动态和静态品质,得出此种类型电机控制系统完全可以达到与直流电动机控制系统相同性能的结论,提出了自级联式感应电动机进一步的应用前景.     

脉动流诱发有附着物的板振分析

利用压气机与脉动流发生装置，变流体成脉动流注入到工程中的板壳结构上，使其固体结构部分在脉动流的作用下产生强迫振动，这对工业上分离板壳结构表面固体附着物很有实际意义，以薄板为研究对象，导出了薄板横向振动即弯曲振动微分方程，并着重从理论上分析了分离其上的固体附着物的条件及其各种影响因素。     

预应力梁板施工中病害分析与对策

针对预应力梁板施工中常遇到的一些病害,对其中产生的原因进行了分析与探讨,并提出了具体的预防措施和处理方法。     

浅谈如何提高IT项目管理的执行力

论述了执行力的概念,分析了影响执行力的各种因素,根据IT项目的特点,提出了提高IT项目管理执行力的措施。     

PMSM的高精度感应电势状态观测器与位置估计

提出了永磁同步电动机考虑参数变化时精确的感应电势关系式新模型,建立了微分型和非微分型两种高精度感应电势观测器,证明了感应电势观测器的稳定性和收敛性,分析了参数变动对位置估计的影响.针对无位置传感器矢量控制系统,以内埋式永磁同步电动机为例进行了仿真实验研究,结果表明设计的感应电势状态观测器具有优良的性能.     

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.