建模工具SIMDEMO在体系对抗中的应用

介绍了面向领域的建模工具SIMDEMO,并对其在武器装备体系对抗建模中的应用进行了研究。描述了SIMDEMO的应用环境和模式,分析了其功能结构。对体系对抗建模所涉及的概念模型进行了抽象;针对其专属概念,在反射式工具架构基础之上,对SIMDEMO进行了定制;基于多视图建模方法,给出了体系对抗建模的过程指导。     

新课改背景下职前英语教师教育课程建设面临的挑战及思考

随着中国教育改革的不断深入和素质教育的不断发展,英语教师教育改革刻不容缓。文章对新课改背景下英语教师所面临问题进行了分析,并对高校英语教育本科专业如何面对新课改对人才的需求进行了思考。文章指出课程体系是人才培养规格和目标的集中体现,英语教育本科专业课程建设应进一步建立科学的课程设置体系,加强实践教学环节,丰富教学实践内容,与中小学建立教学科研合作伙伴关系,体现教育人才素质培养和富有创新思想的培养目标。     

MGR-SAT:一种基于流模板的多粒度可重构数字信号处理器

面对需求各异的数字信号处理应用,当前主流的通用处理器、DSP、ASIC和FPGA不能同时满足各应用在成本、功耗、性能、灵活性方面的要求.针对这些问题,结合流处理技术、可重构技术和平台技术,提出一种基于流模板的多粒度可重构数字信号处理器MGR-SAT.MGR-SAT利用流处理技术来解耦合数据运算与访存,提供多种粒度的大规...     

基于Verilog语言的边界扫描结构设计

以对74290IP核加载边界扫描结构为例,采用硬件描述语言Verilog对边界扫描结构进行了模块化设计,并进行了边界扫描测试仿真。结果表明：加载边界扫描结构后的核心逻辑能够实现功能内测试和外部互联测试。该设计方法简单可行,具有一定的通用性,为智能BIT设计、装备健康管理设计中的底层数据采集提供了技术支撑。     

基于阵列法检测的激光驾束制导信息场特征提取技术

改变了传统激光驾束制导信息场阵元法检测模式,基于信号处理及阵列法检测技术,构建了制导信息场的检测系统,阐述了基于阵列法检测的信息场评估方法,详细介绍了信息场特征提取技术和硬件实现方法。该方法解决了信息场检测校准精度要求高、过程复杂、人员需求数量多等诸多难题,减少了检测对制导激光器的损伤,使用简便、快捷、高效,已被应用于多种激光驾束制导设备的检测。     

计算机模拟对抗演习辅助讲评系统研究

针对提高计算机模拟对抗演习系统训练效果的需求,提出与计算机模拟对抗演习系统配套使用的辅助讲评系统。在确定系统设计目标的基础上,设计了系统总体结构,分析了各子系统的主要功能,阐述了系统数据流程,最后实现了原型系统。该系统通过记录对抗演习过程中产生的大量历史数据,在演习结束或者阶段结束后进行数据采集、分析和回放,以辅助导演部或指挥员对演习过程做出全面客观的评价,从而达到帮助参演人员对演习过程进行分析评估、查找问题、总结经验教训的目的。     

基于声望模型的无线Mesh网络多信道MAC协议

文章针对现有多信道动态接入协议在数据信道接入中存在冲突概率较大,数据报文传输成功率较低的问题,提出了一种基于声望模型的信道分配算法。该算法通过引入遗忘因子来反映历史经验对当前信道选择的影响,并根据链路接收方节点中可用信道的声望值大小,选取出期望传输成功率最高的信道。仿真表明该算法在相同网络环境中,能有效提高数据报文传输的成功率,增加网络的整体吞吐量。     

基于超动态测试系统的压力传感器标定技术研究

针对油气爆炸发展过程中压力测量的需要,提出了一种压力传感器标定的新方法。该方法基于超动态测试系统,操作简单,精度可靠,并采用最小二乘法对各测试点进行了拟合,得到了压力传感器的标定系数和其它基本性能指标,保证了测试过程中压力的准确性和精度。可在其它类似的测试系统中应用。     

基于空间几何法的目视探测地面目标模型

通过模仿对地攻击机上飞行员的目视搜索发现地面可视目标的过程,建立了其空间几何模型;通过该几何模型得到目视搜索发现目标的数学模型;根据实际情况对模型进行简化,得到简化模型.该模型可信度高,能有效地提高作战效能评估的准确性,对于指挥决策部门和设计单位有一定的参考意义.     

Quay crane scheduling at container terminals to minimize the maximum relative tardiness of vessel departures

In this paper, we study the problem of scheduling quay cranes (QCs) at container terminals where incoming vessels have different ready times. The objective is to minimize the maximum relative tardiness of vessel departures. The problem can be formulated as a mixed integer linear programming (MILP) model of large size that is difficult to solve directly. We propose a heuristic decomposition approach to breakdown the problem into two smaller, linked models, the vessel‐level and the berth‐level models. With the same berth‐level model, two heuristic methods are developed using different vessel‐level models. Computational experiments show that the proposed approach is effective and efficient. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2006