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

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

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

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

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

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

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.     

企业纵向并购中双赢整合模式的研究

企业完成纵向并购后会形成从原材料到最终产品的产业链,产业链联系着其中两个或数个上游和下游企业,这些企业本身都是独立核算的经济主体,有着各自不同的利益所在.产业链如何发挥这些企业的协同作用,通过内部结算来减少企业成本获得竞争优势,是企业整合后的最大挑战.显然,平衡整合后各企业间的利益,建立合作机制是解决问题的有效方法.从博弈论的角度出发,建立针对性的博弈模型来分析这些利益主体到底是如何选择策略是发现这种平衡形成的有效方法.鉴于世界上多数企业在纵向并购中尝到了失败的苦果,针对这个问题的研究就有了现实的意义,从博弈论的角度出发来研究有效机制的形成应该是一个较新的途径.最终的研究结论可以帮助企业在并购后实现双赢,从而提升整个产业链的绩效.     

基于位移的抗震设计中位移模式的确定

根据地震强度、地震波、结构层数与跨度、强柱弱梁系数等影响水平位移模式的主要因素,通过大量算例分析,提出了确定基于位移的抗震设计中水平位移模式的方法.     

长叶苦竹新造林的生长发育规律研究

【目的】为揭示长叶苦竹(Pleioblastus chino var.hisauchii)新造林的生长发育规律,探究不同年龄竹株的秆形特征及不同龄级竹地下茎的鞭根生长情况,为长叶苦竹及其他混生型竹的栽培养护和经营管理提供参考。【方法】调查了南京林业大学溧水白马实验基地长叶苦竹新造林5年时的年龄结构和空间分布,标记整片竹林每株竹子的位置和年龄信息,随机选取3株1～5年生健康无病虫害竹株,测定其地径、株高、枝下高、每节节长和对应的节径等指标。追踪1～5年生竹鞭系,统计鞭段数、鞭节数、岔鞭数、芽数,测量鞭长、鞭径、鞭节长等指标。【结果】随着长叶苦竹新造林的更新,前4年新龄竹株数呈递增趋势。地径、株高和枝下高随竹龄的增长均呈递减趋势,且不同年龄竹株的地径和株高、枝下高和株高均存在线性正相关关系。竹秆每节节径由基部到梢部呈递减趋势,且每节节长和对应的节径存在线性正相关关系。新龄竹每节节径、每节节长、平均节径和平均节长均大于老龄竹。鞭径、总鞭长、鞭段数和芽数随竹龄的增长呈递减趋势。鞭长、鞭节长、岔鞭数和笋芽数随竹龄的增长呈先增后减的趋势,在造林第4年时达到最高。【结论】长叶苦竹新造林的年龄结构呈上...     

25t转炉自适应静态模型动态化控制

针对中小转炉不宜增设副枪检测,无法进行动态控制的实际状况,提出了自适应静态模型动态化控制的思想;首先建立自适应终点静态控制模型;然后根据枪位－加料模型进行吹炼并自动动态化控制知识库,修正枪位－加料模型及控制量,最后启动预报模型进行终点预报指导出钢。根据实际吹炼数据验证,终点控制模型具有良好的跟踪性,终点预报模型的终点Ｃ,Ｔ命中率分别达到６８％和６３％。     

Buckling of a ferromagnetic thin plate in a transverse static magnetic field

An energy theory is proposed on the buckling of a ferromagnetic thin plate in a transverse static magnetic field. The analytic solution of critical field for plates is obtained by using variational method. It is shown that the critical magnetic field is not only influenced by the ratio of the thickness to the length, but also by the width, total length and the magnetic susceptibility of the specimen. Theoretical calculations agree with experiments reasonably.     

电动势负反馈直流调速系统研究

在分析了电压负反馈直流调速系统的优缺点基础上,本文提出了电动势负反馈调速方法,并给出了该方法的系统图、框图和静特性。对电动势负反馈双直流电动机调速系统也进行了探讨。文中还对电动势负反馈直流调速系统的优缺点和应用范围加以了分析。