双寡头市场下可替代产品的价格与交付期决策模型

针对价格、时间敏感需求，研究双寡头市场下可替代产品的价格与交付期决策问题。构建了相关决策模型，对模型进行最优性分析，在此基础上提出一个求解最优解的算法。通过数值算例，探讨不同企业及市场特征对竞争策略的影响。研究结论可以为相关企业进行产品价格与交付期决策提供有益的指导。     

一种新的对地定位方法及其精度分析与仿真

提出一种新的无人空中载体对地定位方法。该方法根据GPS／INS组合导航系统测量的载体坐标与姿态角、光轴稳定平台相对于载体的姿态角以及激光测距数据，计算地面目标点的三维维坐标，克服了共线条件方程对地形鲁棒性差和DEM迭代定位算法容易发散的缺点。为分析此方法的定位性能，给出了定位误差分析模型，并通过仿真算例验证了该定位方法的有效性，仿真结果表明目标定位精度满足舰炮作战要求。     

污染物传输的两区非平衡吸附数值仿真模型

考虑不可动水和污染物的非平衡吸附特性以及微生物降解等因素,建立了土壤-水环境中污染物运移的两区非平衡吸附模型。基于自行编制的有限差分程序给出了二维仿真算例,模拟了农药等污染物在土壤-水环境中的运移过程,探讨了在不可动水和非平衡吸附影响下土壤中各相浓度分配的规律。模拟结果表明:土壤各相的浓度变化并不同步。可动水相浓度变化最快,对浓度分布起主导作用;不可动水次之;可动区吸附相浓度变化存在明显的滞后现象;而不可动区吸附相浓度变化最为缓慢,滞后现象最为明显。     

基于预积分体渲染技术的水下三维声场体可视化

海洋水声环境对海军作战具有重要影响。三维可视化技术能够更直观、有效地刻画和描述海洋水声环境,提高作战指挥人员对环境效应的理解和应用。该技术应用OpenGL的多纹理技术,采用预积分体渲染方法对舰艇水下三维声场进行体可视化表达。在对可视化效果的讨论中发现,采用预积分纹理映射方法在不增加切片数量、不增加绘制时间情况下,提高了图形质量,较好的解决了传统切片纹理映射方法的缺点,使指挥人员能够更加清楚地得到此时舰艇水下声传播规律,声场结构,为其制定战术决策提供可靠的技术支持。     

激光制导武器有源干扰的建模与仿真

激光致盲干扰、角度欺骗干扰和高重频干扰是对付激光制导武器的主要手段。但由于缺乏对抗的实物,使计算机仿真技术成为研究激光制导武器对抗技术的主要途径。结合激光制导武器有源干扰技术的特点,在激光制导武器弹道仿真系统的基础上,建立了激光制导武器有源对抗模型,研制了有源干扰下的激光制导武器弹道仿真系统。以比例导引的激光制导炸弹为研究对象,研究了有源干扰对激光制导武器弹道的影响。     

基于自然特征点的实时增强现实注册算法

提出了一种基于自然特征点的实时跟踪注册算法,并将其应用于增强现实系统。算法在已知场景的3D模型以及少量标定关键帧图像的基础上,选择与当前图像最为匹配的关键帧,利用基于关键帧的图像匹配方法实时获取摄像机的运动参数估计。算法采用合成中间图像的技术解决两图像特征点间的宽基线匹配问题,并应用扩展卡尔曼滤波器对参数估计结果进行平滑,以消除系统抖动现象。实验结果表明,算法鲁棒性强,注册精度高,能够有效地克服系统误差漂移。     

基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。     

一种基于星型子网的片上网络结构研究

提出了一种基于星型子网的片上网络结构SSBM NoC（Star-Subnet-Based-MeshNoC）,它在已有网格状结构的基础上引入了子网的概念,并在子网内使用星型拓扑结构来连接一个交换机与四个网络节点。OPNET仿真结果表明,在同等网络规模下SSBM结构较之单纯的二维网格状结构具有更少的端到端通信延时,并仅使用其1/4数目的交换机,而交换机的负载则不到其两倍。     

基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

一种基于着色赋时Petri网的Web服务组合建模方法

为了满足日益复杂的Web服务需求,提出了一种扩展的petri网模型,即着色赋时Petri网模型。该模型通过引入时间集合来表示Web服务的触发及运行时间,通过引入颜色集合来区别不同种类的Web服务,使得对Web服务组合的描述更为准确。针对该模型还详细给出了该组合模型的基本运算规则及图形表示。