塔架环境通信网络信道模型及性能研究

复杂塔架场景无线信道多径效应更为严重,本文结合射线追踪算法提出一种三维多径簇信道模型,该模型通过几何方法追踪每一条射线路径,并对大量接收射线进行分簇,获得簇时延与簇功率等模型参数,进而获得无线通信系统的误码率性能。针对真实的三维塔架分析信道模型参数,包括传播路径、时延、接收功率、误码性能等统计特性。数值仿真结果表明,本文推导理论结果与仿真结果一致,能够准确评估塔架环境的通信性能,可有效用于优化传感器网络的部署和性能评估等领域。      

副干酪乳杆菌发酵废液的重复利用

以副干酪乳杆菌(Lactobacillus paracasei)R8为研究对象,采用7.5 L及100 L发酵罐对其发酵废液的重复利用进行了初步研究。在7.5L罐上对副干酪乳杆菌发酵废液的可重复利用性进行了验证,并在100 L罐上进行了应用尝试。研究结果表明,副干酪乳杆菌R8的发酵废液可以重复利用1次,在100 L发酵规模下,废液的重复利用可以节约培养基成本8%,节约发酵液用水43%。     

锡金属——基本面长期看好

根据目前我们所掌握的资料,我们认为:1、全球锡处于短缺状态,并且今年后半段将呈现出短缺加剧的状况,预计全年锡将短缺1.15万吨左右。2、在今后数年,在没有大型锡矿山勘探开发的情况下,全球锡资源供     

基于Hook的程序异常行为检测系统设计与实现

从程序访问的资源入手,从中重点选取了注册表、文件以及创建其它进程这些资源的操作为主要监控点,实时检测进程操作资源的行为,并进行关联分析,给出了一种基于系统服务Hook的程序异常行为检测系统.重点介绍了Hook相关技术和该系统的设计结构与实现要点.最后,通过实验验证了该系统的可行性和有效性.     

南京铁北污水处理厂二期建设工程设计实例

为了满足处理水量增加及水源地保护要求,南京市实施了铁北污水处理厂二期建设工程,主要工程内容包括：二级强化处理扩容、增设深度处理及再生水回用工程,确保工程建成后污水厂出水水质满足污水排放一级A标准。污水处理工艺采用“A-A2/O+微絮凝过滤+消毒”。     

运用AutoCAD设计凸轮轮廓曲线

本文介绍了利用AutoCAD设计凸轮轮廓曲线的方法，该方法可提高设计精度和效率，同时也解决了手工绘制凸轮轮廓曲线误差较大的问题。     

操作系统对象语义模型(OSOSM)及形式化验证

操作系统的复杂性使得其安全性问题日益突出.有不少的研究工作采用形式化的方式对现有的操作系统进行了正确性的验证,这些工作主要是采用程序形式逻辑验证代码级的功能实现性.从系统设计的角度,以高阶逻辑和类型论为基础,提出了操作系统对象语义模型(OSOSM).OSOSM采用分层结构,包括基本功效层、实现层和优化层.OSOSM将操作系统中的行为主体和资源抽象为操作系统对象,建立操作系统的论域,利用以操作系统对象变元集合为定义域到论域的映射表示操作系统的状态,描述操作系统系统调用等行为的语义,使用逻辑系统的谓词公式表达操作系统的安全属性,给出如何验证操作系统在运行过程中保持安全策略和属性的形式化描述方法.以实现并经过形式化验证的可信操作系统(VTOS)为例,阐述OSOSM的语义正确性.使用Isabelle定理证明工具验证设计和安全需求的一致性,以说明VTOS具有预期的安全属性.     

分布式环境下RBAC的高效实现

在定义基于角色的访问控制模型后，给出了基于角色的访问控制在分布式环境下的一种高效实现机制，并对实现中遇到的相关问题进行了较为深入的讨论。为了实现访问控制的灵活性，设计了独立的便于配置的图形用户界面。     

LDAP研究及其在CA中的应用

首先介绍了轻量型目录服务在网络中的重要意义，分析了它的特点、基本原理和体系结构；在此基础上阐明了认证中心（CA）需要轻型的目录访问协议（LDAP）的原因，设计了它的一般结构和工作流，说明了如何组织证书条目；最后针对分布式LDAP提出了一种搜索算法，并将其应用到层次式CA体系中，从而实现了证书的自动透明高效搜索。     

基于Labsql数据库工具的电缆连接关系映射及拓扑实现

目前电缆网测试仪广泛应用于型号电缆网导通和绝缘测试,但要求电缆网测试仪输出接口转接,从而匹配被测电缆接插件类型,实现两者关系的映射,同时根据电缆网中所有单根电缆连接关系来建立整个电缆网关系,本文针对某型号电缆网测试仪的使用特点,研究一种基于Labsql数据库工具的软件自动化方法,实现电缆连接关系的重新映射及拓扑关系自动生成。