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.     

不确定奇异系统的Terminal滑模控制

针对一类不确定奇异系统,研究其Terminal滑模控制问题。通过非奇异线性变换把不确定奇异系统变换成受限等价形式,利用Lyapunov函数方法,首次提出了一种新的Terminal滑模控制策略,给出了特殊的Terminal滑模超曲面,设计了相应的滑模控制器,实现了滑模运动,保证了系统状态变量在有限时间内收敛到平衡点。给出数值算例,说明了方法的有效性。     

基于历史数据的测试任务约简和故障诊断

针对部队航电组件测试任务繁重、故障定位率低的问题,提出一种利用历史数据来简化测试任务、提高故障定位率的方法。利用粗糙集信息系统理论,建立了航电组件故障信息系统模型;基于测试任务辨识函数和诊断允许误差对测试任务进行约简;基于最短测试时间选出最优测试任务集;利用贝叶斯最大后验概率进行故障诊断推理,将诊断问题归结为不等式约束极值问题;用0-1规划隐数算法求得最优解。最后以某型飞机惯导部件为例验证了方法的快速有效性。     

X波段瞬态极化雷达射频前端关键技术研究

瞬态极化新体制雷达,通过单脉冲获得瞬时极化散射矩阵来提取目标特征信息,提高了雷达系统在复杂电磁环境中的探测、抗干扰和反隐身等方面能力。基于该雷达工作原理,提出“同时正交双极化”的射频前端设计方案,完成了国内首部瞬态极化雷达试验系统射频前端的研发。采用正交双通道和幅相一致性技术保证了雷达实现瞬态极化的功能,采用滤波技术保证了射频系统的频谱纯度;采用低噪声放大技术有效降低了接收机噪声系数;采用直接频率综合技术提高了射频系统频率稳定度和相参性能;结构集成一体化设计保证了射频收发前端的电磁兼容性能和便携性。射频前端测试结果均优于指标要求,并支持试验系统初步解决了目标极化散射特征提取与识别领域的基础性和共性难题。     

基于改进的圆投影向量的背景补偿方法

针对传统运动背景补偿算法难以适应大角度旋转的应用场合,提出了一种改进的圆投影向量的背景补偿方法。该算法首先利用图像熵自动选择合适的图像参考块,以增强算法的实用性;其次对传统的圆投影向量进行了改进,增加了相位向量以获取背景的旋转参量,并采用核函数定义各像素点的距离权值,从而可以获得更加准确的结果。最后给出了算法步骤,并利用实测数据进行验证。通过仿真实验证明了该算法在各种场景、各种运动情况下的有效性以及对噪声、光照等因素具有鲁棒性。     

含区间参数的战场资源动态调度模型及算法

战场资源调度是作战指挥领域研究的热点.首先描述了战场资源调度问题,分析了战场资源动态调度需求,在此基础上建立了包含区间参数的战场资源动态调度模型.然后设计了三种不同的贪心策略,分别为基本贪心策略、双重贪心策略和一致贪心策略,提出了模型求解的混合贪心算法.最后结合联合作战算例进行了仿真验证,结果表明本文方法可行优越,能应用于不确定性的战场环境中.     

舰船装备维修费单项预测集对分析与组合建模

根据集对分析的基本原理,结合基于误差大小的集对分析组合预测,给出了基于误差方向的集对分析组合预测和基于模型性能的集对分析组合预测;针对基于误差大小的集对分析组合预测建模过程中,从关联度的确定到组合权重的计算过程相对复杂、难以理解,推导简化了组合预测权重计算过程;针对集对分析中同一度为0时导致组合预测模型信息丢失的问题,提出了一种基于折扣的同一度、差异度、对立度转换处理方法。最后算例说明了该方法的有效性。     

准循环LDPC好码设计

现有准循环(QC)LDPC码的设计未考虑避免短环问题与校验矩阵的行相关问题.第一个问题使准循环LDPC码的误码率性能远低于随机LDPC码,第二个问题使得构造生成矩阵非常困难.为解决第一个问题,提出避免短环的准循环LDPC码的设计约束条件,根据四、六环检验结果调整校验矩阵中循环子矩阵的维数和移位因子.为解决第二个问题,提出一种不规则准循环LDPC码的设计方法,该方法将校验矩阵中的特定位置的子矩阵用零矩阵和循环矩阵置换,获得一非奇异方阵,用于构造生成矩阵.虽然在校验矩阵中采用双对角线子矩阵可解决校验矩阵的行相关问题,但是会产生低码重的码字,导致误码率性能不能随码长增加而提高.计算机仿真结果表明,设计的准循环LDPC码具有良好的误码率性能.     

分数布朗运动下欧式汇率期权的定价

应用风险偏好和均衡定价方法,考虑了标的资产服从分数布朗运动下的汇率期权定价问题.首先利用条件期望构建了条件过 程的联合密度函数, 然后,基于历史有限信息推导出分数欧式汇率期权的闭式解. 为了理解定价模型,进一步分析了赫斯特指数对定价 结果的影响. 最后,给出了基于GBP/USD期权的实证研究.不同模型的结果说明了汇率市场具有分形特性.     

基于D2D通信的蜂窝数据分流补偿机制设计

设备到设备(device to device,D2D)通信允许邻近用户使用蜂窝网络频段直接通信,既能分流部分蜂窝数据,减轻基站负担,又能提升服务质量。但由于信息不对称,蜂窝网络不知道用户的类型参数,无法准确提供合理补偿,以激励用户参与数据分流。基于契约理论设计了一种分流补偿机制,首先设计蜂窝网络收益函数和分流用户代价函数及其二者的效用;然后基于用户类型参数服从均匀分布设计补偿机制,验证了该机制能满足个人理性和激励相容条件,分析了该机制的最优性能;最后与正比例补偿机制和完全信息补偿机制进行对比仿真,结果表明,本文设计的分流补偿机制既能保证用户愿意参与数据分流,也鼓励用户报告自身真实的类型参数,还能获得接近于完全信息补偿机制下的效用和性能。