期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

省级国土资源综合统计分析系统研究 被引量：2

Research of the Provincial Land and Resources Comprehensive Statistics and Analysis System
下载PDF
导出
摘要 实践证明广西国土资源综合统计分析系统能有效地支撑和服务业务管理工作,协助编制国土资源相关的统计报告,及时反映和展示国土资源现状、规划、保护和开发利用水平。因此,结合当前国土资源综合统计分析业务需求,基于数据库、B/S模式、Flex、ASP.NET、虚拟化等关键技术,介绍了省级国土资源综合统计分析系统的系统建设目标和系统总体架构,并对系统功能进行了详细设计,以期为国土资源综合统计分析系统研究提供思路和参考。 The system can help author land and resources statistics reports,reflecting and presenting the status quo,planning,protection,development and utilization levels of the land and resources.Combined with the current business requirements of the comprehensive statistical analysis of land and resources and based on the database,B/S module,Flex,ASP.NET,virtualization and other key technologies,the paper introduces the construction target and the overall architecture of the provincial land and resources comprehensive statistics and analysis system.The detailed design of system functions are elaborated.Practice indicates that the comprehensive statistics and analysis system of Land and Resources of Guangxi Zhuang Autonomous Region can effectively support and serve the business management.It offers some ideas and reference to relative studies of the comprehensive statistics and analysis system of land and resources.
作者 周显芳
机构地区 广西国土资源信息中心
出处 《软件工程》 2016年第7期35-37,共3页 Software Engineering
基金 重大课题专项研究GXZC2012-G3-31113-GT A标资助
关键词 国土资源 统计分析 系统 land and resources statistics and analysis system
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献3

二级参考文献54

  • 1Lee EA. Cyber physical systems: Design challenges. In: Proc. of the llth IEEE Int'l Symp. on Object Oriented Real-Time Distributed Computing (ISORC 2008). Orlando: IEEE, 2008. 363-369. [doi: 10.1109/ISORC.2008.25].
  • 2Gliick PR, Holzmann GJ. Using SPIN model checking for flight software verification. In: Proc. of the Aerospace Conf. IEEE, 2002. 105-113. [doi: 10.1109/AERO.2002.1036832].
  • 3Clarke EM, Zuliani P. Statistical model checking for cyber-physical systems. In: Proc. of the Automated Technology for Verification and Analysis (ATVA 2011). LNCS 6996, Springer-Verlag, 2011.1-12. [doi: 10.1007/978-3-642-24372-1_1 ].
  • 4Younes HLS. Ymer: A statistical model checker. In: Proc. of the 17th Int'l Conf. on Computer Aided Verification. LNCS 3576, Springer-Verlag, 2005. [doi: 10.1007/11513988_43].
  • 5David A, Larsen KG, Legay A, Miku:ionis M. Schedulability of Herschel-Planck revisited using statistical model checking. In: Proc. of the 5th Int'l Symp. on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012). LNCS 7610, Springer-Verlag, 2012. 293-307. [doi: 10.1007/978-3-642-34032-1_28].
  • 6Jeannin JB, Platzer A. dTL2: Differential temporal dynamic logic with nested temporalities for hybrid systems. In: Proc. of the 7th Int'l Joint Conf. on Automated Reasoning (IJCAR 2014). LNCS 8562, Springer-Verlag, 2014. 292-306. [doi: 10.1007/978-3-319- 08587-6_22].
  • 7Platzer A. Logics of dynamical systems. In: Proc. of the 27th Annual ACM/IEEE Symp. on Logic in Computer Science (LICS 2012). IEEE, 2012. 541-550. [doi: 10.1109/LICS.2012.13].
  • 8Banerjee A, Gupta SKS. Spatio-Temporal hybrid automata for safe cyber-physical systems: A medical case study. In: Proc. of ACM/IEEE the 4th Int'l Conf. on Cyber-Physical Systems (ICCPS 2013). ACM Press, 2013. 71-80. [doi: 10.1109/ICCPS.2013. 6604001 ].
  • 9Johnson TT, Mitra S. Parametrized verification of distributed cyber-physical systems: An aircraft landing protocol case study. In: Proc. of the IEEE/ACM 3rd Int'l Conf. on Cyber-Physical Systems (ICCPS 2012). IEEE Computer Society, 2012. 161-170. [doi: 10.1109/ICCPS.2012.24].
  • 10Davis RI. A review of fixed priority and EDF scheduling for hard real-time uniprocessor systems. ACM SIGBED Review, 2014,11 (1):8-19. [doi: 10.1145/2597457.2597458].

共引文献11

同被引文献10

引证文献2

二级引证文献5

软件工程
2016年 第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部