全文获取类型
收费全文 | 1225篇 |
免费 | 65篇 |
国内免费 | 125篇 |
专业分类
系统科学 | 205篇 |
丛书文集 | 28篇 |
教育与普及 | 2篇 |
理论与方法论 | 3篇 |
现状及发展 | 4篇 |
综合类 | 1173篇 |
出版年
2024年 | 9篇 |
2023年 | 15篇 |
2022年 | 23篇 |
2021年 | 41篇 |
2020年 | 32篇 |
2019年 | 29篇 |
2018年 | 23篇 |
2017年 | 35篇 |
2016年 | 41篇 |
2015年 | 39篇 |
2014年 | 61篇 |
2013年 | 45篇 |
2012年 | 85篇 |
2011年 | 66篇 |
2010年 | 61篇 |
2009年 | 72篇 |
2008年 | 70篇 |
2007年 | 76篇 |
2006年 | 67篇 |
2005年 | 78篇 |
2004年 | 65篇 |
2003年 | 43篇 |
2002年 | 48篇 |
2001年 | 48篇 |
2000年 | 38篇 |
1999年 | 25篇 |
1998年 | 18篇 |
1997年 | 23篇 |
1996年 | 21篇 |
1995年 | 15篇 |
1994年 | 15篇 |
1993年 | 19篇 |
1992年 | 16篇 |
1991年 | 11篇 |
1990年 | 17篇 |
1989年 | 6篇 |
1988年 | 9篇 |
1987年 | 8篇 |
1986年 | 2篇 |
排序方式: 共有1415条查询结果,搜索用时 296 毫秒
1.
本文给出了MkdV方程族的换位表示及一个有限维对合系,并讨论了Bargmann约束和C.Neumann约束及其相应的定态MkdV系统。最后,我们得到MKdV方程族的对合解。 相似文献
2.
叶仰明 《厦门大学学报(自然科学版)》2002,41(6):692-696
约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用,需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义,并提出函数依赖的公理系统,证明了它的有效性和完备性;在此基础上完成了约束数据库设计的核心工作:把约束关系模式分解为3NF或BCNF的算法。 相似文献
3.
模式语义链元建模及其应用 总被引:1,自引:1,他引:0
大粒度的模型转换是模型驱动软件开发场景下的重要技术需求,仅通过定义通用模型转换语言不足以满足这一需求,其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上.文中提出一种模式语义链(PSL)元建模方法.通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式,并应用UML动作语义和元模型继承实现模式自动生成及转换.该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持. 相似文献
4.
文章给出了一个解决一般约束最优化问题的含调节参数型的牛顿算法.算法有两个重要特征,首先,算法借助Lagrange函数和NcP中的F-B函数,通过构造等价于点条件的线性方程组采处理一般约束优化问题,其次,利用F-B函数的光滑性质,定义了调节参数,从而弱化了K-T点条件.文章在适当的条件下,证明了该算法具有全局收敛性.数值实验表明算法有效. 相似文献
5.
时间敏感网络(TSN)中信息的真实性是系统的关键安全要素,然而直接引入传统安全认证机制会导致系统可调度性和实时性大幅降低。现有的方法仍存在适用场景少、资源消耗高等问题。针对这些问题,文中提出了一种面向TSN的安全感知调度方法。首先基于TSN流量特性设计了一种时间有效的一次性签名安全机制,为消息提供高效的组播源认证;然后提出相应的安全模型对该机制进行评估,描述安全机制对任务和流量的影响;最后对提出的安全感知调度方法进行数学建模,在传统调度约束的基础上,增加了安全机制相关的约束,同时以最小化应用端到端时延为优化目标,使用约束规划进行求解。仿真实验结果表明:改进的一次性签名机制的引入可以有效保护TSN中关键信息的真实性,且对调度的影响有限;在多个基于真实工业场景生成的不同规模测试用例中,产生的应用端到端时延平均仅增加13.3%,带宽消耗平均仅增加5.8%;与其他同类型方法相比,文中方法的带宽消耗更低,更加适用于有严格带宽限制的TSN。 相似文献
6.
超高压气井的节流系统对气井的生命周期起到至关重要的作用,而合理的节流工艺,不但可以延长气井开采寿命,还可降低成本。对国内超高压气井使用的节流工艺进行了介绍,并基于计算流体力学对川西北气矿产气井不同节流工艺内流场进行仿真,运用流场分析软件对单级节流和两级节流工艺系统内部的压力、流速等问题进行了分析,确定了不同节流工艺系统合理CV值及开度,得到了不同节流工艺系统的最高流速,提出了现场不同节流工艺下的节流参数选择及使用建议。研究表明,3种节流工艺均可满足节流要求和现场生产情况,其中,单级节流工艺简单,但流速均在850 m/s以上,阀门冲蚀严重;一级固定二级可调节流的最大流速在550~600 m/s,低于单级节流,但最大产量受限;两级可调节流的最大流速与一级固定二级可调节流相仿,可实现按需调产,但成本相对较高。 相似文献
7.
为了实现柔性机械臂主动柔性控制,基于Kane方程推导建立在惯性参考坐标系中的刚-柔机械臂的非线性动力学模型,并利用假设模态的方法对方程进行离散.在对刚-柔机械臂进行主动柔顺控制时,柔性机械臂要受到未确定外部环境的约束,因此,建立了计及环境特征的一般柔性多体系统动力学模型以及计及环境特征的刚-柔机械臂动力学模型,并分析研究了刚-柔机械臂主动柔顺控制策略. 相似文献
8.
一种IP/DWDM光因特网中的路由选择机制 总被引:1,自引:0,他引:1
研究了一种资源约束最短路径优先 (RCSPF ,Resource ConstrainedShortestPathFirst)路由选择机制·这种机制可以用于扩展以通用多协议标记交换GMPLS为基础的IP/DWDM光因特网控制平面·借助光网络设备的可编程功能 ,在现有开放最短路径优先OSPF协议基础上 ,增加基于资源的路由约束条件 ,在一定程度上减少发生网络拥塞的可能性·另外 ,由于采用源路由以及在选路由过程中采用资源预分配机制 ,因此增强了对GMPLS信令系统的支持·同时 ,为了解决在资源不足情况下造成的信道分配失败问题进一步提出了相对路由的概念 ,使IP/DWDM光因特网在大幅增加带宽容量的同... 相似文献
9.
一类约束满足问题及其算法 总被引:4,自引:0,他引:4
针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系· 相似文献
10.
研究了存在内部人控制的情况下,激励方案在企业项目投资预算决策制定中的重要作用.指出无论温和的激励方案还是严厉的激励方案都能激发出更高的后期努力水平,但是不一定能有效地激发前期努力水平.只有严厉的激励方案可在一定程度上缓解内部人控制问题. 相似文献