Improved handling and preservation of freshwater giant prawn, Macrobrachium rosenbergii for producing safe and wholesome products

Studies were undertaken to evaluate the quality changes in freshwater giant prawn, Macrobrachium rosenbergii during various storage conditions of handling and preservation and producing safe and quality products. The samples kept in ice immediately after catch with head-on and head-less condition were found to be acceptable for 6 days and 7 days, respectively. Delaying of icing considerably shortened the shelf-life. The pH value increased from 6.36 to 8.0 after 10 days in ice. The initial average TVB-N value of sample increased from below 10 mg/100 g to 25 mg/100 g with the lapse of storage period. The Ca++ ATPase activity in presence of 0.1M KCl slightly decreased at the end of 10 days of ice storage. Immediately after harvest, initial aerobic plate count (APC) was 2.88x10^6 CFU/g which gradually increased to 1.12x10^8 CFU/g after 6 days in ice storage and showed early signs of spoilage. Initial bacterial genera in the prawn iced at 0 hours were comprised of Coryneform (22.21 %), Bacillus (7.40%), Micrococcus (11.11 %), Achromobacter (48.14%), Flavobacterium/Cytophaga (7.40%), Pseudomonas (3.70%) and Aeromonas (3.70%). During ice storage Coryneforms and Bacillus were always dominating along with less prominent ones - Micrococcus, Achromobacter and Flavobacterium. Studies were conducted on the stability of myofibrillar protein of M. rosenbergii under different storage and pH conditions. The influence of a wide range of pH on the remaining Ca++ ATPase activity of M. rosenbergii muscle myofibrils after storage at -20°C for 2 days, at 0°C for 2 days and at 35°C for 30 minutes demonstrated that ATPase activities were lower in acidic and alkaline pH regions and the activity remained relatively high. Mg++ ATPase activities both in presence and absence of Ca++ remained high at neutral pH compared to those of acidic and alkaline region. The solubility of myofibrillar protein decreased gradually both in acidic and alkaline pH regions. The study also examined the bacteriological quality of freshly harvested M. rosenbergii, pond sediment and pond water from four commercial freshwater prawn farms at Fulpur and Tarakanda upazilas in the district of Mymensingh. The study included aerobic plate count (APC), total coliform count, detection, isolation and identification of suspected public health hazard bacteria and their seasonal variation, salt tolerance test, antibiotic sensitivity test of the isolates and washing effect of chlorinated water on the bacterial load in the prawn samples. APC in sediment soil and water of the farm and gill and hepatopancreas of freshly harvested prawns varied considerably among the farms and between summer and winter season. The range of coliform count in water, gill and hepatopancreas ranged between 6 - 2.8x10^2 CFU/ml, 1.2x10^2 - 3.32x10^2 CFU/g and 1.43x10^2 - 3.89 x10^3 CFU/g, respectively. No coliform was detected in pond sediment sample. Suspected health hazard bacteria isolated and identified from pond sediment, water, gill and hepatopancreas included Streptococcus, Bacillus, Escherichia coli, Klebsialla, Salmonella, Staphylococcus, Pseudomonas and Aeromonas. Bacillus, Salmonella and Staphyloccus [sic], and were found to be highly salt tolerant and capable of growing at 10% NaCl. The antibiotic discs with different concentration of antibiotics were used for the sensitivity test. The organisms were found to be most sensitive against Tetracyclin and Gentamycin.

Cecum lymph node dendritic cells harbor slow-growing bacteria phenotypically tolerant to antibiotic treatment.

In vivo, antibiotics are often much less efficient than ex vivo and relapses can occur. The reasons for poor in vivo activity are still not completely understood. We have studied the fluoroquinolone antibiotic ciprofloxacin in an animal model for complicated Salmonellosis. High-dose ciprofloxacin treatment efficiently reduced pathogen loads in feces and most organs. However, the cecum draining lymph node (cLN), the gut tissue, and the spleen retained surviving bacteria. In cLN, approximately 10%-20% of the bacteria remained viable. These phenotypically tolerant bacteria lodged mostly within CD103⁺CX₃CR1⁻CD11c⁺ dendritic cells, remained genetically susceptible to ciprofloxacin, were sufficient to reinitiate infection after the end of the therapy, and displayed an extremely slow growth rate, as shown by mathematical analysis of infections with mixed inocula and segregative plasmid experiments. The slow growth was sufficient to explain recalcitrance to antibiotics treatment. Therefore, slow-growing antibiotic-tolerant bacteria lodged within dendritic cells can explain poor in vivo antibiotic activity and relapse. Administration of LPS or CpG, known elicitors of innate immune defense, reduced the loads of tolerant bacteria. Thus, manipulating innate immunity may augment the in vivo activity of antibiotics.

Guidewire retention following central venous catheterisation: a human factors and safe design investigation.

