无线传感器的安全定位多点验证协议的形式化方法研究

目前,无线传感器网络的定位的主要是目标是在敌对环境中不受干扰。由于无线传感器网络定位的主要应用都需要在安全的定位结果下才能正常工作,对无线传感器的定位主要研究是集中在能够正常定位的前提下,对安全定位研究较少。本文首先介绍多点验证协议,并用形式化方法对其距离验证协议展开研究,然后验证距离验证协议在WSN的SPINE安全定位算法中能够进行定位,并验证其安全性。

物联网国家标准验证点建设研究

本文梳理了国家标准化主管部门在标准验证方面的政策部署和批准标准验证点建设的举措,总结了在行业主管部门的推动下,物联网技术、产业、标准发展的情况。介绍了物联网标准验证的基础以及取得的成效,分析了物联网标准验证的重点、难点以及物联网标准验证点建设思路、技术路线,提出了物联网标准验证方法。本文提出的标准验证点建设思路以及标准全生命周期验证方法,对于其他类似领域的标准验证工作开展、标准验证点建设将具有参考价值和借鉴意义。

标准验证点技术能力建设分析研究

标准验证是提升标准制定科学性、适用性、合理性的重要技术手段之一,标准验证点是承担验证工作的技术支撑主体。本文分析总结了标准验证工作基本流程、关键环节和验证结果等方面的内容,提出了标准验证点在建设运行及管理过程中需要重点规划的技术能力建设,为各专业领域验证点开展验证工作提供参考借鉴。

核领域国家标准验证点申报建议研究

本文通过梳理并分析国家标准化管理委员会发布的国家标准验证点建设指导文件,研究对国家标准验证点申报单位的基础条件、科研能力、保障能力等具体要求,调研已批复的综合性国家标准验证点和领域类标准验证点,总结已成功申报单位的经验,对申报核领域标准试验点提出合理建议。

无线传感器网络中基于验证点的安全定位协议

针对现有定位算法多是建立在假设锚点信息是正确的基础上,如果网络受到攻击,这些定位算法都将无法工作的问题,基于验证点思想提出既能使用不同定位算法,又不需要增加锚点(甚至不用锚点)的高质量安全定位协议———SLPDVNM。SLPDVNM通过使用动态验证点结合定位算法的机制完成节点安全定位。安全分析和基于MMSE定位算法的协议性能仿真表明,算法不仅可以有效克服恶意锚点的影响,而且对已知的多种攻击也具有极好的抵御能力。

肝癌靶点的筛选与验证

肝癌是临床上具有高致死率的常见恶性肿瘤之一,发现新靶点、开发新药对于疾病的治疗至关重要。本文从生物功能和网络的角度分析了与肝癌发生、发展相关的差异表达基因,旨在筛选出肝癌早期诊断的分子标志物和免疫治疗靶点。首先对两组肝癌相关基因表达数据进行差异表达筛选;然后通过GO(Gene ontology)功能和KEGG(The kyoto encyclopedia of genes and genomes)通路分析,得到同时在主要功能和信号通路上显著富集的128个目标基因;最后通过基因调控网络探讨目标基因的相互作用规律,找出10个关键基因并进行生存分析验证。结果表明,得到的CYP3A4、CYP3A5、CYP2C9和CYP2C8这4个基因适合作为肝癌标志物或靶向治疗靶点。本文为肝癌发生、发展的机制研究,肿瘤标志物的筛选及药物靶点选择提供了参考,为进一步开展相关的功能研究提供了基础。

点云数据稀疏区域建筑物立面重建方法

建筑物立面兼顾规则和非规则的几何结构排列,利用先验或提取的立面结构规则推理数据稀疏区域立面模型时,会产生不合理的重建结果.为此,提出一种结合规则推理和点云数据验证的数据稀疏区域建筑物立面重建方法,能够对推测的立面模型合理性进行验证.在利用影像数据改善立面点云数据初始重建模型偏移的基础上,分析立面结构的排列规律.采用四邻域模板匹配方法推理点云数据稀疏区域立面几何结构的位置和类型.最后用点云数据验证推理重建结果的可靠性.实验表明,对于结构多样的建筑物立面,该方法可检测出不合理的重建结果,提高了基于规则建筑物立面重建的可靠性.

