塔里木大学校长基金(TDZKSS201320)
- 作品数：4 被引量：13H指数：3
- 相关作者：高贤强陈立平苏博妮化希耀李旭更多>>
- 相关机构：塔里木大学上海海事大学更多>>
- 发文基金：塔里木大学校长基金国家自然科学基金国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Android系统的AppWidgetProvider分析
- 2014年
- AppWidget在Android客户端开发中十分常见,它可以给用户提供一些快捷操作。本文从研究开发AppWidgetProvider角度出发,深入分析了AppWidgetProvider在整个AppWidget体系中所扮演的角色。
- 高贤强
- 关键词：ANDROID
- 基于Android平台的西域文化博物馆研究与设计被引量：3
- 2015年
- 针对基于传统互联网的西域文化博物馆平台不能实现随时随地浏览的现状,本设计采用Html5、Java、Jsp等开发语言,Mysql开源数据库,在Google Android操作系统下,依据主流分辨率的智能移动终端,对基于移动互联网的西域文化博物馆海量复杂数据信息进行研究,建成基于移动终端的WAP平台,以满足用户随时随地查阅馆内信息的需要,促进西域文化研究院信息化建设,同时更好的促进西域文化信息的传播。
- 高贤强李旭刘美华
- 关键词：移动互联网西域文化博物馆WAP
- 模型检测技术研究综述被引量：4
- 2013年
- 从模型检测技术的研究背景入手,首先阐述了模型检测技术的基本原理和过程。然后介绍了制约模型检测技术发展的状态爆炸问题和一些状态约简技术,包括符号模型检测、on-the-fly技术、偏序归约和抽象技术,并对SPIN、NuSMV、UPPAAL和PAT等模型检测工具进行了介绍和比较。最后总结了模型检测技术在新的应用领域、工具研制、算法研究和与其它技术相结合等几个方面的研究进展。可为今后进一步对并发和实时系统进行建模、仿真和验证提供借鉴和参考。
- 化希耀苏博妮陈立平高贤强
- 关键词：形式化验证
- 计算机自动更改网络配置的研究与实现被引量：6
- 2014年
- 目前大部分高校机房和计算机集中管理的场所在安装操作系统后,通常采用人工方式修改计算机名、用户名、IP地址等网络配置。本文在研究计算机网络配置的基础上,设计和实现了计算机名、用户名、IP地址等的自动更改。实验结果表明,本研究减少了实验人员的维护工作量,节省了人力和时间,提高了效率。
- 高贤强
- 关键词：高校机房计算机网络配置
