全文获取类型
收费全文 | 52篇 |
免费 | 24篇 |
国内免费 | 24篇 |
专业分类
综合类 | 2篇 |
化学工业 | 1篇 |
机械仪表 | 3篇 |
建筑科学 | 1篇 |
无线电 | 9篇 |
自动化技术 | 84篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 1篇 |
2020年 | 1篇 |
2019年 | 2篇 |
2018年 | 2篇 |
2016年 | 1篇 |
2015年 | 1篇 |
2012年 | 3篇 |
2011年 | 7篇 |
2010年 | 4篇 |
2009年 | 5篇 |
2008年 | 9篇 |
2007年 | 10篇 |
2006年 | 11篇 |
2005年 | 6篇 |
2004年 | 4篇 |
2003年 | 6篇 |
2002年 | 5篇 |
2001年 | 5篇 |
2000年 | 5篇 |
1999年 | 2篇 |
1996年 | 2篇 |
1994年 | 1篇 |
1992年 | 1篇 |
1990年 | 1篇 |
排序方式: 共有100条查询结果,搜索用时 0 毫秒
1.
2.
UML statecharts的测试用例生成方法 总被引:22,自引:0,他引:22
测试用例生成是软件测试的关键。根据UML statecharts的层次和并发结构,研究相应的测试用例产生方法。它视复合状态为抽象状态,分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基,并依据一定的合成规则和Wp-方法生成整个UML statecharts的测试用例。这种方法能够支持递增式测试用例的生成。理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较好的测试用例。这种改进对大型复杂系统尤其有效,也便于构造自动测试工具。 相似文献
3.
基于IDA-Pro的软件逆向分析方法 总被引:1,自引:0,他引:1
二进制程序转换作为软件逆向分析的主要手段发挥着积极作用。该文给出一种程序转换方法,应用软件二进制程序经IDA Pro反汇编得汇编语言程序,依据下推自动机原理设计汇编文法识别该汇编文件、制定相应的转换规则和优化措施将汇编语言转换成中间语言。转换所得中间语言可读性较强,具有通用性且易于理解。该方法达到了较高的自动化程度,缩小了目标程序的代码量,其应用可有效地减少软件分析和调试人员在追踪代码时所需的时间和工作量。给出应用上述方法进行程序转换的实例。 相似文献
4.
半导体后段制造自动化 总被引:2,自引:0,他引:2
越来越多的半导体厂商开始考虑在半导体后段生产中采用自动化控制,目前还没有开发出非常成功的技术能够满足变化多端的后段工厂。本文介绍了半导体制造自动化的概况,分析了半导体制造自动化的需求,进而提出了一种基于SECS/GEM标准接口的半导体制造全自动化生产线解决方案。所有设备全部都通过使用SECS标准接口连接到单元控制器及更高级别的MES和工厂计划信息系统,系统除了能完成通常的设备监视和控制、数据搜集、配方管理等功能外,还实现了单一元件追踪,具有Stripmap管理,缺陷管理及多芯片管理等功能。半导体厂商通过实施全自动化改善了生产力,同时减少生产周期和场地占用率,并通过最小化人工操作和过程的连贯性带来质量和可靠性的提升. 相似文献
5.
BRP协议是为不可靠信道上传送大数据包文件设计的工业协议。该协议的正确性依赖于各部件实时方面的假设。本文主要阐述了使用时序规约语言TLA+对BRP协议进行规约和验证的过程。首先通过自然语言非形式化地描述BRP协议的基本原理和需求,在此基础上建立了BRP的形式化模型,利用TLA+先对不考虑实时要求的BRP进行规约,然后添加实时约束获得BRP完整的规约,最后使用模型检验器TLC验证BRP协议的各种性质。 相似文献
6.
7.
8.
操作系统内核程序函数执行上下文的自动检验 总被引:2,自引:0,他引:2
函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF相比传统技术的优势有:直接检查源代码、无须编写形式化的验证规约、较低的时空运行开销、良好的可扩展性等等.该技术已应用在Linux内核2.4.20的网络设备驱动程序检查中.应用表明,PRPF能够自动探测程序中所有执行路径,有效地检查函数执行上下文的正确性.实验发现了Linux内核的23处编程错误,另有 相似文献
9.
多Agent系统中软构件的动态绑定机制及其操作语义 总被引:2,自引:1,他引:2
近年来,越来越多的以计算机网络为平台的应用系统表现出自主性、动态性、开放性和异构性的特点,这使得软件开发理论和技术需要从软件体系结构的角度对这类系统的开发提供支持.面向Agent的软件开发技术提供了高层和自然的抽象方式对软件系统进行分析和设计,但现有面向Agent的方法学将Agent Class或者Agent Type视为多Agent系统软件体系结构的软构件,与Agent之间的关系仅仅是实例化的关系,这难以满足复杂系统对动态性的需求.从软件体系结构的角度上分析了多Agent系统中软构件的形式和机制,将Caste作为软构件,并以此为基础提出了Caste与Agent之间的动态绑定关系,定义了支持该机制的4个基本操作:join,quit,activate和inactivate及其操作语义,用以来指导多Agent系统软件体系结构的设计和实现. 相似文献
10.