全文获取类型
收费全文 | 59篇 |
免费 | 20篇 |
国内免费 | 12篇 |
专业分类
电工技术 | 7篇 |
综合类 | 1篇 |
机械仪表 | 1篇 |
建筑科学 | 8篇 |
轻工业 | 2篇 |
水利工程 | 4篇 |
无线电 | 25篇 |
一般工业技术 | 1篇 |
冶金工业 | 2篇 |
自动化技术 | 40篇 |
出版年
2021年 | 3篇 |
2020年 | 2篇 |
2017年 | 1篇 |
2016年 | 1篇 |
2015年 | 1篇 |
2014年 | 3篇 |
2013年 | 3篇 |
2012年 | 1篇 |
2011年 | 2篇 |
2010年 | 5篇 |
2009年 | 3篇 |
2008年 | 7篇 |
2007年 | 1篇 |
2006年 | 8篇 |
2005年 | 8篇 |
2004年 | 11篇 |
2003年 | 6篇 |
2002年 | 1篇 |
2001年 | 3篇 |
2000年 | 4篇 |
1999年 | 4篇 |
1998年 | 2篇 |
1997年 | 3篇 |
1996年 | 2篇 |
1995年 | 5篇 |
1982年 | 1篇 |
排序方式: 共有91条查询结果,搜索用时 15 毫秒
61.
通过对鲁布革大坝溢洪道闸室交通排水廊道裂缝监测资料的分析,找出裂缝发生的成因,掌握裂缝的发展变化情况,为大坝的正常运行提供依据。 相似文献
62.
63.
工作流的属性规约语言需要具有高表达力以及基于状态和事件的推理能力。本文提出了一种时态逻辑规约语言E-CTL^*,该语言集成了状态和事件,能够精确和直觉地表示验证的属性。工作流的畅通性验证无论在时间上还是空间上代价都是非常高的,状态空间爆炸是验证的主要困难所在。利用E-CTL^*描述畅通性,可以使用存在的符号化模型检测工具验证畅通性,在一定程度上克服了状态爆炸问题。同时模型检测技术给出失效路径的优点可以引导我们纠正工作流的错误。工作流的变动需要具有正确性。从时态逻辑的角度讨论了变动正确性问题,得出了保持变动正确性的一般特征。 相似文献
64.
65.
B/S软件测试技术及工具实现 总被引:12,自引:0,他引:12
由于软件规模和复杂性的增加,软件测试技术研究和工具开发滞后,软件测试中存在大量的手工劳动,从而使得软件测试的效率很低,费用很高。文章从测试的角度分析了B/S系统的特点,依据可测试性方面的策略,确定合适的测试接口,进行测试建模,给出了相应测试用树生成的方法,并讨论了测试管理的相关方面。最后,介绍了B/S测试支持系统的设计,其核心部分是在浏览器中建立标准测试接口,从而在运行平台中提供对测试的支持。 相似文献
66.
面向对象软件回归测试技术研究 总被引:24,自引:0,他引:24
回归测试的目标之一是在程序修改后,只对进行修改的部分重新测试,从而达到与完全测试相同的测试覆盖.利用数据流或部分数据流技术,对结构化程序进行回归测试的技术已相继提出.随着面向对象方法的逐渐成熟,对面向对象软件测试技术的研究有了迫切的需求.通过分析对象系统的特性,定义了对象之间的依赖关系,通过这个依赖关系,导出测试对象的方法序列,并应用程序切片技术,标识那些受到程序修改影响的测试用例,只有这些测试用例才需要在回归测试中重新执行.最后给出了一完整的对象系统的回归测试解决方案. 相似文献
67.
在软件体系结构研究领域中,风格的研究与应用是一个重要的领域.本文提出了一种基于随机回报网的"管道-过滤器"体系结构风格建模方法.此方法考虑了管道和过滤器的故障问题,并可对任意拓扑结构的"管道-过滤器"体系结构进行建模.本文的工作将使得对"管道-过滤器"体系结构的建模具有更大的应用范围. 相似文献
68.
一种模型驱动的工作流过程定义途径 总被引:2,自引:0,他引:2
传统的工作流管理系统在互操作性,可复用性,可移植性和开发效率等方面遇到了挑战,MDA是解决上述挑战和问题的一种途径。在模型驱动的工作流管理系统中,工作流模型处于核心地位,本文首先给出了扩展的工作流元模型和基于Petri网的形式化工作流模型过程网。其次,运用模型驱动的途径,依据给出的工作流模型,本文提出了一种模型驱动的,用于快速构造工作流管理系统的框架。针对工作流过程模型,着重讨论了从基于EPC的过程CIM到基于过程网的过程PIM的转换(转换过程和转换规则),并以扩展的Petri网标注语言E-PNML规约了过程PIM。 相似文献
69.
由于工作流技术具有在异构环境中处理复杂事务的能力,所以在科学研究、电子政务和商务等方面引起了广泛的关注,涌现出一些研究成果和产品.其中,大部分的研究集中于工作流的调度、与数据库和遗产系统的接口等技术方向,对工作流管理系统的体系结构、模型和定义语言等方面的研究相对来说比较薄弱.分析了工作流联盟的工作流元模型,并结合实际情况,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应日益增长的业务过程的变化和新技术的应用. 相似文献
70.
软件框架开发过程研究 总被引:17,自引:0,他引:17
软件框架是实现大粒度复用的重要途径,它往往针对特定领域,同时支持设计复用和代码复用。论文主要探讨了软件框架开发的相关活动,包括软件框架开发以及基于框架的应用开发(即框架复用),通过建立开发过程模型,刻画了框架开发过程。进而基于该模型,描述了开发过程中的相关问题,如变化性处理策略、应用开发中的体系结构调整、框架演化等,从而指导相关开发活动。 相似文献