关于推进海洋领域标准验证工作的思考

标准验证是标准制修订程序中的重要一环,通过对标准技术条文、核心指标、试验和检验方法等内容进行确证,可以保障和提高标准的科学性、规范性、适用性和时效性。海洋是国民经济和社会发展的重要领域,推动海洋强国建设需要发挥标准的技术支撑作用。针对海洋领域标准数量多、验证需求广泛,标准内容跨行业、多学科、技术复杂、验证难度高的特点,在分析验证工作的重点难点基础上,本文探讨了如何在海洋领域推动开展标准验证工作的思路和方法,提出建立标准验证点,建设标准验证技术体系,构建统一工作平台,强化验证结果应用,重视验证技术国际合作,以提高海洋标准整体质量和海洋标准化服务水平。

药物靶点筛选的研究

新型药物的设计和筛选都是通过已知的靶点来完成的,因而对药物靶点的筛选就成为药物开发过程中的一个重要过程,靶点筛选的成功与否直接影响到后期药物的相关研究,所以,许多研究人员尝试各种方法提高靶点的筛选效率,目前,已经有很多比较成熟的筛选方法,除此之外,新的筛选方法也在不断探索中。本文主要对目前药物靶点筛选过程做以总结,并简单概述筛选过程中应用到的方法。本文主要总结了药物靶点筛选的全部流程,并重点介绍了靶点确认及验证的成熟方法。

井口装置和采油树标准关键指标的验证

为了加强标准验证能力的建设,检验标准的科学性、正确性、适用性、合理性、先进性和可操作性,提高标准技术指标的先进性、准确性和可靠性,针对产品标准制修订工作中技术内容的验证问题,以《石油天然气工业钻井和采油设备井口装置和采油树:GB/T22513—2013》为实例,通过调研工程需求和制造水平,给出了增加阀门规格数据检验检测验证的方法和实施结果;总结了在石油井口标准修订过程中开展验证研究的情况,探讨了检验检测验证、变更计算方法验证等方法在标准制修订过程中的应用。研究结果表明:对于国内外标准中都没有标准化互换性数据的法兰规格,基于API建议的方法分析计算了法兰连接体在预紧、强度试验、承压使用工况的应力水平和密封垫环的密封比压应力云图,利用应力线性化方法对标称尺寸?130~?140 mm法兰连接的强度做了评定。结论认为:该项研究成果为标准制修订与检验检测的深度融合、促进标准质量水平的提升提供了案例,为制造企业、检测机构、研究单位等多方力量更好地参与标准化技术工作创新了思路;同时也为推动国家标准验证点的建设和运营提供了有益的尝试。

基于血清代谢组学研究祛浊通痹方改善高脂饮食诱导的肥胖小鼠胆汁酸代谢紊乱

[目的]基于血清代谢组学探究祛浊通痹方(Quzhuo Tongbi,QZTB)改善高脂饮食(high fat diet,HFD)诱导的肥胖小鼠胆汁酸代谢紊乱的相关机制。[方法]将雄性C57BL/6J小鼠随机分为空白组、HFD模型组和QZTB组,采用超高效液相色谱-四极杆飞行时间串联质谱(ultra-high performance liquid chromatography-quadrupole time-of-flight mass spectrometry,UHPLC-QTOF-MS)技术进行血清代谢组学分析,筛选潜在生物标志物。通过实时荧光定量聚合酶链式反应(Real-time quantitative polymerase chain reaction,RT-qPCR)验证富集代谢通路的关键靶点。[结果]代谢组学分析共筛选到103个潜在生物标志物,主要富集到胆汁酸生物合成代谢通路,提示QZTB可明显改善HFD诱导的小鼠胆汁酸代谢紊乱。RT-qPCR结果显示,与空白组比较,HFD模型组小鼠肝组织胆固醇7α羟化酶(cholesterol 7-alpha hydroxylase,CYP7A1)、细胞色素P450家族8亚家族B成员1(cytochrome P450 family 8 subfamily B member 1,CYP8B1)、法尼醇X受体(farnesoid X receptor,FXR)及小异源二聚体(small heterodimer partner,SHP)表达量显著降低(P<0.01,P<0.01,P<0.001,P<0.01);经QZTB干预后经典途径关键酶CYP7A1与CYP8B1明显升高(P<0.01,P<0.05),FXR与SHP被激活(P<0.05),固醇调节元件结合蛋白-1C(sterol regulatory elementbinding protein-1C,SREBP-1C)和脂肪酸合成酶(fatty acid synthase,FAS)被显著抑制(P<0.01,P<0.001)。[结论]QZTB主要通过提高胆汁酸合成经典途径关键酶的活性,促进初级胆汁酸的合成,激活FXR-SHP通路,调节胆汁酸生物合成代谢途径,从而改善HFD诱导的肥胖小鼠胆汁酸代谢紊乱。

