排序方式: 共有10条查询结果,搜索用时 0 毫秒
1
1.
为解决移动数据库及其应用程序数据同步时的安全性、可靠性和完整性,在移动数据同步交换标准规范——Sync ML协议的基础上,提出并实现了安全数据同步交换服务应用程序接口(SDSXS—API),为移动数据库系统及其应用程序提供了统一的数据同步交换的调用平台,既保证了移动环境下数据传送与交换的可靠性和完整性,又保证了系统数据传送的安全性。 相似文献
2.
3.
基于哈希链表和时间链表的HTTP代理缓存机制的实现 总被引:4,自引:0,他引:4
随着互联网的快速发展,越来越多的用户需要访问Internet资源,局域网人的众多用户如何能够通过一条Internet连接进行快速的网络浏览?这涉及到WEB代理服务器的核心部分--HTTP缓存系统。HTTP代理服务器的缓存系统将用户浏览的网页保存在代理服务器中,一旦有用户浏览相同的网页并且该网页还没有更新,则代理服务器直接将网页传递给用户,无需重新下载。因此,缓存明显加快了浏览速度。本文首先介绍了代理服务器的缓存原理,然后对缓存机制的具体功能进行了划分,最后给出基于哈希链表和时间链表的缓存系统的实现方法。 相似文献
4.
针对新机研制过程中总装装配指令编制存在的各类瓶颈问题,通过分析指令策划的作用,提出借助前期指令策划彻底解决指令问题的思路,并对实现指令策划的路径进行了分析研究。在对数模进行装配单元划分的基础上,形成总装指令目录及含装配顺序的装配指令树,用于指令编制及其他业务域的工作准备。同时,充分分析指令策划的技术难点,给出一套对指令策划结果合理性的验证、优化方法,把指令编制、指令策划与型号实践验证有机统一起来,为新机研制指令策划工作提供理论支撑,为指令编制工作明确可靠依据,确保型号指令体系可行、有效。 相似文献
5.
讨论了基本的多级安全模型存在的主要缺陷,如推理通道问题。系统的可用性、灵活性受到严格的“向下读,向上写”规则的限制问题.不能保证数据完整性。通过引入多实例和伪元组.并重新定义读写规则.使改进后的模型更具安全性、灵活性和可用性。 相似文献
6.
自动飞行控制系统(Automatic flight control system,AFCS)是现代飞机中重要的安全关键系统之一,飞行引导控制系统(Flight guidance control system,FGCS)是其重要的组成部分。FGCS中的飞行模式有数十种,模式转换逻辑十分复杂,在各个模式间转换时易出现模式混淆等问题,难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法,通过对安全关键系统进行形式化建模和验证,可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象,采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证,并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明,采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行,所研制的软件平台具有更完善的验证能力和更好的验证效率。 相似文献
7.
脆性材料塑性域的超精密加工方法 总被引:11,自引:0,他引:11
较全面的总结了目前国内外脆性材料超精密加工的各种先进方法,并从中总结了各种加工方法所存在的一些优缺点,以此希望能对我国脆性材料塑性域超精密加工的研究有所启迪。 相似文献
8.
基于对象的数字地图存储管理技术 总被引:1,自引:0,他引:1
针对数字地图数据的特点,采用面向对象技术与关系数据库技术相结合的方法,构造了一个基于对象的数字地图存储管理的结构,由此实现了一个数字地图的存储管理系统。系统中对传统关系进行了扩展,使系统能存储数字地图数据;引入面向对象的方法,使系统具有表达和描述复杂对象的能力。 相似文献
9.
10.
1