Design and implementation of DBC based on dynamic AOP

Traditional approach of design by contract, due to mixing the contract code with application code, is difficult for the extensibility and reusability of software system. This paper presents a framework named JADBC for design by contract based on Aspect-Oriented Programming (AOP) to resolve these problems. By providing a new modularized element, aspect, the framework successfully separates the contracts in design by contract, from functional codes. The implementation of this framework is based on dynamic AOP which can have the contract changed at runtime, consequently, enhancing program flexibility. JADBC framework modularizes the contracts in a clear-cut fashion that is easier to design, implement, and maintain. Biography: WEN Jing (1982–), female, Ph.D. candidate, research directions: software engineer, aspect-oriented software development.     

基于动态RCS的无人机航迹实时规划方法研究

为了提高无人机的生存能力,针对不确定飞行环境的无人机航迹规划问题展开研究,提出了一种基于RCS的无人机航迹实时规划方法,建立了相关计算模型,提出合理的代价函数,并采用多阶段分析博弈评估算法对航迹进行优化。仿真结果表明,基于动态RCS的无人机航迹实时规划方法能够比较好的解决无人机的航迹规划问题。     

管理会计发展分析

简述了管理会计在我国的应用现状,分析了其应用效果不理想的原因,探讨了管理会计的研究方法及发展思路。     

燃气机热泵控制系统实验研究

应用先进流量控制策略研制了燃气机热泵PLC控制系统,采用增量式PID和模糊控制方法进行实验分析.结果表明,在正常运行阶段,增量式PID控制方法能够满足实验要求,但在大范围变工况情况下,适用性不强;而模糊控制则能较好地适应燃气机热泵系统的变容量调节,易于实现系统的优化运行.     

(2+1)维KdV方程的Gramm解及其pfaffian化

给出（2＋1）维KdV方程的Gramm解，并应用P如P faffianization方法，推导出（2＋1）维KdV方程的耦舍系统及其Gramm型pfaffian解。     

短期生产计划中产品完成期的动态决策

生产计划和决策是一个企业成功运营的关键。在研究了产品完成期的基础上提出了动态甘特图 ,用于短期生产计划中产品完成期的动态决策。该动态甘特图具有形象、直观和易于决策等特点。仿真结果表明了它的有效性。     

基于动态二值化技术的交通流量实时微机检测方法的研究

本语文介绍了一种基于ＰＣＩ总线的微机图像处理和分析系统，提出了一种新的动态二值化技术，并运用于该系统。这种技术不仅能够实时采集、显示序列图像，而且能够实时检测、显示车流量。研究结果显示了这种方法的可行性和实用性。     

地基动力转动压缩对高层建筑自振频率的影响

在将高层建筑连续化等代为一等截面圆筒体的基础上［1］，揭示地基土动力压缩而引起筒体结构基础的转动对自振频率的影响，并推导出相应的公式.     

体能测试时间安排的优化模型

运用"黑箱思想"、"动态规划"和"0-1规划"的方法建立了一个动态优化模型.研究了如何合理安排各班体能测试时间的问题.     

带液芯控制的异型坯连铸二冷区动态控制模型

本文以马钢三炼钢异形坯连铸机为目标机型 ,在凝固传热数学模型的基础上 ,自行开发了一种带液芯控制的异型坯连铸二冷区动态控制模型。采用切片法进行目标温度的动态跟踪 ,通过计算机仿真验证了模型的可靠性