数字图书馆的移动服务

随着移动计算技术的飞速发展,越来越多的用户将通过无线移动方式访问数字图书馆。但是,目前的数字图书馆系统都假定用户访问信息时是静止的。本文首先给出了移动数字图书馆系统的体系结构,在讨论移动计算环境特点的基础上,阐述了将数字图书馆服务延伸到移动计算环境时面临的关键问题以及研究进展情况,为进一步开展这方面的研究奠定基础。

支持移动更新的弱可串行化实时并发控制

研究了非对称通信数据广播环境中的一致性问题,提出使用弱可串行化正确性准则.形式化定义了弱可串行化这种新的正确性准则,证明了弱可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证弱可串行化的充分必要条件.基于时标段排序原理,提出了可在移动客户端同时支持更新事务和只读事务的弱可串行化实时并发控制协议WBCC-MUR.通过性能评价实验验证了新协议的有效性:WBCC-MUR协议能有效改进移动事务的平均响应时间、更好地满足数据广播环境中高性能事务处理的要求.

分片段的移动实时数据库事务模型

由于移动计算环境的固有特性、数据访问者的移动性、事务的截止期限制等,传统平坦事务模型无法满足移动实时数据库的需求。本文针对移动实时数据库事务的特点,提出了一种分片段移动实时数据库事务模型。

移动广播环境中的可串行化并发控制协议

研究了非对称通信数据广播环境中的一致性问题.PVTO协议中数据冲突的检测过于严格,存在很多不必要的事务夭折,限制了其并发度;OPreH协议中数据冲突的检测过于宽松,必要的事务重启要等待服务器校验,浪费了大量昂贵的上行通信带宽.提出了一种新的可串行化并发控制协议BCCSR.BCCSR协议将时标段排序和乐观方法相结合,使用了恰当的校验条件,既避免了不必要的事务夭折,又可尽早处理必要的事务重启,节省了系统资源,提高了并发度.实验结果表明,BCCSR协议能有效改进移动事务的平均响应时间,更好地满足数据广播环境中高性能事务处理的要求.

基于替代和补偿的嵌套Web Service事务模型

作为一种崭新的并行计算模式,Web Service以其平台独立性、松耦合及自治性等优势,在涉及复杂业务流程的事务性服务行业具有极大潜力和需求。考虑到Web Service环境的限制和特征,传统事务模型无法适应。从Web Service事务系统体系结构出发,分析Web Service的特点及Web Service事务性应用在开放的Web环境下的特性,提出了一个基于替代和补偿的嵌套Web Service事务模型,阐述了结合替代和补偿的Web Service事务结构和处理,给出了形式化描述。

一种维护实时数据库一致性的新方法

本文研究了实时数据库中的一致性要求及现有并发控制技术的缺陷 ,进而提出一种对由现有调度技术生成的事务调度队列进行调整以保证实时数据库外部一致性要求 。

一种新的实时事务并发控制方法

本文提出一种新的实时事务并发控制方法 ,并对其性能进行了模拟评测 :与锁式协议、乐观协议、基于时间戳的协议相比 ,它可以获得更高的并发度 ;与诸如ε-可串行化、Δ -可串行化等准一致性的放松可串行化并发控制技术相比 ,它维护强一致性、保证严格可串行化 .

并行数据广播中的亚可串行化并发控制

考虑到移动计算环境的诸多限制以及移动数据库应用的特征,传统冲突可串行化在不对称通信的数据广播环境中显得过于严格而不必要.为此,文中提出一种并行亚可串行化并发控制协议.首先,形式化定义亚可串行化正确性准则,证明亚可串行化虽然比冲突可串行化宽松但能始终保证一致性,给出保证亚可串行化的充分必要条件.进而,提出相应的并行亚可串行化并发控制协议BCC-HSR.实验结果表明,BCC-HSR协议能有效改进移动事务的平均响应时间,更好地满足并行数据广播环境中高性能事务处理的要求.

实时广播环境中的分布式校验并发控制机制

本文设计了一种新的分布式阶段校验的移动实时事务并发控制协议 :校验任务由移动客户机与服务器共同分担、允许获得更高的并发度、可更早的检测到数据冲突以减少处理与通讯资源的浪费 .性能实验结果表明 ,新协议有效可行。

无线移动环境中的拉式实时并发控制机制

考虑到诸如带宽、移动性、频繁断接等限制,传统可串行化并发控制协议显得过于严格而无法满足移动实时数据库环境的要求。该文首先形式化定义并分析了弱可串行化正确性准则,弱可串行化比传统冲突可串行化宽松且能始终保证数据库的一致性。进而给出了一种适宜于移动实时数据库的弱可串行化并发控制协议WMHP-2PL。最后性能实验证实了新协议的有效性。

面向用户的移动实时事务并发控制策略

ε-可串行化、Δ-可串行化、准一致性可串行化等现有面向事务的放松可串行化正确性准则虽能帮助更多无线通信事务满足其截止期要求,但会导致数据的受限不一致。该文针对移动实时环境和应用,形式化定义并分析了ε-可串行化和ψ-可串行化2种新的面向用户的并发控制策略,它们都比冲突可串行化宽松,但都能始终保证移动用户读取数据的一致性。

