首页 | 官方网站   微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   61篇
  免费   14篇
  国内免费   14篇
工业技术   89篇
  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.
葛艺  黄文超 《计算机应用研究》2023,40(4):1189-1193+1202
随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。  相似文献   
2.
采用红外通讯和RS-485串口通讯作为核心技术.通过瓦斯传感器和温度传感器对矿下环境的瓦斯浓度值和温度值进行数据采集,将采集到的数据通过手持采集器的红外通讯传输到通讯分站.通讯分站通过RS-485串口将数据传输给PC机,PC机对接受的数据进行分析,达到提醒矿下工作人员,保障安全生产的目的.  相似文献   
3.
模糊PID控制的柴油机调速系统仿真   总被引:1,自引:0,他引:1  
PID控制是生产过程中应用最广泛的控制方式,但它对含变化参数的模型控制效果不理想。为了使舰船柴油机适应不断变化的工作环境,在传统PID控制的柴油机调速系统的基础上加入模糊控制环节,对PID参数进行在线整定。详细介绍了模糊PID算法在柴油机调速系统中的应用以及模糊控制器的设计,并通过MATLAB对模糊PID柴油机调速系统进行仿真,仿真结果表明,模糊自整定PID控制系统可以改善系统的动态特性,减小系统的振荡,提高系统的响应速度。  相似文献   
4.
鉴于传统网络安全策略无法阻止或识别传感器网络内部节点的攻击或异常行为,结合节点资源受限的特点,提出了一种无线传感器网络节点信任度计算模型.该模型采用Bayes估计方法,通过求解基于Beta分布的节点行为信誉函数的期望值得到直接信任并将其作为Bayes估计的先验信息,将来自邻居节点的推荐信息作为其样本信息.仿真实验表明,本方案有较好的稳定性,能够有效识别异常节点,从而阻止内部节点对网络的攻击,与RFSN相比,不仅节约了存储空间、运算时间与通信量,而且能够避免恶评现象对节点信任度计算的影响.  相似文献   
5.
计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,因此如何在保证验证正确性的前提下压缩数组规模是一个值得研究的课题。文章提出复杂循环等价类的定义和相关命题,并提出一种面向程序可达性验证的数组处理循环压缩方法,先利用控制流自动机和系统依赖图进行静态分析划分等价类,再根据循环依赖关系对等价类进行压缩,用压缩后程序的验证结果代替原始程序的验证结果。实验结果表明,文章提出的方法能够在保证验证正确性的前提下压缩程序的规模,提高验证效率。  相似文献   
6.
采用了四因素三水平的正交试验方法,结合焊接电弧动态小波分析仪对脉冲参数进行了优化。根据试验结果分析了MIG焊主要参数和焊缝成形质量之间的关系,为脉冲MIG焊的参数设计提供了依据。  相似文献   
7.
随着时代的进步和社会经济的发展,我国出现了各类工程,高性能混凝土得到了较为广泛的应用,但是在各种因素的综合作用下,混凝土很容易出现开裂问题,影响到工程质量和安全。针对这种情况,就需要深入研究氧化镁复合膨胀剂对高性能混凝土安定性能和力学性能的影响,希望可以提供一些有价值的参考意见。  相似文献   
8.
针对一类含多面体不确定性的多项式系统,研究其局部稳定鲁棒镇定问题。基于多项式平方和(SOS)技术,将该类非线性控制问题转换为凸的SOS规划问题,并通过引入S-procedure技术,保证了所得结论在局部范围内是有效的。同时,结合参数依赖Lyapunov函数方法,给出了该类系统鲁棒性分析与鲁棒镇定控制问题的充分条件,并将其描述为可由SOS规划技术直接求解的状态依赖线性矩阵不等式约束集。最后,通过数值仿真验证了该方法的有效性。  相似文献   
9.
随着我国通信行业的飞速发展,通信企业为了适应市场的需求与发展,4G技术逐渐的不如市场,但在4G技术的广泛应用过程中,其自身存在的问题也逐渐的显露出来。本文主要对4G通信的关键技术进行研究,并对其应用的状况进行阐述,以此来完善4G技术的发展。  相似文献   
10.
黄文超 《焊管》1994,17(3):29-33
带钢输送机的制作介绍黄文超(四川省忠县高频焊管厂634300)主题词带钢,输送机,工艺设计,结构参数TheIntroductiontotheManufactureofandSteelConveyer¥HuangWenchaoKeywords:stee...  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号