多领域建模语言Modelica类型解析研究与实现

类型解析是编译器开发的一项重要工作,也是语义分析的一个最重要组成部分。基于Modelica建模语言,研究了编译器类型系统的作用域、类型检查等关键技术,提出了类型系统的解析和查找机制,实现了类型检查及错误处理机制,并在多领域物理系统建模与仿真平台MWorks系统中得到应用。

基于组织的四层访问控制模型跨域访问过程中虚拟岗位构建方法

对于基于组织的四层访问控制(OB4LAC)模型在跨域访问控制过程中如何依据外域用户的申请权限集构建本域内虚拟岗位的问题,提出基于如下三阶段的处理流程,包括申请权限集与角色集的匹配搜索阶段、角色集职责分离(SoD)约束和激活约束判断阶段以及虚拟岗位的生成和撤销阶段。针对申请权限集与角色集的匹配搜索阶段,分别给出了面向完全匹配、可用性优先匹配和最小特权优先匹配的搜索算法;针对角色集SoD约束和激活约束判断阶段,则通过定义SoD约束矩阵(SODM)、非连通继承关系矩阵(AIM)和基数约束矩阵(CCM)以及对应的约束判断流程予以解决;针对虚拟岗位的生成和撤销阶段,给出了完成这一过程所需的管理函数。通过上述具体处理流程和实现算法,很好地解决了OB4LAC模型跨域访问过程中虚拟岗位的构建问题。

时域多脉冲相关法抗雷达同频干扰

舰艇编队同型雷达间的同频干扰对雷达观测能力影响很大。文中提出了时域多脉冲相关的抗同频干扰的方法,阐述了其基本思想和工程实现方法,并给出了关键技术和实际问题的处理方法。在现役雷达改造中的应用表明,该方法能够有效地抑制编队内同型号雷达间的同频干扰。

SAR图像多尺度配准的小波域等周割方法

研究在同一场景中不同时间和角度的图像配准问题,针对保证配准的精确性,给出了基于合成孔径雷达(SAR)图像小波域等周割多尺度分割的SAR图像多尺度配准方法。为了抑制噪声和配准精度,提出了SAR图像小波域等周割模型并给出模型的多尺度分割算法,以得到较为精确的轮廓特征,结合轮廓修正过程对每个小波分解层进行多尺度配准;并且,配准过程决定了分割中尺度因子的变化程度。小波分解的应用可有效降低搜索空间,在一定程度上加快配准速度,且使用修正后的轮廓特征信息,提高了配准精度。实验结果表明了方法的有效性,为图像配准技术提供了参考。

高密度3D3C资料多域分步噪声压制技术的应用

针对高密度宽方位3D3C地震资料处理要求,考虑有效信号与噪声在类型、时间、频率、数据域、处理步骤、地表区域等方面存在的差异,选择多域分步去噪策略,在不损害有效信号的前提下,首先使用十字排列锥形滤波去除面波、线性噪声,然后采用低频噪声编辑去除残余面波及低频噪声,接着进行分频去噪来去除各类随机噪声,最后去除折射波。从单炮记录和叠加剖面的监控显示上都证明了该方法的有效性,资料信噪比也得到提高。

各种速度分析与反演方法的对比研究

速度估计与建模是勘探地震学的核心技术。速度估计问题是一个标准的反演问题。原则上,反演问题应该在贝叶斯框架下进行,但是石油工业界根据生产实际形成了一套速度分析与建模的技术系列。针对目前速度估计与速度建模技术研究及应用现状,试图把各种速度估计方法都纳入贝叶斯估计框架下进行审视。该框架的基本逻辑是建立2种目标泛函:成像空间中的相关最佳泛函(或聚焦最佳泛函)和数据空间中的逼近误差的方差最小泛函。在此目标泛函的基础上,利用梯度导引类的优化算法或Monte Carlo类的全局寻优算法,甚至扫描(枚举)算法实现各种尺度下的速度估计及模型建立。在上述理论框架下,系统地分析目前典型方法技术的共同特征,可以指出新的速度估计方法的发展方向。

超宽带多径信道的频域建模与仿真