一种高效安全的椭圆曲线标量乘算法

基于点验证和基于一致性检测的椭圆曲线标量乘安全算法一般运算效率低下。为此,通过对错误探测方法进行改进,提出一种基于三进制的椭圆曲线标量乘算法,给出算法的正确性证明,并在仿射坐标和Jacobian坐标下对其进行分析,结果表明,在保证安全性的前提下,该算法的效率有较大提高。

基于SBAS-InSAR的滨州市地表沉降及其对影响因素分析

基于目前研究地表沉降影响原因时多注重单个影响因子影响作用与“横向”种类间对比分析,而忽视了影响因素间的相互作用的目的,采用SBAS-InSAR技术得到滨州市2016年~2020年的平均沉降速率,并结合其他因子,使用地理探测器定量分析地表沉降影响因子及其相互作用机制,得出:①工矿用地、盐化工产业和砂土因子对地表沉降影响力度最大;②因子之间的相互作用也均显示为显著增强关系,其中采矿用地、砂土盐化工产业三因子交互作用表现最强。

基于网络药理学探讨黄葵胶囊治疗糖尿病肾病的作用机制

目的探讨黄葵胶囊治疗糖尿病肾病的作用机制。方法通过TCMSP、GeneCards、Swiss Target Prediction以及文献检索等手段筛选出黄葵胶囊的活性成分、作用靶点及糖尿病肾病作用靶点;采用String数据库对药物与疾病共有靶点构建蛋白互作网络图(PPI),利用Metascape数据库对共有靶点进行GO、KEGG富集分析,Cytoscape(3.7.1)软件构建“药物-成分-靶点-通路”网络。采用动物实验验证黄葵胶囊对核心靶点的调节作用。结果筛选出47个关键靶点,包括HIF1A、GAPDH、VEGFA、TNF、STAT3等。动物实验验证了黄葵胶囊可能通过降低TNF-α、VEGFA等核心靶点的表达量,调节炎症反应,从而降低糖尿病肾病小鼠的尿蛋白。结论黄葵胶囊可能通过下调TNF-α、VEGFA等蛋白的表达,在糖尿病肾病的治疗中发挥作用。

基于规则验证点的面向对象分类精度评价

遥感图像分类是图像分析的重要步骤,其中分类后精度评定是判定图像分类效果的主要依据。目前,面向对象分类的精度评定常采用随机验证点作为评定参数,这样容易造成评定的分类结果精度不高。提出基于规则验证点的面向对象的分类精度评价方法,在使用支持向量机、CART(classification and regression tree)决策树和K最近邻进行分类的基础上,分别采用基于规则验证点和随机验证点的方法对分类结果进行精度评定。实验结果表明,所提出的方法比传统的基于随机验证点的方法得到的分类精度更高。三种分类方法在规则验证点下的最优总体分类精度分别达到了87.92%、91.94%和94.63%,均优于基于随机验证点的方法的精度评定结果。

浅述综合勘探法探查地下人防地道

叙述了利用综合勘察方法探查"世纪花苑"三期工程地下人防地道的过程,因勘察方法选择得当,既查明了拟建场地基底人防地道分布、走向、规则尺寸、埋深,缩短了勘察周期,也节约了大笔投资。

基于Google Earth的世界屋脊生态地理区GlobeLand30(2010)验证点数据集

