首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   126篇
  免费   11篇
  国内免费   35篇
电工技术   1篇
综合类   1篇
化学工业   5篇
金属工艺   1篇
建筑科学   8篇
矿业工程   1篇
轻工业   2篇
无线电   6篇
冶金工业   17篇
自动化技术   130篇
  2023年   1篇
  2013年   1篇
  2012年   1篇
  2010年   2篇
  2009年   1篇
  2008年   2篇
  2007年   5篇
  2006年   8篇
  2005年   17篇
  2004年   8篇
  2003年   4篇
  2002年   8篇
  2001年   14篇
  2000年   10篇
  1999年   8篇
  1998年   12篇
  1997年   8篇
  1996年   22篇
  1995年   11篇
  1994年   3篇
  1992年   5篇
  1991年   3篇
  1990年   5篇
  1989年   2篇
  1988年   2篇
  1987年   2篇
  1986年   2篇
  1984年   1篇
  1983年   1篇
  1982年   1篇
  1981年   1篇
  1980年   1篇
排序方式: 共有172条查询结果,搜索用时 15 毫秒
1.
研究吸收对准相位匹配线性电光效应的影响,得到适用于吸收介质的准相位匹配线性电光效应的耦合波方程及其解析解.计算结果表明,吸收不但削弱光的强度,且影响o光与e光之间的电光耦合.当o光与e光的吸收系数不同时,由于它们之间的电光耦合,总输出光强随外加电场变化而变化.研究结果可用于吸收介质的电光器件设计.  相似文献   
2.
张翅  郑国梁 《软件》1996,(1):6-11
本文分析了集成经计算机辅助软件开发环境JS-CASE中的需求分析工具JS-SA的设计与实现中的一些关键问题,并讨论了对其进一步应做的工作。  相似文献   
3.
第十八届软件工程国际会议于1996年3月25至29日在德国柏林召开,来自美国、德国、日本、中国等37个国家和地区的代表851人参加了会议。其中德国占40%,除德国外的欧洲占30%,美洲占20%,亚洲、大洋洲占7%,我国仅一人参加。会议涉及面很广,发表论文52篇,按内容包括16个专题:理解与分析、支持需求、测试与分析、使用面向对象、分布式系统分析、度量、基于构件的软件、形式化设计、配置管理与复用、过程效用、系统确认、环境、维护与演化、测试算法、数据流测试等等。大会组织了三个特邀报告,分别介绍了软件开发方法,形式化技术,软件工程中实验的过去、现在和未来。大会前后还组织了十四个专题讲座和八个专题讨论会,在柏林形成了96国际软件工程周。它们是第四届IEEE程序理解专题讨论会,96国际多媒体软件开发专题讨论会,第六届国际软件配置专题讨论会,第三届国际软件度量专题讨论会,第一届并行和分布式系统软件工程专题讨论会,第三届国际软件工程教育专题讨论会,第八届软件规约和设计专题讨论会。每一个专题讨论会都有自己的组织委员会,参加讨论班是受限制的,参加者是由他们对问题立场说明的论文来决定的。  相似文献   
4.
高频等离子体固相分解仲钼酸铵制备MoO3,MoO2超微细粉   总被引:4,自引:0,他引:4  
马兵  郑国梁 《化工冶金》1996,17(2):168-172
  相似文献   
5.
型构兼容的继承及其语义   总被引:1,自引:0,他引:1  
本文揭示了在面向对象程序设计语言中,若劲旅子类重定义其继承的分类方法以发迹这些方法的规约,并且采用类似于Smaltalk-80中的继承机制的语义,将导致封将与继承之间的一个新总是为此,本文提出了一种新的继承机制-型构兼容的继承,以代替传统的增量继承。型构兼容的继承是一种灵活的代码复用机制,并且能够充分支持封装。  相似文献   
6.
1.引言一个模型的作用是对想要构造或分析的系统性质给出严格定义,同时也为验证这些性质提供一个基础。现有的用于软件开发的每一种形式化描述和分析方法其有效性范围均是相对于程序执行的某一数学模型而言,并不是实际的系统。  相似文献   
7.
本文阐述了NDOOM的设计和实现的主要思想.NDOOM是一个Modula-2的面向对象扩充,是Modula-2的超集,其既充分支持面向对象程序设计,又保持了MOdula-2的原有风格.  相似文献   
8.
徐殿祥  郑国梁 《软件学报》1995,6(Z1):266-273
LKo是一个将面向对象和逻辑范型相结合,用于基于知识系统的形式化开发模型,其中逻辑对象是集状态、约束、行为、继承于一体的抽象实体.它支持框架、规则、语义网络、黑板等多种知识表示,因而可用来形式地描述基于知识系统的需求规范.在知识获取过程中通过对形式规范反复地修改、验证及确认而形成软件原型.  相似文献   
9.
10.
贾国平  郑国梁 《软件》1995,(7):4-10
本文从软件工程角度,对软件的规约方法进行了分类。得到两类规约方法:一类是基于逻辑规约方法.此方法一般是给出系统应该满足的性质集合。其代表是时序逻辑方法。另一类方法是基于模型规约方法。此方法一般是给出一个抽象模型,这个抽象模型指出程序应该如何活动.其代表是通信系统演算(CCS).本文进一步从软件工程原理,对这两类规约方法进行了比较和讨论。得到的结论是:两种类型的规约方法在系统开发的整个过程中都起着不同而重要的作用,它们相辅相成,缺一不可.最后,指出了今后的研究工作.在软件开发中,应该考虑多种规约方法和多种语义相结全的开发过程.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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