排序方式: 共有62条查询结果,搜索用时 93 毫秒
1.
角色自律分散系统的RN-C形式化描述方法 总被引:1,自引:0,他引:1
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点. 相似文献
2.
3.
<正>多年来,保险业有一个"行规"——保险车辆撞伤、撞死自家人,保险公司不赔!然而,这个施行多年的规矩被南京市溧水区一个打工父亲打破,他在倒车时不慎将2岁的女儿撞死,然而,车辆投保的保险公司却以"行规"拒绝赔偿。他质疑行规的合理性,将保险公司告上法庭。2014年11月初,南京市中级法院对外公布了此案的终审结果——"行规"违法,他的诉求合法,获赔61万元。 相似文献
4.
5.
1999年3月,在瑞士日内瓦由联合国贸易发展委员会(UNCTAD)和国际海事组织(IMO)举行的外交会议上讨论和通过了新的国际扣押船舶公约,即《1999年国际扣押船舶公约》(International Convention on Arrest of Ships 1999)(以下简称《1999年扣押公约》)。该公约即将生效,将对国际航运界产生重要影响。 相似文献
6.
《汽车与安全》2005,(4):54-55
近年来,随着汽车进入寻常百姓家,各种涉车纠纷也越来越多。买卖车辆也好,维修保养也罢,人们经常要遇到不少的法律难题。然而,在形形色色的纠纷面前,人们的态度却迥然不同。一部分人选择了忍让,以“花钱买教训”聊以自慰;一部分人由于不懂法。面对纠纷束手无策或茫然不知所措;而更多的人却逐渐趋于理性,懂得用法律的武器维护自己的合法权益,他们勇敢地走上法庭,和侵权人打起了官司。一次次地公堂对薄,彰显了他们的对法律的崇尚和面对纠纷处变不惊的勇气。但诉诸法律之后,却有相当一部分人没有实现自己的诉讼目的,由于举证不能,举证不足以及诉讼请求选择不当等原因,遭遇了败诉的尴尬结局。那么,面对涉车纠纷,我们该如何应对?在维权的过程中,究竟要注意哪些问题呢?下面,笔者试举三例,希望对消费者有所启迪。 相似文献
7.
潜艇作战控制系统展望 总被引:1,自引:0,他引:1
公共对象请求代理体系结构(CORBA)已成为一项能使美国海军潜艇作战控制系统更分布化、可移植、可扩展并具备异质功能的技术。引入最先进的商用产品已成为更新现有潜艇——“洛杉矶”级和“三叉戟”级平台,以及在新一代攻击型潜艇“弗吉尼亚”级上使用未来系统的主要焦点。尚在研究的是将CORBA装入舰队现有潜艇平台系统(进行修合)的可能性。对目前美海军潜艇作战控制系统、作战控制系统Mk 2 Block 1C和新型核动力攻击潜艇的软件结构作一简要回顾,重点是CORBA及其应用,并述及CORBA的设计问题。 相似文献
8.
9.
本文结合民事诉讼法及其相关司法解释,对《最高院扣押与拍卖船舶规定》中关于船舶“活扣押”的相关规定作出探讨,认为船舶“活扣押”应当被认定为是一种行为保全措施,由船籍港有管辖权的海事法院管辖,适用《中华人民共和国民事诉讼法》(以下简称《民事诉讼法》)中有关行为保全的担保方式和数额、期限、方式、作出裁定的期限和失效等方面的相关规定。 相似文献
10.
海事案件管辖权 ,就国内案件来说 ,是指国内各级法院或同级法院之间受理第一审海事案件的分工和权限 ;就涉外案件来说 ,是指哪一个或几个国家有权受理某一海事案件。几乎所有的案件 ,都不止一个法院有管辖权。原告通常会选择在对自己有利的或方便自己诉讼的或觉得审判水平高的法院起诉。扣押船舶 (以下简称扣船 )是海事请求保全的最主要、最典型的形式。扣船案件在海事法院受理的案件中占有一定的比例 ,并呈上升的趋势。扣船可分为保全程序的扣船和执行程序的扣船 ,前者又可分为诉讼前扣船、诉讼中扣船和仲裁保全扣船。诉前扣船是指海事请求… 相似文献