GlobeLand30(2010)是第一个30m空间分辨率的全球土地覆盖数据库,由中国国家基础地理信息中心领衔开发完成。为了使用户更好地使用该数据库,同时也为了未来提高数据开发质量,2016年,GEO组织全球相关科学家对GlobeLand30(2010)数据进行了数据质量验证。在世界屋脊生态地理区400万km2区域内,采用景观指数法(LSI),选择了801个验证点,包括:耕地24个、森林127个、草地331个、灌木地116个、湿地2个、水体10个、人造地表1个、裸地171个、冰川和永久积雪19个。验证点上土地覆盖的判读分3步:(1)把验证点转化为30 m×30 m的正方形;(2)把文件转化为Google Earth格式(.kmz);(3)以2010年为基准,利用Google Earth时间序列遥感影像,结合判读10要素进行人工判读,得到判读结果。该数据集包括验证点的点文件和多边形文件。两个文件的属性都包括6个字段:前3个字段(来自抽样阶段)包括SID(样点序号)、LCType(分类代码)和LCName(分类名称)。后3个字段(来自判读阶段)包括CONF(判读可靠性,1表示最好,唯一分类;2表示较好,有两个可能分类;3表示差,不能用);采用Class1(可能的分类1);和Class2(当CONF=2时,可能的分类2),在801个样点中,725个样点的判读可靠性属于1级和2级,占91.51%;按照1级和2级验证点的验证结果,GlobeLand30(2010)分类精度为83.86%。如果只使用Class1验证点,GlobeLand30(2010)分类精度71.72%。数据集存储为16个文件,.shp和.kmz两种格式,数据量550 KB(压缩为3个文件,141 KB)。

局域地区坐标转换七参数的求解及精度分析

针对试验中对坐标转换的应用范围和精度要求,本文从坐标转换七参数的解算方法、精度评定等方面进行了论述、分析,并结合某试验场区CGCS2000建设,进行了数据精度分析,为今后局域地区坐标转换提供了重要的理论依据。

竹帘竹胶合板弹性常数的动态测试与分析

竹胶合板的弹性常数是决定其力学性能的重要指标。为了快速、简便、准确地检测竹帘竹胶合板的弹性模量、剪切模量和泊松比,采用自由板模态法和自由板瞬态激励法动态测试了竹帘竹胶合板的纵、横向板试件的弹性模量E和剪切模量G,采用悬臂板瞬态激励法动态测试了竹帘竹胶合板的泊松比μ;利用静态四点弯曲法试验验证了动态测试竹帘竹胶合板弹性模量、剪切模量和泊松比的准确性与可靠性;并对整板的质量等级、均质性和尺寸效应等进行了机理分析与评价。结果表明:竹帘竹胶合板的动态弹性模量、剪切模量和泊松比均值分别为0.7 GPa、1300 MPa和0.12,均符合GB/T13123—1991和LY/T 1575—2000中一等品规定要求;竹帘竹胶合板不满足G=E/2(1+μ)的关系式,为各向异性材料;动静态法测试得到竹帘竹胶合板试件弹性常数值一致,且动态测试法具有快速、简便、重复性好和精度高等优点。

瞬态激励法动态测试重组竹弹性模量、剪切模量和泊松比

重组竹是一种竹质新材料,其是以竹束为构成单元,经干燥与施胶后于模具中胶合而成的一种型材,完全弥补了原生竹材的结构缺陷。重组竹拥有良好的力学性能、优良的质感以及较高的美学价值,且其本身为绿色环保、可持续供给的生物质材料,因此作为建筑材料的潜力极强。弹性常数是衡量重组竹作为建筑材料的力学性能重要指标,为了快速、简便、无损、准确地检测重组竹材料的弹性常数,分别采用自由板和悬臂板瞬态激励法动态测试了重组竹试件的弹性模量E、剪切模量G和泊松比μ,利用静态四点弯曲法试验验证了重组竹动态弹性模量、剪切模量和泊松比的准确性和可靠性,并对重组竹整板质量等级、均质性和尺寸效应等进行了机理分析与评价。结果表明,重组竹的动态弹性模量、剪切模量和泊松比均值分别为11797 MPa,1579 MPa和0.311,符合GB/T 40247—2021《重组竹》中结构用重组竹的要求。重组竹为各向异性材料,动、静态法测得的重组竹试件弹性常数一致,且本动态测试法相较于其他传统方法具有快捷、便利、重复性好和精度高等优势。