首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   13篇
  免费   0篇
  国内免费   8篇
综合类   1篇
机械仪表   1篇
无线电   2篇
冶金工业   1篇
原子能技术   4篇
自动化技术   12篇
  2023年   1篇
  2022年   1篇
  2021年   1篇
  2020年   2篇
  2019年   1篇
  2018年   4篇
  2017年   4篇
  2014年   3篇
  2013年   1篇
  2012年   2篇
  2007年   1篇
排序方式: 共有21条查询结果,搜索用时 15 毫秒
1.
随着人工智能的迅速发展,人们的生活不断提高,智慧水族箱、智慧家居等等逐渐进入人们家中,主要针对目前市场上销售的水族箱现状以及高耗能的资源浪费问题,设计了一种基于STC89C52RC单片机为核心的智慧水族箱生态养殖系统。重点对水温调节、水循环过滤两个模块进行了分析,同时也介绍了充氧、喂食、液显、按键的电路。该智能养殖系统不仅适用于家用水族箱,同时也适用户外水禽的养殖,可以降低饲养难度,并且节能环保。  相似文献   
2.
徐晓磊  翟娟  徐状 《软件》2020,(3):18-20,55
将物料传送与控制系统广泛的运用在工业生产中,有效的解决人工分拣传送成本高、效率低等问题。本文基于可编程控制器PLC和单片机技术,设计出一种多功能物料传送控制系统。该系统在物料稳定传输的基础上,又增添了传送带检测及物体大小判断,分类挑拣,下料台有料超时警报,物料传送带依据系统反馈采取高速运行或低速运行模式等功能。  相似文献   
3.
翟娟  彭泉 《计算机时代》2021,(10):99-102
在"互联网+"背景之下,以"学科竞赛"为手段,打造电气专业的实践课程"金课".文章以"电动车智能充电桩"为例,从选题背景、方案设计、方案实施、竞赛过程遇到的困难、赛后感悟等方面介绍了该项目参与"全国大学生节能减排社会实践与科技竞赛"的参赛过程.  相似文献   
4.
采用粉末压片法制取试样、X射线荧光光谱法测定化探样品中33种主、次、痕量元素(Al、As、Ba、Br、Ca、Ce、Co、Cr、Cu、Fe、Ga、Hf、K、Mg、Mn、Na、Nb、Nd、Ni、P、Pb、Rb、Sc、Si、Sr、Th、Ti、U、V、Y、Yb、Zn、Zr)。对各元素的测定条件、仪器参数进行了设置调整,选取了与试样基体相匹配的定值样品建立工作曲线,对曲线拟合进行了研究,用经验系数法和Compton散射线内标法相结合校正基体效应,提高了分析精度。经对标准物质的验证,分析结果与标定值吻合,方法的检出限和精度均满足分析要求,相对标准偏差(RSD,n=11)为0.1~10%,满足多目标地球化学调查样品分析的质量要求,可用于化探样品的常规分析。  相似文献   
5.
建立谱漂模型,构造了一种可以利用全谱数据对谱漂参数进行估计的方法。以Na I(Tl)晶体闪烁探测器γ能谱仪测量放射性矿物样品得到的仪器谱为例,在保证谱漂规律的前提下,使用一定的谱漂参数对实测谱线进行变换,对谱漂估计算法进行了理论验证;同时在对能谱仪实际应用中出现的谱线漂移进行谱漂校正,并得到了良好的校正效果。提出的谱漂校正方法无需寻峰,能够充分利用全谱数据,易于实现自动化稳谱操作,在野外及原位光谱测量分析中具有实际应用价值。  相似文献   
6.
本文针对电动汽车充电桩充电管理系统设计进行了研究分析,本文通过对电动汽车充电桩充电管理系统的设计原则、电动汽车充电桩充电系统设计的硬件和软件设计以及电动汽车充电桩充电系统的数据集成方案设计进行了详细的分析,希望在本文的分析下能够为电动汽车充电桩充电管理系统设计提供建议。  相似文献   
7.
传统的物元模型用于水安全评价,当指标数较多时需要设计很多关联函数,设计和计算工作量皆很大,实际使用不便。为减少关联函数的设计并使之规范化,本研究提出了基于指标规范值的区域水安全评价的物元模型,即在对水安全23项常用指标适当设计参照值和对指标值进行规范变换的基础上,按各子系统将指标归为5类,同类指标设计为相同的关联函数,从而使设计和计算工作量大为简化。以山东省水安全评价为例验证了指标规范值的物元模型在水安全评价中的实用性,并与属性识别理论的评价结果进行了比较。结果表明:该评价模型简单实用,结果与实际符合较好,可为水安全评价提供一种新的参考方法。  相似文献   
8.
介绍一种将理论α系数法与基本参数法有机结合起来校正基体效应的方法。实验表明:该方法提高了样品分析的精确度,对铅黄铜合金试样中Cu、Zn、Pb元素含量分析的平均相对误差分别为0.11%、0.72%、2.93%;该方法减少了所需标准样品的数量,且能在无纯元素标样的情况下对仪器进行标定。在相同测量条件下,分析效果比基本参数法及理论α系数法好。  相似文献   
9.
翟娟  汤震浩  李彬  赵建华  李宣东 《软件学报》2017,28(5):1051-1069
采用形式化方法证明软件的正确性是保障软件可靠性的有效方法,而对循环语句的分析与验证是形式化证明中的关键,对循环语句的处理一直是程序分析与验证中的一个难点问题.本文提出使用循环语句修改的内存和这些内存中存放的新值来描述循环语句的执行效果,并将该执行效果定义为循环摘要.同时,本文提出了一种自动生成循环摘要的方法,可以为操作常用数据结构的循环自动生成循环摘要,包含嵌套循环.此外,基于循环摘要,我们可以自动生成循环语句的规约,包括循环不变式、循环的前置条件以及循环的后置条件.我们已经实现了自动生成循环摘要以及循环规约的方法,并将它们集成到验证工具Accumulator中,实验表明,我们的方法可以有效地生成循环摘要,并生成多种类型的规约,从而辅助软件程序的形式化证明,提高验证的自动化程度和效率,减轻验证人员的负担.  相似文献   
10.
秦宇航  翟娟 《软件》2020,(3):24-28
本文介绍了一种以CT107D为开发板,IAP15F2K61S2作为控制芯片的智能门控系统,详述了系统的设计框架、软硬件设计模块、实现功能。详细分析超声波测距与密码控制两个模块的实现方式,同时对其他模块的电路也进行了简单介绍分析。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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