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.     

客户知识分类与共享方法分析

从客户知识的存储单位和可呈现性两个纬度对客户知识进行了分类,同时对其共享方法进行了分析。     

逆向物流网络结构研究

文章介绍了逆向物流概念,分析了发展逆向物流的必要性和紧迫性,从逆向物流的结构特征出发,以不同的角度对逆向物流系统做了分类研究,然后从逆向物流的网络着手,分析了逆向物流网络的构建环境、网络特征和网络类型。     

论中国现代城市建筑设计中形式美的科技应用趋向

通过对结构、空间、色彩中科技应用的分析,述评了中国现代城市建筑设计中形式美的科技应用趋向。     

HACCP在石油行业野外施工食堂中应用的绩效分析

将HACCP这一世界公认的食品安全控制系统引入野外施工食堂卫生管理当中.方法采用文献检索,事故分析、现场调查和Delphi等研究方法,通过对野外施工食源性疾病危害分析、建立关键控制点,形成野外施工食堂管理HACCP管理规范,并组织实施.结果实施HACCP体系后,从业人员手、餐具、菜墩、抹布的抽查合格率有显著提高,食堂从业人员以及参加施工人员对饮食卫生以及食堂卫生管理知识的掌握显著提高.结论在野外施工食品卫生管理中引入HACCP管理体系,控制食源性疾病取得了良好的绩效.     

集值函数的广义共轭函数和次微分

该文通过推广实函数的凸共轭函数及其次微分的概念,建立了一类关于集值函数的广义共轭函数及其次微分理论——集值函数的(H,Ω)共轭函数及(H,Ω)次微分理论。这一理论可以用来建立非线性规划问题的一类对偶性原理。     

无私的探索、公有的财富--"科学社会学之父"默顿的生平与成就

默顿虽出身寒门,但从未产生"被剥夺感".从孩童开始,就善于利用各种"公共资本"--从费城的卡内基图书馆,到哈佛的名师益友,到哥伦比亚的同事弟子.漫长的一生充满着"偶发奇缘",不懈的探索,丰富了人类知识的宝库.     

VB+SQL快速参数查询及报表实现

通过实例介绍了VB＋SQL数据库快速参数查询及报表功能的实现，研究了参数查询。给出了如何使用ADO Command对象创建快速参数查询的方法；研究了参数报表，给出了快速参数报表的实现方法。     

以企业核心竞争力的提高促进物流业态的转型

随着社会经济的发展，物流业正蓬勃发展起来。核心竞争力是我国物流企业参与激烈的市场竞争的基础和关键。在传统储运业向现代物流业转型过程中，要突破障碍，依托提升企业核心竞争力，才能使企业立于不败之地。本文站在物流企业的角度，详尽分析物流企业的核心竞争力，以及借助提高核心竞争力，加快传统储运业向现代物流转型的四种模式的基础上，有针对性的提出促进我国物流业态转型的对策，以提高我国物流企业的竞争能力。改善物流服务水平。