BACKGROUND: Central Venous Catheterisation (CVC) has occasionally been associated with cases of retained guidewires in patients after surgery. In theory, this is a completely avoidable complication; however, as with any human procedure, operator error leading to guidewires being occasionally retained cannot be fully eliminated. OBJECTIVE: The work described here investigated the issue in an attempt to better understand it both from an operator and a systems perspective, and to ultimately recommend appropriate safe design solutions that reduce guidewire retention errors. METHODS: Nine distinct methods were used: observations of the procedure, a literature review, interviewing CVC end-users, task analysis construction, CVC procedural audits, two human reliability assessments, usability heuristics and a comprehensive solution survey with CVC end-users. RESULTS: The three solutions that operators rated most highly, in terms of both practicality and effectiveness, were: making trainees better aware of the potential guidewire complications and strongly emphasising guidewire removal in CVC training, actively checking that the guidewire is present in the waste tray for disposal, and standardising purchase of central line sets so that differences that may affect chances of guidewire loss is minimised. CONCLUSIONS: Further work to eliminate/engineer out the possibility of guidewires being retained is proposed.

Formal specification and refinement of a safe train control function

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.

Eye-safe, high-energy, single-mode all-fiber laser with widely tunable repetition rate

We present a novel high-energy, single-mode, all-fiber-based master-oscillator-power-amplifier (MOPA) laser system operating in the C-band with 3.3-ns pulses and a very widely tunable repetition rate, ranging from 30 kHz to 50 MHz. The laser with a maximum pulse energy of 25 mu J and a repetition rate of 30 kHz is obtained at, a wavelength of 1548 nm by using a double-clad, single-mode, Er:Yb co-doped fiber power amplifier.

Particle-attached and free-living bacterial communities in a contrasting marine environment: Victoria Harbor, Hong Kong

Diversity of particle-attached and free-living marine bacteria in Victoria Harbor, Hong Kong, and its adjacent coastal and estuarial environments was investigated using DNA fingerprinting and clone library analysis. Denaturing gradient gel electrophoresis (DGGE) analysis of 16S rRNA genes showed that bacterial communities in three stations of Victoria Harbor were similar, but differed from those in adjacent coastal and estuarine stations. Particle-attached and free-living bacterial community composition differed in the Victoria Harbor area. DNA sequencing of 28 bands from DGGE gel showed Alphaproteobacteria was the most abundant group, followed by the Bacteroidetes, and other Proteobacteria. Bacterial species richness (number of DGGE bands) differed among stations and populations (particle-attached and free-living; bottom and surface). BIOENV analysis indicated that the concentrations of suspended solids were the major contributing parameter for the spatial variation of total bacterial community structure. Samples from representative stations were selected for clone library (548 clones) construction and their phylogenetic distributions were similar to those of sequences from DGGE. Approximately 80% of clones were affiliated to Proteobacteria, Bacteroidetes and Cyanobacteria. The possible influences of dynamic pollution and hydrological conditions in the Victoria Harbor area on the particle-attached and free-living bacterial community structures were discussed.

Particle-attached and free-living bacterial communities in a contrasting marine environment: Victoria Harbor, Hong Kong

Diversity of particle-attached and free-living marine bacteria in Victoria Harbor, Hong Kong, and its adjacent coastal and estuarial environments was investigated using DNA fingerprinting and clone library analysis. Denaturing gradient gel electrophoresis (DGGE) analysis of 16S rRNA genes showed that bacterial communities in three stations of Victoria Harbor were similar, but differed from those in adjacent coastal and estuarine stations. Particle-attached and free-living bacterial community composition differed in the Victoria Harbor area. DNA sequencing of 28 bands from DGGE gel showed Alphaproteobacteria was the most abundant group, followed by the Bacteroidetes, and other Proteobacteria. Bacterial species richness (number of DGGE bands) differed among stations and populations (particle-attached and free-living; bottom and surface). BIOENV analysis indicated that the concentrations of suspended solids were the major contributing parameter for the spatial variation of total bacterial community structure. Samples from representative stations were selected for clone library (548 clones) construction and their phylogenetic distributions were similar to those of sequences from DGGE. Approximately 80% of clones were affiliated to Proteobacteria, Bacteroidetes and Cyanobacteria. The possible influences of dynamic pollution and hydrological conditions in the Victoria Harbor area on the particle-attached and free-living bacterial community structures were discussed.

Safe Compositional Network Sketches: NetSketch Tool Implementation

Numerous problems exist that can be modeled as traffic through a network in which constraints exist to regulate flow. Vehicular road travel, computer networks, and cloud based resource distribution, among others all have natural representations in this manner. As these networks grow in size and/or complexity, analysis and certification of the safety invariants becomes increasingly costly. The NetSketch formalism introduces a lightweight verification framework that allows for greater scalability than traditional analysis methods. The NetSketch tool was developed to provide the power of this formalism in an easy to use and intuitive user interface.

User-Level Sandboxing: a Safe and Efficient Mechanism for Extensibility

