Caracterización del retardo en redes definidas por software para monitorizar el nivel de utilización de recursos.

[ES]Este proyecto busca caracterizar el retardo sufrido por los mensajes de estadísticas en las redes definidas por software cuando la red se encuentra en estado de saturación. Para ello, se utilizarán los paquetes OpenFlow que utiliza el controlador OpenDaylight para comunicarse con los nodos presentes en la red, a través de ellos se podrán monitorizar los recursos consumidos por los servicios instalados. Toda la monitorización se llevará a cabo desde el controlador, el módulo de monitorización optimizado en este proyecto permitirá al controlador conocer el valor promedio del ancho de banda consumido en instantes de tiempo de hasta un segundo en todos los nodos de la red donde se hayan instalado los servicios. Estos valores podrán ser utilizados para controlar el ancho de banda consumido por los distintos servicios dentro de una red, realizando acciones desde el propio controlador sobre aquellos servicios que superen el límite establecido.

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

A relational database of post-harvest fish losses

The article describes FISHLOSS, a database of post-harvest fish losses devised by the Natural Resources Institute (NRI), UK. The database contains 450 records of post-harvest fish losses from 150 sources. The majority of the estimates are shelf-life estimates. Designed to be a reference for people studying post-harvest fish losses, it draws attention to areas requiring future research to identify significant losses and the factors which cause them. All researchers and users are encouraged to send NRI their own estimates for inclusion in revised versions of FISHLOSS.

Marketing of small indigenous species of fish (SIS) in three selected fish markets of Mymensingh

A socio-economic survey was conducted round the year in three fish markets at Mymensingh, Bangladesh. The selected markets were categorized as rural market (Sutiakhali market), a peri-urban market (Kamal Ranjeet market, BAU) and an urban market (Notun Bazar market, Mymensingh town). It was learnt from the survey that the availability of Small Indigenous Fish Species (SIS) declined to a great extent over the last few years and at presently many of such fish species are either threatened or at the edge of extinction. The supply of SIS was highest in KR market (37% of total) and more or less similar in Notun Bazar and Sutiakhali fish market (25 and 27% respectively). The total supply of SIS fluctuated from 25% to 35% throughout the year in these markets. About 48 SIS were found in the sampled markets over the survey period. The highest number of species (45) was found in KR market followed by Notun Bazar (42) and Sutiakhali (37) fish markets. During the survey, three critically endangered species namely, schilbid catfish, garua catfish and rita were found in these markets. Beside these, other 11 and 10 species were listed to be endangered and vulnerable respectively. The biodiversity of 21 SIS found in three markets were no threat at all. Three species (guntea loach, Indian glass barb and flying barb) were 'data deficient' as reported by the IUCN Red Book (IUCN-Bangladesh 2000). From the supply point of view small prawn, spotted snakehead, stinging catfish, pool barb, striped dwarf catfish, Gangetic mystus, walking catfish and tank goby were the prominent fish. The least available species found in this survey were lesser spiny eel, barred spiny eel, Gangetic ailia, freshwater garfish, zig-zag eel, flying barb, Ganges river sprat, freshwater river shad and dwarf gourami. The weight of SIS available in Notun bazar was highest and nearly double than other two markets. There was no significant difference recorded in the supply of SIS in Sutiakhali and KR markets. The average monthly SIS supply was 185, 192 and 467 kg in KR, Sutiakhali and Notun Bazar, respectively; therefore, the cumulative average supply was 844 kg per month in three markets. The price of SIS ranged widely from taka 50-450/kg depending on species, location of market, time of purchase and the condition of fish. In general small prawn, ticto barb, dwarf gourami, Gangetic leaffish, and Annandale loach were sold at a lower price (ranged taka 50-100/kg) and these species could be considered at the bottom of the market-price list. Other SIS like walking catfish, climbing parch, butter catfish, cotio and schilbid catfish valued as highest price (ranged taka 150-450/kg). There was no specific marketing chain for SIS in Mymensingh region. The components of marketing channels and their expansion varied with seasons and locations. The general pattern, however, was as this - after buying fish from fish farmer/fishermen, middlemen (locally known as Foria) used to buy fish to wholesale market and sell to the wholesalers. The retailers used to buy fish from wholesaler through auction to the highest bidders. The retailers then send the fish to particular market where the fish reached the consumers. The livelihood strategy of SIS retailers in three fish markets showed that socio-economic constraints such as low income, poor educational background, low economic status and lack of capital are the main constrains [sic]. Most of the retailers proposed that government should control the fish price throughout the year, so that the producers can get reasonable and stable price. Construction of cold storage and preservation facilities at market sites, improvement of road and communication, improvement of physical market facilities and reduction of market chain is essential. Credit facilities, improvement of their standard of living, health and sanitary condition, housing condition, children education and access to drinking water facilities were identified as additional aspects to improve socio-economic condition of SIS retailers.

