基于形式化方法的软件开发技术

形式化方法作为一种以数学为基础的方法，能够清晰、精确、抽象、简明地规范和验证软件系统及其性质，能够极大地提高软件的安全性和可靠性。本文从形式化方法的研究内容、分类以及发展等方面出发，对基于形式化方法的软件开发的基本思想作了介绍，分析了使用形式化开发软件系统的优势和可靠性.     

基于Web的网络考试系统的应用与研究

现阶段，学校与社会上的各种考试大都采用传统的考试方式，在此方式下，组织一次考试至少要经过五个步骤，即人工出卷、考生考试、人工阅卷、成绩评估和试卷分析。显然，考试工作将是一件十分烦琐和非常容易出错的事情，可以说传统的考试方式已经不能适应现代考试的需要。     

基于形式化方法的软件开发技术

形式化方法作为一种以数学为基础的方法,能够清晰、精确、抽象、简明地规范和验证软件系统及其性质,能够极大地提高软件的安全性和可靠性.本文从形式化方法的研究内容、分类以及发展等方面出发,对基于形式化方法的软件开发的基本思想作了介绍,分析了使用形式化开发软件系统的优势和可靠性.     

基于GPRS的光纤预警系统的设计

为了确保光纤预警系统数据的安全传输和告警信息的实时预警,提出了一种基于GPRS的光纤预警系统的设计与实现,重点阐述了基于GPRS的光纤预警系统应用组网、光纤预警探测终端硬件系统设计、通信协议的设计和软件系统的设计。     

成立软件开发公司提升社会服务能力--基于武汉软件工程职业学院个案研究

以依托软件技术科技研究所成立科技开发公司为例,分析了高职院校社会服务能力建设该条路径的可行性,提出了高职院校社会服务能力建设应注意发挥院校的特点和优势,处理好社会服务能力建设与专业建设、发挥院校示范作用等方面的关系。     

浅谈操作系统中的死锁问题

如何进行合理的资源分配,使操作系统的主要任务之一。本文将着重讨论操作系统在处理资源分配过程中的死锁问题,并给出适当的解决方法。     

一种基于评分矩阵局部低秩假设融合地理和文本信息的协同排名POI推荐模型*

针对目前LBSN中,用户只对少数兴趣点进行签到,使得用户签到历史数据及其上下文信息（如评论文本）极其稀疏,同时传统的评分推荐系统只考虑用户和评分二元信息,具有一定的局限性。为此,提出一种基于评分矩阵局部低秩假设的局部协同排名兴趣点推荐算法。首先,假设用户-兴趣点矩阵在由用户-兴趣点对所定义度量空间中某些邻域内是低秩;其次,对于地理信息建模采用一种自适应二维核密度方法,然后,对于文本信息利用潜在狄利克雷分配模型挖掘兴趣点相关的文本信息建模用户的兴趣主题;最后,基于局部协同排名模型将兴趣点的地理信息和评论文本信息有效融合。实验结果表明:该模型的性能优于主流先进兴趣点推荐算法。     

基于Web的网络考试系统的应用与研究

现阶段,学校与社会上的各种考试大都采用传统的考试方式,在此方式下,组织一次考试至少要经过五个步骤,即人工出卷、考生考试、人工阅卷、成绩评估和试卷分析.显然,考试工作将是一件十分烦琐和非常容易出错的事情,可以说传统的考试方式已经不能适应现代考试的需要.