全文获取类型
收费全文 | 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条查询结果,搜索用时 15 毫秒
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.
7.
8.
0引言印刷品质量的控制在于颜色的还原性。目前,印品质量控制还是采用手工控制,这是因为印品质量控制系统是复杂的多输入多输出的动态系统,具有实现目标的复杂性和不确定性,其中主要控制的参数有:印版、油墨、纸张、润版液、胶印机等。而每个主要的控制参量都存在着非线性、 相似文献
9.
10.
基于低密度分割密度敏感距离的谱聚类算法 总被引:1,自引:0,他引:1
本文提出一种基于低密度分割密度敏感距离的谱聚类算法, 该算法首先使用低密度分割密度敏感距离计算相似度矩阵, 该距离测度通过指数函数和伸缩因子实现放大不同流形体数据间的距离和缩短同一流形体数据间距离的目的, 从而有效反映数据分布的全局一致性和局部一致性特征.另外, 算法通过增加相对密度敏感项来考虑数据的局部分布特征, 从而有效避免孤立噪声和"桥"噪声的影响.文中最后给出了基于SC (Scattering criteria)指标的k近邻图k值选取办法和基于谱熵贡献率的特征向量选取方法.实验部分, 讨论了参数选择对算法性能的影响并给出取值建议, 通过与其他流行谱聚类算法聚类结果的对比分析, 表明本文提出的基于低密度分割密度敏感距离的谱聚类算法聚类性能明显优于其他算法. 相似文献