基于Petri网和GASA的JSP动态分类调度研究

针对车间作业的加工受到机床、操作工人等双资源制约条件下出现多种扰动的JSP调度问题,提出了基于受控Petri网和GASA对不同扰动进行分类处理的新方法。首先通过构建带有控制器的Petri网模型使系统的运行满足期望的目标,然后基于该模型把遗传算法和模拟退火算法相结合,以最小化最大完工时间为目标,基于机床故障修复时间、工人离岗时间及取消订单包含任务的多少进行分类调度,然后根据扰动恢复后剩余任务的多少决定是否进行再次调度,避免大范围调整造成的生产不稳定状态,最大限度的维持车间的生产能力。最后通过实例验证了算法的有效性和可行性。     

基于Q8的电阻炉控制系统的半实物仿真

介绍了一种基于Quanser Q8卡和Simulink的半实物仿真系统的构造与应用方法,搭建起理论仿真研究与实时控制之间的桥梁。以电阻炉控制为例,详细介绍了电阻炉温度控制半实物仿真控制系统中硬件构成及PID控制器的搭建和参数调整方法。给出仿真曲线,控制效果良好。仿真结果的验证过程直观,控制器的参数实时可调,易于操作。     

基于GPU的加权Voronoi图计算

Voronoi图描述了一种对空间按照欧式距离进行的划分,是关于空间邻近关系的一种基础数据结构,在图像处理、城市规划以及地理信息系统等应用中有着重要的地位.顶点加权Voronoi图是Voronoi图的一种扩展,有着更为广泛的应用,但由于其实现的复杂性,相关算法一直比较少.为此,提出了一种基于GPU的加速算法.该算法利用GPU的高效计算特性,能够实时地生成离散的加权Voronoi图.与现有的算法相比,该方法易于实现,同时实验显示算法具有更好的计算性能.     

制造过程资源消耗和环境影响分析模型及应用

制造过程的资源消耗和环境影响可以看成是一系列加工工艺单元资源消耗和环境排放的组合.利用IPO(input-process-output)图建立了一种包括制造过程工艺链及其输入输出关系的框架模型,提出了一种进行加工工艺资源消耗和环境影响之间关联性分析的方法,在此基础上,建立了一种集成各加工工艺输入和输出的制造过程资源消耗和环境影响分析模型.该模型能够对制造过程输入资源和输出环境影响之间的关系进行描述,为通过资源消耗减量化来降低环境排放提供技术支持.结合某阀体的制造过程进行了应用,验证了上述方法和模型的有效性和可行性.     

不完全市场下有违约风险的欧式期权定价

为了研究不完全市场对有违约风险欧式期权定价的影响,结合Klein的有违约风险期权处理方法和Cochrane与Saa-Requejo的不完全市场处理方法给有违约风险的欧式期权定价,得到不完全市场下有违约风险欧式期权的一般化定价公式.进一步推导出一些特定欧式期权的定价公式,并指出这些公式均为一般化定价公式的特例.结果表明定价公式结合了上述两个模型的优点,因此特别适合于给基于不可交易资产有违约风险期权定价.     

一种空战C4KISR仿真系统

导弹制导技术和信息融合技术是C4KISR的关键技术.对导弹半实物仿真系统和C4KISR中的信息融合进行了探讨,提出了一种基于半实物仿真系统和信息融合的空战C4KISR仿真系统框架,将其分成地面指控平台、组网雷达、预警机、战斗机群和导弹等几个子系统,并对其各功能模块进行了详细地研究.仿真初步验证了框架的可行性.     

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.     

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

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

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

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