面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

川北早志留世似包珊瑚属的两个新种

在采自四川广元和朝天一带早志留世王家湾组的材料中发现具典型包珊瑚型隔壁,发育三级隔壁的单体珊瑚新类群.该类群边缘厚结带窄,一级隔壁长,几乎可达个体中心;二、三级隔壁短,隔壁由层状组织组成,横板完整,近平列状或密集成束状,无鳞板.基本特点与似包珊瑚属(Amplexoides Wang,1947)最为接近,因而暂将该类群归入包珊瑚属,共有两个种:Amplexoides trioseptatus sp. nov., Amplexoides modaoyaensis sp. nov..根据新资料补充了似包珊瑚属的部分属征,讨论了Amplexoides Wang的主要类群、构造特点及其演化,并系统描述了两个新种.     

新型钻基耐热合金高温流变变形行为

在Gleeble-1500热模拟机上,采用等温压缩试验,研究了一种含Ti和Al的新型钴基耐热合金在850～1 150℃温度范围的压缩变形行为.实验结果表明:该合金具有良好的抗高温流变性能,在850℃及应变速率0.0021～2.1 s-1范围时其峰值流变应力可以达到360～475MPa.合金的流变行为可用Zener-Hollomon参数来描述.     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

完成端口在视频会议服务器性能测试中的应用

视频会议服务器的性能测试需要模拟大量的客户端和真实的流量，本文提出了一种基于Wind ows完成端口模拟客户端来产生真实流量，从而进行视频会议服务器性能测试的方法，并描述了设计与实现过程，最后通过理论分析和实验验证，表明该方法在视频会议服务器性能测试中的准确性和低开销性。     

基于盲数理论的最优化方法与程序实现

使用盲数表达优化设计中的不确定变量,结合常用的基于实数变量的优化算法,提出了基于盲数的优化方法.该方法从微观的角度分析和描述设计变量与优化参数之间的关系,给出优化问题的盲数解.盲数解不但给出了设计变量的取值,而且还给出了不同取值时优化对象处于最优状态的可靠性的评价.     

基于缓冲区溢出的网络渗透技术的实现

作为信息安全防御技术的对立面，网络渗透技术在信息安全领域里扮演着重要的角色.缓冲区溢出技术是网络渗透最基本的技术之一，笔者对目前流行的几种网络渗透技术进行了介绍，分析了缓冲区溢出的基本原理，研究了在Windows环境中基于缓冲区溢出的网络渗透的具体实现，提出了针对缓冲区溢出攻击的网络安全防治策略.     

信息系统开发方法探讨

长期以来在信息系统的开发和设计中都存在一个误区,认为信息系统的开发过程是一个纯粹的技术过程,没有正确认识到用户和开发人员之间的关系,以及探讨信息系统开发方法的重要性.实际上,信息系统的开发过程是一个非常复杂的过程,在本文中对信息系统开发周期进行简单介绍,重点讨论了目前常用的三种信息系统的开发方法,尤其是面向对象法,并结合实际开发课题说明了信息系统开发方法的选择和使用,因此具有较高的实用价值.     

低复杂度结构化完全重构的两通道滤波器组

在改进多项式分解基础之上提出了设计具有低复杂度结构化完全重构的滤波器组的一种新方法.它利用多项式分解结果的非惟一性,提出了多叉树型结构的启发式搜索方法,由此可以获得低动态范围系数的滤波器组,进而可以用于设计短比特位无乘法完全重构的滤波器组.这种方法可以用于线性相位或低时延滤波器组.实际设计表明该方法是可行且有效的.     

MPEG—7标准及其应用

MPEG－7是国际标准化组织即将推出的新一代多媒体国际标准，该标准主要用于对各种不同类型的多媒体信息进行标准化描述，并将该描述与所描述的内容相联系，以实现对多媒体信息快速有效的搜索。在未来的多媒体信息检索服务中，MPEG－7将发挥主导作用。本主要从标准的目标、体系结构及应用等方面对MPEG－7进行了描述。