Change propagation analysis in complex technical systems

Understanding how and why changes propagate during engineering design is critical because most products and systems emerge from predecessors and not through clean sheet design. This paper applies change propagation analysis methods and extends prior reasoning through examination of a large data set from industry including 41,500 change requests, spanning 8 years during the design of a complex sensor system. Different methods are used to analyze the data and the results are compared to each other and evaluated in the context of previous findings. In particular the networks of connected parent, child and sibling changes are resolved over time and mapped to 46 subsystem areas. A normalized change propagation index (CPI) is then developed, showing the relative strength of each area on the absorber-multiplier spectrum between -1 and +1. Multipliers send out more changes than they receive and are good candidates for more focused change management. Another interesting finding is the quantitative confirmation of the "ripple" change pattern. Unlike the earlier prediction, however, it was found that the peak of cyclical change activity occurred late in the program driven by systems integration and functional testing. Patterns emerged from the data and offer clear implications for technical change management approaches in system design. Copyright © 2007 by ASME.

Liquid nitrogen flowrate alarm system for MBE

Liquid nitrogen is very important for MBE system. Most MBE systems use the liquid nitrogen to absorb the impurity molecules. If MBE cryoshroud is lack of liquid nitrogen, the pressure of the growth chamber will grow. This will affect the film quality. But too much liquid nitrogen is a waste. We have developed a liquid nitrogen flowrate alarm system to monitor the liquid nitrogen status in MBE cryoshroud. In this method, a temperature sensor is placed at the end of the cryoshroud. The temperature varies with changing of the liquid nitrogen status in cryoshroud. If the liquid nitrogen level in the cryoshroud is too low or too high, the LNFA will send out an alarm to warn the user to adjust the liquid nitrogen flowrate. In our experiments, we found this method works well, and the temperature responds sensitively. With the help of this system, people can view the liquid nitrogen status of the entire growth process. Compare with other method. it is very cheap.

聚合通信模型的测试与分析

聚合通信的性能影响着大规模并行数值计算软件的整体效率,它是基于点对点消息传递实现的。可以通过选择点对点通信模型来描述聚合通信。一个恰当的模型可以为聚合通信算法提供精确的定量分析,有助于算法的设计与研究。论文通过对若干聚合通信典型算法的测试与分析,尝试比较与定量分析两种点对点通信模型对聚合通信的描述精度。

镇海棘螈繁殖群体生态和遗传结构研究

