刘博
- 作品数：11 被引量：44H指数：5
- 供职机构：陕西师范大学计算机科学学院更多>>
- 发文基金：中央高校基本科研业务费专项资金陕西省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学理学历史地理更多>>
- 浐河灞河流域新石器时代遗址人地关系的数学模型研究被引量：7
- 2007年
- 以新石器时代遗址人地关系为主要研究目标,本文研究了西安地区灞河、沪河流域新石器时代遗址特征,确定了可量化表征因素,采用多项式逐步回归方法建立了新石器时代遗址与河流之间人地关系的数学模型。模型表明遗址距河流距离与遗址面积、河流流量、遗址位置、河流比降有显著关系。模型运算结果表明研究区域新石器时代遗址与河流之间关系符合考古学研究结论,构建的数学模型对西安地区新石器时代遗址点群考古发掘具有前瞻性指导作用,对新石器时代遗址环境考古具有重要意义。
- 张虎勤刘博赵文明
- 关键词：新石器时代遗址人地关系
- 基于NuSMV的AADL行为模型验证的探究被引量：8
- 2012年
- 鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构和NuSMV模型的验证方法。文中首先对当前的AADL发展情况作简单介绍,然后对NuSMV验证模型的结构作大致分析,在随后的文章中对NuSMV的验证过程作详细的介绍。与此同时,使用具体的汽车巡航控制系统作为实例进行具体分析。文中通过测试用例执行输出进行验证来判断该方法的正确性。
- 刘博李蜀瑜
- 浐河流域新石器时代遗址人地关系特征因素研究被引量：7
- 2005年
- 对西安浐河流域新石器时代聚落遗址群的考古资料相关数据进行分析、归类和研究,确定了表述新石器时代遗址人地关系的特征因素.用特征因素表述了新石器时代遗址的人地关系,建立了遗址人地关系的计算机交互系统,关联分析了遗址特征因素之间的相互作用关系.
- 刘博张虎勤
- 关键词：新石器时代遗址人地关系
- ISTREM软件测试可靠性评估方法研究
- 2014年
- 在航空电子系统软件测试的背景上,对ARINC653平台燃油模块在Testbed测试平台上的测试用例进行统计,得出实际测试案例分布服从特殊泊松的数学特征。根据软件测试的时间依赖性提出一种新的可靠性评估模型ISTREM,并且求得软件测试用例的失效率,从而对软件进行可靠性评估,解决了软件测试可靠性评估过程复杂且计算量较大并且忽略时间依赖性的问题。在Matlab平台上对软件系统(燃油模块)的测试可靠性进行评估,得出实验结果,并且提出不足。
- 刘博李蜀瑜
- 关键词：软件测试ARINC653可靠性评估
- 浅谈西部地区中小学信息技术教师继续教育的研究被引量：1
- 2007年
- 提高西部地区中小学信息技术教育应从源头抓起，教师在信息技术教育中起着核心作用。通过剖析西部地区中小学信息技术教育的现状及对西部地区信息技术教育教师素质潜在问题分析，阐述现阶段西部地区信息技术教育所面临的困境，探求提高信息技术教育及教师素质的新途径。
- 张麦侠强雪刘博
- 关键词：信息技术教育教师素质继续教育
- 基于NuSMV的AADL行为模型验证的探究
- 鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景，为了在嵌入式软件系统开发前期保证AADL模型的质量，提出了一种基于模型测试的AADL架构和NuSMV模型的验证方法。文中首先对当前的A...
- 刘博李蜀瑜
- 关键词：软件系统
- 一种面向CoSy编译框架的编译优化开发方法被引量：2
- 2013年
- 鉴于编译器在系统开发中日趋重要的地位和CoSy在编译器开发中的良好应用前景,文中引入并介绍了基于CoSy的编译器开发的整体流程,并且指出了开发过程中遇到的重点问题和难点问题。文章对编译器开发的主要工作和内容进行介绍,对编译过程进行详细分析,其中对编译器中间代码的优化进行了详细讲解,对窥孔优化思想做了详细介绍。最后,在文章末尾引入具体的开发实例并且结合窥孔优化思想进行具体分析,从而更好地体现基于CoSy的编译器开发方法的优势。
- 刘博李蜀瑜阮园
- 关键词：COSYDFG窥孔优化
- 计算机网络管理系统及其展望被引量：2
- 2001年
- 本文就网络管理的基本概念及功能模型作了简单介绍,并对SNMP及网络管理系统的典型体系结构进行了分析,提出了新一代网络管理系统应具有的特征.
- 刘博
- 关键词：网络管理SNMP性能管理故障管理传输协议
- 移动互联网中一种移动学习方案的设计与原型实现被引量：6
- 2015年
- 以移动教育方面的三方应用场景为例,设计并实现了一个面向精品课程和开放课程的移动学习系统原型,实现了网络教学资源整合。根据现行主流移动智能终端的特点,针对触摸屏移动智能终端因误操作引起的计算资源和通信资源浪费现象,给出了一个有三方参与的应用系统场景中,可行的减少误操作的应用方法。通过使用确定型有限自动机的方法验证了系统的正确性。测试表明,该方法可以有效降低应用场景中代理服务模块和资源服务模块的工作压力,提高用户体验度。
- 丁亦喆魏刃佳刘博吴振强
- 关键词：移动互联网精品课程开放课程
- 现代计算机网络管理技术及其发展被引量：11
- 2001年
- 概述了当前计算机网络管理技术的发展状况 ,对分布对象网络管理技术与基于Web的网络管理模式进行了讨论 。
- 刘博
- 关键词：网络管理CORBAJAVA计算机网络
