气水合物形成时的诱导时间定义辨析

以气水合物形成过程中的诱导现象为基础,借助于微观和宏观概念对各种理论模型提出的诱导时间定义进行了归纳和总结,分析了其中的区别和联系.进一步明确了诱导时间及其相关时间间隔段的含义及特殊状况下诱导时间的确定方法.为使诱导时间的测量更具操作性和定义具有普遍适用性,切实将其作为判断促进剂或抑制剂影响水合物形成动力学的依据,建议将诱导时间定义为从反应开始到系统某状态参数发生急剧变化所经历的时间,即系统从水合反应开始到产生大量可视晶体所需要的时间.     

Internet环境下政务公文工作流处理模型研究

本文引入工作流的概念,对公文运转的过程进行分解,包括角色、路径和公文模板等三个部分,并建立了数学模型-有向图。文中应用集合理论对有向图模型进行了分析,获得了一些公文流程电子化的理论结果。通过对一个典型的公文流程实例进行应用,验证了这些结果的有效性。     

Lu3+-8-羟基喹啉-5-磺酸-CTMAB体系L*-L型荧光反应的研究及其分析应用

研究表明8-羟基喹啉-5-磺酸与Lu3 和CTMAB形成稳定的三元离子缔合物,发射Lu3 微扰的配体的荧光.表面活性剂CTMAB的加入提高了量子效率,使荧光强度增加10倍.对于此三元体系,体系的荧光强度与Lu3 的浓度在1.0×10-6~1.0×10-5mol/L范围内呈线性关系,当信噪比=2时,检测限为4.0×10-7mol/L,采用多点增量标准加入法测定了重稀土混合样品中的Lu3 ,结果满意.     

基于类型系统的完整性信息流控制

构造了一种实现完整性信息流控制的安全类型系统.首先,为π-演算建立具有完整性安全等级的安全类型.然后,建立该安全类型的子类规则和类型规则,这些规则实现了系统的完整性策略及对系统行为的限制.最后,证明该类型系统的类型合理性,表明满足初始安全策略的系统经过不断的演进、交互,系统的安全属性依然可被满足.所建立的完整性信息流控制机制可通过静态类型检验高效实现.     

信息素质教育与文献检索课教学改革

在诠释信息素质教育内涵的同时,阐述了文献检索课教学改革是推行信息素质教育的迫切需要,并提出了文献检索课教学改革的几点建议。     

论高校图书馆文献信息服务工作

21世纪,高校图书馆要充分开发和利用馆藏文献信息资源,提高文献信息服务质量。如何开展好高校图书馆文献信息服务,是图书馆工作者面临的重大课题。     

基于OLE和VBA的数据库与WORD数据交互研究

分析了当前科研项目管理信息系统中存在的数据交互问题,并对OLE、VBA与WORD的自动化技术主要特征进行研究,提出一种基于OLE和VBA的数据库与WORD文档数据交互的解决方案.该方案对WORD文档模板的格式化和安全保护策略进行了设计,并在某科研管理信息系统实施中验证了它的实用性和有效性.     

具连续分布滞量的高阶非线性中立型偏微分方程的振动准则

研究了一类具有连续分布滞量的高阶非线性中立型偏微分方程解的振动性,给出了这类方程在两类边值条件下解的振动准则.     

BTCS:基于二叉遍历的XML文档编码模式

XML文档数据的编码模式与索引技术决定了基于纯XML数据库的XML查询效率,在正则路径表达式实现方面有重要意义.基于树遍历的XML文档编码在更新与结构关系判断方面存在不足.为了解决此类问题,作者作了如下工作:(1)提出一种新的基于二叉树遍历的XML文档编码模式BTCS(Binary Traveling Coding Scheme);(2)实现了BTCS编码算法,支持XML文档更新,提高了编码更新效率;(3)在常数复杂度的时间内快速准确判断XML文档结构树中任意两个结点之间的父子以及祖孙关系,并能计算它们的辈数差(Distance of Genera-tions);(4)通过详细实验证明了BTCS编码模式的良好性能.     

机顶盒硬件接口信号的研究及应用

数字电视机顶盒的技术含量非常高,它集中反映了多媒体、计算机、通信技术和网络技术的发展水平.本文对其接口信号进行的分析比较研究,对于数字电视信号的高质量传输,硬件设备的合理配置以及充分发挥音视频设备的最大效能,具有重要的实践意义.