可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

Quantitation of Cefaclor in Pharmaceutical Dosage Forms Using High Performance Liquid Chromatography

A stability-indicating high-performance liquid chromatography for the quantitation of cefaclor in pharmaceutical dosage forms has been developed. The method is accurate and precise with a percent relative standard deviation of 1.2 based on 5 readings. A number of inactive ingredients present in the capsules and suspensions did not interfere with the assay procedure. The extraction procedure from the dosage forms is very simple. The recovery from the synthetic mixtures was quantitative. The capsules which had expired 3 years ago lost only 3% of the potency. The drug appears to be very sensitive to strong acids or bases since a 5 minute boiling caused 100% degradation of drug in both the solutions.     

Depressive symptom reversal for women in a primary care setting: a pilot study

Our goal is to assess the viability of an in vitro preparation of bovine ciliary body/epithelium (CBE) in a small volume Ussing-type chamber. A new small volume Ussing-type chamber with continuous perfusion was developed for bovine CBE. The trans-CBE electrical parameters were monitored and the electrical responses of the CBE to ouabain (1 and 0.01 mM) were recorded. The trans-CBE fluxes of [14C]-L-ascorbate and [3H]-L-glucose were also studied. The bovine CBE preparation was stable inside the chamber in terms of its potential difference (PD), short circuit current (SCC) and trans-CBE resistance. They were -0.51+/-0.05 mV (aqueous side negative), -5.43+/-0.04 microAcm-2 and 94+/-2 Q.cm2 (mean s.e.m., n=35), respectively. The preparation hyperpolarised when 0.01 mM ouabain was administered to the aqueous side, depolarised when ouabain was applied to the stromal side. [3H]-L-glucose diffusion was about 74 nEq h(-1)cm(-2) in either direction (n=12). Taking the area magnification factor of the CBE into consideration, the diffusional L-glucose flux across the bovine CBE was comparable to other tight epithelia. A significant net ascorbate flux (0.26+/-0.05 nEq h(-1)cm(-2), n=4, p<0.01) was found in the stroma to aqueous direction. We have developed a viable in vitro bovine CBE preparation which was (1) electrically stable, (2) responsive to ouabain, (3) tight to L-glucose diffusion, and (4) capable of actively secreting ascorbate. A net trans-CBE chloride transport (0.81+/-0.30 microEq h(-1)cm(-2), n=12, p=0.01) from stromal to aqueous side was found in the present in vitro model under short-circuited conditions.     

Chemical Synthesis and Biological Applications of O-GlcNAcylated Peptides and Proteins

All human cells use O-GlcNAc protein modifications (O-linked N-acetylglucosamine) to rapidly adapt to changing nutrient and stress conditions through signaling, epigenetic, and proteostasis mechanisms. A key challenge for biologists in defining precise roles for specific O-GlcNAc sites is synthetic access to homogenous isoforms of O-GlcNAc proteins, a result of the non-genetically templated, transient, and heterogeneous nature of O-GlcNAc modifications. Toward a solution, this review details the state of the art of two strategies for O-GlcNAc protein modification: advances in “bottom-up” O-GlcNAc peptide synthesis and direct “top-down” installation of O-GlcNAc on full proteins. We also describe key applications of synthetic O-GlcNAc peptide and protein tools as therapeutics, biophysical structure–function studies, biomarkers, and as disease mechanistic probes to advance translational O-GlcNAc biology.     

An interference-aware fair scheduling for multicast in wireless mesh networks

Multicast is a fundamental routing service in wireless mesh networks (WMNs) due to its many potential applications such as video conferencing, online games, and webcast. Recently, researchers proposed using link-quality-based routing metrics for finding high-throughput paths for multicast routing. However, the performance of such link-quality-based multicast routing is still limited by severe unfairness. Two major artifacts that exist in WMNs are fading which leads to low quality links, and interference which leads to unfair channel allocation in the 802.11 MAC protocol. These artifacts cause the multicast application to behave unfairly with respect to the performance achieved by the multicast receivers.     

