一种结合阴影补偿的城市高分遥感影像分割方法

随着遥感影像空间分辨率的不断提高,由于阴影导致的弱边缘及虚假边缘等对于准确定位对象边缘所造成的干扰也更加突出。在传统的影像分割中进一步引入阴影补偿策略,在之前所提出的WJSEG算法基础上,通过将阴影视为出界点并利用卡方变换进行阴影识别,提出了一种结合阴影补偿的城市场景高分辨率遥感影像分割算法SWJSEG。实验表明,该方法能够有效应对阴影造成的干扰,有助于更加准确地定位对象边缘,使影像分割的精度及可靠性显著提高。     

光纤监控电视系统的中心监控装置

本文以一个四十八台摄象机和四台监视器的系统为例,介绍一种由MCS-51系列单片机组成的光纤监控电视系统中心监控装置部件的设计考虑。     

形式化B方法到UML类图的转化研究及应用

形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期实现B方法到面向对象编程的无缝连接,并结合免疫系统给出了应用实例。     

基于均匀网下SEIR因特网传播模型的研究

以流行病传播的相关知识研究均匀网络中因特网SEIR病毒的传播模型并进行解析,说明在均匀网络中,如果潜伏转化感染的概率为α=0或者某时刻的潜伏节点的密度与其上一个时刻的比E(t)/E(t-1)不大于平均度时候感染将衰亡.     

CIM建模及模型形式化方法研究综述

以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computation independent model,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是实现高层概念模型至代码自动转换的关键.首先介绍了现有CIM建模内容和方法;然后分析了现有CIM模型形式化方法现状与不足;最后探讨了针对不同应用系统可行的多视图多层次CIM建模方法及一致性问题研究,并提出CIM完全形式化方法研究的可行方案.     

软件需求获取形式化的案例研究

软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧叉性和不一致性,因而难以确认和验证;二是易变性.针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化.实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷.     

少而精和启发式教学刍议

针对目前专业教学中普遍存在的内容多,学时少的矛盾,本文从教学法的观点提出了如何实现少而精、启发式的教学改革。本文从综合、优化教学内容和讲课、学生自学和实践等教学手段诸方面,提出了有效而具体的改革措施,从而真正意义上的做到解决目前专业教学中存在的内容多,学时少的矛盾问题。     

采用数字集成振荡器的调频位移测量新方法

介绍了一种采用数字集成振荡器4047组成的电容传感器位移测量电路,利用89C51单片机的软硬件资源对测量信号进行数据采集和处理,消除了传统调频测量电路的非线性和频率慢漂移的特点,在大大提高测量精度的同时,可根据需要改变灵敏度和分辨率,提高了检测的灵活性.     

基于双机热备系统的RTU可靠性研究

由于山洪灾害突发性强、危害性大、极难防御等问题,因此高可靠的山洪预警系统极为重要.目前国内普遍采用RTU对山洪进行预警.通过建立Markov模型分析单机系统和双机热备系统的状态转换过程,并且通过Matlab进行仿真分析,得出双机热备系统较单机可测系统可以明显提高RTU的可靠性.     

基于工作过程的《信息技术基础》教学模式的研究

以工作过程为导向的高职教育课程体系开发模式是以行动导向为指导思想与工作策略的,它以学生在完成工作任务过程中形成的直接经验的形式来掌握所需的知识、技能和技巧。本课题主要分析我国现阶段职业教育中理论与实践相脱节的问题,并通过工作过程为导向的新型教育手段解决这些问题,探索出真正符合高职教育规律的信息技术基础教学模式,推动职业教育的改革和进一步发展。