综合舰桥信息系统集成处理技术研究

随着科技的不断进步,在舰船的综合导航系统中使用最多的就是综合舰桥系统。其主要的优势就是将导航与操控融合在一起,这样不仅提高了系统的性能,而且还降低了燃料的消耗。综合舰桥系统为舰船提供了真实可靠的位置、速度等信息,从而也提高了舰船行驶的安全性。为此,本文介绍了综合舰桥信息系统的基本内容和结构设计,探讨了其集成处理技术。     

仿真固沙灌木防风固沙林配置模式研究与示范

该项目针对干旱区防沙固沙林体系存在的植被衰败、植物固沙困难的现实，观测梭梭、白刺、油蒿、花棒和红砂个体构型与其防风固沙效能，建立仿真固沙灌木标准化生产构型参数，研制形成3种仿真固沙灌木。将其应用到退化防风固沙林恢复，建立仿真固沙灌木纯林和仿真固沙灌木＋梭梭灌木林。仿真固沙灌木组成或恢复退化防护林操作简便，可重复、多次利用，设置不受季节影响，具有四季防护的特点，防风固沙效果良好。     

活性二氧化锰在有机氧化反应中的应用

综述了二氧化锰的组成、结构、性质及在有机合成中的应用,重点介绍了活性二氧化锰在有机氧化反应中的应用.对活性二氧化锰作为化学氧化剂的选择性氧化性能进行了介绍,并对其选择氧化技术的发展趋势和动向进行了展望.     

中国特色经济地理学构建初探

通过分析西方发达国家与我国不同的经济发展阶段、经济地理学的学科定位及国家社会文化环境,探索中国特色经济地理学的特殊之处,提出构建中国特色经济地理学的可能性.总结中国特色经济地理学构建的三个重要基点:反映发展中大国快速发展的经济地理特殊事实并给出解释;基于地理学的研究框架并吸纳经济学的相关理论;中国特殊的政治制度和文化传统对经济地理现象的重要影响.     

三明市城市冠层山谷风特征研究

利用三明市区9个自动气象站2021年1—12月逐日逐时风向、风速资料,研究三明市城市冠层山谷风特征。结果表明,各站点山谷风日数相差很大,冠层顶部和中上部山谷风日明显多于中下部;城市东西两侧冠层顶部和中上部山谷风环流特征均非常明显;山风和谷风之间的转换时间跨度可达4～5小时;从实测风中剥离系统风后的山谷风变化特征研究更具有科学性和代表性;各站点谷风风速均明显大于山风风速。     

滇黔北地区筇竹寺组元素地球化学特征及古环境意义

南方下志留统龙马溪组页岩气已实现规模效益开发,下寒武统筇竹寺组为滇黔北地区潜在的页岩气接替层系.筇竹寺组页岩元素地球化学特征及形成的古环境研究,对于筇竹寺组页岩气评层选区具有一定的指导作用.通过A井筇竹寺组有机碳、主微量元素和稀土元素的系统测试,结合测井资料,按层段分析A井黑色页岩相关元素地球化学参数的变化特征,探讨黑...     

常温纳米压印软模具变形机理研究

通过对软模具变形的理论分析、数值模拟和实验验证的系统研究,以期揭示模具变形的机理、规律和关键影响因素,为探索减小模具变形策略和方法,提高纳米压印复型精度奠定理论基础,以实现高保真度纳米或亚纳米图型的转移．     

具有差分服务支持能力的增强型IEEE802．11多址接入协议的建模与分析

随着无线接入技术的快速发展,要求无线局域网具备差分服务的支持能力．然而目前的无线局域网标准,如IEEE802．11分布式协调功能（DCF）,缺乏对多业务的支持能力．人们正在制定出具有差分服务支持能力的增强型多址接入协议．文中集中研究了3种具有差分服务支持能力的多址接入机制,即为不同业务类型分配不同的“最小竞争窗尺寸”、不同的帧间间隔（IFS）以及不同的分组有效负荷,提出了可以计算出系统通过率以及分组延迟的分析模型,给出了近似分析结果,通过与离散事件仿真进行对比表明,使用所提出的分析模型可以得到较好的性能估计。     

设计模式指导的软件分簇方法

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.