On contractive cyclic fuzzy maps in metric spaces and some related results on fuzzy best proximity points and fuzzy fixed points

This paper investigates some properties of cyclic fuzzy maps in metric spaces. The convergence of distances as well as that of sequences being generated as iterates defined by a class of contractive cyclic fuzzy mapping to fuzzy best proximity points of (non-necessarily intersecting adjacent subsets) of the cyclic disposal is studied. An extension is given for the case when the images of the points of a class of contractive cyclic fuzzy mappings restricted to a particular subset of the cyclic disposal are allowed to lie either in the same subset or in its next adjacent one.

Dividing population genetic distance data with the software Partitioning Optimization with Restricted Growth Strings (PORGS): an application for Chinook salmon (Oncorhynchus tshawytscha), Vancouver Island, British Columbia

A new method of finding the optimal group membership and number of groupings to partition population genetic distance data is presented. The software program Partitioning Optimization with Restricted Growth Strings (PORGS), visits all possible set partitions and deems acceptable partitions to be those that reduce mean intracluster distance. The optimal number of groups is determined with the gap statistic which compares PORGS results with a reference distribution. The PORGS method was validated by a simulated data set with a known distribution. For efficiency, where values of n were larger, restricted growth strings (RGS) were used to bipartition populations during a nested search (bi-PORGS). Bi-PORGS was applied to a set of genetic data from 18 Chinook salmon (Oncorhynchus tshawytscha) populations from the west coast of Vancouver Island. The optimal grouping of these populations corresponded to four geographic locations: 1) Quatsino Sound, 2) Nootka Sound, 3) Clayoquot +Barkley sounds, and 4) southwest Vancouver Island. However, assignment of populations to groups did not strictly reflect the geographical divisions; fish of Barkley Sound origin that had strayed into the Gold River and close genetic similarity between transferred and donor populations meant groupings crossed geographic boundaries. Overall, stock structure determined by this partitioning method was similar to that determined by the unweighted pair-group method with arithmetic averages (UPGMA), an agglomerative clustering algorithm.

Restricted Access vs. Open Access Methods of Management: Toward More Effective Regulation of Fishing Effort

This paper gives an overview of the economic rationale for limited entry as a method of fishery management and discusses general advantages and disadvantages of license limitation and catch rights as the two primary methods of restricting access to marine fisheries. Traditional open-access methods of regulation (e.g., gear restrictions, size limits, trip limits, quotas, and closures) can be temporarily effective in protecting fish populations, but they generally fail to provide lasting biological or economic benefits to fishermen because they do not restrict access to the fishery. The general result of regulation with unrestricted access to a fishery is additional and more costly and complex regulations as competition increases for dwindling fishery resources. Regulation that restricts access to a fishery in conjunction with selected traditional methods of regulation would encourage efficient resource usage and minimize the need for future regulatory adjustments, provided that enforcement and monitoring costs are not too great. In theory, catch rights are superior to license limitation as a means of restricting access to a fishery.

Restricted water exchange in the Negombo Lagoon on the west coast of Sri Lanka

Salinity, fresh water and sea level data from the Negombo Lagoon with respect to oceanic sea level and salinity data were considered. The open ocean spring tidal range was 0.57 m, whereas the neap tidal range was 0.10 m. In lagoon, the corresponding spring tidal range was 0.13 m and neap tidal range is 0.05 m. The lagoon tide was strongly choked because of the restricted inlet channel, through which only a limited water exchange could take place over a tidal cycle. Mean water exchange and the residence times for variable fresh water supplies were calculated. These calculations were based on fortnightly measurements of salinity and river discharges in 1993. During this year, salinity varied from 30-5‰ depending on the river inputs which were 20-225 m³ sˉ¹. Corresponding residence times varied from 11-2 days and the tide is dominated the exchange during low discharges of freshwater.

Recovery, growth and carcass composition following periods of restricted ration and full feeding in indian major carp, Rohu (Labeo rohita H.)

A 90-day experiment was conducted to determine the effect of restricted ration and full feeding on the recovery growth and carcass compositions of fingerlings (average weight - 20.74 ± 0.13 g) of rohu, Labeo rohita (H.). Rohu fingerlings procured from a local fish breeder were fed with commercial pelleted feed (27% crude protein) during the two-week acclimatization in the laboratory condition. Experimental pelleted diet (30% crude protein) was prepared and the control group (T sub(CFR)) was fed at 3% of body weight for the 90-day trial period. The experimental group T sub(1FR) was fed for three days at 1% of body weight and the next three days at 3% of body weight, T sub(2FR) was fed for seven days at 1% of body weight and the next seven days at 3% of body weight, T sub(3FR) was fed for 15 days at l% of body weight and the 15 days at 3% of body weight and T sub(4FR) was fed for 25 days at 1% of body weight and the next 25 days at 3% of body weight, alternating between 1 and 3% for the specified period during the 90-day trial period. Daily rations were divided into two equal meals per day at 09.00 and 16.00 hours. Average percent survival rate of rohu during the 90-day trial period was more than 90. Percent live weight gain (98.90 ± 0.34, 113.0 ± 5.93, 125.71 ± 11.01 and 141.90 ± 2.89), specific growth rate (1.53 ± 0.01 1.68 ± 0.06, 1.80 ± 0.10 and 1.96 ± 0.02%/d) and absolute growth rate (1.33 ± 0.13, 1.38 ± 0.07, 1.39 ± 0.04 and 1.44 ± 0.07g/d) of the experimental groups (T sub(1FR), T sub(2FR), T sub(3FR) and T sub(4FR) respectively) increased with the advancement of the experiment in comparison to those in control, T sub(CFR) (90.92 ± 5.81%, 1.44 ± 0.07%/d and 1.34 ± 0.20g/d, respectively) and were proportionately correlated with the degree of deprivation probably through the mechanism of increased feed intake (hyperphagia), feed efficiency ratio or gross growth efficiency, protein efficiency ratio and the superior feed conversion ratio reflecting in better performance index. The body length and muscle composition of fish indicated that recovery growth happened due to protein growth but certainly not due to fat deposition in the gut. Feeding at 1 and 3% of body weight alternating over a period of 25 days might economize the culture operation of rohu.

