基于可控制性度量的图神经网络门级硬件木马检测方法

随着全球化的不断深入,第三方知识产权(IP)核应用越来越广泛。随着硬件木马攻击技术逐渐成熟,使得在芯片设计阶段植入硬件木马成为可能。因此,在芯片设计过程中面临IP核被植入木马的严重威胁,现有研究所提的硬件木马检测方法具有依赖黄金参考电路、需要完备的测试向量、大量的样本进行学习等特征。面向IP核的硬件木马检测需求,提出一种基于可控制性度量的图神经网络检测方法。该方法以门级网表作为输入,首先以可控制性值为指导,得到可疑的门节点,用于缩小搜索范围;然后利用可疑门节点生成对应的子图,利用图卷积神经网络从子图中提取特征,实现对子图的分类和检测,最终识别硬件木马。实验结果表明,该方法无须测试激励和黄金模型,利用硬件木马的隐蔽特性与结构特征相结合的方法提升硬件木马的检测准确率,平均真阳率为100%,假阳率为0.75%,在保证较高真阳率的同时可有效降低假阳率,达到较好的检测效果。

论隧道工程围岩稳定性及其可控制性

本文首先指出隧道工程围岩稳定性分析的不足，从理论上详细阐述隧道工程的开发利用是一个动态的、有层次的、可控制的灰色系统，指出分析隧道工程围岩稳定性应采取系统的观点。尤其详细地分析了系统的输出─—围岩变形曲线的规律，采用控制论的观点论述了其可控制性，并给出具体的灰色系统分析方法及建模步骤，同时给出工程实例。

术后可控制性微动锻炼与骨折愈合关系的研究进展

骨折是临床常见的一种疾病,其愈合过程复杂且与多种因素有关,对近年来骨折手术治疗后患者行可控制性微动锻炼与骨折愈合的关系进行综述,旨在探索微动促进骨折愈合的机制,提高患者生活质量。

股骨颈骨折后股骨头坏死的可控制性因素分析与对策

目的探讨空心加压螺钉治疗股骨颈骨折后股骨头坏死的可控制性因素。方法回顾性分析随访资料完整的133例新鲜股骨颈骨折患者，均用空心加压螺钉内固定。对患者资料运用SPSS10．0软件进行统计学分析，即对术前、手术期、术后各项可控制性因素与股骨头坏死相关性分析。结果133例患者获12～60个月随访，平均45．2个月。12例出现股骨头坏死，坏死率9％，坏死发生时间为术后13～51个月。结论可控制性因素对股骨颈骨折后股骨头坏死影响显著。加强可控制性因素的认识与处理，是减少股骨头坏死的有效方法。

论军事认识系统的非控制性与可控制性

本文把军事认识活动作为一种认识控制系统来研究，揭示其因对抗 性而引起的特殊性与复杂性，试图从一个侧面使军事认识论成为认识论研究从抽象 到具体的深化与展开。军事认识系统的非控制性根源于敌方客体的反控制性，但不 等于无控制性或不可控制性；军事认识的控制方式之一─—作战模拟虽然是以模型 的方式进行认识，但同时具有可靠性、有效性；作战模拟对于军事认识活动有着实验 性、定量性和实时性的优点，又有着控制活动的理想化、理性化和技术化的缺陷，应正 确把握非控制性与可控制性的关系。

中华鳖可控制性健康养殖技术

近年来，不少中华鳖的养殖企业仍采用传统的养殖模式，传统养殖中华鳖方式存在着养殖周期长、回捕率低、产量低、效益慢等弊端。石家庄市中华鳖良种场在多年的养殖经验基础上，通过人为的控制环境，满足中华鳖所需要的最佳水温、最佳营养饵料和优良的水质条件，控制饲养管理，实现终年生产、快速生长的目的，克服了传统的自然养殖方式带来的不利因素，具有周期短、产量高、见效快等特点，探索出了一个健康鳖新模式。

可控制性细微运动干预应用于股骨骨折患者术后对其生存质量和功能康复的影响

