基于UML的可信概念模型

随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描述了可信性质、可信威胁和可信保障技术的UML模型,其中重点介绍了系统失效机理和系统容错技术的概念模型.最后,指出以UML为基础的软件可信技术有可能成为开发高可信性计算机系统的发展趋势.

计算机网络管理困境与对策

随着5G时代的到来,网络业务的快速部署能力和网络运维能力需求对网络管理提出了新的挑战。一方面,网络正在进行功能虚拟化转型,切片和微服务使网络更复杂;另一方面,网络管理人员需要更加简单的自动化工具集合支持按需、实时、灵活的网络服务。分析了当前网络管理面临的困境和产生困境的原因,提出了网络自主管理研究框架,为进一步研究提供参考。

湘西地区地貌旅游资源的开发与保护

通过实地调查和相关文献资料的整理、分析,对湘西地区地貌旅游资源的基本类型、主要地貌风景区进行了研究.研究表明:本区地貌旅游资源包括石英砂岩峰林地貌、喀斯特地貌、丹霞地貌等类型,具有分布广、数量多、种类全、品质优等显著特点.同时指出了本区资源的开发现状及存在主要问题(基础设施落后、缺乏整体开发保护意识、生态环境破坏严重等),提出了资源开发和保护的建议.

基于PSR模型的湘西州建设用地需求控制

湘西州社会经济快速发展进程中的建设用地需求不断扩张,供需矛盾日趋尖锐,确定合理的建设用地规模,对区域社会经济的可持续发展具有现实意义.运用系统工程学中的压力-状态-响应(PSR)模型,分析导致湘西州建设用地需求扩张的人口和固定资产投资压力机制,构建了建设用地需求的PSR模型.以此为基础,根据2000—2008年湘西州数据,确定湘西州2008—2020年建设用地需求控制规模为3 233hm2.

方面单元测试框架的设计与实现

缺乏成熟的方面测试和方面冲突检测技术是阻碍面向方面软件编程大规模应用的瓶颈性问题。针对方面单元测试,提出了无需与基模块编织的方面单元的独立测试框架AJUnit。该框架运用Java注释和源码与字节码映射等技术实现编译细节的透明化。基于控制流和数据流分析,AJUnit综合运用随机测试数据生成、相对测试充分性准则的优化和指定路径的测试数据生成等技术实现测试过程的自动化。文中也介绍了以AJUnit为基础的方面单元测试工具的设计和实现。

基于AOP技术的软件性质监控框架

针对软件运行时可信保障存在的相关问题,提出了基于AOP技术的软件性质监控框架。本框架使用OCL(Object Constraint Language)和UML Profile的SPT(Schedulability,Performance and Time)规范实现了软件性质在模型上的描述,基于描述并独立于被监控软件自动生成监控方面,将监控方面编织入被监控软件,从而使被监控软件具有运行时软件性质监控能力。

台装潜射“鱼叉”难成气候

最近，香港的《东方日报》、《文汇报》和台湾的《联合报》等媒体，纷纷转载最新一期《简氏防务周刊》的报道称，台湾海军现役的“海龙”、“海虎”两艘“剑龙”级潜艇，将在美国麦道公司的指导下，加装潜射“鱼叉”反舰导弹。