全文获取类型
收费全文 | 61篇 |
免费 | 14篇 |
国内免费 | 14篇 |
专业分类
电工技术 | 4篇 |
综合类 | 2篇 |
金属工艺 | 13篇 |
机械仪表 | 8篇 |
建筑科学 | 5篇 |
矿业工程 | 3篇 |
水利工程 | 1篇 |
石油天然气 | 2篇 |
无线电 | 11篇 |
一般工业技术 | 8篇 |
自动化技术 | 32篇 |
出版年
2024年 | 1篇 |
2023年 | 5篇 |
2022年 | 4篇 |
2021年 | 10篇 |
2020年 | 5篇 |
2019年 | 7篇 |
2018年 | 5篇 |
2017年 | 3篇 |
2016年 | 1篇 |
2015年 | 2篇 |
2014年 | 7篇 |
2013年 | 8篇 |
2012年 | 3篇 |
2011年 | 5篇 |
2010年 | 5篇 |
2009年 | 5篇 |
2008年 | 4篇 |
2007年 | 5篇 |
2005年 | 2篇 |
1995年 | 1篇 |
1994年 | 1篇 |
排序方式: 共有89条查询结果,搜索用时 15 毫秒
1.
随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。 相似文献
2.
3.
模糊PID控制的柴油机调速系统仿真 总被引:1,自引:0,他引:1
PID控制是生产过程中应用最广泛的控制方式,但它对含变化参数的模型控制效果不理想。为了使舰船柴油机适应不断变化的工作环境,在传统PID控制的柴油机调速系统的基础上加入模糊控制环节,对PID参数进行在线整定。详细介绍了模糊PID算法在柴油机调速系统中的应用以及模糊控制器的设计,并通过MATLAB对模糊PID柴油机调速系统进行仿真,仿真结果表明,模糊自整定PID控制系统可以改善系统的动态特性,减小系统的振荡,提高系统的响应速度。 相似文献
4.
为了限制应用软件的行为,Android系统设计了权限机制.然而对于用户授予的权限,Android应用软件却可以不受权限机制的约束,任意使用这些权限,造成潜在的权限滥用攻击.为检测应用是否存在权限滥用行为,提出了一种基于关联分析的检测方法.该方法动态检测应用的敏感行为与用户的操作,并获得两者的关联程度.通过比较待检测应用与良性应用的关联程度的差别,得到检测结果.基于上述方法,设计并实现了一个原型系统DroidDect.实验结果表明,DroidDect可以有效检测出Android应用的权限滥用行为,并具有系统额外开销低等优点. 相似文献
5.
针对当前应用于视频对象分割的图割方法容易在复杂环境、镜头移动、光照不稳定等场景下鲁棒性不佳的问题,提出了结合光流和图割的视频对象分割算法.主要思路是通过分析前景对象的运动信息,得到单帧图像上前景区域的先验知识,从而改善分割结果.论文首先通过光流场采集视频中动作信息,并提取出前景对象先验区域,然后结合前景和背景先验区域建立图割模型,实现前景对象分割.最后为提高算法在不同场景下的鲁棒性,本文改进了传统的测地显著性模型,并基于视频本征的时域平滑性,提出了基于混合高斯模型的动态位置模型优化机制.在两个标准数据集上的实验结果表明,所提算法与当前其他视频对象分割算法相比,降低了分割结果的错误率,有效提高了在多种场景下的鲁棒性. 相似文献
6.
计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,因此如何在保证验证正确性的前提下压缩数组规模是一个值得研究的课题。文章提出复杂循环等价类的定义和相关命题,并提出一种面向程序可达性验证的数组处理循环压缩方法,先利用控制流自动机和系统依赖图进行静态分析划分等价类,再根据循环依赖关系对等价类进行压缩,用压缩后程序的验证结果代替原始程序的验证结果。实验结果表明,文章提出的方法能够在保证验证正确性的前提下压缩程序的规模,提高验证效率。 相似文献
7.
8.
随着时代的进步和社会经济的发展,我国出现了各类工程,高性能混凝土得到了较为广泛的应用,但是在各种因素的综合作用下,混凝土很容易出现开裂问题,影响到工程质量和安全。针对这种情况,就需要深入研究氧化镁复合膨胀剂对高性能混凝土安定性能和力学性能的影响,希望可以提供一些有价值的参考意见。 相似文献
9.
10.
随着我国通信行业的飞速发展,通信企业为了适应市场的需求与发展,4G技术逐渐的不如市场,但在4G技术的广泛应用过程中,其自身存在的问题也逐渐的显露出来。本文主要对4G通信的关键技术进行研究,并对其应用的状况进行阐述,以此来完善4G技术的发展。 相似文献