全文获取类型
收费全文 | 264篇 |
免费 | 2篇 |
专业分类
公路运输 | 67篇 |
综合类 | 90篇 |
水路运输 | 83篇 |
铁路运输 | 23篇 |
综合运输 | 3篇 |
出版年
2023年 | 2篇 |
2022年 | 2篇 |
2021年 | 3篇 |
2020年 | 3篇 |
2019年 | 1篇 |
2018年 | 1篇 |
2016年 | 3篇 |
2015年 | 7篇 |
2014年 | 13篇 |
2013年 | 8篇 |
2012年 | 7篇 |
2011年 | 10篇 |
2010年 | 17篇 |
2009年 | 15篇 |
2008年 | 16篇 |
2007年 | 20篇 |
2006年 | 17篇 |
2005年 | 16篇 |
2004年 | 32篇 |
2003年 | 11篇 |
2002年 | 7篇 |
2001年 | 10篇 |
2000年 | 13篇 |
1999年 | 6篇 |
1998年 | 4篇 |
1997年 | 6篇 |
1996年 | 4篇 |
1995年 | 2篇 |
1994年 | 3篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1989年 | 3篇 |
排序方式: 共有266条查询结果,搜索用时 15 毫秒
181.
车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性. 为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML (unified modeling language)图工具快速建立系统的初始模型,以自动生成模型文件并描述出各系统属性与事件流程;基于精化策略分层建模,对各层模型的证明义务进行定理证明,验证了系统的各项属性,得出可靠的通用功能模型;基于实例车站,对模型的公理进行了验证,同时实现了对联锁数据的确认;通过形式化验证过程,结合给定场景联锁数据的有效性确认,发现并纠正系统需求及分析过程中造成的潜在行为缺陷;通过功能仿真与验收测试,进一步确认了通用模型与联锁数据的正确性. 结果表明:本文方法提高了基于模型开发过程的准确性与层次性,验证了系统通用行为状态,且结合公理验证,实现了联锁数据的确认,并能基于模型进行功能场景仿真与测试,从而可进一步提高系统通用功能原型的可靠性. 相似文献
182.
183.
籍延坤 《大连铁道学院学报》2004,25(3):13-16
根据数学中的高斯公式给出了静电场、涡旋电场和静磁场高斯定理的严格证明,得到了力线数密度与电场强度大小以及磁感应强度大小的定量关系,指出了用力线法证明高斯定理的方法是不合理的. 相似文献
184.
185.
近几年,随着个人计算机的普及和家庭化,以及多媒体技术不断成熟,计算机辅助教学(CAI)越来越受到全社会的广泛重视,我们曾开发的齿轮传动计算机模拟软件系统,在齿轮传动的设计和研究方面已证明是成功的,本文探讨如何将该系统用于机械设计课程齿轮传动章节的教学中。 相似文献
186.
BP网络中隐含层节点优化的研究 总被引:2,自引:0,他引:2
在BP网络中,增加隐含层可提高BP网络的处理能力,但同时也增加了隐节点的个数,导致训练时间延长.文章分析了传统BP算法的训练过程及存在的问题,针对该问题,提出一种改进算法,即合并或删除隐结点.实验证明,改进后的算法在一定程度上能优化网络的收敛速度. 相似文献
187.
188.
保函的效力及其法律地位问题历来是法学界讨论的话题,本文通过两起案例说明保函的单一效力是非常有限的,但当保函与其它证据相结合时,它将在法律上具有无可争辩的效力. 相似文献
189.
在高等学校实行党委领导下的校长负责制,其正确性、有效性已越来越为实践所证明。但是,作为一种新型的体制,还需要通过实践不断地加以完善。处于领导地位的高校党委,理所当然地要成为完善这一体制的坚定的探索者,其首要课题就是如何正确、有效、创造性地保证“党委领导”这一环节的运行。笔者认为,要运行,首先必须要有目标,包括正确地设置目标和有效地实施目标。 相似文献
190.
王伟平 《山东交通学院学报》2003,11(2):83-86
不等式的证明方法灵活多样,技巧性和综合性较强.通过典型例题,分析并总结了高等数学中证明不等式的几种主要方法及其适用条件. 相似文献