全文获取类型
收费全文 | 82篇 |
免费 | 27篇 |
国内免费 | 11篇 |
专业分类
电工技术 | 1篇 |
综合类 | 5篇 |
机械仪表 | 6篇 |
建筑科学 | 2篇 |
矿业工程 | 1篇 |
轻工业 | 1篇 |
石油天然气 | 2篇 |
武器工业 | 1篇 |
无线电 | 7篇 |
原子能技术 | 25篇 |
自动化技术 | 69篇 |
出版年
2025年 | 2篇 |
2024年 | 1篇 |
2023年 | 6篇 |
2022年 | 8篇 |
2021年 | 3篇 |
2020年 | 7篇 |
2019年 | 5篇 |
2018年 | 2篇 |
2017年 | 4篇 |
2016年 | 6篇 |
2015年 | 3篇 |
2014年 | 5篇 |
2013年 | 4篇 |
2012年 | 6篇 |
2011年 | 5篇 |
2010年 | 6篇 |
2009年 | 12篇 |
2008年 | 11篇 |
2007年 | 5篇 |
2006年 | 3篇 |
2004年 | 1篇 |
2002年 | 2篇 |
2000年 | 1篇 |
1999年 | 1篇 |
1997年 | 1篇 |
1996年 | 4篇 |
1995年 | 2篇 |
1994年 | 1篇 |
1992年 | 2篇 |
1991年 | 1篇 |
排序方式: 共有120条查询结果,搜索用时 0 毫秒
1.
主机监管系统利用过滤驱动程序对系统实现全面监管.随着微软64位操作系统的推出,要求驱动程序经过付费签名后才能正常运行.由种种原因使驱动程序不能被签名时,主机监管系统就不能在WINDOWS 64位操作系统上使用.因此无签名驱动程序问题成为在WINDOWS 64位系统开发最普遍的问题之一,会导致程序难移植、影响用户体验.通过对WINDOWS 64位系统数字签名过程的逆向分析,提出一种能一次性关闭系统数字签名验证机制的方法,从而顺利加载运行未签名驱动程序. 相似文献
2.
并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用。但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果。同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难。在形式化验证方法中,人们可以通过交互式定理证明器严格地对并发程序进行验证。本文对在交互式定理证明中可用于描述并发程序正确性的验证目标进行总结,它们包括霍尔三元组、可线性化、上下文精化和逻辑原子性。交互式定理证明方法中常用程序逻辑对程序进行验证,本文分析了基于并发分离逻辑、依赖保证逻辑、关系霍尔逻辑等理论研究的系列成果与相应形式化方案,并对使用了这些方法的程序验证工具和程序验证成果进行了总结。 相似文献
3.
4.
利用国际公开基准题开展ROBIN-1.7燃料组件计算程序的共振计算、输运计算、燃耗计算等模块的验证工作。分别利用临界基准问题、蒙特卡罗程序、OECD NEA燃耗基准问题及其他输运-燃耗基准问题等对ROBIN-1.7程序进行确认。验证及确认结果表明,ROBIN-1.7程序的共振计算、输运计算、燃耗计算等模块及集成计算结果是正确的;ROBIN-1.7程序对各问题主要物理参数(如反应性、棒功率分布以及同位素浓度)的计算精度达到了国际同类商业程序的水平,满足在压水堆中工程应用的要求。 相似文献
5.
利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法.利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性.最后,给出计算实例演示该算法的算法步骤. 相似文献
6.
关于程序验证方法的讨论 总被引:1,自引:0,他引:1
一、引言 自从1967年Floyd发表其论文“给程序赋予意义以来,程序自动验证工具的研究持续了数十年。Floyd在文[4]中提出了用“断言式方法”证明程序的正确性。其具体作法是:在程序程图的每一条 相似文献
7.
函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF相比传统技术的优势有:直接检查源代码、无须编写形式化的验证规约、较低的时空运行开销、良好的可扩展性等等.该技术已应用在Linux内核2.4.20的网络设备驱动程序检查中.应用表明,PRPF能够自动探测程序中所有执行路径,有效地检查函数执行上下文的正确性.实验发现了Linux内核的23处编程错误,另有 相似文献
8.
软件安全漏洞的静态检测技术 总被引:5,自引:3,他引:2
软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法,将常用的静态检测工具按方法归类,讨论、总结静态检测技术的优势、适用性和发展趋势。 相似文献
9.
10.
最近几年,在软件工程界内部有一种趋势,这就是开发以面向具体领域的CASE环境.作为这样的一种CASE工具,XYZ系统是由一时序逻辑语言XYZ/E和一组基于该语言的工具集构成.在XYZ系统中有很多的工具,它们被用来满足不同的需要.众所周知,SDL(specificationanddescriptionlanguage)是电信领域中的一个国际标准语言,而且有关基于该语言的环境已在开发,但是有关该语言的验证工作,特别是利用有关时序逻辑语言进行验证的工作还不多.作为一种尝试,本文将利用XYZ系统中的一个子系统XYZ/VERI,对SDL所描述的有关电信领域中的例子进行验证. 相似文献