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

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

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

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

Multiple MIPS 4Kc cores based interrupt controller design and its implementation on HDTV SoC platform

A multiple MIPS 4Kc processor cores based interrupt processing system is introduced. The interrupt controller plays a key role in the high definition television （HDTV） system-on-a-chip （SoC） platform, especially when it is a multiple processor system. Based on a general introduction to the whole HDTV SoC platform, a layered interrupt controller and its implementation are discussed in detail. The proposed scheme was implemented in our FPGA verification board. The results indicate that our scheme is reliable and efficient. Meanwhile, as a functional intellectual property （IP）, the interrupt controller has reusability and expandability with the layered structure.     

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.     

论社会主义与人的自由和全面发展

人的自由和全面发展是马克思一贯倡导并始终坚持的主导价值取向,是马克思主义学说的灵魂.中国共产党继承和发展了马克思主义关于人的自由和全面发展的思想,同时,立足于中国社会主义初级阶段的实际,积极创造条件,稳妥地推进人的自由和全面发展.     

PLC控制系统特殊故障维修实例

以HG145型摩擦焊接机为例,介绍了利用梯形图分析PLC控制系统故障的方法。     

数控机床伺服系统故障的维修

列举了数据机床故障实例,介绍了数控机床伺服系统故障的维修。     

椭圆柱及旋转椭球导体面的静电张力探讨

文章基于一定平面与椭圆柱、椭球的截痕均为椭圆的性质和边值问题的唯一性定理,给出了一种计算一类导体静电表面张力的简捷方法:几何归类解法,规避了引用广义坐标和进行保角变换;同时,通过深入的探讨而指出了在静电表面张力分析中存在的误解和定势思维障碍。     

扩展Meadows模型分析Ad Hoc网络路由协议安全性

目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.     

2,2′-二碘联苯与丙烯酰胺反应

2.2′—二碘联苯在醋酸钯催化下与丙烯酰胺反应,生成邻苯基肉桂酰胺.