全文获取类型
收费全文 | 131篇 |
免费 | 6篇 |
专业分类
公路运输 | 33篇 |
综合类 | 41篇 |
水路运输 | 21篇 |
铁路运输 | 40篇 |
综合运输 | 2篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 3篇 |
2021年 | 3篇 |
2020年 | 1篇 |
2019年 | 2篇 |
2016年 | 2篇 |
2015年 | 5篇 |
2014年 | 5篇 |
2013年 | 4篇 |
2012年 | 14篇 |
2011年 | 9篇 |
2010年 | 12篇 |
2009年 | 21篇 |
2008年 | 7篇 |
2007年 | 15篇 |
2006年 | 4篇 |
2005年 | 3篇 |
2004年 | 3篇 |
2003年 | 4篇 |
2002年 | 5篇 |
2001年 | 1篇 |
2000年 | 2篇 |
1999年 | 2篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1992年 | 1篇 |
1991年 | 2篇 |
排序方式: 共有137条查询结果,搜索用时 15 毫秒
1.
针对车站班计划编制非结构化的特点,通过研究其经验编制方法的领域知识,构造形式化描述模型,使得开发班计划自动编制的系统软件有一定的参考,研究价值,本文旨在为客运站实现运输现代化管理提出一种思路和尝试。 相似文献
2.
从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。 相似文献
3.
计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。 相似文献
4.
随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题.但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出一种基于模型检测的智能合约公平性验证方法.采用该方法对Puzzle合约的公平性进行验证,找到了一个已知... 相似文献
5.
6.
林冈 《上海交通大学学报(哲学社会科学版)》2011,19(6)
台湾立法机构选举所采取的以单名选区为主、政党比例代表为辅的并立式两票制和各级行政首长选举所实行的相对多数当选制,有利于强化既有两党体系,使其朝均等制衡的方向发展.基于国、民两党目前在“立法院”的席次分布和22个县市长选举的得票近况,民进党恐难赢得2012年台湾地区最高领导人选举,在立法机构也仍将处于少数地位,但两党在这次“二合一”选举中的得票数和得票率将趋于接近. 相似文献
7.
大约在1947年秋,我经同学的介绍第一次加人中国造船工程学会。在解放前学会颇重论资排辈,像我这样刚从学校出来,参加工作不久的技术人员,加入学会后,初期是不能作为正式会员的,而是以仲会员的名称参加的。仲会员是没有选举权和被选举权的,但可听取一些学术报告和参加会员大会。至于那些经验丰富和技术优良的工人师傅由于没有学历基本上是不能人会的。 相似文献
8.
9.
10.
角色自律分散系统的RN-C形式化描述方法 总被引:1,自引:0,他引:1
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点. 相似文献