排序方式: 共有11条查询结果,搜索用时 15 毫秒
1.
2.
������Ƶ�����ĸ��ٹ�·��ͣ���շ�ϵͳ 总被引:9,自引:1,他引:9
首先简要介绍了高速公路收费系统的现状,提出了建立高速公路不停车电子收费系统(ETC)的必要性.接着介绍了作为一种先进的自动识别技术的射频识别(RFID)技术的发展、原理、以及应用情况.最后,结合高速公路收费现状,作者初步提出了将基于射频识别技术的不停车收费系统应用于高速公路收费中的方法,用以解决高速公路的自动收费问题. 相似文献
3.
从复杂网络角度将供应链网络风险分为“点中断风险”和“边中断风险”两大类,并重新定义了各自的主要风险要素.在此基础上,将网络的节点度指标引入风险评价中,建立了供应链网络风险的双层双维模糊评估模型.最后,以某三级供应链网络为例,由“微观”到“宏观”逐级对供应链网络风险进行了定量评估,仿真结果表明企业节点的度值作为供应链网络风险评估的过渡参数,可以有效提高评估结果的准确性. 相似文献
4.
形式化方法的主要研究对象是计算机系统的设计和验证.近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统.论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Software Model-SCSM),给出了模型的应用实例. 相似文献
5.
随着智能交通系统的发展,交通安全控制系统的开发变得越来越复杂,系统中存在的“设计型故障”很难被检测和排除,“设计型故障”成为影响系统安全性的主要问题。笔者利用形式化方法对交通安全控制系统进行严格的模型验证,提出了系统模型验证的安全性约束和安全性路径的概念,给出了模型验证的推演方法,为解决智能交通安全控制系统的“设计型故障”问题提供了一种有效的手段。 相似文献
6.
���������ҵ��������ҵ֮�� ��������ϵ�IJ��ķ��� 总被引:1,自引:0,他引:1
在分析了运输代理企业和运输企业之间的合作关系特点的基础上,从委托代理理论的角度指出了合作中存在的问题和产生的原因.结合铁路运输和公路运输的实际情况,给出了一个参数化委托代理模型,针对信息对称和不对称两种情况,分别讨论了在均衡状态下的合同设计内容及其效率性质,分析运输代理人与承运人在合作过程中的风险分担及激励问题,给出并证明了对实际工作具有指导意义的几个命题.文章以新的视角对运输代理问题进行了研究,力求为运输代理企业与运输企业之间合作伙伴的协调管理提供理论依据,并能充实运输代理理论的研究. 相似文献
7.
8.
9.
10.