全文获取类型
收费全文 | 59篇 |
免费 | 2篇 |
国内免费 | 20篇 |
专业分类
电工技术 | 5篇 |
综合类 | 5篇 |
化学工业 | 8篇 |
机械仪表 | 7篇 |
建筑科学 | 9篇 |
轻工业 | 7篇 |
水利工程 | 3篇 |
无线电 | 7篇 |
一般工业技术 | 1篇 |
原子能技术 | 1篇 |
自动化技术 | 28篇 |
出版年
2024年 | 3篇 |
2023年 | 5篇 |
2022年 | 6篇 |
2021年 | 10篇 |
2020年 | 4篇 |
2019年 | 6篇 |
2018年 | 5篇 |
2017年 | 4篇 |
2016年 | 4篇 |
2015年 | 3篇 |
2014年 | 3篇 |
2013年 | 4篇 |
2012年 | 5篇 |
2011年 | 4篇 |
2010年 | 1篇 |
2009年 | 3篇 |
2007年 | 4篇 |
2006年 | 4篇 |
2003年 | 1篇 |
1992年 | 1篇 |
1981年 | 1篇 |
排序方式: 共有81条查询结果,搜索用时 15 毫秒
21.
随着计算机软件规模和复杂度的日益增长,软件系统的可靠性和安全性倍受关注.空指针解引用是程序中常见的一类错误.提出了一种基于反例制导抽象精化CEGAR的C程序空指针解引用检测方法.该方法首先使用线性时序逻辑描述空指针解引用问题,然后通过抽象精化的方法检测待测程序中是否含有空指针解引用错误.为了达到完全自动验证的目标,同时针对空指针解引用问题,研究了该类性质的时序逻辑表达方法,并自动从程序中针对所有的指针变量,形成相应的时序逻辑公式.实验结果表明,所提出的方法在大规模C程序的空指针解引用检测方面有着重要的实际应用价值. 相似文献
22.
田聪 《消防技术与产品信息》2012,(1):59-62
就农村消防安全工作的现状、问题情况作出基本分析,对构筑与新农村和谐发展相适应的消防安全体系提出具体的基本思路和工作设想。 相似文献
23.
25.
田聪 《硫磷设计与粉体工程》2023,(2):29-31+35+6
针对工厂供电系统因功率因数低造成电能损耗多的问题,分析了装置功率因素过低的原因和提高功率因数的原理,提出提高系统自然功率因数和采用无功补偿装置的途径来提高电能质量,并分析了提高功率因数的优点,认为提高电力设备的功率因数,实现供电系统的高效节能运行,可提高综合生产效率和经济性。 相似文献
26.
建立了圆柱滚子在乏油工况下的线接触弹流润滑模型,并运用多重网格法计算得到线接触弹流润滑的压力和膜厚分布,研究乏油工况下供油膜厚、黏度等参数变化对弹流润滑特性的影响。模拟结果表明:增加供油膜厚,弹流润滑的膜厚增大且伴有颈缩现象,润滑压力在接触区近似为Hertz分布;黏度对压力影响较小,但对油膜厚度影响较大,随着黏度增加,油膜厚度减小;随着乏油情况的改善,接触区润滑膜厚增大,压力出现二次峰值,但供油量达到一定程度后润滑效果不再增强。 相似文献
27.
自动机的确定化是将非确定性自动机转换为接收相同语言的确定性自动机,是自动机理论的基本问题之一.ω自动机的确定化是诸多逻辑,如SnS, CTL*,μ演算等,判定过程的基础,同时也是解决无限博弈求解问题的关键,因此对ω自动机确定化的研究具有重要意义.主要关注一类ω自动机——Streett自动机的确定化.非确定性Streett自动机可以转换为等价的确定性Rabin或Parity自动机,在前期工作中已经分别得到了状态复杂度最优以及渐进最优算法,为了验证提出的算法的实际效果,也为了形象地展示确定化过程,开发一款支持Streett自动机确定化的工具是必要的.首先介绍4种不同的Streett确定化结构:μ-Safra tree和H-Safra tree (最优)将Streett确定化为Rabin自动机, compact Streett Safra tree和LIR-H-Safra tree (渐进最优)将Streett确定化为Parity自动机;然后,根据Streett确定化算法,基于开源工具GOAL (graphical tool for omega-automata and logics),实现... 相似文献
28.
无限字自动机的确定化是理论计算机研究重要的一部分,在形式化验证,时序逻辑,模型检测等方面有重要应用.自Büchi自动机提出半个世纪以来,其自动机的确定化算法始终是其中的基础.有别于当初只是在理论上对其大小上下界的探索,利用日新月异的高性能计算机技术不失为一种有效的辅助手段.为了深入研究非确定性Büchi自动机确定化算法的实现过程,我们希望重点研究确定化过程中的索引能否继续被优化的问题,实现了确定化研究工具NB2DR.可以对非确定性Büchi自动机进行高效的确定化,并通过工具提供的分析其确定化过程来达到对其确定化算法改进的目的.通过对生成的确定性无限字自动机的索引的深入分析来探索相关索引的理论.该工具还实现了可以根据需要的Büchi自动机的大小与字母表参数,生成确定化的Rabin自动机族,亦可以反向根据需要的指定索引的大小来生成全部Büchi自动机族,测试生成无限字自动机的等价性等功能. 相似文献
29.
随着神经网络技术的快速发展,其在自动驾驶、智能制造、医疗诊断等安全攸关领域得到了广泛应用,神经网络的可信保障变得至关重要.然而,由于神经网络具有脆弱性,轻微的扰动经常会导致错误的结果,因此采用形式化验证的手段来保障神经网络安全可信是非常重要的.目前神经网络的验证方法主要关注分析的精度,而易忽略运行效率.在验证一些复杂网络的安全性质时,较大规模的状态空间可能会导致验证方法不可行或者无法求解等问题.为了减少神经网络的状态空间,提高验证效率,提出一种基于过近似误差分治的神经网络形式化验证方法.该方法利用可达性分析技术计算非线性节点的上下界,并采用一种改进的符号线性松弛方法减少了非线性节点边界计算过程中的过近似误差.通过计算节点过近似误差的直接和间接影响,将节点的约束进行细化,从而将原始验证问题划分为一组子问题,其混合整数规划(MILP)公式具有较少的约束数量.所提方法已实现为工具NNVerifier,并通过实验在经典的3个数据集上训练的4个基于ReLU的全连接基准网络进行性质验证和评估.实验结果表明, NNVerifier的验证效率比现有的完备验证技术提高了37.18%. 相似文献
30.
县级供电企业“三集五大”信息化建设发展探讨 总被引:2,自引:0,他引:2
就国网公司"三集五大"信息工程信息化建设对县级供电企业数据集中模式下的应用体系带来的各种影响进行分析评估,对开创规范与灵活相结合的信息化发展机制进行了探讨。充分认识到信息化发展的规律,把握信息化发展的机遇,充分重视数据的管理,树立规范意识、服务意识、发展意识,摸索出一套有序灵活的信息化发展模式,为构建现代化的营销管理体系提供强大的基础性支撑。 相似文献