genetics, such as: population size, reproduction, mating system, growth, development,genetic structure and systematics status; The main results are presented below: The seasonal variation of the operational sexual ratio of this animal was found in the field and the ration always bias the female in the breeding season. Aiming at this character and considering the distance of time and space of both sexual habitat in breeding season, we census female population first by toe-clipping mark-recapture method, then estimated the population size with the definitive sexual ratio. Up to now, this species was found only at the Beilun district of the Ningbo City. The population size of the Ruiyan Temple Forest Park approximates to 369. The status of this population is extremely endangered, so besides protecting this population at the original locality, we also suggested to breed the salamander in fenced locality and to hatch embryos artificially, and send metamorphosed juveniles back to nature. We can transfer some individuals to other similar habitats or breed them under artificial conditions for saving this species from extinction. The early developmental stage of the Chinhai salamander is the same as its relative species, E. andersoni. Their balanceres are poorly developed and disappear very early. Temperature and moisture significantly influence the embryonic development of the Chinhai salamander. The embryonic stage is approx. 29 days under room temperature. The hatchling grows in a logarithmic curve. The larvae stage in water is approx. 58- 88 days. Many factors influence the nomal development, including two aspects of internal and external. Due to these factors, the effective protected measures were presented in detail. The breeding migration of E. chinhaiensis takes place at late March～late April every year. This salamander's hatching rate is high, but the rate of hatchling migrating into water is low. The average effectiveness of all the nest sites is 36.7%. The maternal self-conservation was contrary to the reproductive success of the egg-laying strategy. In the strategy of egg-laying behavior, the first factor selected by the female was its self-conservation, the second is embryonic survival rate, and the last is rate of hatchling survival rate. The oviposition selection is significant for the survival of the larvae. Based on the analysis of the evolutionary process of reproductive behaviors nad egg-laying site selections of all genera of the family Salamandridae, we deduced that perhaps Echinotriton is a transitional type in the evolutionary process from water to land. Due to its location in the adaptive stage in the terrestrial evolution, Echinotriton chinhaiensis's terrestrial nest may be one of important reason that causes this species to be endangered. The genetic deversity analysis shows that although the population size of the Chinhai salamander is quite small compared to other Chinese salamandrid species, the genetic diversity of this population is not reduce remarkably. We explain this phenomena with the polygamy mating system of this species. The result of 4 families' parenthood determinations shows that the parenhood determination can be taken without any paternal information. The "children" of every female include rich genetic information from at least two "fathers". It implies that female Chinhai salamander mates more than once with different males in a breeding season. The molecular evidence, the behavioral observation evidences and the sperm evidence in the female cloaca proved that this species has a polygamy mating system. The kin recognition in the mating of adult salamander was first discussed. The taxonomic status and phylogenetic relationships of 12 species representing 6 genera in the family Salamandridae were studied using DNA fingerprinting. The results showed that the DNA fingerprinting. The results showed that the DNA fingerprinting patterns demonstrated rich genetic diversity and species diversity, and also revealed the taxonomic status and phylogenetic relationshipes of higher taxa to a certain extent. The results are highly consistent with those obtained from the studies based on the morphology, ecology, cytology and molecular biology. The compreshensive analysis indicate that Tylototrition hainanensis and T. wenxianensis should be valid species; Echinotriton should be a valid genus;Tylotortriton is a natural cluster; Tylotortriton asperrimus should be put in Tylototrition rather than in Echinotriton, Hypselotriton and Allomestriton are synonyms of Cynops and Paramesotriton, respectively. There are three main groups in Chinese salamandride: Cynops, Paramesotriton and Pachytrition from the first group, the species of the Tylototriton from the second, and E. chinhaiensis composes the third.

基于MSP430 单片机和DS18B20 的多分支多通道温度测量系统远程监控软件

This paper present that the system can acquire the remote temperature measurement data of 40 monitoring points,through the RS-232 serial port and the Intranet.System s hardware is consist of TI s MSP430F149 mixed-signal processor and UA7000A network module.Using digital temperature sensor DS18B20,the structure is simple and easy to expand,the sensors directly send out the temperature data.MSP430F149 has the advantage of ultra-low-power and high degree of integration.Using msp430F149,the multi-branch multi-p...中文文摘：文章论述了通过RS-232串口和Intranet网络,来实现对远端的40个温度测量点的监控。系统硬件由TI公司的MSP430F149混合信号处理器和UA7000A网络模块构成。传感器采用数字式温度传感器DS18B20,它将直接得到温度的数字量,结构简单,易于扩展。MSP430F149处理器具有超低功耗和高度集成等优点,利用它构建的多分支多通道温度测量系统功能强大,结构简单,可靠性高,抗干扰能力强。系统客户端软件采用Microsoft Visual C++6.0设计。本监控系统能够很好地完成对4个分支共40个温度测量点的远程实时监控。

General design of the CSR project in IMP

CSR, a new accelerator project under the construction. to upgrade the existing heavy ion cyclotron system in Lanzhou, is a double cooling-storage-ring system. It consists of a main ring and an experimental ring. The heavy ion beams from the cyclotron system will be accumulated and accelerated first in the main ring, then extracted to produce radioactive ion beams or high-Z beams, and finally to be send to the second ring for internal-target experiments.

基于CAN总线的力传感器与机器人控制器通讯设计

研磨机器人系统中,研磨头与工件的接触力是保证加工精度,进行机器人力控制的一个重要因 素。采用 CAN 通讯可以确保力传感器准确、及时地把力信息传送给控制器进行力控制。本文 给出了6维腕力传感器与机器人控制器通讯的硬件结构,制定了可靠的通讯协议,实现了力信 息的正确读取,为研磨机器人控制系统获得可靠的力信息提供了一种新的解决方案。

一种水面救助机器人

本文介绍一种能在恶劣海况下 ,向遇险船舶送递导引缆绳和向落水人员快速送递救生圈的水面救助机器人 .该机器人具有抗涌浪能力强、体积小、重量轻、速度快以及机动灵活的特点 ,还可广泛应用于其他领域

OPEN DOORS AND OPEN MINDS: WHAT FACULTY AUTHORS CAN DO TO ENSURE OPEN ACCESS TO THEIR WORK THROUGH THEIR INSTITUTION

