UNIPOL工艺聚乙烯装置粉体静电隐患分析

主要对文献[1]中UNIPOL工艺聚乙烯装置粉体静电隐患进行分析,并提出相应防范措施.     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

建筑工程中地下构筑物综合拆除技术

根据多年来拆除工程实践，通过对建筑工程地下构筑物拆除方法法的总结，提出选择拆除方法和具体措施措施必须根据不同拆除对象及施工环境要求，采取综合拆除的观点，并就地下构筑物拆除技术的发展前景作了展望。     

多点承载桁架式卫星结构的一种静力试验方法

卫星结构由于其应用环境的特殊性，对重量、变形量级等都有严格的限制，在其结构设计时除进行数值计算外，键部件必须进行模型试验。基于弹性力学的线性叠加原理，针对多点承载桁架式卫星结构的静力试验，提出“单点加载，多点输出”的测试方法，采用该方法的试验结果与有限元计算结果符合较好。     

油墨雾散的成因及消除方法探讨

油墨在墨辊间转移的过程中由于自身内聚力和静电力的作用有时会产生雾散现象,油墨的雾散现象是存在于高速印刷中的一大公害。本文仅从动力学角度对其产生的原因进行了初步分析,在此基础上对减少油墨的雾散的方法进行探讨。     

一种剪力墙元的力学性能研究

为了满足高层建筑结构分析的需要，提出１种比较简单的四节点矩形墙单元．它不同于一般的板壳元，这种单元每节点４～５个自由度，可以和其它空间单元较好地接合．此墙元能反映剪力墙面内和部分面外的变形，通过子结构自动细化方法可以处理开洞和不开洞剪力墙，且精度可以满足工程要求     

同起动电阻计算相结会确定交流提升机的加速度

本文提出了同起动电阻计算相结合确定加速度的方法,从根本上解决了交流提升机起动电阻的计算问题.在分析了电动机减速时算斗提升的控制实际的基础上,给出了确保实现电动机减速的加速度计算方法.     

影响索-混凝土组合梁节点受力性能的主要因素

索-混凝土结构能够充分发挥组合材料在技术和经济上的优越性，体现了现阶段工程材料的发展方向，是一种极具发展潜力和应用价值的组合结构。节点是结构中的关键部位，也是施工难点，合理地设计节点对结构的安全和整个工程的造价具有重要的理论意义与工程实际价值。采用ANSYS软件研究了混凝土强度、节点梁端箍筋配筋率、梁柱纵筋配筋率等因素对节点受力性能的影响规律，获得完整、准确的节点受力性能信息，对于正确进行框架分析，保证结构体系的安全可靠具有重要的意义。     

提高激光稳功率器抑制噪声能力的研究

提出了提高激光稳功率器抑制噪声的能力，应归结为提高其静态稳定度的问题，详细分析了提高静态稳定度的各种措施；导出了单馈方式时对应不同反馈函数的静态稳定度，并提出了可使静态稳定度获得大幅度提高的新方法     

Tax Evasion: Models with Self-Audit

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.