基于OWL的本体访问控制模型

当前的语义网中，本体缺乏访问控制机制。这导致本体的隐私无法受到保护，最终损害了语义网的稳定性。为了实现对本体的有效保护，提出了一种基于网络本体语言的访问控制模型。该模型为本体中的类定义了访问规则和访问控制属性，并由此建立了访问控制关系。进一步研究了模型的性质使其有效地应用于本体和基于本体的推理系统的构建。分析表明，该模型能够明确地定义本体的访问控制关系，并充分应用于本体的保护。而且还可以通过灵活的扩展机制，适应语义网络中日益复杂的访问控制需求。     

单晶铜线材在制备过程中的晶粒演化

采用了热型连续铸造方法,选用相同的工艺参数制备出不同直径的铜线材,用光学显微镜分析了线材晶粒形成及生长过程.结果表明:在一定的牵引速度下,纯铜线材晶粒生长的特征是从引晶开始阶段的等轴多晶体渐渐演化为柱状多晶体,最终形成单晶体;随着线材直径的增大,起始晶粒个数在增加;生长成单晶的时间也在增加,经X射线衍射和透射电镜分析能够确定,单晶铜线材晶体择优生长方向为<100>.     

国家波浪能和潮流能试验场标准体系框架构建初探

国家波浪能和潮流能试验场是波浪能和潮流能开发利用领域的高新技术研发与成果转化服务平台.本文通过分析国内外相关标准现状和我国海洋能试验场的建设需求,提出了波浪能和潮流能试验场的标准体系框架.通过提出这一框架,对国家波浪能和潮流能试验场的建设和在此基础上合理有效地开展相关工作具有重要的指导意义.     

数字图像拷贝-移动篡改检测方法的分析

详细分析了现有的基于字典排序的图像拷贝-移动篡改检测方法,特别指出了块特征向量的排列顺序对于篡改检测效果的影响.说明了用于图像篡改检测时图像小块特征向量应满足的必要条件,指出特征向量的描述"粒度"应遵循"从粗到细"的原则且沿字典排序的先后顺序排列,并指出主成分分析变换增加了计算复杂度,降低了算法的稳健性,并不适用于基于字典排序的篡改检测方法.仿真实验结果表明了分析得到的结论.     

茅洲河河口建闸对闸上水质的影响研究

采用 MIKE FLOOD 模型建立了茅洲河河口一、二维耦合的水动力、水质模型,模拟分析茅洲河河口建闸后对茅洲河干流及河口附近水质的影响。通过模型模拟表明,由于茅洲河干流中下游的污染物以及交椅湾地形的影响,交椅湾内水体流速变慢,茅洲河河口易形成污染带。通过茅洲河河口建闸前后的工况模拟分析,共和村断面在 2020 年工况下洪水期氨氮浓度在 1. 6 ～2. 3 mg /L 之间波动,均值为2 mg /L,建闸后基本稳定在 2. 13 mg /L。枯水期时建闸前氨氮浓度在 1. 4 ～2. 1 mg /L 之间波动,均值为1. 8 mg /L,建闸后基本稳定在 1. 83 mg /L。研究发现,河口闸的建设对茅洲河干流的水质基本没有改善作用。从污染物均值来看,河口建闸后闸上水质略有恶化,主要原因是河口处靠近外海区域污染物浓度较干流下游浓度低,建闸后闸址下游河水无法上溯,对断面污染物的稀释作用减小。本研究成果可供茅洲河水环境治理的相关决策提供参考,也可为其他流域的河口闸建设研究提供参考。     

基于DPI-C的脉动阵列模块验证平台

针对卷积神经网络加速器中有关于脉动阵列模块的验证,提出并实现了一种基于直接编程接口C（DPI-C,Direct Programming Interface C）程序的验证平台,采用内嵌DPI-C程序并利用通用验证方法学（UVM,Universal Verification Methodology）满足脉动阵列模块中的浮点数乘加运算的验证需求。实验利用了SystemVerilog中的DPI接口技术,在验证平台中实现对C或C++代码的调用,通过编写C函数来实现复杂的参考模型,浮点数乘加运算便是利用C代码编写的。验证平台的整体结构是根据UVM来设计的,其中包括激励的设计、参考模型的编写、数据校对等组件,整个验证平台高效、简洁。此平台已经应用于人工智能芯片的验证工作中,编写的测试用例可以对脉动阵列进行充分验证,覆盖率达到了100%。验证平台可以保证脉动阵列验证的全面性、高效性并且调试纠错简单方便,同时还实现了UVM环境和测试用例的重用。     

大规模图上具有约束的多起点路径规划算法

路径规划查询是图数据上的一个基本问题,在众多的领域都有重要的应用价值。通常在实际问题中查询的路径是具有约束的,例如在外卖配送和共享出行问题中路径具有节点约束,其路径需要满足节点之间的先后关系约束。目前对于具有节点约束的路径查询问题,大多数的工作都在研究单起点的节点约束路径查询,但很难拓展到多起点节点约束问题中。因为具有节点约束的多起点路径查询问题是NP-hard的,所以该问题的大多数已有方法是使用贪心增量处理,但对于处理静态规则集拓展性不足。因此,提出了基于子路径的启发式算法和基于约束集拓展的精确算法,并在真实数据集上验证了算法的有效性。实验结果表明,启发式算法能够给出问题的精确解,而启发式算法能快速给出较好的近似解。     

浅谈小型水库除险加固设计工作中的几点体会

一、工程概况 江苏省淮安市共有小型水库121座,分布在盱眙、金湖两县,其中盱眙县118座,金湖县3座。小（1）型水库共39座（总库容500万m3以上6座,500万m3以下33座）,小（2）型水库共82座。     

生态河道在中心城区的展示——慈溪市潮塘横江一、二期生态工程

运用生态设计理念,通过生态护岸,自然岸线布置,新技术新材料的运用在慈溪市中心城区建造出一条兼顾行洪排涝,且两岸景色宜人的生态河道,为城区河道生态治理提供了参考依据。     

一种改进的基于Camshift的粒子滤波实时目标跟踪算法

为了能够快速和准确地跟踪运动目标,提出了一种改进的基于Camshift的粒子滤波算法。在粒子滤波框架下,首先对传统目标模型进行改进,提出一种新的融合目标颜色信息和运动信息的模型,以增强目标跟踪的稳健性和准确性;同时为了提高跟踪的效率,将一种改进的Camshift算法嵌入到粒子滤波中,用来重新分配随机粒子样本,使之向目标状态的最大后验概率密度方向移动。实验结果表明,与传统的粒子滤波算法或Camshift算法相比,该方法能有效处理目标快速运动或背景存在强干扰等情况,实现对目标快速和稳健的跟踪。