pH Sensing Properties of Flexible,Bias‐Free Graphene Microelectrodes in Complex Fluids: From Phosphate Buffer Solution to Human Serum

Advances in techniques for monitoring pH in complex fluids can have a significant impact on analytical and biomedical applications. This study develops flexible graphene microelectrodes (GEs) for rapid (<5 s), very‐low‐power (femtowatt) detection of the pH of complex biofluids by measuring real‐time Faradaic charge transfer between the GE and a solution at zero electrical bias. For an idealized sample of phosphate buffer solution (PBS), the Faradaic current is varied monotonically and systematically with the pH, with a resolution of ≈0.2 pH unit. The current–pH dependence is well described by a hybrid analytical–computational model, where the electric double layer derives from an intrinsic, pH‐independent (positive) charge associated with the graphene–water interface and ionizable (negative) charged groups. For ferritin solution, the relative Faradaic current, defined as the difference between the measured current response and a baseline response due to PBS, shows a strong signal associated with ferritin disassembly and the release of ferric ions at pH ≈2.0. For samples of human serum, the Faradaic current shows a reproducible rapid (<20 s) response to pH. By combining the Faradaic current and real‐time current variation, the methodology is potentially suitable for use to detect tumor‐induced changes in extracellular pH.     

Fusion of disconnected mesh components with branching shapes

Branching structure is a common feature of many natural objects. Given some mesh components with a branching shape missing, this paper presents a novel approach to fuse the mesh components: connectivity graph of the branching shape is constructed to seamlessly connect the boundaries of given components; then, natural geometry is imposed on the connectivity graph exploiting the information of given boundaries. We present a method to construct a branching connectivity graph to connect arbitrary number of given boundaries. Also, a method to generate natural geometry of the connectivity graph that smoothly fuses the boundaries of mesh components is exploited. Some examples are given to demonstrate that our new scheme can be used in a couple of applications, such as fast tree trunk modeling, mesh composition and shell generation.     

Data‐Driven Bending Elasticity Design by Shell Thickness

We present a method to design the deformation behavior of 3D printed models by an interactive tool, where the variation of bending elasticity at different regions of a model is realized by a change in shell thickness. Given a soft material to be used in 3D printing, we propose an experimental setup to acquire the bending behavior of this material on tubes with different diameters and thicknesses. The relationship between shell thickness and bending elasticity is stored in an echo state network using the acquired dataset. With the help of the network, an interactive design tool is developed to generate non‐uniformly hollowed models to achieve desired bending behaviors. The effectiveness of this method is verified on models fabricated by different 3D printers by studying whether their physical deformation can match the designed target shape.     

Kosha: A Peer-to-Peer Enhancement for the Network File System

The storage needs of modern scientific applications are growing exponentially, and designing economical storage solutions for such applications – especially in Grid environments – is an important research topic. This work presents Kosha, a system that aims to harvest redundant storage space on cluster nodes and user desktops to provide a reliable, shared file system that acts as a large distributed storage. Kosha utilizes peer-to-peer (p2p) mechanisms to enhance the widely-used Network File System (NFS). P2P storage systems provide location transparency, mobility transparency, load balancing, and file replication – features that are not available in NFS. On the other hand, NFS provides hierarchical file organization, directory listings, and file permissions, which are missing from p2p storage systems. By blending the strengths of NFS and p2p storage systems, Kosha provides a low overhead storage solution. Our experiments show that compared to unmodified NFS, Kosha introduces a 3.3% fixed overhead and 4.5% additional overhead as nodes are increased from two to sixteen. For larger number of nodes, the additional overhead increases slowly. Kosha achieves load balancing in distributed directories, and guarantees or better file availability.*This work was supported in part by an NSF CAREER award (ACI-0238379).Troy A. Johnson was supported by a U.S. Department of Education GAANN doctoral fellowship.