共查询到20条相似文献,搜索用时 203 毫秒
1.
使用B方法对磁盘调度建立了B模型,对所建模型进行了活性证明,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠实现模型,最后借助B工具自动生成C代码.研究表明使用B方法能够开发出高可靠性的可复用高效磁盘调度软件. 相似文献
2.
3.
记录日志是项目开发必不可少的部分.能方便、准确的记录日志更是项目开发的首选,本文介绍了如何在项目开发中正确的记录日志. 相似文献
4.
基于逐点比较法的插补轨迹仿真软件 总被引:3,自引:0,他引:3
逐点比较插补算法是轮廓插补的算法之一.对用VB开发的数控插补仿真软件进行了介绍,该软件可实现四象限直线、顺圆和逆圆的插补轨迹的仿真,能使数控技术学习者深刻理解数控机床插补模块的作用,并可为数控系统插补软件的开发提供参考. 相似文献
5.
6.
井间电磁成像技术是监测和描述开采期间油储层动态变化的重要手段之一,它可为分析井间剩余油分布,提高油田滚动勘探和开发中打高效调整井提供重要依据.而井间电磁成像技术的应用难点之一是如何开发出高效的成像处理软件,实现对复杂地层进行高分辨率的井间电磁反演.本文给出了磁场振幅和相位的视电导率反演迭代方法. 相似文献
7.
本文论述了地热资源的属性、开发现状及利用前景,并指出了在开发利用地热资源的过程中存在的问题,提出了解决的办法. 相似文献
8.
甘肃省民风民俗旅游资源丰富多彩,其开发潜力不可限量.本文分析了甘肃省民风民俗旅游资源开发的优势及其意义,提出了开发民风民俗旅游资源的路线构想。 相似文献
9.
ADO开发技术在Visual C++中的实现 总被引:5,自引:0,他引:5
宋耀文 《哈尔滨师范大学自然科学学报》2003,19(5):60-62
ADO是Microsoft开发的基于OLEDB的新的访问接口技术.使用ADO技术开发应用程序可以使程序开发者更容易地控制对数据库的访问,从而产生符合用户需求的数据库访问程序.本文介绍了ADO技术的特色,以及在Visual C 中使用ADO来开发数据库应用程序的基本过程. 相似文献
10.
满语文是中华民族语言文字中的一支,以这种文字记载的大量重要的历史文献,使全世界的学者倍为关注.开发满文的计算机录入软件,方便了满文学习及使用,是传承满族文字、挽救满族文化的需要. 相似文献
11.
随着企业信息化的深入,企业信息管理已经从面向技术的信息管理模式转向面向竞争的信息管理模式.本文在充分调研国内外企业发展战略与投资项目信息管理系统的开发现状后,分析了研究企业发展战略与投资项目信息管理系统的必要性,提出了该信息管理系统结构的总体框架,介绍了系统能够实现的功能,并对系统的应用前景进行了展望. 相似文献
12.
教材管理是高校教务管理中的一个重要环节,它涉及到高校的每一位师生,因其数据量较大,管理工作繁琐,所以高校教材管理的合理与否直接体现了教务部门的工作效率和工作质量。随着高教改革的深入和高校的扩招,传统的手工教材管理方式已经不能适应当前高校的发展,因此学校的教材管理工作急需建立起一套与当今高校发展相一致的教材管理信息系统。为此,本文基于ASP.NET技术,采用三层B/S体系结构,设计了一套高校教材信息管理系统,系统实现了高校教材管理信息化。 相似文献
13.
为了提高闸机信息化管理的水平,基于以太网设计嵌入式闸机监控系统。通过对JFFS2文件系统、网络通信模块、数据库接口模块等的设计,构建运行稳定、可扩展性强的分布式控制系统。该系统以C/S结构为模型,具有闸机监控、设备管理等功能。 相似文献
14.
15.
针对目前社保档案信息在网络化管理中数据安全、数据传输等方面存在的问题,设计了一个基于网络的社保档案管理系统模型,并对系统实现过程中的关键技术进行了分析,在推进社保档案信息的网络化管理进程的同时,也为相关网络管理软件的设计与开发提供了一定的借鉴意义和应用价值. 相似文献
16.
采用Geodatabase空间数据库统一存储和管理校园房产信息中的空间信息和属性信息,应用ArcGIS Engine组件构建校园房产信息管理系统.该系统实现了图形、属性数据的一体化存储与管理,显示建筑物的具体分布以及建筑物各层各个房间的分布情况,并实现图文互查等系统功能,提高了校园房产信息管理的科学性. 相似文献
17.
通过对无人值守变电站设备管理的现状和任务进行的分析,利用SQL Server及Visual Basic开发了无人值守变电站设备管理信息系统,并对该系统进行了需求分析和概念设计. 相似文献
18.
建立基于.NET平台和ArcGIS Engine技术的地名地理信息系统,着重研究系统的总体结构、系统数据组织和管理以及系统功能的设计,通过南宁市地名地理信息系统的设计与实现,实现了地名信息与电子地图的结合,最终实现地名信息数字化、可视化的管理与应用. 相似文献
19.
分析了高职院校校园网中的信息安全隐患问题,从设备管理、技术保证和科学管理三方面入手,提出了保障高职院校校园网信息安全的策略,为科学构建高职院校校园网信息安全体系提供参考。 相似文献
20.
图书资料管理信息系统的设计与实现 总被引:1,自引:0,他引:1
通过对高校系级资料室图书资料管理信息需求的分析 ,讨论了图书资料管理信息系统的结构与主要功能 ,并对系统的功能实现和特点做了介绍 相似文献