无线数据广播中动静结合分片段移动实时事务模型

无线广播环境非对称通信等的诸多限制以及数据访问者的移动性及实时性等需求,使平坦事务模型及现有移动事务模型都无法满足无线数据广播中移动实时事务处理的要求。从无线数据广播环境特点出发,针对移动应用需求特征,提出了一种动静结合分片段移动实时事务模型。

实时广播环境中的弱可串行化并发控制

1.引言 随着便携计算机及无线通讯技术的快速发展,移动计算已经成为现实,其中主要采用数据广播方法进行数据发布.广播模式的一个显著特征是通讯的不对称性,即下行带宽比上行带宽宽很多.

数据广播中т-可串行化移动实时事务并发控制

研究了实时数据广播环境中的一致性维护问题。由于广播环境的非对称通讯特性,传统可串行化并发控制方法过于严格而不必要;现有放松可串行化方法都会导致数据库受限不一致、使各个用户读取受限不一致数据。提出了使用т-可串行化并发控制,首先形式化定义了т-可串行化正确性准则,证明了它虽比传统可串行化宽松但能始终保证数据一致性,使各个用户始终读取一致性数据,进而给出了相应的并发控制协议。实验结果表明,新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。

Prolog访问FoxBASE数据库文件的方法

人工智能和数据库的结合是计算机技术发展的必然结果 ,而数据库和逻辑推理机结合的关键是逻辑推理机与传统数据库间的接口 .设计了一组Prolog访问FoxBASE数据库文件的工具谓词 ,具有普遍适用性 .依据其思路和方法 ,也可以很容易地实现其它逻辑推理机和数据库间的接口 .

数控铣削中心智能化自动编程软件

数控编程一直是我国数控机床应用的“瓶颈”。一般进口数控机床中附带的辅助编程,功能过于单一,很难满足用户的高层次要求;进口的CAD/CAM软件则价格昂贵,硬件环境要求高(一般均要求工作站以上),需要进行充分地二次开发,且这类软件对员工素质要求高,在我国很难推广。本文面向一般数控机床用户,针对机械零件中占9乃％以上的普通零件,以铣削加工为背景,设计了一个自动编程软件。

数字化应急预案完备性评价系统设计与开发

基于故障树分析方法(fault tree analysis,FTA),采用B/S(浏览器/服务器)架构,设计开发了应急预案的完备性评价系统。通过需求分析、概念设计、逻辑设计和物理设计,以PHP+APACH+MySQL作为开发工具,编程实现了在人机交互的友好界面上对应急预案进行快速检索、查看、评审、添加、修改、删除等操作。通过将待评价应急预案的基本事件与应急预案的标准故障树进行对比,并量化地给出待评价应急预案的不完备度及其需要加强和完善的方面,为制定或修订应急预案提供软件系统支持。

计算机网络风险防范模式研究

网络风险管理的目的是为确保通过合理步骤,以防止所有对网络安全构成威胁的事件发生。计算机网络风险防范模式包括风险防范策略、风险防范措施和实施风险防范。网络风险防范策略主要有:①当存在系统漏洞时,实现保证技术来降低弱点被攻击的可能性;②当系统漏洞被恶意攻击时,运用层次化保护、结构化设计以及管理控制将风险最小化或防止这种情形的发生;③当攻击者的成本比攻击得到更多收益时,运用保护措施,通过提高攻击者成本来降低攻击者的攻击动机;④当损失巨大时,运用设计原则、结构化设计以及技术或非技术类保护措施来限制攻击的程度,从而降低可能的损失。风险防范措施包括风险假设、风险规避、风险限制、风险计划、研究和了解、风险转移。在实施风险防范的过程中包括对行动进行优先级排序、评价建议的安全控制类别、成本-收益分析、选择风险防范控制、分配责任、制定安全措施实现计划、实现被选择的安全控制及残余风险分析。最后以某市政府官方门户网络应用系统为例进行了实证。

数字化应急预案可操作性评价系统设计与开发

基于应急预案由描述性语言组成的特点,根据预案复杂性评价原理,采用B/S(浏览器/服务器)架构,设计开发了应急预案的可操作性评价系统。系统以PHP+APACH+MySQL作为开发工具,通过需求分析、概念、逻辑和物理设计,编程实现了在人机交互的友好界面上对应急预案进行快速检索、查看、评审、添加、修改、删除等操作,通过对待评价应急预案的执行任务进行具体分解并评价各基本子任务的复杂性和各基本子任务间的组合复杂性,量化地给出待评价应急预案的复杂度及提高其可操作性需要加强和完善的方面,为专家评价及改善应急预案提供了在线软件系统支持。

Prolog访问FoxBASE数据库文件的方法

人工智能和数据库的结合是计算机技术发展的必然结果，而数据库和逻辑推理机结合的关键是逻辑推理机与传统数据库间的接口。设计了一组Ｐｒｏｌｏｇ 访问ＦｏｘＢＡＳＥ数据库文件的工具谓词，具有普遍适用性。依据提出的思路和方法，很容易地实现其它逻辑推理机和数据库间的接口。