基于多层次Petri网的软件保障流程建模

软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。     

关于工程建设管理模式采用BT模式的探索

工程项目管理目标的实现,关键在于建设单位必须确定合理的、适用的工程建设管理模式,而管理模式的选择取决于工程特性和建设单位对工程的要求.BT模式近年来在国内外取得了较大的发展,较好地解决了因为建设单位资金紧张而不能实施工程的难题.分析了BT模式在降低建设期风险和缩短工期、控制工程总造价等方面的优点,同时也指出了相应的组织管理体制和项目管理人员缺乏、工程总体筹划能力缺乏、监理体制不能满足BT工程要求等方面的缺点.结合某新建校区工程,分析了应用BT模式的可行性,从克服BT模式缺点,发扬其优点的角度出发,提出了采用BT模式的具体设想.     

高密度电阻率法在红卫水库土石坝隐患检测中的应用

高密度电阻率法以其观测密度大、效率高、信息丰富、分辨率高、智能化程度高等优点在采矿、勘探等方面得到了广泛的应用,在堤坝隐患检测方面,同样具有很好的应用前景.阐述了检测土石坝缺陷的现状,介绍了高密度电阻率法的检测原理,对采集到的数据用二维有限元法进行模拟并成像.在对重庆红卫水库土石坝的检测中,检测结果与开挖情况的结果较吻合,并在此基础上提出了隐患修补建议.通过实际工程发现采用高密度电阻率法检测土石坝缺陷是一种成本低、效率高、确实可行的好方法.     

基于时间外推的目标跟踪解析算法及其改进*

为了解决解析算法在解算过程中存在的多解问题,提出一种解的确定方法,通过预测传感器发现目标的时间,给出一种时间递进的解的确定过程。最后,借助于Repast仿真平台,对算法进行了仿真,表明解析算法与线性拟和算法相比,具有更好的精度。     

直升机悬停投雷命中概率仿真

为研究投雷阵位对直升机悬停投雷命中该率的影响,根据直升机悬停投雷过程,建立投雷参数求解模型、鱼雷水下弹道模型和潜艇机动模型,仿真不同阵位下直升机悬停投雷的命中概率。仿真结果表明投雷阵位对鱼雷命中概率有较大影响,直升机投雷存在一最优投雷区域。仿真结论对空投鱼雷作战使用有一定指导意义。     

改进的SIR宽阻带微带带通滤波器设计

利用一种改进SIR谐振器设计交叉耦合微带带通滤波器,实现对滤波器谐波响应的进一步抑制。在此谐振器内部引入SIR谐波抑制结构,并给出了宽阻带滤波器的仿真结果。该滤波器具有较宽的阻带特性,从f0到2.8f0间的抑制约为30 dB以上;从2.8f0到5.3f0间的抑制约为20 dB以上。这种简单的谐波抑制结构既不改变原有滤波器的结构,又不需要更高精度的制作工艺,具有较强的实用性。     

数字中频接收机中的数字AGC的设计与实现

介绍了数字自动增益控制(AGC)技术在数字中频接收机中的实现方法’,提出了利用 DSP Builder模型库设计的一种实用的数字自动增益控制电路,所设计的电路在数字中频接收机系统内工作良好。该数字 AGC具有快速收敛、结构简单、性能稳定和成本低等特点。占用 Altera StratixⅡ FPGA 片上163个自适应逻辑单元(ALUTs)。     

作战文书自动生成系统中内容规划的设计

作战文书拟制是 C3I系统中的重要工作 ,利用自然语言生成理论实现作战文书的自动生成可大大提高文书拟制的效率。通过对大量作战文书文本的仔细分析 ,构造出各类作战文书的 Schem a库 ,并以扩充转移网络图表示。遍历该网络图 ,利用 Schema上的修辞谓词从知识抽取相应的知识 ,便可构造出文书内容。     

某型光电头盔瞄准具原理误差的校正

就某型光电头盔瞄准具扫描部件光学系统具体结构 ,分析研究了其头位测量中十棱镜反射面非共面定轴转动所致原理误差 ,导出了基线校正、测角校正两种校正公式。前者与原技术资料所给出的结果完全吻合 ,后者已成功应用在改型的光电头盔瞄准具中。     

流域变换的串行与并行策略研究

流域变换是数字形态学中用于图像分割的一种经典方法,其并行化问题成为近年来研究的重点。首先给出了流域变换的数学模型,并归纳列举了几种离散情况下的形式化定义;其次分类总结了近年来流域变换串行算法研究的新进展,从而在此基础上重点讨论了相应的并行化策略。详细分析了设计并行流域算法需要考虑的几个问题;并比较评价了现有并行算法的性能特点,得出了一些结论;最后提出了有待进一步研究的问题。