协议一致性测试中的编解码方案

由于协议一致性测试的现实需求以及现有处理工具的不足,提出了一种可扩展的编解码GCodec,并给出了相应的设计方案与原型实现。该方案不仅解决了现有工具生成中间文件过大的问题,并具备更好的语言扩展性和编码规则扩展性。此方案的实现已初步用于工业界的协议一致性测试,使测试工具的编解码模块可以做到真正的插件式开发,取得了预期的成果。     

面向西南印度洋多源科考数据的可扩展管理系统

为了使科考数据的存储和管理适应未来科学考察动态化、多样化发展的需要,在全面分析多源科考数据特点的基础上,结合成熟的数据库管理系统SQL Server以及空间数据库引擎ArcSDE,对多源科考数据的存储组织结构和可视化管理进行了分析和研究,提出了一套多源科考数据管理方案.设计并实现了西南印度洋多金属硫化物科学考察数据管理系统,该系统主要由多源科考数据的统一存储管理和可视化空间操作等功能模块组成,具有良好的适应性和扩展性,可满足实际应用需求.     

基于EDB的血液分析仪数据库管理系统设计

针对当前血液分析仪数据库管理系统中存在的结构复杂、功能冗繁等弊端,在采用Windows CE操作系统的BK-500系列5分类血液分析仪的基础上,提出了一种利用EDB(Embedded Database)数据库设计血液样本数据库管理系统的方案.该方案将数据库管理系统与血液分析仪相结合,建立了数据库模型,并讨论了系统功能模块的设计、EDB数据库开发等关键技术问题;最后通过血液样本验证了该数据库管理系统的稳定性及可靠性.     

基于Web的图书馆管理系统访问控制策略

针对基于Web的图书馆管理系统资源访问控制的动态性问题，提出了一种基于角色的访问控制策略描述方案．通过对基于Web的图书馆管理系统访问控制管理影响因素和访问控制需求的分析，结合NIST基于角色的访问控制统一模型标准，构造了一种基于角色的访问控制元模型．并在这一元模型的基础上，提出了一种紧凑的基于角色的访问控制XML策略描述语言框架．结果表明该访问控制策略描述语言框架适合表述动态环境下对图书馆资源的访问策略，提高了基于Web的图书馆管理系统资源访问的安全性．     

水产增养殖种苗工程研究概况及趋势

指出了种苗工程的概念，概括了我国水产种苗工程的研究进程及现有状况，及国内现有的育种方法。如：选择育种，诱变育种，杂交育种，细胞工程育种等，指出了我国种苗工程中存在的问题，并对今后的发展趋势进行了分析。     

基于Notes群件技术的知识管理系统

讨论了知识管理系统的构成及其功能,并提出了基于Notes群件技术的知识管理系统,以及在知识管理运作中应当注重的几个问题。     

一种基于Unicorn的UEFI DXE驱动模拟执行方法

UEFI(uniform extensible firmware interface,统一可扩展固件接口)标准近年来已被广泛应用于计算机系统。针对UEFI固件的动态分析方法严重受限于运行环境的扩展性的问题,提出了一种高效的UEFI固件模拟执行方法 DxeEmulator。该方法可以自动解析固件文件系统,完善DXE驱动运行所需的数据依赖和代码依赖,并按照驱动之间的依赖关系调度驱动。在6个品牌生产商的665个固件上测试了DxeEmulator的效果,相比现有工作基本块覆盖数量有大幅提升。基于DxeEmulator构造了一个漏洞挖掘模块,在数据集中共发现了12个缓冲区溢出漏洞,其中包含9个0-day漏洞。     

借助Web应用服务器构建Intranet网络管理系统

提出了一种基于Zope应用服务器的Intranet网络管理系统设计方案，对系统的功能、构成框架及主要技术给予了详细说明。该系统采用基于Web的网络管理体系结构，能为企业内部网络的远程管理提供统一、通用的界面，屏蔽现有各种异构网络管理系统之间的差异。Zope内建有灵活、强大的安全机制，并能充分利用现有的各项Web安全技术，这些都在一定程度上弥补了SNMP协议在安全方面的不足之处。     

MPLS与移动IPv6的结合探索

