Optimal maintenance and replacement of extraction machinery

This paper considers a problem of optimal preventive maintenance and replacement schedule of equipment devoted to extracting resources from known deposits. Typical examples are oil drills, mine shovels, etc. At most one replacement of the existing machinery by a new one is allowed. The problem is formulated as an optimal control problem subject to the state constraint that the remaining deposit at any given time is nonnegative. We show that the optimal preventive maintenance, production rates, and the replacement and salvage times of the existing machinery and the new one, if required, can be obtained by solving sequentially a series of free-end-point optimal control problems. Moreover, an algorithm based on this result is developed and used to solve two illustrative examples.     

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.     

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.     

SIAR体制下单基地MIMO雷达距离高分辨研究

常规脉冲压缩处理只针对单根天线单一载频单次回波,对于MIMO雷达,由于发射采用多载频信号,回波信号通道分离后若能进行带宽合成,则相应距离分辨率会比单根天线提高数倍,有利于后续检测与跟踪。针对MIMO雷达设计中调频带宽和载频差的不同选取,分别采用时频域频谱拼接及频谱外推与Root MUSIC算法相结合的方法,得到目标高分辨距离像。仿真结果验证了该方法的正确性。     

基于状态-动作模型的中继卫星操作规划问题建模

通过分析中继卫星操作规划问题特点,提出一种基于状态-动作模型的任务规划建模方法。采用PDDL语言对中继卫星的领域知识进行描述,解决动作的持续时间约束、复杂资源约束以及一类特殊的外部事件的表达问题。最终建立的中继卫星操作规划模型表明,该方法较传统规划建模方法具有更强的描述能力。通过引入领域知识将操作任务规划问题分解为规模较小的子规划问题,并给出子任务对应的可选动作集合,从而减小了规划解的搜索空间,提高了求解效率。     

载人航天器回收着陆半实物仿真系统研究

介绍了载人航天器回收着陆半实物仿真系统的需求、设计方案和框架结构。针对回收程控装置工作的特点和载人航天器回收过程的动力学特性,在面向对象的基础上建立了由指令和时间触发的分阶段的物伞系统整个飞行过程的动力学模型。与其他降落伞软件系统相比,该系统为国内外首次搭建的物伞系统整个飞行过程的半实物仿真软件。     

相控阵雷达相干视频信号建模与仿真方法研究

针对导弹防御系统中典型地基相控阵雷达系统的仿真应用,经过对相控阵雷达的系统结构和工作原理的分析,研究了相控阵雷达相干视频信号建模方法,给出了相控阵雷达相干视频信号仿真系统的框架结构、关键模型和仿真流程,并实现了实际的仿真软件系统,为导弹防御系统中典型地基相控阵雷达的分析研究提供了平台支持。仿真结果验证了建模方法和数学模型的有效性、正确性。     

空间监视卫星捕获识别能力建模与仿真

首先在监视载荷性能指标模型和空间目标特征模型的基础上,建立便于仿真的捕获识别能力模型。接着利用VC++6.0设计开发空间监视卫星捕获识别能力仿真软件,通过不同监视轨道和不同监视载荷及其组合,对不同空间目标的捕获识别能力进行仿真。最后得到了有关监视轨道选取和载荷搭配的结论。     

基于仿真的闭环反导舰炮效能评定

根据闭环反导舰炮的误差分类和闭环校正原理,建立了一次射击过程中各类射击误差序列的仿真模型,给出了脱靶量估计的卡尔曼滤波方程,较详细地仿真了闭环反导舰炮的脱靶量估计和闭环校正过程。针对闭环舰炮所射击的来袭导弹目标特点,建立了射击提前点解算、目标命中面积计算等仿真中所涉及的数学模型。还给出了命中事件模拟、毁伤事件模拟和仿真次数计算的方法,从而建立了闭环反导舰炮对导弹目标射击一个航路的完整仿真数学模型。最后给出了仿真结果,进行了简单分析。     

Principle,Method of Object-Relation Hypermedia Data Model and Its Application in the Multimedia Spatial Data Management

1.THEPriNCIPLEOFO-RHDM1.1AnalysisoftheExistingMultimediaDataModelThemultimediadatamodelisthekeytechniquefortherealizationofmultimediaspatialinformationmanagement.ThepresentexistingmultimediadatamodelmainlyincludesNFZmultimediadatamodel,object-originalmultimediadatamodelandhyper-mediadatamodelandsoon.Thoughthesethreekindsofmodelcanrealizetheorganizationandmanagementforthemultimediadatainacertaindegree,allofthemhavesomeweaknessduringthespecificuseinspatialmultimediadatamanagement.1.1.1…