This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system...This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.展开更多
Somatic nuclei can be reprogrammed into a pluripotent state by nuclear transfer, cell fusion and expression of transcription factors. However, these reprogramming processes are very inefficient, which has greatly hind...Somatic nuclei can be reprogrammed into a pluripotent state by nuclear transfer, cell fusion and expression of transcription factors. However, these reprogramming processes are very inefficient, which has greatly hindered efforts to elucidate the underlying molecular mechanisms. Here, we report a new reprogramming strategy that combines the advantages of all three reprogramming methodologies into one process. We injected nuclei from cumulus cells into intact MII oocytes. Following activation, 80% of the reconstructed embryos developed to the blastocyst stage, and tetraploid (4N) embryonic stem (ES) cell lines were generated at a rate of 30% per reconstructed oocyte. We also generated triploid (3N) ES cells after injection of somatic nuclei into activated oocytes. 4N and 3N ES cells expressed pluripotent markers and differentiated into cell types of three embryonic germ layers in vivo. Moreover, all ES cells generated histocompatible, differentiated cells after being engrafted in immunocompetent B6D2F1 mice, showing that ES cells derived from this reprogramming strategy might serve as a source of genetically tailored tissues for transplantation. Thus, we have established a simple and highly efficient reprogramming procedure that provides a system for investigating the molecular mechanisms involved in somatic reprogramming.展开更多
Implementing crosscutting concerns for transactions is difficult, even using aspect-oriented programming languages such as AspectJ. Many of these challenges arise because the context of a transaction-related crosscutt...Implementing crosscutting concerns for transactions is difficult, even using aspect-oriented programming languages such as AspectJ. Many of these challenges arise because the context of a transaction-related crosscutting concern consists of loosely-coupled abstractions like dynamically-generated identifiers, timestamps, and tentative value sets of distributed resources. Current aspect-oriented programming languages do not provide joinpoints and pointcuts for weaving advice into high-level abstractions or contexts, like transaction contexts. To address these problems, we propose an extension to AspectJ framework, called TransJ, that allows developers to define pointcuts in terms of transaction abstractions and that automatically keeps track of context information for transactions. This paper describes TransJ as an abstract independent framework for weaving crosscutting concerns into high-level runtime abstractions, with which developers can implement transaction-related crosscutting concerns in modular, cohesive and loosely coupled transaction-aware aspects. Finally, this paper presents eight different ways in which TransJ can improve the reuse with preserving the performance of applications requiring transactions. Informally, these hypotheses are that TransJ yields (1) better encapsulation and separation of concern; (2) looser coupling and less scattering; (3) higher cohesion and less tangling; (4) reduces complexity; (5) improves obliviousness; (6) preserves efficiency; (7) improves extensibility; and (8) hastens the productivity. A brief discussion of experiment to test the hypotheses is provided, but the details of the experiment are left for another paper.展开更多
This paper describes control system network design and implementation of communication methods for automate warehouse management based on MFC, and the main features of VC6. 0 network communications programming and the...This paper describes control system network design and implementation of communication methods for automate warehouse management based on MFC, and the main features of VC6. 0 network communications programming and the method of implementation are discussed. Article described in detail the specific steps to achieve network communication for monitoring system, and gives the network communication process that combined with tile actual situation. Test results show that the system is stable and reliable.展开更多
To collect neuronal activity data from awake, freely behaving animals, we developed miniature telemetry recording system. The integrated system consists of four major components: l) Microelectrodes and micro-driver ...To collect neuronal activity data from awake, freely behaving animals, we developed miniature telemetry recording system. The integrated system consists of four major components: l) Microelectrodes and micro-driver assembly, 2) analog front end (AFE), 3) programmable system on chip (PSoC), and 4) ra- dio transceiver and the LabVIEW were used as a platform for the graphic user interface. The result showed the system was able to record and analyze neuronal recordings in freely moving animals and lasted continuously for a time period of a week or more. This is very useful for the study of the interdisciplinary research of neu- roscience and information engineering techniques. The circuits and architecture of the devices can be adapted for neurobiology and research with other small animals.展开更多
In this study, we investigate the optimal location of access points (APs) to connect end nodes with a service provider through power-line communication in smartgrid communication networks. APs are the gateways of po...In this study, we investigate the optimal location of access points (APs) to connect end nodes with a service provider through power-line communication in smartgrid communication networks. APs are the gateways of power-distribution communication networks, connecting users to control centers. Hence, they are vital for the reliable, safe, and economical operation of a power system. This paper proposes a planning method for AP allocation that takes into consideration economics, reliability, network delay, and (n-l) resilience. First, an optimization model for the AP location is established, which minimizes the cost of installing APs, while satisfying the reliability, network delay, and (n-1) resilience constraints. Then, an improved genetic algorithm is proposed to solve the optimization problem. The simulation results indicate that the proposed planning method can deal with diverse network conditions satisfactorily. Furthermore, it can be applied effectively with high flexibility and scalability.展开更多
With the rapid growth of mobile data traffic and vast traffic offloaded from cellular network, Wi-Fi has been considered as an essential component to cope with the tremendous growth of mobile data traffic. Although op...With the rapid growth of mobile data traffic and vast traffic offloaded from cellular network, Wi-Fi has been considered as an essential component to cope with the tremendous growth of mobile data traffic. Although operators have deployed a lot of carrier grade Wi-Fi networks, but there are still a multitude of arrears for nowadays Wi-Fi networks, such as supporting seamless handover between APs, automatic network access and unified authentication, etc. In this paper, we propose an SDN based carrier grade Wi-Fi network framework, namely SWN. The key conceptual contribution of SWN is a principled refactoring of Wi-Fi networks into control and data planes. The control plane has a centralized global view of the whole network, can perceive the underlying network state by network situation awareness(NAS) technique, and bundles the perceived information and network management operations into northbound Application Programming Interface(API) for upper applications. In the data plane, we construct software access point(SAP) to abstract the connection between user equipment(UE) and access point(AP). Network operators can design network applications by utilizing these APIs and the SAP abstraction to configure and manage the whole network, which makes carrier grade Wi-Fi networks more flexible, user-friendly, and scalable.展开更多
Targeting at the high expense and inflexibility to realize VMEbus bridge controller by professional Integrated Circuit (IC), this paper presents a scheme of adopting CPLD/FPGA (Complicated Programmable Logic Device/Fi...Targeting at the high expense and inflexibility to realize VMEbus bridge controller by professional Integrated Circuit (IC), this paper presents a scheme of adopting CPLD/FPGA (Complicated Programmable Logic Device/Field Programmable Gate Array) to design bridge controller between VMEbus and local bus. SHARC DSP (Digital Signal Processor) bus is an example. It has functions of nearly entire master/slave interface of VMEbus, and can act as DMA (Direct Memory Access) controller and perform block transfer in DMA or master processor initiative way without length limit. External circuit of the design is very simple. In comparison with special ICs, it has high performance to price ratio and can be easily applied to local buses of other processors with quite a little modification.展开更多
In order to solve the bottleneck problem of the traditional K-Medoids clustering algorithm facing to deal with massive data information at the time of memory capacity and processing speed of CPU, the paper proposed a ...In order to solve the bottleneck problem of the traditional K-Medoids clustering algorithm facing to deal with massive data information at the time of memory capacity and processing speed of CPU, the paper proposed a parallel algorithm MapReduce programming model based on the research of K-Medoids algorithm. This algorithm increase the computation granularity and reduces the communication cost ratio based on the MapReduce model. The experimental results show that the improved parallel algorithm compared with other algorithms, speedup and operation efficiency is greatly enhanced.展开更多
In order to eliminate the drawbacks of conventional force feedback gloves, a new type of master fin- ger has been developed. By utilizing three "four-bar mechanism joint" in series and wire coupling mecha- nism, the...In order to eliminate the drawbacks of conventional force feedback gloves, a new type of master fin- ger has been developed. By utilizing three "four-bar mechanism joint" in series and wire coupling mecha- nism, the master finger transmission ratio is kept exactly 1:1.4:1 in the whole movement range and it can make active motions in both extension and flexion directions. Additionally, to assure faster data transmission and near zero delay in the master-slave operation, a digital signal processing/field programmable gate array (DSP/FPGA-FPGA) structure with 200μs cycle time is designed. The operating modes of the master finger can be contact or non-contact, which depends on the motion states of a slave finger, free motion or constrained motion. The position control employed in non-contact mode ensures unconstrained motion and the force control adopted in contact mode guarantees natural contact sensation. To evaluate the performances of the master finger, an experiment between the master finger and a DLR/HTT dexterous finger is conducted. The results demonstrate that this new type master finger can augment telepresence.展开更多
The paper deals with the comparison of three different digital devices used for the computing of permanent magnet synchronous motor (PMSM) model. Model is used for virtual high frequency injection method (VHFIM) s...The paper deals with the comparison of three different digital devices used for the computing of permanent magnet synchronous motor (PMSM) model. Model is used for virtual high frequency injection method (VHFIM) sensorless control, where injection and acting voltages are virtual ones. For computing the whole PMSM model, differential equations are used. The paper is focused on performance analysis of computing speed and accuracy of field-programmable gate array (FPGA) device, digital signal controller and Power PC microcontroller and results are compared.展开更多
The topology of in-home power line communication(PLC) networks varies frequently, which makes traditional routing algorithms failure. To solve this problem, an end-to-end transmission time for remaining path(TTRP) met...The topology of in-home power line communication(PLC) networks varies frequently, which makes traditional routing algorithms failure. To solve this problem, an end-to-end transmission time for remaining path(TTRP) metric-based opportunistic routing(TTRPOR) is proposed. Since a local broadcasting scheme is adopted, the algorithm can find the optimal path for forwarding packets in a dynamic PLC network. The closed-form of the outage probability for a PLC channel is derived to estimate the TTRP. It is proved that the average throughput can achieve maximum as the metric TTRP is utilized to sort candidate forwarding nodes.Numerical results show that the end-to-end throughput of networks with TTRPOR, outperforms that of the network adopting DSR and EXOR, especially for the case of varying-topology in-home PLC networks.展开更多
By controlling the amorphous-to-crystalline relative volume,chalcogenide phase-change memory materials can provide multi-level data storage(MLS),which offers great potential for high-density storageclass memory and ne...By controlling the amorphous-to-crystalline relative volume,chalcogenide phase-change memory materials can provide multi-level data storage(MLS),which offers great potential for high-density storageclass memory and neuro-inspired computing.However,this type of MLS system suffers from high power consumption and a severe time-dependent resistance increase(‘‘drift")in the amorphous phase,which limits the number of attainable storage levels.Here,we report a new type of MLS system in yttriumdoped antimony telluride,utilizing reversible multi-level phase transitions between three states,i.e.,amorphous,metastable cubic and stable hexagonal crystalline phases,with ultralow power consumption(0.6–4.3 p J)and ultralow resistance drift for the lower two states(power-law exponent<0.007).The metastable cubic phase is stabilized by yttrium,while the evident reversible cubic-to-hexagonal transition is attributed to the sequential and directional migration of Sb atoms.Finally,the decreased heat dissipation of the material and the increase in crystallinity contribute to the overall high performance.This study opens a new way to achieve advanced multi-level phase-change memory without the need for complicated manufacturing procedures or iterative programming operations.展开更多
Understanding the cell-of-origin of ovarian high grade serous cancer(HGSC)is the prerequisite for efficient prevention and early diagnosis of this most lethal gynecological cancer.Recently,a mesenchymal type of ovaria...Understanding the cell-of-origin of ovarian high grade serous cancer(HGSC)is the prerequisite for efficient prevention and early diagnosis of this most lethal gynecological cancer.Recently,a mesenchymal type of ovarian HGSC with the poorest prognosis among ovarian cancers was identified by both TCGA and AOCS studies.The cell-of-origin of this subtype of ovarian cancer is unknown.While pursuing studies to understand the role of the Hippo pathway in ovarian granulosa cell physiology and pathology,we unexpectedly found that the Yes-associated protein 1(YAP1),the major effector of the Hippo signaling pathway,induced dedifferentiation and reprogramming of the ovarian granulosa cells,a unique type of ovarian follicular cells with mesenchymal lineage and high plasticity,leading to the development of high grade ovarian cancer with serous features.Our research results unveil a potential cell-of-origin for a subtype of HGSC with mesenchymal features.展开更多
We designed a universal digital energy spectroscopy based on online digital signal processing. A prototype system was built and tested. Signals from radiation detectors were processed via a digital filter whose coeffi...We designed a universal digital energy spectroscopy based on online digital signal processing. A prototype system was built and tested. Signals from radiation detectors were processed via a digital filter whose coefficients could be modified without changing the hardware. The paper introduces the hardware design of the digital energy spectroscopy system as well as the full set of software consisting of the selection of the coefficients of the finite impulse response (FIR) filter and the coding in the field-programmable gate array (FPGA). The system was tested with the high purity germanium (HPGe) detector. The results showed that this prototype can achieve an energy resolution close to that of a traditional multi-channel analyzer (MCA) with a much higher counting rate.展开更多
Industrial control systems (ICSs) are widely used in critical infrastructures, making them popular targets for attacks to cause catastrophic physical damage. As one of the most critical components in ICSs, the progr...Industrial control systems (ICSs) are widely used in critical infrastructures, making them popular targets for attacks to cause catastrophic physical damage. As one of the most critical components in ICSs, the programmable logic controller (PLC) controls the actuators directly. A PLC executing a malicious program can cause significant property loss or even casualties. The number of attacks targeted at PLCs has increased noticeably over the last few years, exposing the vulnerability of the PLC and the importance of PLC protection. Unfortunately, PLCs cannot be protected by traditional intrusion detection systems or antivirus software. Thus, an effective method for PLC protection is yet to be designed. Motivated by these concerns, we propose a non-invasive power- based anomaly detection scheme for PLCs. The basic idea is to detect malicious software execution in a PLC through analyzing its power consumption, which is measured by inserting a shunt resistor in series with the CPU in a PLC while it is executing instructions. To analyze the power measurements, we extract a discriminative feature set from the power trace, and then train a long short-term memory (LSTM) neural network with the features of normal samples to predict the next time step of a normal sample. Finally, an abnormal sample is identified through comparing the predicted sample and the actual sample. The advantages of our method are that it requires no software modification on the original system and is able to detect unknown attacks effectively. The method is evaluated on a lab testbed, and for a trojan attack whose difference from the normal program is around 0.63%, the detection accuracy reaches 99.83%.展开更多
In this paper a fast digital real-time spectrometer was developed for timing and analysis of nuclear pulse signals. The hardware system design and algorithm implementation with field-programming gate array (FPGA) an...In this paper a fast digital real-time spectrometer was developed for timing and analysis of nuclear pulse signals. The hardware system design and algorithm implementation with field-programming gate array (FPGA) and digital signal processor (DSP) were introduced. The performance of the digital constant fraction discrimination (dCFD) platform was experimentally tested with Agilent 80 MHz function/arbitrary waveform generator and LaC13:Ce3+ scintillator detector for 22Na positron annihilation gamma spectroscopy. The amplitude and time information of "/photon was online obtained. The energy resolution could be 5.525% and the timing resolution 293.75 ps, the system error estimation of dCFD approach was also studied. The results showed that this spectrometer achieved a timing resolution close to that of traditional CFD timing resolution with a more sim- plified system structure.展开更多
文摘This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.
文摘Somatic nuclei can be reprogrammed into a pluripotent state by nuclear transfer, cell fusion and expression of transcription factors. However, these reprogramming processes are very inefficient, which has greatly hindered efforts to elucidate the underlying molecular mechanisms. Here, we report a new reprogramming strategy that combines the advantages of all three reprogramming methodologies into one process. We injected nuclei from cumulus cells into intact MII oocytes. Following activation, 80% of the reconstructed embryos developed to the blastocyst stage, and tetraploid (4N) embryonic stem (ES) cell lines were generated at a rate of 30% per reconstructed oocyte. We also generated triploid (3N) ES cells after injection of somatic nuclei into activated oocytes. 4N and 3N ES cells expressed pluripotent markers and differentiated into cell types of three embryonic germ layers in vivo. Moreover, all ES cells generated histocompatible, differentiated cells after being engrafted in immunocompetent B6D2F1 mice, showing that ES cells derived from this reprogramming strategy might serve as a source of genetically tailored tissues for transplantation. Thus, we have established a simple and highly efficient reprogramming procedure that provides a system for investigating the molecular mechanisms involved in somatic reprogramming.
文摘Implementing crosscutting concerns for transactions is difficult, even using aspect-oriented programming languages such as AspectJ. Many of these challenges arise because the context of a transaction-related crosscutting concern consists of loosely-coupled abstractions like dynamically-generated identifiers, timestamps, and tentative value sets of distributed resources. Current aspect-oriented programming languages do not provide joinpoints and pointcuts for weaving advice into high-level abstractions or contexts, like transaction contexts. To address these problems, we propose an extension to AspectJ framework, called TransJ, that allows developers to define pointcuts in terms of transaction abstractions and that automatically keeps track of context information for transactions. This paper describes TransJ as an abstract independent framework for weaving crosscutting concerns into high-level runtime abstractions, with which developers can implement transaction-related crosscutting concerns in modular, cohesive and loosely coupled transaction-aware aspects. Finally, this paper presents eight different ways in which TransJ can improve the reuse with preserving the performance of applications requiring transactions. Informally, these hypotheses are that TransJ yields (1) better encapsulation and separation of concern; (2) looser coupling and less scattering; (3) higher cohesion and less tangling; (4) reduces complexity; (5) improves obliviousness; (6) preserves efficiency; (7) improves extensibility; and (8) hastens the productivity. A brief discussion of experiment to test the hypotheses is provided, but the details of the experiment are left for another paper.
文摘This paper describes control system network design and implementation of communication methods for automate warehouse management based on MFC, and the main features of VC6. 0 network communications programming and the method of implementation are discussed. Article described in detail the specific steps to achieve network communication for monitoring system, and gives the network communication process that combined with tile actual situation. Test results show that the system is stable and reliable.
基金supported by the Shandong Province Nature Science Foundation(Grant No.ZR2010CM055)Science Development Plan Project(Grant No.2010GGX10133)
文摘To collect neuronal activity data from awake, freely behaving animals, we developed miniature telemetry recording system. The integrated system consists of four major components: l) Microelectrodes and micro-driver assembly, 2) analog front end (AFE), 3) programmable system on chip (PSoC), and 4) ra- dio transceiver and the LabVIEW were used as a platform for the graphic user interface. The result showed the system was able to record and analyze neuronal recordings in freely moving animals and lasted continuously for a time period of a week or more. This is very useful for the study of the interdisciplinary research of neu- roscience and information engineering techniques. The circuits and architecture of the devices can be adapted for neurobiology and research with other small animals.
基金supported by the National High Technology Research and Development Program of China(2012AA050801)
文摘In this study, we investigate the optimal location of access points (APs) to connect end nodes with a service provider through power-line communication in smartgrid communication networks. APs are the gateways of power-distribution communication networks, connecting users to control centers. Hence, they are vital for the reliable, safe, and economical operation of a power system. This paper proposes a planning method for AP allocation that takes into consideration economics, reliability, network delay, and (n-l) resilience. First, an optimization model for the AP location is established, which minimizes the cost of installing APs, while satisfying the reliability, network delay, and (n-1) resilience constraints. Then, an improved genetic algorithm is proposed to solve the optimization problem. The simulation results indicate that the proposed planning method can deal with diverse network conditions satisfactorily. Furthermore, it can be applied effectively with high flexibility and scalability.
基金supported by the WLAN achievement transformation based on SDN project of Beijing Municipal Commission of Education,the grant number is 201501001
文摘With the rapid growth of mobile data traffic and vast traffic offloaded from cellular network, Wi-Fi has been considered as an essential component to cope with the tremendous growth of mobile data traffic. Although operators have deployed a lot of carrier grade Wi-Fi networks, but there are still a multitude of arrears for nowadays Wi-Fi networks, such as supporting seamless handover between APs, automatic network access and unified authentication, etc. In this paper, we propose an SDN based carrier grade Wi-Fi network framework, namely SWN. The key conceptual contribution of SWN is a principled refactoring of Wi-Fi networks into control and data planes. The control plane has a centralized global view of the whole network, can perceive the underlying network state by network situation awareness(NAS) technique, and bundles the perceived information and network management operations into northbound Application Programming Interface(API) for upper applications. In the data plane, we construct software access point(SAP) to abstract the connection between user equipment(UE) and access point(AP). Network operators can design network applications by utilizing these APIs and the SAP abstraction to configure and manage the whole network, which makes carrier grade Wi-Fi networks more flexible, user-friendly, and scalable.
文摘Targeting at the high expense and inflexibility to realize VMEbus bridge controller by professional Integrated Circuit (IC), this paper presents a scheme of adopting CPLD/FPGA (Complicated Programmable Logic Device/Field Programmable Gate Array) to design bridge controller between VMEbus and local bus. SHARC DSP (Digital Signal Processor) bus is an example. It has functions of nearly entire master/slave interface of VMEbus, and can act as DMA (Direct Memory Access) controller and perform block transfer in DMA or master processor initiative way without length limit. External circuit of the design is very simple. In comparison with special ICs, it has high performance to price ratio and can be easily applied to local buses of other processors with quite a little modification.
文摘In order to solve the bottleneck problem of the traditional K-Medoids clustering algorithm facing to deal with massive data information at the time of memory capacity and processing speed of CPU, the paper proposed a parallel algorithm MapReduce programming model based on the research of K-Medoids algorithm. This algorithm increase the computation granularity and reduces the communication cost ratio based on the MapReduce model. The experimental results show that the improved parallel algorithm compared with other algorithms, speedup and operation efficiency is greatly enhanced.
文摘In order to eliminate the drawbacks of conventional force feedback gloves, a new type of master fin- ger has been developed. By utilizing three "four-bar mechanism joint" in series and wire coupling mecha- nism, the master finger transmission ratio is kept exactly 1:1.4:1 in the whole movement range and it can make active motions in both extension and flexion directions. Additionally, to assure faster data transmission and near zero delay in the master-slave operation, a digital signal processing/field programmable gate array (DSP/FPGA-FPGA) structure with 200μs cycle time is designed. The operating modes of the master finger can be contact or non-contact, which depends on the motion states of a slave finger, free motion or constrained motion. The position control employed in non-contact mode ensures unconstrained motion and the force control adopted in contact mode guarantees natural contact sensation. To evaluate the performances of the master finger, an experiment between the master finger and a DLR/HTT dexterous finger is conducted. The results demonstrate that this new type master finger can augment telepresence.
文摘The paper deals with the comparison of three different digital devices used for the computing of permanent magnet synchronous motor (PMSM) model. Model is used for virtual high frequency injection method (VHFIM) sensorless control, where injection and acting voltages are virtual ones. For computing the whole PMSM model, differential equations are used. The paper is focused on performance analysis of computing speed and accuracy of field-programmable gate array (FPGA) device, digital signal controller and Power PC microcontroller and results are compared.
基金supported in part by Open Research Fund of National Key Laboratory of Electromagnetic EnvironmentChina Research Institute of Radiowave Propagation (Grant No. 201500013)+3 种基金Open Research Fund of National Mobile Communications Research LaboratoryJiangsu Provincial Science Foundation Project (Grant No. BK20150786)Southeast University (Grant No. 2013D02)National Natural Science Foundation of China (Grants Nos. 61501238, 61271230, 61472190)
文摘The topology of in-home power line communication(PLC) networks varies frequently, which makes traditional routing algorithms failure. To solve this problem, an end-to-end transmission time for remaining path(TTRP) metric-based opportunistic routing(TTRPOR) is proposed. Since a local broadcasting scheme is adopted, the algorithm can find the optimal path for forwarding packets in a dynamic PLC network. The closed-form of the outage probability for a PLC channel is derived to estimate the TTRP. It is proved that the average throughput can achieve maximum as the metric TTRP is utilized to sort candidate forwarding nodes.Numerical results show that the end-to-end throughput of networks with TTRPOR, outperforms that of the network adopting DSR and EXOR, especially for the case of varying-topology in-home PLC networks.
基金the National Key Research and Development Program of China(2017YFB0701700)the National Natural Science Foundation of China(51872017)the High-Performance Computing(HPC)Resources at Beihang University。
文摘By controlling the amorphous-to-crystalline relative volume,chalcogenide phase-change memory materials can provide multi-level data storage(MLS),which offers great potential for high-density storageclass memory and neuro-inspired computing.However,this type of MLS system suffers from high power consumption and a severe time-dependent resistance increase(‘‘drift")in the amorphous phase,which limits the number of attainable storage levels.Here,we report a new type of MLS system in yttriumdoped antimony telluride,utilizing reversible multi-level phase transitions between three states,i.e.,amorphous,metastable cubic and stable hexagonal crystalline phases,with ultralow power consumption(0.6–4.3 p J)and ultralow resistance drift for the lower two states(power-law exponent<0.007).The metastable cubic phase is stabilized by yttrium,while the evident reversible cubic-to-hexagonal transition is attributed to the sequential and directional migration of Sb atoms.Finally,the decreased heat dissipation of the material and the increase in crystallinity contribute to the overall high performance.This study opens a new way to achieve advanced multi-level phase-change memory without the need for complicated manufacturing procedures or iterative programming operations.
基金supported by the National Cancer Institute/the National Institute of Health(1R01CA197976,1R01CA201500)Vincent Memorial Hospital Foundation+6 种基金the Vincent Center for Reproductive Biologythe Olson Center for Women’s HealthUniversity of Nebraska Medical Center Graduate Studies Fellowshipthe Fred&Pamela Buffett Cancer Center(LB595)Colleen’s Dream FoundationMarsha Rivkin Center for Ovarian Cancer Research(the Barbara Learned Bridge Funding Award)the Co BRE grant from the Nebraska Center for Cellular Signaling/the National Institute of General Medical Science/the National Institute of Health(5P30GM106397)。
文摘Understanding the cell-of-origin of ovarian high grade serous cancer(HGSC)is the prerequisite for efficient prevention and early diagnosis of this most lethal gynecological cancer.Recently,a mesenchymal type of ovarian HGSC with the poorest prognosis among ovarian cancers was identified by both TCGA and AOCS studies.The cell-of-origin of this subtype of ovarian cancer is unknown.While pursuing studies to understand the role of the Hippo pathway in ovarian granulosa cell physiology and pathology,we unexpectedly found that the Yes-associated protein 1(YAP1),the major effector of the Hippo signaling pathway,induced dedifferentiation and reprogramming of the ovarian granulosa cells,a unique type of ovarian follicular cells with mesenchymal lineage and high plasticity,leading to the development of high grade ovarian cancer with serous features.Our research results unveil a potential cell-of-origin for a subtype of HGSC with mesenchymal features.
基金supported by the National Natural Science Foundation of China (Grant No.10975132)
文摘We designed a universal digital energy spectroscopy based on online digital signal processing. A prototype system was built and tested. Signals from radiation detectors were processed via a digital filter whose coefficients could be modified without changing the hardware. The paper introduces the hardware design of the digital energy spectroscopy system as well as the full set of software consisting of the selection of the coefficients of the finite impulse response (FIR) filter and the coding in the field-programmable gate array (FPGA). The system was tested with the high purity germanium (HPGe) detector. The results showed that this prototype can achieve an energy resolution close to that of a traditional multi-channel analyzer (MCA) with a much higher counting rate.
基金Project supported by the National Basic Research Program(973)of China(No.2015AA050202)
文摘Industrial control systems (ICSs) are widely used in critical infrastructures, making them popular targets for attacks to cause catastrophic physical damage. As one of the most critical components in ICSs, the programmable logic controller (PLC) controls the actuators directly. A PLC executing a malicious program can cause significant property loss or even casualties. The number of attacks targeted at PLCs has increased noticeably over the last few years, exposing the vulnerability of the PLC and the importance of PLC protection. Unfortunately, PLCs cannot be protected by traditional intrusion detection systems or antivirus software. Thus, an effective method for PLC protection is yet to be designed. Motivated by these concerns, we propose a non-invasive power- based anomaly detection scheme for PLCs. The basic idea is to detect malicious software execution in a PLC through analyzing its power consumption, which is measured by inserting a shunt resistor in series with the CPU in a PLC while it is executing instructions. To analyze the power measurements, we extract a discriminative feature set from the power trace, and then train a long short-term memory (LSTM) neural network with the features of normal samples to predict the next time step of a normal sample. Finally, an abnormal sample is identified through comparing the predicted sample and the actual sample. The advantages of our method are that it requires no software modification on the original system and is able to detect unknown attacks effectively. The method is evaluated on a lab testbed, and for a trojan attack whose difference from the normal program is around 0.63%, the detection accuracy reaches 99.83%.
基金supported by the National Natural Science Foundation of China (Grant No. 10975132)
文摘In this paper a fast digital real-time spectrometer was developed for timing and analysis of nuclear pulse signals. The hardware system design and algorithm implementation with field-programming gate array (FPGA) and digital signal processor (DSP) were introduced. The performance of the digital constant fraction discrimination (dCFD) platform was experimentally tested with Agilent 80 MHz function/arbitrary waveform generator and LaC13:Ce3+ scintillator detector for 22Na positron annihilation gamma spectroscopy. The amplitude and time information of "/photon was online obtained. The energy resolution could be 5.525% and the timing resolution 293.75 ps, the system error estimation of dCFD approach was also studied. The results showed that this spectrometer achieved a timing resolution close to that of traditional CFD timing resolution with a more sim- plified system structure.