目的探究可控制性细微运动干预应用于股骨骨折患者术后对其生存质量及功能康复的影响，并为这类患者的优质诊疗照护模式积累循证经验。方法选取本院骨科于2013年9月至2016年10月收治的102例股骨骨折患者，借助随机数字表作为分组依据，将所有纳入对象划分为研究组和对照组，每组51例；其中对照组实行传统的护理照护，而研究组则在对照组基础上引人可控制性细微运动干预；记录两组患者在干预前及干预后第3周末的LySholm评分和生活质量量表（SF-36）评分。结果干预后，研究组患者的生理功能、躯体功能、总体健康、生理职能、情感职能、精神健康、社会功能以及活动评分分别为（85．1±10．7）分、（88．1±13．7）分、（88．3±13．2）分、（85．3±9．2）分、（82．1±8．4）分、（78．3±7．5）分、（72．1±10．3）分、（78．9±7．9）分，均高于对照组，差异均有统计学意义（均P〈0．05）。干预后第3周末，研究组患者的跛行、支撑、交锁、不稳定、疼痛、肿胀、爬楼梯、下蹲评分分别为（4．3±0．6）分、（4．4±0．3）分、（11．6±0．4）分、（19．7±0．7）分、（20．6±1．2）分、（8．9±0．5）分、（8．3±0．3）分、（4．3±0．3）分，均高于对照组，差异均有统计学意义（均P〈0．05）。结论对于股骨骨折患者来说，引人可控制性细微运动干预，能提高患者的生存质量，且能促进肢体的功能康复，值得在临床上做进一步推广。

主喷射气流的高速响应特性及其可控制性

文章通过实验结果讨论主喷射气流的可控制性以及由主喷嘴、气管和电磁阀组成的主喷射系统的高速响应特性,并探索缩短喷射系统响应时间的方法。

非局部半线性积微分系统的可控制性(英文)

本文运用半群理论和Schauder不动点定理,在Banach空间研究了一类非局部半线性积微分系统的可控制性.最后,举例说明了所得结果.

Caputo-Fabrizio分数阶线性动力系统的可观测性和可控制性

针对Caputo-Fabrizio分数阶线性动力系统的可观测性和可控制性进行了研究。首先利用Caputo-Fabrizio分数阶导数及单位脉冲函数的Laplace变换得到了方程解的表达式,进而得到可控制性和可观测性的Grammian矩阵,由此给出并证明了可观测性和可控制性的充分必要条件。

一个半线性系统的近似可控制性

讨论一类抽象半线性控制系统，引入新的充分条件，并证明该系统的近似可控制性．

一种可选择性和可控制性的按压式止血装置的研发与应用

目的探讨应用可选择性可控制性的按压止血装置对人工全膝关节置换术失血量方面及术后早期功能康复的影响。方法将45例于贵阳东方骨科医院行单侧人工全膝关节置换术的患者根据术中止血方式的不同分为常规止血带组(n=22),按压式止血装置组(n=23)。对比两组患者的手术所需时间,术中止血带或按压止血装置使用时间,显性失血量、隐性失血量、总失血量,比较两组术前HSS、术后1周HSS及术后1个月的HSS评分。结果按压装置组的手术时间及使用止血装置时间与常规止血带组均无明显(P>0.05)。两组在显性失血量、隐性失血量及总失血量方面,术前与术后1周HSS方面的比较均无明显统计学差异(P>0.05)。按压装置组术后一个月HSS评分明显高于常规止血带组,比较有明显统计学差异(P<0.05)。结论可选择性和可控制性的按压式止血装置,仅仅阻断股动脉血流,同样达到捆绑式止血带的效果,显示出独特的优势,无明显并发症。

略论市场文化的可控制性及其原则

计划经济向市场经济的转轨,文化市场的兴起与发展,使得以“市场文化”为核心的大众文化成为当今社会文化的主流。这种派生于现代工业文明的新的社会文化构成,从内容到形式均不同于传统社会文化形态。从社会文化控制角度来讲。

能控能观性概念在飞行控制系统设计中的应用研究

本文有两个目的:第一是表明能控能观性概念在飞行控制系统设计中有重要实用价值;第二是研究有关能控能观性概念应用的几个共同性问题。

Stewart平台的运动可控制条件

Stewart平台机构的正解具有多解性 ,这使得该机构在空间某些位姿下会出现运动不确定的情况 ,运动变得不可控制。对

组合电路门时滞故障的可测性分析

根据时滞故障测试的特点，定义了一种门时滞故障的可测性测度（即上升沿和下降沿门时滞故障的可控制性和可观测性），并提出了相应的计算方法，为基于门时滞故障的电路可测性论计提供了理论依据。

软件的可测试性设计

软件产品开发规模的扩大和数量的增长迫切需要找到一种方法来增加软件测试的有效性。可测试性设计可以增强软件的可测试性,降低测试的强度。该文讨论了软件可测试性的特征和影响软件测试的因素,以及改进软件可测试性设计的几种方法。建议在软件开发的整个周期中融入软件的可测试性的设计。