全文获取类型
收费全文 | 101篇 |
免费 | 32篇 |
国内免费 | 6篇 |
出版年
2023年 | 1篇 |
2022年 | 1篇 |
2021年 | 1篇 |
2020年 | 1篇 |
2019年 | 2篇 |
2018年 | 2篇 |
2017年 | 5篇 |
2016年 | 1篇 |
2015年 | 2篇 |
2014年 | 4篇 |
2013年 | 5篇 |
2012年 | 9篇 |
2011年 | 10篇 |
2010年 | 5篇 |
2009年 | 7篇 |
2008年 | 6篇 |
2007年 | 3篇 |
2006年 | 11篇 |
2005年 | 7篇 |
2004年 | 8篇 |
2003年 | 9篇 |
2002年 | 6篇 |
2001年 | 4篇 |
2000年 | 4篇 |
1999年 | 1篇 |
1998年 | 4篇 |
1997年 | 1篇 |
1996年 | 2篇 |
1995年 | 2篇 |
1994年 | 2篇 |
1993年 | 2篇 |
1992年 | 4篇 |
1991年 | 4篇 |
1990年 | 1篇 |
1989年 | 2篇 |
排序方式: 共有139条查询结果,搜索用时 15 毫秒
1.
提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Herbrand解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。 相似文献
2.
在表格处理和光符识别软件中.歪斜图像校正是一项重要的预处理技术。针对文本和表格图像,本文提出了一种基于线条检测模型的高精度、快速的歪斜图像检测方法。 相似文献
3.
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。 相似文献
4.
时宝 《海军工程大学学报》1991,(4)
文献[1]对(E)引入奇点量和 Lie 不变量概念,实现了实自治微分系统焦点量和鞍点量概念的统一,并得到奇点量的结构定理。文献[1]还对三次系统(E_3)找到了全部120个基本 Lie 不变量并具体计算了二次系统(E_2)和缺二次项的三次系统(E_3~((3)))的奇点量。文献[2]还计算了一类特殊三次系统(4)的奇点量。但是,对于计算(E_3)的奇点量的工作,仍有很大困难,甚至前几个奇点量也得不到,况且对(E)找到全部基本Lie 不变量亦非常困难。本文利用规范形理论讨论(E)的奇点量的计算问题,得到了计算公式。该公式对一些特殊系统可直接得到前几个奇点量。作为公式的应用及验证,我们给出(E_3)的前两个奇点量,至于 M(3)=?的问题将另文讨论。 相似文献
5.
研究了 S I E M E N S可编程控制器与具有通信功能的直流调速器之间的通信控制,通过对系统的硬件配置、控制方式、通信软件实现介绍,给出了应用 P L C进行直流调速器串行通信监控的方法。 相似文献
6.
黄展骥 《兵团教育学院学报》2001,11(3):30-33
20世纪50年代以来,西方在非形式逻辑方面取得了重大进展。近几年来,我国逻辑界对此有愈来愈多的认识与响应。2000年末出版的《逻辑学》教科书可视为一个例证。该书的价值和水平值得肯定。但其中的“语言谬误”一节大可商榷。 相似文献
7.
8.
何翊 《中国人民武装警察部队学院学报》2007,23(12):59-63
工业社会的城市灾害突出的表现为各式各样的环境公害,城市环境恶化日益引起人们的普遍关注。城市是一个国家和地区政治、经济、文化的中心,又是人口、财富、信息的聚散地,正是现代化城市的这种特征造成了一旦发生灾害就会导致灾难。城市灾害的防治和减灾事关一个城市的存亡。传统的城市灾害的特点表现为人员伤亡惨重、经济损失巨大、社会影响广泛等。进入21世纪,随着城市化进程的加快,城市灾害表现出了许多新的形式。例证了几种城市灾害,并分析了导致这些城市灾害的各种原因,寻求解决城市灾害的有效途径。 相似文献
9.
飞网构型设计对提高空间飞网系统的展开抓捕性能具有重要意义。用小弹性模量分析方法对空间飞网构型优化设计问题进行研究。以绳网中内力分布均衡性为优化目标,选取飞网抛射过程中最大受力时刻为研究工况,赋予绳索单元极小弹性模量,进行静力学计算,并以变形后的结果为初始条件进行迭代分析。优化结果表明,绳网中的内力分布随迭代步数的增加而更趋于均匀。在不改变绳网拓扑结构的前提下,所建立的优化设计方法为空间飞网构型优化设计提供了一种参考途径。 相似文献
10.