利用TM资料测量毛乌素沙地面积的方法和结果

利用1:25万陆地卫星TM资料和地形图，在GIS支持下，建立毛乌素沙地图形数据库，对毛乌素沙地目前流沙分布的范围进行了调查研究。重.资、介绍了利用陆地卫星TM资料对毛乌素沙地的面积进行测童计算的技术和方法，给出了最新测贡得到的毛乌素沙地全区总面积和分布于各旗县的沙地面积数据。     

英语微课视频的设计与制作

微课是一种能支持多种信息化的学习方式,是各种信息化学习的基础.本文通过回顾微课的发展,梳理其定义,明晰了微课视频的重要性,同时结合具体案例,阐述了高职英语微课视频"以学生为中心+互动性+情景化"的设计原则.     

ORDBMS的继承语义及其实现

介绍了在ＡＮＧＥＬ这样一个典型的ＯＲＤＢ系统中继承机制的设计思想与实现技术,首先详细阐述系统卡富的继承语义,包括属性继承、约束继承、触发器继承及函数继承,并给出对多重继承所带来各种冲突的处理办法。然后讨论继承机制的实现手段及有关继承机制的模式演变问题。     

面向大规模数据集的并行化Top-k Skyline查询算法

随着数据规模的日益庞大,在大规模数据集中帮助用户定位出数据量可控的代表性信息显得越发重要。虽然Top-k Skyline查询能够找到数据集中前k个最具代表性的信息,在获取代表性信息的同时又控制了结果规模,满足了上述要求,但是现有的Top-k Skyline查询在面对大规模数据集时效率较低,并不适用于大规模数据集。为了解决这个问题,将Top-k Skyline查询与并行化处理相结合,提出了一种面向大规模数据集的并行化Top-k Skyline查询算法PTKS（parallel Top-k Skyline）,通过充分利用分布式资源,将原有查询进行有效的并行化处理,同时设计了基于用户偏好的用于缩减结果数据量的筛选规则,满足用户需求。在真实数据集上进行了相关实验,并与现有方法进行了对比,结果表明PTKS在大规模数据集上的查询效率更具有优势,能很好地适用于大规模数据集。     

织物阻燃技术的现状及发展

文章介绍了常规阻燃纤维改性的方法,主要有共聚法、共混法、皮芯复合纺丝法和接枝共聚法.纤维改性中所用阻燃剂的种类主要有无机阻燃剂和有机阻燃剂,阻燃剂主要通过吸热、覆盖和脱水等机理进行阻燃.并合理预测了常规阻燃纤维、阻燃剂和织物阻燃整理方法的发展趋势.     

日志结构文件系统技术的研究

介绍了一种新的磁盘管理技术－日志结构文件系统，把对文件的修改汇成日志条目顺序地写入磁盘，既加速了写文件的速度，又加速了崩溃恢复的速度，把整个磁盘作为日志，磁盘上包含有效的读取日志结构文件所需的索引信息，为了保持快速写所需的大的磁盘空闲快，将磁盘分成段，用一个清理工线程收集压缩分散到各个段中的有效信息，以一个日志结构文件系统的原型，即Sprite LFS为例，对日志文件系统设计和实现的各个阶段进行了分析，并与Unix的文件系统，即快速文件系统（FFS）进行了比较。     

提高水驱测试质量探讨

在石油开采的各种工艺措施中,注水一直起着决定的作用;注水效果的好坏直接影响到石油开采的效果。以下将对大庆油田第四采油厂的油井现状、注水情况等进行探讨。     

Web信息系统中即席流程的并发控制策略

Web信息系统(Web information systems,WIS)中的即席流程不同于结构化流程,其流程结构只有在运行时才能完全确定.即席流程的多实例并发执行时,由于同时访问共享资源,易造成系统的不一致性.当前普遍采用的流程并发控制机制大都只针对结构化流程,并不能很好地支持即席流程.为此,提出了一种基于语义的WIS即席流程并发控制策略,它充分利用流程语义信息,通过建立事务模型,采用数据库断言机制来实现WIS即席流程的并发控制,并在Web信息系统自动化构建环境WISE中得到了应用.     

基于ROBDD的布尔函数同构判定算法研究

布尔函数是密码体制设计与分析中一个不可缺少的工具,在布尔函数的应用中,判定两个布尔函数的同构问题具有广泛的需求,但是,判定布尔函数同构是NP-难问题,并且采取穷举法也将随着变量的增多,因极高的时间复杂度而使其难以实现.该文基于图的思想,提出了一种基于ROBDD(简化有序二元决策图)的布尔函数同构判定算法,其算法的复杂度...