Molecular systematics of Xenocyprinae (Teleostei : Cyprinidae): Taxonomy, biogeography, and coevolution of a special group restricted in east Asia

We surveyed mitochondrial DNA (mtDNA) sequence variation in the subfamily Xenocyprinae from China and used these data to estimate intraspecific, interspecific, and intergeneric phylogeny and assess biogeographic scenarios underlying the geographic structu

响蜜lie科的新记录

报道并简述了1994年10月在云南省泸水县的老窝捕获到1只响蜜lie科的黄腰响蜜lieIndicator xanthonotus 为我国鸟类科的新记录。模式标本保存于作者单位。

Coordinated motion design on lie groups

The present paper proposes a unified geometric framework for coordinated motion on Lie groups. It first gives a general problem formulation and analyzes ensuing conditions for coordinated motion. Then, it introduces a precise method to design control laws in fully actuated and underactuated settings with simple integrator dynamics. It thereby shows that coordination can be studied in a systematic way once the Lie group geometry of the configuration space is well characterized. Applying the proposed general methodology to particular examples allows to retrieve control laws that have been proposed in the literature on intuitive grounds. A link with Brockett's double bracket flows is also made. The concepts are illustrated on SO(3), SE(2) and SE(3). © 2010 IEEE.

Coordination on Lie groups

This paper studies the coordinated motion of a group of agents evolving on a Lie group. Left-or rightinvariance with respect to the absolute position on the group lead to two different characterizations of relative positions and two associated definitions of coordination (fixed relative positions). Conditions for each type of coordination are derived in the associated Lie algebra. This allows to formulate the coordination problem on Lie groups as consensus in a vector space. Total coordination occurs when both types of coordination hold simultaneously. The discussion in this paper provides a common geometric framework for previously published coordination control laws on SO(3), SE(2) and SE(3). The theory is illustrated on the group of planar rigid motion SE(2). © 2008 IEEE.

Optimal data fitting on lie groups: A coset approach

This work considers the problem of fitting data on a Lie group by a coset of a compact subgroup. This problem can be seen as an extension of the problem of fitting affine subspaces in n to data which can be solved using principal component analysis. We show how the fitting problem can be reduced for biinvariant distances to a generalized mean calculation on an homogeneous space. For biinvariant Riemannian distances we provide an algorithm based on the Karcher mean gradient algorithm. We illustrate our approach by some examples on SO(n). © 2010 Springer -Verlag Berlin Heidelberg.

Molecular systematics of Xenocyprinae (Teleostei : Cyprinidae): Taxonomy, biogeography, and coevolution of a special group restricted in east Asia

We surveyed mitochondrial DNA (mtDNA) sequence variation in the subfamily Xenocyprinae from China and used these data to estimate intraspecific, interspecific, and intergeneric phylogeny and assess biogeographic scenarios underlying the geographic structure of lineages. We sequenced 1140 bp of cytochrome b from 30 individuals of Xenocyprinae and one putative outgroup (Myxocypris asiaticus) and also sequenced 297 bp of ND4L, 1380 bp of ND4, 68 bp of tRNA(His), and 69 bp of tRNA(Ser) from 17 individuals of Xenocyprinae and the outgroup (M. asiaticus). We detected high levels of nucleotide variation among populations, species, and genera. The phylogenetic analysis suggested that Distoechodon hupeinensis might be transferred to the genus Xenocypris, the taxonomic status of the genus Plagiognathops might be preserved, and species of Xenocypris and Plagiognathops form a monophyletic group that is sister to the genus Distoechodon and Pseudobrama. The introgressive hybridization might occur among the populations of X. argentea and X. davidi, causing the two species to not be separated by mtDNA patterns according to their species identification, and the process and direction of hybridization are discussed. The spatial distributions of mtDNA lineages among populations of Xenocypris were compatible with the major geographic region, which indicated that the relationship between Hubei + Hunan and Fujian is closer than that between Hubei + Hunan and Sichuan, From a perspective of parasite investigation, our data suggested that the fauna of Hexamita in Xenocyprinae could be used to infer the phylogeny of their hosts. (C) 2001 Academic Press.

automatic construction of finite algebras

This paper deals withmodel generation for equational theories, i.e., automatically generating (finite) models of a given set of (logical) equations. Our method of finite model generation and a tool for automatic construction of finite algebras is described. Some examples are given to show the applications of our program. We argue that, the combination of model generators and theorem provers enables us to get a better understanding of logical theories. A brief comparison between our tool and other similar tools is also presented.

constructing finite algebras with falcon

The generation of models and counterexamples is an important form of reasoning. In this paper, we give a formal account of a system, called FALCON, for constructing finite algebras from given equational axioms. The abstract algorithms, as well as some implementation details and sample applications, are presented. The generation of finite models is viewed as a constraint satisfaction problem, with ground instances of the axioms as constraints. One feature of the system is that it employs a very simple technique, called the least number heuristic, to eliminate isomorphic (partial) models, thus reducing the size of the search space. The correctness of the heuristic is proved. Some experimental data are given to show the performance and applications of the system.