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

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

钢筋混凝土框架抗震模型分析

介绍了分离式、组合式、整体式3种钢筋混凝土有限元模型，通过对整体式模型的详细分析，推导出适舍该模型的线性单元矩阵，并得出一些工程中有用的结论。     

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

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

基于短期AGC指令的负荷系统预见预测控制

针对目前火力发电单元机组负荷增减频繁、扰动因素较多的情况，在充分利用自动发电挂制(AGC)的负荷指令资源的基础上，提出一种协调控制系统的负荷预见预测控制方案。该方法以多变量预测控制为核心，将预见控制思想融入到预测控制的设计之中，从而构成一种新的负荷协调控制策略。仿真结果表明，该方法集预测控制、预见控制二者的优点，使得机组负荷具有良好的跟踪性能，主蒸汽压力也具有很好的系统动、静态调节品质，而且控制量变化非常平稳，在对象动态特性较大范围内变化的情况下，系统具有较强的鲁棒性。     

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

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

降低工业锅炉初始排尘浓度的对策

通过工业锅炉试验，分析研究了锅炉燃烧方式、煤种、锅炉负荷、过剩空气系数及运行操作等几种对工业锅炉初始排尘浓度有重要影响的因素，并有针对性地提出了一些能有效降低工业锅炉初始排尘浓度的方法和措施。     

反馈网络的反馈系数与负载效应的函数性

给出了四种负反馈电路反馈系数F的精确计算公式和近似计算公式。证明了电压负反馈电路的反馈系数和反馈网络的负载效应,都是负载RL的函数。     

岩基静荷试验方法及其适用条件分析

根据反力系统的不同 ,介绍了几种岩基载荷试验方法———堆载平台法、锚杆反力梁法、锚桩反力梁法、护壁反力法、斜壁支撑法等 ,并对其适用条件从经济、安全等方面进行了分析     

关于湿陷性黄土试验方法的初步探讨

文章介绍了黄土湿陷性试验的两种试验方法,对黄土湿陷机理作了简要分析,并对双线法的误差及其修正进行了讨论。     

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.