Fisheries: deep-sea fishes qualify as endangered

Criteria from the World Conservation Union (IUCN) have been used to classify marine fish species as endangered since 1996, but deep-sea fish have not so far been evaluated--despite their vulnerability to aggressive deepwater fishing as a result of certain life-history traits. Here we use research-survey data to show that five species of deep-sea fish have declined over a 17-year period in the Canadian waters of the northwest Atlantic to such an extent that they meet the IUCN criteria for being critically endangered. Our results indicate that urgent action is needed for the sustainable management of deep-sea fisheries.     

Fisheries: mislabelling of a depleted reef fish

Any fish species that appears to be readily available in the marketplace will create an impression among the public that there is a plentiful supply of that fish in the sea, but this may belie the true state of the fisheries' stock. Here we use molecular genetic analysis to show that some three-quarters of the fish sold in the United States as 'red snapper'--the US Food and Drug Administration's legally designated common name for Lutjanus campechanus--belong to another species. Mislabelling to this extent not only defrauds consumers but could also adversely affect estimates of stock size if it influences the reporting of catch data that are used in fisheries management.     

渔业补贴之争与我国渔业补贴调整方向

近年来,渔业补贴问题成为国际社会的一大争议焦点,世贸组织<多哈宣言>已将其列为规则谈判议题之一.本文考察了国际社会围绕渔业补贴定义、分类方法和渔业补贴效果所产生的争议,分析了我国渔业补贴现状,并提出了相应的政策建议.     

基于Petri网的合同网任务动态分配模型

文章根据合同网的任务动态分配思想,将多个主体划分为管理者主体和工作者主体2种类型,借助Petri网对任务分配过程中主体之间的协作及信息交互行为进行刻画,建立了具有固定数目的工作者主体和具有不定数目的工作者主体的动态任务分配模型,模型能够描述任务动态分配过程中所有可能出现的情形;同时对网模型系统的有界性、有效终止性和无死锁性进行了形式化的证明.     

Process of Petri Nets Extension

0Introduction Manynewcomputingplatforms,suchasthelocalareanetwork,Internetandthevirtualnetwork,arebeingcreatedandthenetworkcomputinghasbeenpopular.There fore,thesemanticsmodelbasedonsuchplatformsisdifferenttothetraditionalmodel.Comparedwiththetraditionalmodel,thenetworkcomputingmodelhastwospecialfeatures:first ly,computingunits(tofulfillatask)areallocatedonthedis tributedandindependentnodesandthesenodespossessre sourcesrespectively.Furthermore,thecentralcontrolnodeisnotnecessary.Secondly,thei…     

一类高级Petri网:XML代数网

综合运用Petri网和XML代数的理论和方法,提出XML代数网.通过对代数高级网在XML代数下的解释和赋值,给出了XML代数网的形式化定义,从而建立了XML代数网的规范化描述.哲学家问题的实例研究展示了XML代数网在动态系统建模和仿真中的应用.研究的结果表明XML代数网作为一种工具对XML应用领域的建模和分析具有实际意义.     

一类特殊的LF-网空间

本文研究了LF-网空间和它的几个子空间类,考虑了LF-k-网空间与几类广义度量化空间的关系,并且给出了LF-k-网空间的一个等价条件.     

模糊Petri网的活性分析

在基本Petri网理论基础上,基于模糊推理,对无环模糊Petri网的活性进行了讨论．给出了其关于活性的分级定义以及一种有效的活性判定方法,并对该方法的正确性进行了证明,最后通过一个算例验证了该活性判定方法的有效性.     

一种有界Petri网的可诊断性验证方法

离散事件系统满足可诊断性是设计故障诊断算法的前提,因此研究可诊断性验证方法具有重要意义.故障发生后无死锁是研究可诊断性问题常见的假设之一,限制了可诊断性验证方法的应用范围.本文在去掉故障发生后无死锁假设的基础上,首先提出了标签可达图的概念和构建算法,其次提出了一种新的可诊断性验证算法来验证有界Petri网是否满足可诊断...     

高级 Petri网并行化预处理方法的研究

为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网（ Place/Transition Net）的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数模型对颜色Petri网转化为P/T网的预处理方法进行研究,并通过实例和编程对预处理方法的正确性和有效性进行验证。实验结果表明,提出的高级Petri网并行化预处理方法是可行而有效的。     

厦门海域渔业资源现存量评析

2006—2007年夏季(2006年8月)、冬季(2007年1月)、春季(2007年4月)和秋季(2007年10月)在厦门海域利用底拖网渔船开展渔业资源调查.根据调查资料,对厦门海域(约2 713 km2)的渔业资源现状进行了评析.研究结果表明,4个季节渔业资源平均密度为981.97 kg/km2,其中秋季居首位,约为1 261.39 kg/km2;冬季和夏季次之,分别为951.31 kg/km2和936.93 kg/km2;而春季资源密度最低,约为778.24 kg/km2.各个季节的资源密度,鱼类均居首位,甲壳类次之,头足类最低.各季节鱼类优势种分别为:春季鱼类优势种有6种,以二长棘鲷(Parargyrops edita)幼鱼和短吻鲾(Leiognathus brevirostris)分别为第一和第二优势种;夏季有7种,以中华海鲶(Arius sinensis)和叫姑鱼(Johnius belengerii)分别为第一和第二优势种;秋季也有7种,以龙头鱼(Harpadon nehereus)、叫姑鱼和中华海鲶为主要优势种;冬季有4种,以叫姑鱼为最主要优势种.4个季节的平均渔业资源现存量约为1 694.71 t;渔业潜在可捕量约10 523 t.渔业资源分布与水温、水深及盐度关系较密切.该海域渔业资源已经明显衰退,急需加强渔业资源的管理和保护.