首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   171篇
  国内免费   4篇
  完全免费   44篇
  自动化技术   219篇
  2018年   2篇
  2016年   1篇
  2015年   5篇
  2014年   1篇
  2013年   7篇
  2012年   9篇
  2011年   11篇
  2010年   11篇
  2009年   14篇
  2008年   15篇
  2007年   22篇
  2006年   15篇
  2005年   23篇
  2004年   17篇
  2003年   9篇
  2002年   8篇
  2001年   1篇
  2000年   3篇
  1999年   1篇
  1998年   11篇
  1997年   5篇
  1996年   1篇
  1995年   2篇
  1994年   6篇
  1993年   2篇
  1992年   3篇
  1991年   1篇
  1990年   2篇
  1989年   1篇
  1988年   1篇
  1987年   1篇
  1986年   1篇
  1985年   1篇
  1984年   1篇
  1983年   1篇
  1982年   1篇
  1981年   2篇
  1977年   1篇
排序方式: 共有219条查询结果,搜索用时 31 毫秒
1.
基于特征的构件模型及其规范化设计过程   总被引:14,自引:0,他引:14       下载免费PDF全文
基于构件的软件复用是解决软件危机的重要手段,但目前还缺乏规范化的模式和方法以支持具有高复用性能的构件的识别与设计,借助特征空间作为工具以解决上述问题.首先介绍特征与特征空间的概念,从特征变化的相互依存关系入手,提出特征依赖的概念和4种具体的特征依赖.在此基础上,给出了基于特征空间的构件模型,使用特征的"型-值"机制与特征依赖表达构件的复用性.然后讨论了构件复用度的度量手段和规范化设计的目标,提出4种构件规范化模式(原子模式、基本模式、框架模式和内聚模式),研究了以特征空间分解为基础的规范化方法,并通过实例加以验证.该方法实现了多粒度、多模式构件的共存和构件间基于组合的松散耦合,从而提高了构件的复用效率并降低复用成本.结果在企业资源计划(enterprice resource planning,简称ERP)系统的构件化设计与开发中得到广泛应用,对指导构件设计具有较高的理论与实践价值.  相似文献
2.
区间算术在软件测试中的应用   总被引:9,自引:0,他引:9       下载免费PDF全文
王志言  刘椿年 《软件学报》1998,9(6):438-443
程序结构测试可以分为4个阶段:静态分析、路径选择、测试数据生成和动态分析.本文应用区间算术在测试数据生成阶段对约束集求解.由于正则约束式的引入,能够处理复杂的逻辑表达式组,找到一组解以供第4阶段动态分析使用.文中提出的算法具有非常大的灵活性,可以处理非线性约束,经改进后,它甚至可以处理包含函数的表达式.  相似文献
3.
XML文档的范式   总被引:8,自引:1,他引:7  
给出了 XML函数依赖、部分函数依赖和传递函数依赖的概念 ,然后据此提出了三种 XML范式 :1XNF、2 XNF和 3XNF.提出了 DTD无损联接分解的概念 ,给出了两个把 DTD无损联接地分解成 2 XNF和 3XNF的算法  相似文献
4.
XML模式到关系范式的映射   总被引:8,自引:0,他引:8  
虽然新一代的数据库技术如对象数据库、XML数据库等已经开始迅速发腱,但这些新技术在现阶段仍然很不成熟,因而目前对Java复杂对象以及XML数据的普遍处理办法是将其转换成关系格式以便利用目前成熟的关系数据库技术进行存储和查询。该文介绍了如何实现XML模式(DTD)到关系数据库范式的映射,由该映射得到的关系模式必须保持XML DTD的语义信息,同时是满足某种规范化约束的关系范式。  相似文献
5.
从面向对象模型到关系模型   总被引:7,自引:2,他引:5  
文章首先概述了面向对象模型设计的方法,然后着重讨论了将面向对象模型的转换为关系模型及关系模型优化的问题,最后给出一个应用实例。  相似文献
6.
一般非线性系统的相关阶与标准形   总被引:6,自引:1,他引:5       下载免费PDF全文
佘焱  张嗣瀛 《自动化学报》1998,24(4):570-572
一般非线性系统的相关阶与标准形佘焱(上海交通大学信控系上海200030)张嗣瀛(东北大学自控系沈阳110006)关键词一般非线性系统,标准形,相关阶.1)国家自然科学基金,中国博士后科学基金和辽宁省科学技术基金资助项目.收稿日期1996-07-151...  相似文献
7.
求解SAT问题的改进粒子群优化算法   总被引:6,自引:5,他引:1  
贺毅朝  刘坤起 《计算机工程与设计》2006,27(15):2731-2733,2758
利用限制哆公式的相关理论将可满足性问题(SAT)等价转换为定义在{0,1}^n上的多项式函数优化问题,并将二进制粒子群优化算法(BPSO)与局部爬山搜索策略相结合,给出了一种求解SAT问题的新算法:基于局部爬山搜索的改进二进制粒子群优化算法(简称IBPSO).数值实验表明,对于随机产生的3-SAT问题测试实例,该算法的计算结果均优于著名的WalkSAT算法和SATI.3算法.  相似文献
8.
关系数据库设计与规范化   总被引:6,自引:0,他引:6  
数据库模式直接决定和影响了数据的完整性、准确性和一致性,它对数据库的性能有致关重要的影响。关系数据库设计的目标就是要从各种可能的关系模式组合中选取一组关系模式来构成一个数据库模式,使得我们既不必存储不必要的重复信息,又可以方便地获取信息。在进行关系数据库设计时,一般是通过设计满足某一范式的模式来获得一个好的数据库模式,通常认为3NF在性能、扩展性和数据完整性方面达到了最好的平衡,故一般数据库设计要求达到3NF。  相似文献
9.
消除结构冗余的XML数据库模式规范化设计   总被引:6,自引:2,他引:4  
XML数据库模式规范化设计是给出一个能很好地表示数据间依赖关系并消除了冗余的XML模式或DTD的集合.目前这一领域的研究并没有对XML数据库模式中的数据依赖和冗余进行专门的分析.引人标识符分别表示XML模式中的元素和属性,分析XML数据库模式的结构冗余:局部冗余、传递冗余和不规则;并在此基础上,定义XML数据库模式第3范式(3NF),给出并验证其规范化设计算法.  相似文献
10.
下推自动机的状态转换图与下推自动机的化简   总被引:6,自引:1,他引:5       下载免费PDF全文
参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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