全文获取类型
收费全文 | 266篇 |
免费 | 3篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 5篇 |
综合类 | 11篇 |
化学工业 | 8篇 |
金属工艺 | 43篇 |
机械仪表 | 82篇 |
建筑科学 | 5篇 |
矿业工程 | 3篇 |
能源动力 | 2篇 |
轻工业 | 4篇 |
武器工业 | 2篇 |
无线电 | 5篇 |
一般工业技术 | 15篇 |
冶金工业 | 4篇 |
原子能技术 | 1篇 |
自动化技术 | 85篇 |
出版年
2023年 | 1篇 |
2022年 | 1篇 |
2021年 | 2篇 |
2020年 | 2篇 |
2018年 | 2篇 |
2016年 | 3篇 |
2015年 | 5篇 |
2014年 | 9篇 |
2013年 | 11篇 |
2012年 | 7篇 |
2011年 | 9篇 |
2010年 | 8篇 |
2009年 | 5篇 |
2008年 | 9篇 |
2007年 | 21篇 |
2006年 | 18篇 |
2005年 | 25篇 |
2004年 | 10篇 |
2003年 | 23篇 |
2002年 | 23篇 |
2001年 | 13篇 |
2000年 | 14篇 |
1999年 | 11篇 |
1998年 | 11篇 |
1997年 | 8篇 |
1996年 | 10篇 |
1995年 | 3篇 |
1994年 | 1篇 |
1993年 | 4篇 |
1992年 | 2篇 |
1991年 | 1篇 |
1986年 | 1篇 |
1984年 | 1篇 |
1983年 | 1篇 |
排序方式: 共有275条查询结果,搜索用时 15 毫秒
1.
In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics. 相似文献
2.
This paper proposes an efficient method to develop requirement specifications for Plant Control Software (PCSW) using software-component-based prototypes. Prior to this proposal, domain analyses were conducted on existing PCSWs, and their functions were classified into “similar functions” and “individual functions”. Then PCSW Software Components (PSC: PCSW Software Component, PSCs: PCSW Software Components) were developed to correspond to these functions. PSCs as parameter-style components were developed in order to satisfy the clients’ (we define clients as owners, managers and operators of plants) requirements. A support environment for developing requirement specifications was developed. The environment consists of the Prototype Development Tool (PDT), the Behavior Check Simulator (BCS) and the Requirement Specification Development Tool (RSDT). The method consists of four steps. In the first step, PDT is used to define the parameters to customize PSCs and to compose a PCSW prototype by setting these parameters to PSCs. In the second step, BCS is used to execute the composed PCSW prototype and check its behavior and relevancy against the clients’ expectations. In the third step, steps 1 and 2 are repeated until the behavior of the PCSW prototype satisfies the clients’ requirements. Finally, a requirement specification is developed from the PCSW prototype which fully reflects the clients’ requirements. In order to evaluate the proposed method, it has been applied in five development cases. A Requirement Coverage of 91%, a Requirement Revision Rate of 6%, a PSC Reuse Rate of 92% and a LOC Reuse Rate of 83% have been achieved. In addition, a reduction of 55% in the amount of time required to develop requirement specifications has been achieved. These results indicate that the proposed method has sufficient capability to develop an exhaustive and an adequate PCSW requirement specification. And the developed PSCs have sufficient functions and capability to compose PCSW prototypes, and the support environment is capable of shortening the time taken to develop requirement specifications. 相似文献
3.
张希奇 《安徽电子信息职业技术学院学报》2014,13(1):31-34
针对企业管理信息系统的开发过程中,设计人员由于与用户缺乏沟通,不能准确把握用户的实际需求,从而导致在开发过程中设计方案的反复修改,甚至推倒重来的问题。本文提出了原型法的解决方案,叙述了原型法的定义、基本思想和模型图,并以某研究所的物资管理信息系统设计开发为例,详细说明了原型法在企业管理信息系统开发中的工作步骤,最后总结了原型法的优缺点以及适用范围。 相似文献
4.
5.
快速原型制造系统与CAD系统接口软件开发 总被引:2,自引:1,他引:2
本文在着重研究了 STL 模型诊断、切片处理、切片轮廓拓扑处理和扫描处理与优化的基础上,开发了实用化的 CAD 系统与 RP 系统间的接口软件,并揭示 RPM技术的发展方向。 相似文献
6.
快速砂型铸造用模具材料,是实现快速砂型铸造的重要因素.分析和比较了当前快速砂型铸造用模具材料的现状,并指出研究适合快速砂型铸造用模具材料和进行表面处理为今后的发展方向. 相似文献
7.
8.
叙述了数字化技术在改造传统铸造工艺中的作用,详细论述了金属零件数字化铸造技术的内涵及其优势。研究表明,金属零件的数字化铸造具有极大的工艺柔性,能够实现虚拟铸造的部分功能;基于快速原型技术的数字化铸造使得常规生产需要2个月时间的金属零件生产周期缩短到一周,大大缩短了金属零件制造的时间,对于快速响应市场需求具有很大的优势。 相似文献
9.
Hypermedia technologies have been available for about a decade. Beginning with Douglas Engelbart, researchers have become interested in applying hypermedia concepts and technologies to software development. This paper assesses this symbiosis between hypermedia and software development as described by research contributions; by our count, more than one hundred articles. To date, no collection of, or guide to, this literature has been published. A number of significant contributions are classified, described, and appraised — providing a guide into what has been a rich but perhaps under-reported research area. Hypermedia has made significant contributions to software development in three primary areas: coping with massive amounts of information associated with software development projects; establishing and maintaining linkages between various types of software engineering documents; and enabling development engineers to record, document, and preserve knowledge about development thoughts, processes and rationale. These contributions may help direct the focus of future research towards building on, combining and assessing the resulting contributions. A research agenda is proposed along these lines. 相似文献
10.