首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  完全免费   1篇
  自动化技术   4篇
  2017年   1篇
  2015年   1篇
  2007年   1篇
  2004年   1篇
排序方式: 共有4条查询结果,搜索用时 78 毫秒
1
1.
从西方管理学界把企业员工定义成社会人的那一刻起,企业对人的管理变得复杂起来。[编者按]  相似文献
2.
历史文献因长期存放会出现黄斑、阴影,为了能有效识别需要对扫描输入后的数字图像进行预处理,文中提出了一种改进的最大均匀性平滑算法,并结合图像边缘特征进行二值化处理的预处理方法.在不影响平滑效果的前提下,能较好地保留图像细节,提高运算效率.实验结果表明,采用文中给出的方法能使效果有所改善.  相似文献
3.
翟娟  汤震浩  李彬  赵建华  李宣东 《软件学报》2017,28(5):1051-1069
采用形式化方法证明软件的正确性是保障软件可靠性的有效方法,而对循环语句的分析与验证是形式化证明中的关键,对循环语句的处理一直是程序分析与验证中的一个难点问题.本文提出使用循环语句修改的内存和这些内存中存放的新值来描述循环语句的执行效果,并将该执行效果定义为循环摘要.同时,本文提出了一种自动生成循环摘要的方法,可以为操作常用数据结构的循环自动生成循环摘要,包含嵌套循环.此外,基于循环摘要,我们可以自动生成循环语句的规约,包括循环不变式、循环的前置条件以及循环的后置条件.我们已经实现了自动生成循环摘要以及循环规约的方法,并将它们集成到验证工具Accumulator中,实验表明,我们的方法可以有效地生成循环摘要,并生成多种类型的规约,从而辅助软件程序的形式化证明,提高验证的自动化程度和效率,减轻验证人员的负担.  相似文献
4.
针对目前气体泄露检测报警装置存在检测精度低、报警方式单一等问题,设计一种便携式CO气体泄漏报警仪.报警仪以MSP430F135芯片为控制核心,以声光、震动、短信模块为报警主体,通过CO传感器获得CO体积分数,经过数据去噪、放大、A/D转换、安全验证、报警触发和实时显示等流程完成气体泄漏的实时监测和处理.为了同时满足安装和便携两种方式,内置了外置供电和充电模块自动切换,实时显示电量和提醒充电,经过实验室测试和现场测试,该气体报警仪具有便捷、高精度、低功耗、多模式报警、操作方便等多种优点.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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