全文获取类型
收费全文 | 42篇 |
免费 | 5篇 |
国内免费 | 9篇 |
专业分类
电工技术 | 5篇 |
综合类 | 6篇 |
化学工业 | 1篇 |
金属工艺 | 1篇 |
机械仪表 | 4篇 |
建筑科学 | 1篇 |
能源动力 | 1篇 |
轻工业 | 9篇 |
水利工程 | 2篇 |
无线电 | 5篇 |
一般工业技术 | 2篇 |
冶金工业 | 1篇 |
自动化技术 | 18篇 |
出版年
2023年 | 7篇 |
2022年 | 1篇 |
2021年 | 1篇 |
2020年 | 5篇 |
2019年 | 7篇 |
2018年 | 3篇 |
2016年 | 1篇 |
2014年 | 5篇 |
2013年 | 4篇 |
2011年 | 3篇 |
2010年 | 2篇 |
2009年 | 3篇 |
2008年 | 2篇 |
2007年 | 3篇 |
2006年 | 4篇 |
2004年 | 1篇 |
2002年 | 1篇 |
2000年 | 1篇 |
1999年 | 1篇 |
1987年 | 1篇 |
排序方式: 共有56条查询结果,搜索用时 250 毫秒
1.
2.
3.
TrustZone作为ARM处理器上的可信执行环境技术,为设备上安全敏感的程序和数据提供一个隔离的独立执行环境.然而,可信操作系统与所有可信应用运行在同一个可信环境中,任意组件上的漏洞被利用都会波及系统中的其他组件.虽然ARM提出了S-EL2虚拟化技术,支持在安全世界建立多个隔离分区来缓解这个问题,但实际分区管理器中仍可能存在分区间信息泄漏等安全威胁.当前的分区管理器设计及实现缺乏严格的数学证明来保证隔离分区的安全性.详细研究了ARM TrustZone多隔离分区架构,提出一种基于精化的TrustZone多安全分区建模与安全性分析方法,并基于定理证明器Isabelle/HOL完成了分区管理器的建模和形式化验证.首先,基于逐层精化的方法构建了多安全分区模型RMTEE,使用抽象状态机描述系统运行过程和安全策略要求,建立多安全分区的抽象模型并实例化实现分区管理器的具体模型,遵循FF-A规范在具体模型中实现了事件规约;其次,针对现有分区管理器设计无法满足信息流安全性验证的不足,设计了基于DAC的分区间通信访问控制,并将其应用到TrustZone安全分区管理器的建模与验证中;再次,证明了具体模型... 相似文献
4.
可信执行环境(TEE)的安全问题一直受到国内外学者的关注. 利用内存标签技术可以在可信执行环境中实现更细粒度的内存隔离和访问控制机制, 但已有方案往往依赖于测试或者经验分析表明其有效性, 缺乏严格的正确性和安全性保证. 针对内存标签实现的访问控制提出通用的形式化模型框架, 并提出一种基于模型检测的访问控制安全性分析方法. 首先, 利用形式化方法构建基于内存标签的可信执行环境访问控制通用模型框架, 给出访问控制实体的形式化定义, 定义的规则包括访问控制规则和标签更新规则; 然后利用形式化语言B以递增的方式设计并实现该框架的抽象机模型, 通过不变式约束形式化描述模型的基本性质; 再次以可信执行环境的一个具体实现TIMBER-V为应用实例, 通过实例化抽象机模型构建TIMBER-V访问控制模型, 添加安全性质规约并运用模型检测验证模型的功能正确性和安全性; 最后模拟具体攻击场景并实现攻击检测, 评估结果表明提出的安全性分析方法的有效性. 相似文献
5.
根据风力发电产业特点,建立了风电产业评价体系.该模型属于复杂的不确定性定量和定性决策问题,并且评估过程中含有不完全信息.针对此问题,建立了基于证据推理方法的风电产业评价模型.对模型中的定性和定量信息转化成统一的分布式形式,通过集结较低层评价指标得到最上层指标的综合评价值,最后采用效用理论计算出确定数值.算例对所建指标体系进行了验证,计算了3个区域的风电项目方案的得分,以量化的结论直观地反映了其可行性水平.实际评价结果表明,该方法可以为决策者提供有效依据. 相似文献
6.
振动信号在噪声影响下,特征提取十分困难。为此应用同步挤压小波变换(Synchrosqueezing Wavelet Transform,SST)对振动信号进行降噪,针对分解后本征模态分量(Intrinsic Mode Function,IMF)的选取问题,提出一种基于瞬时频率复杂度和自相关系数峰度值的同步挤压小波变换降噪方法。算法首先对原始信号进行SST信号分解并提取小波脊线生成固有模态分量,然后对生成的分量进行Hilbert变换得到瞬时频率曲线,再根据瞬时频率的复杂度选择相应的合成分量重构信号。为了进一步消除噪声影响,该方法同时采用了自相关系数峰度阈值法对筛选后的分量进行二次剔除,最终实现对原始信号降噪的目的。试验最后通过不同标准方差的噪声仿真信号以及物流机械传送设备振动信号验证该方法的可行性和有效性,同时将该方法与基于集成经验模式分解(Ensemble Empirical Mode Decomposition,EEMD)和小波变换的方法进行比较,结果表明该方法的降噪性能要优于其他方法。 相似文献
7.
随着开源软件技术的不断发展,为提高开发效率并降低人力成本,组件化开发模式逐渐得到行业的认可,开发人员可以利用相关工具便捷地使用第三方组件,也可将自己开发的组件贡献给开发社区,从而形成了软件供应链.然而,这种开发模式必然会导致高危漏洞随组件之间的依赖链条扩散到其他组件或项目,从而造成漏洞影响的扩大化,例如2021年底披露的Log4j2漏洞,通过软件供应链对Java生态安全造成了巨大影响.当前针对Java语言软件供应链安全的分析与研究大多是对组件或项目进行抽样调研,这忽略了组件或项目对整个开源生态的影响,无法精准衡量其对生态所产生的影响.为此,本文针对Java语言生态软件供应链安全分析技术展开研究,首次给出了软件供应链安全领域的组件依赖关系和影响力等重要指标的形式化定义,并依据此提出了基于索引文件的增量式组件配置收集和基于POM语义的多核并行依赖解析,设计实现了Java开源生态组件依赖关系提取与解析框架,收集并提取超过880万个组件版本和6500万条依赖关系.在此基础上,本文以受到漏洞影响的日志库Log4j2为例,全面评估其对生态的影响以及修复比例,结果表明该漏洞影响了生态15.12%的组件(71082个)以及16.87%的组件版本(1488971个)同时仅有29.13%的组件在最新版本中进行了修复. 相似文献
8.
9.
10.
0引言印刷品质量的控制在于颜色的还原性。目前,印品质量控制还是采用手工控制,这是因为印品质量控制系统是复杂的多输入多输出的动态系统,具有实现目标的复杂性和不确定性,其中主要控制的参数有:印版、油墨、纸张、润版液、胶印机等。而每个主要的控制参量都存在着非线性、 相似文献