Extensible systems allow services to be configured and deployed for the specific needs of individual applications. This paper describes a safe and efficient method for user-level extensibility that requires only minimal changes to the kernel. A sandboxing technique is described that supports multiple logical protection domains within the same address space at user-level. This approach allows applications to register sandboxed code with the system, that may be executed in the context of any process. Our approach differs from other implementations that require special hardware support, such as segmentation or tagged translation look-aside buffers (TLBs), to either implement multiple protection domains in a single address space, or to support fast switching between address spaces. Likewise, we do not require the entire system to be written in a type-safe language, to provide fine-grained protection domains. Instead, our user-level sandboxing technique requires only paged-based virtual memory support, and the requirement that extension code is written either in a type-safe language, or by a trusted source. Using a fast method of upcalls, we show how our sandboxing technique for implementing logical protection domains provides significant performance improvements over traditional methods of invoking user-level services. Experimental results show our approach to be an efficient method for extensibility, with inter-protection domain communication costs close to those of hardware-based solutions leveraging segmentation.

Safe Compositional Specification of Networking Systems

The Science of Network Service Composition has clearly emerged as one of the grand themes driving many of our research questions in the networking field today [NeXtworking 2003]. This driving force stems from the rise of sophisticated applications and new networking paradigms. By "service composition" we mean that the performance and correctness properties local to the various constituent components of a service can be readily composed into global (end-to-end) properties without re-analyzing any of the constituent components in isolation, or as part of the whole composite service. The set of laws that would govern such composition is what will constitute that new science of composition. The combined heterogeneity and dynamic open nature of network systems makes composition quite challenging, and thus programming network services has been largely inaccessible to the average user. We identify (and outline) a research agenda in which we aim to develop a specification language that is expressive enough to describe different components of a network service, and that will include type hierarchies inspired by type systems in general programming languages that enable the safe composition of software components. We envision this new science of composition to be built upon several theories (e.g., control theory, game theory, network calculus, percolation theory, economics, queuing theory). In essence, different theories may provide different languages by which certain properties of system components can be expressed and composed into larger systems. We then seek to lift these lower-level specifications to a higher level by abstracting away details that are irrelevant for safe composition at the higher level, thus making theories scalable and useful to the average user. In this paper we focus on services built upon an overlay management architecture, and we use control theory and QoS theory as example theories from which we lift up compositional specifications.

Safe Composition of Web Communication Protocols for Extensible Edge Services

As new multi-party edge services are deployed on the Internet, application-layer protocols with complex communication models and event dependencies are increasingly being specified and adopted. To ensure that such protocols (and compositions thereof with existing protocols) do not result in undesirable behaviors (e.g., livelocks) there needs to be a methodology for the automated checking of the "safety" of these protocols. In this paper, we present ingredients of such a methodology. Specifically, we show how SPIN, a tool from the formal systems verification community, can be used to quickly identify problematic behaviors of application-layer protocols with non-trivial communication models—such as HTTP with the addition of the "100 Continue" mechanism. As a case study, we examine several versions of the specification for the Continue mechanism; our experiments mechanically uncovered multi-version interoperability problems, including some which motivated revisions of HTTP/1.1 and some which persist even with the current version of the protocol. One such problem resembles a classic degradation-of-service attack, but can arise between well-meaning peers. We also discuss how the methods we employ can be used to make explicit the requirements for hardening a protocol's implementation against potentially malicious peers, and for verifying an implementation's interoperability with the full range of allowable peer behaviors.

A Type System For Safe SN Resource Allocation

snBench is a platform on which novice users compose and deploy distributed Sense and Respond programs for simultaneous execution on a shared, distributed infrastructure. It is a natural imperative that we have the ability to (1) verify the safety/correctness of newly submitted tasks and (2) derive the resource requirements for these tasks such that correct allocation may occur. To achieve these goals we have established a multi-dimensional sized type system for our functional-style Domain Specific Language (DSL) called Sensor Task Execution Plan (STEP). In such a type system data types are annotated with a vector of size attributes (e.g., upper and lower size bounds). Tracking multiple size aspects proves essential in a system in which Images are manipulated as a first class data type, as image manipulation functions may have specific minimum and/or maximum resolution restrictions on the input they can correctly process. Through static analysis of STEP instances we not only verify basic type safety and establish upper computational resource bounds (i.e., time and space), but we also derive and solve data and resource sizing constraints (e.g., Image resolution, camera capabilities) from the implicit constraints embedded in program instances. In fact, the static methods presented here have benefit beyond their application to Image data, and may be extended to other data types that require tracking multiple dimensions (e.g., image "quality", video frame-rate or aspect ratio, audio sampling rate). In this paper we present the syntax and semantics of our functional language, our type system that builds costs and resource/data constraints, and (through both formalism and specific details of our implementation) provide concrete examples of how the constraints and sizing information are used in practice.