MPLs(多协议标记交换)是一种转发机制，结合了第二层的高速交换和第三层路由的灵活性，为未来骨干网提供了高速的IP转发和扩展性。IFv6是未来网络的基石，它解决了当前IFv4所面临的问题，而移动IP技术解决了用户移动性需求。本文对MPLS与移动IPv6的结合所遇到的问题进行了一些探索。     

嵌入式数据库多连接查询优化算法的研究

针对地质灾害监测数据管理系统分布式体系结构下的复杂多连接查询，系统介绍了粒子群优化算法的原理和特点，并分析了采用粒子群优化算法求解多连接查询优化问题的有效性．该算法以左深树为搜索空间，采用有序串编码，并改进了基本粒子群优化算法的速度位置公式，将其应用于地质灾害监测数据的测试实验中，取得了良好的效果．     

多元代数方程组解的重数的计算

本文利用多项式理想对偶基的理论给出了当代数方程组只有孤立解(即零维理想的零点)时解的重数的一个算法,同时得到了零维理想有重零点的几个判定准则.     

三棱镜折射率测量结果的不确定度评定

根据不确定度的有关概念及具体实验教学模型 ,提出了测量不确定度的简化模式. 结合分光计 测三棱镜折射率的例子 ,进行了具体分析 ,给出了其测量不确定度的最终评定.     

2-氨基嘧啶标准摩尔生成焓的测定

采用量热法,用RBC Ⅱ型精密转动弹完全燃烧2 氨基嘧啶(AP),测定其恒容燃烧热,并根据热化学方程式和盖斯定律计算其标准摩尔燃烧焓ΔcH○———m(AP,s)为(-2334.51±1.62)kJ·mol-1,标准摩尔生成焓ΔfH○———m(AP,s)为(-45.90±1.70)kJ·mol-1,为进一步研究嘧啶类化合物的性质提供了理论基础.     

Banach空间的凸性模与光滑模

定义了TC凸性模，TC光滑模，刻划了一致凸性与一致光滑性，并研究了取值于Banach空间的特殊鞅不等式与一致凸性，一致光滑性的关系。     

再论Γ-环由元素性质确定的根

本文在 Γ-环中继续研究由元素性质确定的根性质 .首先证明了文献 [1]中主要定理的逆定理 , 从而使满足某些条件的元素所具有的性质 P与根性质 R可互相确定 .进而讨论确定的唯一性问题.利用 这些结果可得出 Γ-环的 Baer根是由元素的 m-幂零性所确定的根.     

图书质量评估定量分析探讨

本文应用数量化理论———成对比较、九级分制和相关分析法,探讨了图书质量评估的问题, 为今后的 图书质量评估实践提供了一些理论依据     

一类0.1矩阵变换图的边连通性

Let U (R, S) denote the class of all m×n matrices of 0's and 1's havingrow sum vector R and column sum vector S. The interchange graph G (R,S)is the graph where the vertices are the matrices in U (R, S) and where twomatrices are joined by an edge provided they differ by an interchange. Brualdishowed that the connectivity of G(R, S) is at least two. In the present paperwe prove that the edge connectivity of G(R, S) is equal to the minimum degreeof vertices of G(R, S)     

声屏障衍射声场的近似计算

本文利用Huygens-Fresnel原理和Kirchoff近似理论,研究了声波通过屏障后的衍射声场,导出计算衍射声场的声压和声屏障插入损失的近似公式。计算表明,理论值和实验值基本一致。本文所提供的公式可以作为在噪声控制技术中预测声屏障衍射声场的一种方法。     

丙酮水溶液溴化反应机理的研究

本文用CNDO/2计算了水、甲醇、甲醛、丙酮与异丙醇阳碳离子的选择性分子间作用力,并讨论了丙酮溴化反应的反应机理。     

一类中立型拟线性抛物方程组解的振动性

针对垂直相加法无法讨论泛函偏微分方程组的强迫振动性的不足，直接利用振动的定义、Green公式以及齐次Neumann边界条件把中立型抛物微分方程组的振动问题转化为泛函微分不等式不存存最终正解的问题，然后利用最终正解的定义及上下极限得到了在齐次Neumann边界条件下判别其所有解振动或全振动的充分条件。