The Internet has brought unparalleled opportunities for expanding availability of research by bringing down economic and physical barriers to sharing. The digitally networked environment promises to democratize access, carry knowledge beyond traditional research niches, accelerate discovery, encourage new and interdisciplinary approaches to ever more complex research challenges, and enable new computational research strategies. However, despite these opportunities for increasing access to knowledge, the prices of scholarly journals have risen sharply over the past two decades, often forcing libraries to cancel subscriptions. Today even the wealthiest institutions cannot afford to sustain all of the journals needed by their faculties and students. To take advantage of the opportunities created by the Internet and to further their mission of creating, preserving, and disseminating knowledge, many academic institutions are taking steps to capture the benefits of more open research sharing. Colleges and universities have built digital repositories to preserve and distribute faculty scholarly articles and other research outputs. Many individual authors have taken steps to retain the rights they need, under copyright law, to allow their work to be made freely available on the Internet and in their institutionâ s repository. And, faculties at some institutions have adopted resolutions endorsing more open access to scholarly articles. Most recently, on February 12, 2008, the Faculty of Arts and Sciences (FAS) at Harvard University took a landmark step. The faculty voted to adopt a policy requiring that faculty authors send an electronic copy of their scholarly articles to the universityâ s digital repository and that faculty authors automatically grant copyright permission to the university to archive and to distribute these articles unless a faculty member has waived the policy for a particular article. Essentially, the faculty voted to make open access to the results of their published journal articles the default policy for the Faculty of Arts and Sciences of Harvard University. As of March 2008, a proposal is also under consideration in the University of California system by which faculty authors would commit routinely to grant copyright permission to the university to make copies of the facultyâ s scholarly work openly accessible over the Internet. Inspired by the example set by the Harvard faculty, this White Paper is addressed to the faculty and administrators of academic institutions who support equitable access to scholarly research and knowledge, and who believe that the institution can play an important role as steward of the scholarly literature produced by its faculty. This paper discusses both the motivation and the process for establishing a binding institutional policy that automatically grants a copyright license from each faculty member to permit deposit of his or her peer-reviewed scholarly articles in institutional repositories, from which the works become available for others to read and cite.

Fast Approximate Reconciliation of Set Differences

We present new, simple, efficient data structures for approximate reconciliation of set differences, a useful standalone primitive for peer-to-peer networks and a natural subroutine in methods for exact reconciliation. In the approximate reconciliation problem, peers A and B respectively have subsets of elements SA and SB of a large universe U. Peer A wishes to send a short message M to peer B with the goal that B should use M to determine as many elements in the set SB–SA as possible. To avoid the expense of round trip communication times, we focus on the situation where a single message M is sent. We motivate the performance tradeoffs between message size, accuracy and computation time for this problem with a straightforward approach using Bloom filters. We then introduce approximation reconciliation trees, a more computationally efficient solution that combines techniques from Patricia tries, Merkle trees, and Bloom filters. We present an analysis of approximation reconciliation trees and provide experimental results comparing the various methods proposed for approximate reconciliation.

Adaptive Reliable Multicast

An increasing number of applications, such as distributed interactive simulation, live auctions, distributed games and collaborative systems, require the network to provide a reliable multicast service. This service enables one sender to reliably transmit data to multiple receivers. Reliability is traditionally achieved by having receivers send negative acknowledgments (NACKs) to request from the sender the retransmission of lost (or missing) data packets. However, this Automatic Repeat reQuest (ARQ) approach results in the well-known NACK implosion problem at the sender. Many reliable multicast protocols have been recently proposed to reduce NACK implosion. But, the message overhead due to NACK requests remains significant. Another approach, based on Forward Error Correction (FEC), requires the sender to encode additional redundant information so that a receiver can independently recover from losses. However, due to the lack of feedback from receivers, it is impossible for the sender to determine how much redundancy is needed. In this paper, we propose a new reliable multicast protocol, called ARM for Adaptive Reliable Multicast. Our protocol integrates ARQ and FEC techniques. The objectives of ARM are (1) reduce the message overhead due to NACK requests, (2) reduce the amount of data transmission, and (3) reduce the time it takes for all receivers to receive the data intact (without loss). During data transmission, the sender periodically informs the receivers of the number of packets that are yet to be transmitted. Based on this information, each receiver predicts whether this amount is enough to recover its losses. Only if it is not enough, that the receiver requests the sender to encode additional redundant packets. Using ns simulations, we show the superiority of our hybrid ARQ-FEC protocol over the well-known Scalable Reliable Multicast (SRM) protocol.