OpenMP Fortran程序中的未指定行为的静态检测

未指定行为是导致OpenMP程序运行时错误的主要原因之一.给出一个静态地检测OpenMPFortran程序中的未指定行为的工具C-Checker.该工具基于扩展的控制流图和调用图,采用"程序分层、逐层分析"的策略分析控制结构所导致的不确定的程序行为,以定位程序中的未指定行为,并通过回溯记录控制流图中导致这些行为的路径.借助于调用图,它还能够记录跨越过程边界的路径.此外,C-Checker利用启发式规则估计每条路径的执行概率,能够量化路径所对应的警告的严重程度.实验表明,C-Checker能够有效地检测实际的OpenMP Fortran程序中的未指定行为,并辅助程序员消除这些隐患.

保险合同中受益人双重指定纠纷的解决——姓名与身份关系之间的选择

被保险人指定受益人既有姓名又有身份关系的双重指定,究竟以何者为真正受益人颇有争议。有观点认为此种情形应视为未指定受益人,但这种观点可能违背了被保险人指定受益人的本意,并不足取。应区分不同情形对双重指定纠纷予以解决,若姓名与身份关系指向同一主体,在受益人身份发生变动的情况下,通常应视为未指定受益人,但当事人能够证明在身份关系变更后被保险人无意变更受益人的除外。若姓名与身份关系并未指向同一主体,则需借助保单上的其他信息确定受益人,无其他信息可资确定受益人时,以姓名更为合理。此外,当姓名指向之人与被保险人存在同居关系时,若不能证明被保险人以保险金作为性交易的对价,通常应将同居之人视为真正受益人。

基于OPNET的ATM传输服务类型CBR和UBR建模分析

在异步传输模式(Asynchronous Transfer Mode,ATM)中,每一类传输服务类型都有不同的特性和不同的使用场合。针对这种情况,提出了基于恒定比特率(CBR)传输服务类型的ATM网络和基于未指定比特率(UBR)传输服务类型的ATM网络,介绍了OPNET仿真软件的主要特性、建模机制及仿真步骤。采用OPNET网络仿真软件设计实验,根据2种不同传输服务类型的特点建立不同的场景并进行仿真对比,对比在不同场景中语音信号端到端延时以及端到端延时的方差的变化,实验结果证明了基于CBR传输服务类型的ATM网络比基于UBR传输服务类型的ATM网络更适合语音信号的传输。

承诺方式之比较研究

承诺的方式,一般并不会影响承诺的生效,但是在特殊情况下却有着至关重要的作用,本文通过对承诺方式的论述,将着中解决要约中规定承诺方式时,可对于承诺是否生效的影响,以及承诺生效后合同内容的确定的问题进行论述。

本案应适用美国法

本案应适用美国法偶见实情简介：１９８８年６月南京市第一建筑公司陆启春受派赴美国太平洋建筑开发有限公司（下称太平洋公司）工作，１９８９年１２月２６日，陆启春在关岛建筑工地因工伤死亡。美国关岛保险公司承保陆启春人身保险，陆未指定受益人。１９９１年初关岛保...

理解Windows NT的权限管理

Windows NT 4.0(以下简称NT)在安全管理方面具有不少优点。它在用户权力的控制方面应用起来既严格,又不乏灵活性。但许多初次接触NT的人对它在权限管理方面的重要概念难以理解,因此使用起来便觉得过于繁琐,不得要领,甚至无意中制造了安全隐患,还被蒙在鼓里。 NT的权限管理涉及到用户权力、共享权限和对象权限等。

本案应适用美国法

案情简介 1988年6月南京市第一建筑公司陆启春受派赴美国太平洋建筑开发有限公司(下称太平洋公司)工作,1989年12月26日,陆启春在关岛建筑工地因工伤死亡。美国关岛保险公司承保陆启春人身保险,陆未指定受益人。1991年初关岛保险公司依约给付40000美元委托一建公司付与陆启春妻女张淑霞及陆青。陆启春父母陆承业、蔡相女知悉后要求分割保险金,协商未成,陆、蔡于1992年4月3日向南京市鼓楼区人民法院提起诉讼。一审法院审理认为:原、被告均为法定第一顺序继承人,各继承人同等地享有继承权,依法继承陆启春的遗产。死者陆启春是中国公民,对于关岛保险公司赔偿的4万美元人身保险金,因陆启春在投保时未指定受益人,其保险金已邮汇国内。

国外乐讯

国外乐讯国际传统音乐理事会退出《世界音乐史》编写计划《世界音乐史》编写计划由纽约市立大学教授布鲁克（ＢａｎｙＢｒｏｏｋ）提出，自１９８０年起获联合国财政资助，成为联合国教科文组织音乐理事会的一个项目。由布鲁克教授任执行主席及主编。对此国内音乐界曾有过...

专家信箱

直击发球问题:……明显出界的发球却在落地前碰到接球人,这该怎么办…… 问:发球员在发球(无论是一发或二发)过程中,发出的球在空中明显飞出指定的发球区域,在球未落地之前直接碰到对方接发球员的身上(或球拍上),这样的球应该怎样判罚? 答:这种球应该判发球员得分。规则中提到,活球状态下的球触及到了除接球员手中球拍以外。

这两笔保险金应如何处理

案情:年近8旬的徐老汉于2000年购买了二份大额人寿保险,保险金额均为30万元,其中一份30万元指定他老伴许某为受益人,而另一份30万元则没有指定受益人。去年7月15日,徐老汉因病去世。