对于超宽带室内多径信道,由于信号传播的成簇特性,一般常采用较多参数描述的修正的S-V模型,而近年来频域自回归(AR)模型以其独有的特点得到大家的重视。针对频域AR模型,着重讨论了在超宽带室内多径信道的计算机仿真中,如何利用零极点分布进行频域AR建模的方法,并结合实例给出了仿真结果,说明了频域AR模型只需要很少的模型参数就可得到一个比较精确的信道描述,是超宽带信道建模比较理想的选择。

基于快速多示例多标记学习的G蛋白偶联受体生物学功能预测

G蛋白偶联受体(G protein-coupled receptors,GPCRs)是人类中最庞大的膜蛋白家族,也是很多药物的重要靶点,准确了解GPCRs生物学功能是理解它们参与的生物学过程及其药物作用机制的关键.以前的研究表明,蛋白质功能预测可抽象为多示例多标记学习(multi-instance multi-label learning,MIML)问题.设计了一种基于快速多示例多标记学习方法 MIMLfast的GPCRs生物学功能预测模型.该模型采用了一种新的混合特征,它考虑了GPCRs结构域的三联氨基酸、氨基酸关联、进化、二级结构关联、信号肽及无序残基等多种信息.实验结果证明,该模型获得了很好的性能,优于目前最优的多示例多标记学习、多标记学习的预测方法和CAFA蛋白质功能预测方法.

基于自适应多门限的基函数生成算法

变换域通信系统(TDCS)具有对环境感知的能力,可以躲避干扰,具有优异的抗干扰性能。基函数生成算法是TDCS的核心算法。通过分析现有基函数生成算法存在的问题,提出了一种采用自适应多门限的基函数生成算法。该算法在传统二元判决的基础上,引入多元结构,对传统判决结果进一步细化,更加准确地反映了信道质量差别。理论分析表明,采用本文所提出的基函数生成算法产生的基函数,能够较好地克服传统门限估计算法对于信道环境自适应性不强等缺点,并且算法的门限设计简单,获得了较好的干扰抑制性能。

基于点搜索的多曲面体清根轨迹生成方法

针对多曲面体清根加工轨迹的生成问题,建立了基于搜索初始点在参数域和物理域内搜索刀心点的点搜索算法。在搜索过程中,以多曲面体为研究对象,根据其结构特点确定搜索初始点和搜索中心,将参数域内搜索初始点与搜索中心的连线作为搜索方向在参数域内进行搜索。在物理域内生成参数域内对应搜索点的偏置点,判断偏置点到达多曲面体的距离是否满足距离条件,若满足距离条件则为刀心轨迹上的点。算例与实际加工结果表明,所提出的搜索算法搜索过程稳定,可以快速生成高质量的清根加工轨迹。

基于Contourlet域HMT模型的SAR图像相干斑抑制

将Contourlet变换用于SAR图像的统计特性研究中.基于Contourlet域隐马尔可夫树模型(CHMT),从图像复原的角度出发,结合最小均方误差估计和Bayes估计给出一种SAR图像相干斑抑制的新方法.并给出基于拉普拉斯金字塔算法(LP)分解的斑点方差估计方法.实验中与小波域HMT算法进行了比较,本文方法在方向信息的保留和斑点的抑制上均有明显改进.

一种基于角色等级树的SaaS多租户多域访问控制模型

基于角色的访问控制模型RBAC(Role-Based Access Control)能够适用于软件即服务多租户SaaS(Software-as-a-Service)模式应用单租户域安全访问环境。在RBAC模型中通过角色映射实现多租户域访问可能产生最小权限、职责分离问题从而使得租户数据不安全。在RBAC模型的基础上针对SaaS多租户模式给出一种基于角色等级树的多租户多域安全互操作的访问控制方法,利用角色等级树映射和冲突检测消除策略以期解决角色映射冲突。通过原型系统实验验证了模型能够在保留RBAC模型易于授权、角色分层管理等优点的情况下,结合角色等级树解决了RBAC模型多租户域角色映射时引起的SaaS多租户间的上述冲突问题。

基于安全标签的多域安全访问控制模型

