首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   54篇
  免费   10篇
  国内免费   9篇
电工技术   2篇
综合类   1篇
建筑科学   1篇
无线电   3篇
一般工业技术   2篇
自动化技术   64篇
  2021年   2篇
  2020年   5篇
  2019年   1篇
  2018年   1篇
  2016年   3篇
  2014年   5篇
  2013年   4篇
  2012年   1篇
  2011年   3篇
  2010年   2篇
  2009年   6篇
  2008年   4篇
  2007年   8篇
  2006年   5篇
  2005年   8篇
  2004年   2篇
  2003年   4篇
  2002年   5篇
  2001年   1篇
  1998年   2篇
  1996年   1篇
排序方式: 共有73条查询结果,搜索用时 13 毫秒
1.
随着我国社会经济和科学技术的发展,我国的炼钢技术发展到一定的高度,并且得到普遍的应用。钢结构自身具有促进建筑系统稳定的作用,焊接能够有效地促进建筑结构稳定的连接。对钢结构的安全和稳定有着直接的影响。因此,钢结构焊缝无损探伤质量检测技术的研究具有重要的意义。无损检测技术能够保证钢结构的整体质量。本文对钢结构焊接的缺陷类型和无损探伤技术的优势进行阐述,注重对钢结构无损探伤质量检测技术进行分析。  相似文献   
2.
本文就军用方舱在布局设计时,选用何种空调设备;方舱需要多少制冷量;空调设备附件的使用等进行了分析、论述。文中的一些观点、计算方法仅供参考。  相似文献   
3.
赵恒  叶俊民  王振宇 《计算机工程》2007,33(16):17-19,22
分析了当前软件体系结构研究对软件开发支持存在的不足,将软件体系结构求精技术引入大型复杂系统软件体系结构设计与开发过程中,结合抽象层次和层次视图,提出了一个基于求精的软件体系结构设计方法——ARSADM,给出了其关键步骤和过程,用于指导软件体系结构的正确设计。  相似文献   
4.
数组越界的故障模型及其检测方法研究   总被引:1,自引:0,他引:1  
数组越界是C程序中的常见故障,该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析,提出了检测数组越界的判定准则,建立了故障模型。根据该故障模型,采用程序控制流图和路径条件,并结合静态分析思想,给出了可有效地检测出程序中存在的数组越界故障的方法。最后通过实例分析了该方法的应用过程。  相似文献   
5.
基于CHAM模型的LTS状态树生成算法   总被引:2,自引:0,他引:2  
标号迁移系统(1abelled transition system,LTS)是形式化一致性测试的重要研究方向,在软件体系结构(software architectures,SA)测试计划生成的研究中,需要从化学抽象机(chemical abstract machine,CHAM)模型中生成LTS,以表达出软件体系结构的动态特征,因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题,基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法。  相似文献   
6.
软件体系结构风格的实例研究   总被引:3,自引:0,他引:3  
软件体系结构研究领域中,风格的研究与应用是一个重要的领域。本文讨论了软件体系结构的概念和风格,在此基础上特别对CORBA,基于Web的分布式系统结构,领域专家系统,基于商业背景的可重用软件体系结构等内容进行了讨论,并给出了它们相关风格。  相似文献   
7.
一种基于PSpice9.2的电子电路最优化设计的方法   总被引:1,自引:0,他引:1  
文章介绍了用电路仿真软件OrCAD/PSpice9.2优化电子电路的设计方案,提出了一种电路最优化设计的方法,并结合具体电路实例,阐述了用该方法对电路进行最优化设计的具体步骤和仿真过程,给出了最优化设计的结果,实践证明该方法在电子电路的最优化设计中具有很高的实用价值。  相似文献   
8.
数字音频来源被动取证研究旨在不依赖主动嵌入的数字水印或数字签名等冗余信息,通过原始数字音频数据的内在设备信息提取出表征设备源机器指纹的特征,进而对数字音频证据来源做出判断,在司法取证、军事信息、新闻传播等领域有着广泛的应用前景。目前,数字音频来源被动取证的研究综述面临时效性不足、针对性不够的问题。据此,给出了数字音频来源被动取证的研究框架和基本思路。对该领域常用的数据集做了简要的分析。根据数字音频来源被动取证的研究对象,将领域内的研究分为特征表达和表征建模两大模块,对频域信息特征、倒谱特征、基于高斯超矢量信息的特征、融合特征、深度特征五类特征,高斯混合取证模型、支持向量机决策模型、稀疏表达分类器决策模型、其他机器学习决策模型、深度学习决策模型五类模型的性能进行了比较分析。总结分析了数字音频来源被动取证领域的研究现状和存在的问题,并对未来的研究方向进行了展望。  相似文献   
9.
陈曙  叶俊民  张帆 《计算机科学》2013,40(5):184-188
以无干扰理论为基础,提出了一种基于污点数据流的软件行为可信分析模型。该模型通过跟踪程序外部输入的污点数据,提取可能引发系统不可信的关键系统调用,并建立污点传播调用序列。利用完整性条件下的污点信息流无干扰模型来判定构成污点传播的系统调用序列执行时是否可信,并给出了调用序列可信性判定定理。  相似文献   
10.
软件故障诊断过程中代价最昂贵和最耗时的活动之一就是软件故障定位.为了辅助测试人员进行软件故障的定位,在设计分层思想的指导下,在分析软件及其各个模块以及模块中代码之间复杂关系的基础上,通过分析历史数据中软件故障与现象之间的对应关系,建立了基于拓扑图的软件故障传播模型,使得软件故障诊断人员能够利用该拓扑图模型描述具体的软件故障现象.通过该拓扑图模型,软件故障传播模型可转换成更容易进行问题求解的基于二分图的故障检测模型.然后针对该模型设计了基于贪心策略的算法,该算法解决了基于二分图故障检测模型的最小覆盖求解问题,这一问题的求解结果描述了软件故障原因假设集合,通过故障原因与软件模块关系分析可找出与该故障原因对应的相应模块,从而实现故障定位.实验表明,本研究方案能够有效处理软件故障定位问题.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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