基于框图建模的表现模型研究

讨论了表现模型的概念和构成，以及它与可视化模型和仿真模型的关系。在此基础上，以交战级仿真应用为背景，设计和实现了基于框图建模方法的表现模块库。用户可以根据需要，通过选取相应的功能模块，订购相应的仿真模型数据，建立表现模块之间的输入输出关系，和设置表现模块的功能参数来快速构建三维表现模型。该表现模型将仿真模型和仿真表现分离，在仿真演示上具有灵活、通用的特点。     

品格狷洁诗清妙——试论孟浩然的个性品格及对其诗作的影响

本文通过梳理有关孟浩然的史料、诗作，力图勾勒出孟浩然的形象轮廓，点明其品格的个性特征，并进而分析其个性品格形成的原因及对诗作的影响。     

钠-氨水体系对ω-酰基莰烯的还原反应研究

以钠-氨水体系为还原剂，苯为溶剂，对属于a，β-不饱和酮类的8个ω-酰基莰烯类化合物进行了还原．结果表明：足量钠作用下，还原产物为饱和醇(α-异莰烷基醇)，有内型与外型两种异构体；酰基部分的烃基越大，外型醇的比例越高．对所得的α-异莰烷基醇作了GC—MS分析，对还原过程与立体化学进行了讨论．     

建设项目造价控制初探

介绍了建设项目造价控制的内容、措施,提出了加强工程审计环节的控制措施。     

基于网络的英语口语教学体系的构建

分析了建立基于网络的英语口语教学体系的必要性及可行性,提出了建立体系平台框架的设想。     

基于反相对称法的双边带通信系统

给出了一种基于反相对称法的双边带通信系统的实现方法,通过MATLAB仿真,证实了这种方法的可行性。     

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网络安全路由协议的安全性分析.