SaaS服务模式将应用软件以服务的形式提供给客户。在单实例模式中,租户的数据统一存储在服务提供商的数据库系统中,他们共享数据库及模式。这种情况下,如何在保障租户数据安全的同时支持租户间的域间相互访问是一个值得思考的问题。结合安全标签,设计出一个支持多租户的多域安全访问控制模型,满足租户对于多域安全访问控制的需求。该模型结合了RBAC的易于管理以及安全标签强制访问的特性,使得系统角色在易于管理的基础上实现高级别的访问控制。

跨域引用监视器及其以数据为中心的多级安全模型

为基于不可信计算机系统来构建一个可信的多级安全(MLS)大系统,提出一种新型的跨域引用监视器及其多级安全模型。该跨域引用监视器采用现有的商业现货(COTS)产品,使用一个或多个独立的计算机,在两个或多个不同的网络之间,通过满足EAL7的单向传输硬件装置来连接。基于该跨域监视器实现了以数据为中心的多级安全模型。该模型允许信息从低密级网络流向高密级网络,也允许高密级网络把低密级数据发布给低密级网络,禁止高密级网络的高密级信息和无密级标记信息流向低密级网络,并已在分级保护的网络系统中成功应用。通过安全模型和安全策略的形式化描述和证明表明,基于该安全模型构建可信MLS大系统是可行的。

雷达低慢小目标检测技术综述

首先,在分析低慢小目标特性的基础上总结了低分辨预警雷达探测此类目标的技术难点。然后,分类总结介绍了目前国内外具有一定启发性的检测技术,基于检测前跟踪技术、基于变换域方法、基于微多普勒分析、基于多活性代理系统检测以及基于杂波白化等方法,并对各方法检测性能进行了简要分析。最后,总结提出了针对此类目标检测技术研究发展的几点思考。

考虑冲击电晕的架空线雷电过电压计算与分析

冲击电晕会造成雷电过电压的波形畸变,考虑冲击电晕影响的架空线路雷电过电压仿真有助于更为准确地开展线路绝缘配合设计。本文基于多导体传输线理论,结合电晕的等效电路模型,建立了考虑冲击电晕的多导体传输线暂态仿真模型,并通过与实测结果对比验证了模型的正确性。基于该模型,对配电线路雷电感应过电压进行了计算,并进行了感应雷和直击雷两者冲击电晕的不同机理分析。本文方法与基于Maxwell方程的电磁场方法相比,在保证计算精度的情况下可有效提高计算效率,适用于架空线路的防雷设计。

多目标空域识别有效性定量评价算法

有限区域内多目标的相互干扰是定位系统目标识别所面临的难题之一。分析了影响空域识别能力的各种因素,提出了利用等张角曲面、等倾角倒圆锥曲面多重交集投影方法,解算识别距离及形态,实现了空域识别有效性定量评价。指出了目标数量、间距、布阵及传感器空域分辨能力、侦测接近倾角等与有效识别距离及形态的变化关系,对充分发挥传感器探测效率和选择侦测方位提出了一条有效的技术途径。

基于全通带相位数字补偿的通道校正研究

在多通道接收机中,通道的一致性是阵列通道的关键指标。通道各级在幅度相位上的均存在离散性,没有有效的方法针对电路预先校正通道的一致性,本文研究了有源和无源电路影响相位响应的机理,并提出了通过对通道后验信息的数字相位补偿,结合移相网络改善通道相位一致性的方法。

基于知识地图的多领域本体语义互联研究

以数字信息资源组织的多领域本体语义互联为切入点,通过对国内外本体映射的研究现状及本体映射聚类的分析,构建了基于知识地图的多领域本体语义互联框架模型。

大回线源瞬变电磁全域视电阻率定义

为了进一步满足精细探测的需要,给出了一种大回线源瞬变电磁全域视电阻率数值计算方法,利用该方法可以快速求取大回线源非中心点处多分量的全域视电阻率.利用贝塞尔函数展开法计算大回线源非中心点垂直分量与水平分量的电磁响应,通过分析非中心点处的多分量电磁响应特征,得到基于磁感应强度的大回线源全域(时间上不分早晚,距离上不分远近)视电阻率计算方法.与现有全区视电阻率方法不同在于:对非中心点处多分量视电阻率进行定义,利用磁感应强度定义不存在假极值现象,无需迭代,计算速度快,精度高.