Treatment of terminal system is mainly through the interface communication protocol for treatment planningsystem to achieve the control of various kinds of medical equipments, including primary collimator, range shift...Treatment of terminal system is mainly through the interface communication protocol for treatment planningsystem to achieve the control of various kinds of medical equipments, including primary collimator, range shifter,scatterer, ridge type filter, multi-leaf collimator, etc. TPS was based on the radioactive source and the patientmodeling to simulate the plan implementation of radiotherapy. The basic structure of block diagram is shown inFig. 1.展开更多
Using multimedia writing tools ‘Author ware' for Windows 3.0b18, and making a multimedia interface for a simple interface generated by FoxPro 2.5B, mainly to solve how to connect an interface with Author ware and Fo...Using multimedia writing tools ‘Author ware' for Windows 3.0b18, and making a multimedia interface for a simple interface generated by FoxPro 2.5B, mainly to solve how to connect an interface with Author ware and FoxPro database, namely the communication problem between two separate programs under the Windows environment and to generate the multimedia interface which is consistent with the status and requests for the management information system, namely the problem that how to establish multimedia interface design.展开更多
Studies of robots which aim to entertain and to be conversational partners of the live-alone become very important. The robots are classified into DBC (Dialogue-Based Communication) robots and TBC (Touch-Based Communi...Studies of robots which aim to entertain and to be conversational partners of the live-alone become very important. The robots are classified into DBC (Dialogue-Based Communication) robots and TBC (Touch-Based Communication) robots. DBC robots have an effect to be conversational partners. A typical application of TBC robots is Paro (a baby harp seal robot) which has an effect to entertain humans. The combination of DBC and TBC will be able to achieve both a conversational ability and an entertaining effect, but there is no study of combination of DBC and TBC. This paper proposes a response algorithm that can combine conversational information and touch information from humans. Criterions for estimation are defined as follows: FFV (Familiarity Factor Value), EFV (Enjoyment Factor Value), CR (Concentration Rate), ER (Expression Rate), and RR (Recognition Rate). FFV and EFV are total ratings for questionnaire related to familiarity and enjoyment factors, respectively. CR measures attention for humans. ER is the interest of communication with robots by representing Level 2 (laugh with opening one’s mouse), Level 1 (smile), and Level 0 (expressionless). RR is recognition ability for voices and touch actions. From the experiment for impressions of robot responses with 11 subjects, it turns out that the proposed method with combination of DBC and TBC is improved by 20.7 points in FFV, and by 12.6 points in EFV compared to only TBC. From the robot communication experiment, it turns out that the proposed method is improved by 8 points in the ER, by 5.3 points in the ER with Level 2, and by 24.5 points in the RR compared to only DBC.展开更多
A method-mix for intercultural user interface design (IUID) is explained and exemplified by application examples based on a hybrid approach covering cultural contexts in human-computer interaction (HCI) design using a...A method-mix for intercultural user interface design (IUID) is explained and exemplified by application examples based on a hybrid approach covering cultural contexts in human-computer interaction (HCI) design using a model of culturally influenced HCI. Cultural influence on HCI is described using cultural variables for user interface design. Assumptions and empirical results regarding the influence of culture on HCI, considering the path of the information processing and the interaction style between Chinese and German users are explained based on cultural models. Subsequent indicators represent the relationship between culture and HCI (culturally imprinted by the user). Correlations adopted theoretically between cultural dimensions and variables for HCI design were investigated. These correlations represent relevant constituents of a model for culturally influenced HCI. Considerations applying this model and evidence for the proper application of the IUID method-mix are presented elucidating why and how cultural aspects play a role in HCI design and usability/UX engineering. The IUID method-mix serves to inspire HCI engineers in the requirement analysis phase as well as HCI designers in the design phase. The readers are thereby sensitized to the challenges of intercultural usability/UX engineering and intercultural HCI design and will be equipped with methodological knowledge relevant to the derivation of design recommendations for user interface design for and in their desired cultural contexts. Finally, implications for practitioners are shown, including HCI style scores and practical design recommendations, to prognosticate the effort and the expenditures for considering the cultural context in IUID.展开更多
The development of brain-computer interfaces(BCIs)has established a new communication channel between the brain and external devices for information transmission that requires no muscular signals[1].BCIs have been pre...The development of brain-computer interfaces(BCIs)has established a new communication channel between the brain and external devices for information transmission that requires no muscular signals[1].BCIs have been preliminarily studied to improve motor functions in patients with severe motor disabilities,especially lock-in syndrome.At present,the application of BCIs has been extensively validated.展开更多
The superconducting rapid single flux quantum(RSFQ)integrated circuit is a promising solu-tion for overcoming speed and power bottlenecks in high-performance computing systems in the post-Moore era.This paper presents...The superconducting rapid single flux quantum(RSFQ)integrated circuit is a promising solu-tion for overcoming speed and power bottlenecks in high-performance computing systems in the post-Moore era.This paper presents an architecture designed to improve the speed and power limitations of high-performance computing systems using superconducting technology.Since superconducting microprocessors,which operate at cryogenic temperatures,require support from semiconductor cir-cuits,the proposed design utilizes the von Neumann architecture with a superconducting RSFQ mi-croprocessor,cryogenic semiconductor memory,a room temperature field programmable gate array(FPGA)controller,and a host computer for input/output.Additionally,the paper introduces two key circuit designs:a start/stop controllable superconducting clock generator and an asynchronous communication interface between the RSFQ and semiconductor chips used to implement the control system.Experimental results demonstrate that the proposed design is feasible and effective,provi-ding valuable insights for future superconducting computer systems.展开更多
The message passing interface (MPI) has become a de facto standard for programming models of highperformance computing, but its rich and flexible interface semantics makes the program easy to generate communication de...The message passing interface (MPI) has become a de facto standard for programming models of highperformance computing, but its rich and flexible interface semantics makes the program easy to generate communication deadlock, which seriously affects the usability of the system. However, the existing detection tools for MPI communication deadlock are not scalable enough to adapt to the continuous expansion of system scale. In this context, we propose a framework for MPI runtime communication deadlock detection, namely MPI-RCDD, which contains three kinds of main mechanisms. Firstly, MPI-RCDD has a message logging protocol that is associated with deadlock detection to ensure that the communication messages required for deadlock analysis are not lost. Secondly, it uses the asynchronous processing thread provided by the MPI to implement the transfer of dependencies between processes, so that multiple processes can participate in deadlock detection simultaneously, thus alleviating the performance bottleneck problem of centralized analysis. In addition, it uses an AND⊕OR model based algorithm named AODA to perform deadlock analysis work. The AODA algorithm combines the advantages of both timeout-based and dependency-based deadlock analysis approaches, and allows the processes in the timeout state to search for a deadlock circle or knot in the process of dependency transfer. Further, the AODA algorithm cannot lead to false positives and can represent the source of the deadlock accurately. The experimental results on typical MPI communication deadlock benchmarks such as Umpire Test Suit demonstrate the capability of MPIRCDD. Additionally, the experiments on the NPB benchmarks obtain the satisfying performance cost, which show that the MPI-RCDD has strong scalability.展开更多
In an optoelectronic 2-D programmable neural network system, optical data need to be transferred and feedback with high speed. This paper presents the design and implementation of the interface circuit and its software.
Interface automata are one of the prominent formalisms for specifying interface behaviors of componentbased systems. However, only one-to-one communication is allowed in the composition of interface automata. This pap...Interface automata are one of the prominent formalisms for specifying interface behaviors of componentbased systems. However, only one-to-one communication is allowed in the composition of interface automata. This paper presents multicast interface automata which generalize the classic interface automata and accommodate multicast communication mechanism. The multicast interface automata endorse both bottom-up and top-down design methodologies. Theoretical results on compatibility and refinement are established for incremental design and independent implementability.展开更多
A Smart resistance thermometer sensor is designed to overcome the shortages of the traditional ones, and Con-form to the world development trend of the sensor market.According to the constitutions of this Smart sensor...A Smart resistance thermometer sensor is designed to overcome the shortages of the traditional ones, and Con-form to the world development trend of the sensor market.According to the constitutions of this Smart sensor and its application coverage,those parts with good -application and low-cost were chosen to constitute this sensor on the basis of full consideration of the linkage among every part.The whole testing system were controlled and processed by C8051F350 single-chip,it could measure precise temperature by PT100 resistance thermometer and circumstance temperature for temperature compensating automatically and simultane-ously,it also could amplify signals to convert analog signals to digital ones,and display results automatically by analysing and processing information.Furthermore,it could auto-compensate self-check,and spot communicate.展开更多
The electric wheelchair is an effective machine for people with lower limb disability. The user controls the wheelchair by a joystick that helps the user to navigate the wheelchair along the desired path. Suppose the ...The electric wheelchair is an effective machine for people with lower limb disability. The user controls the wheelchair by a joystick that helps the user to navigate the wheelchair along the desired path. Suppose the user on the wheelchair wants to operate the computer for his jobs or enjoyment, it is preferable for the user to be able to operate the computer without transferring from the wheelchair to a computer desk. Of course, some computer input devices are available for wheelchairs. One reasonable idea is to use the familiar joystick on the wheelchair as a computer input device. In this paper a joystick controller is proposed, which enables the user on the wheelchair to operate the computer settled on a nearby table. The proposed joystick controller can be achieved by mounting the sensor unit on the joystick without any modification of the conventional wheelchair controller. The principle of the sensing unit is to measure the inclination angle and the direction of the joystick with an acceleration and gyro sensor. Then the sensing unit sends the control data to the computer via an infrared or wireless signal. This proposal is based on a request done by the wheelchair users.展开更多
This paper briefly analyzes the present situation of textile mill's air-conditioning system. Since it is difficult to establish detailed math model to control a textile mill's airconditioning system because of the i...This paper briefly analyzes the present situation of textile mill's air-conditioning system. Since it is difficult to establish detailed math model to control a textile mill's airconditioning system because of the influence of various factors such as the differences in seasons, regions, etc., most air-conditioning equipment can not be controlled automatically. This paper suggests utilizing multi-function data acquisRion card to collect the data about the temperature and humidity of a workshop, processing the data on a PC, comparing them with the expert database, and then using the 485 serial port expanding module to output the parameters, which are used to control the inverter, so that the purpose of adjusting the temperature and humidity of the workshop is achieved.展开更多
the world is experiencing a strong rush towards modern technology, while specialized companies are living a terrible rush in the information technology towards the so-called Internet of things IoT or Internet of objec...the world is experiencing a strong rush towards modern technology, while specialized companies are living a terrible rush in the information technology towards the so-called Internet of things IoT or Internet of objects,</span><span style="font-family:""> </span><span style="font-family:Verdana;">which is the integration of things with the world of Internet, by adding hardware or/and software to be smart and so be able to communicate with each other and participate effectively in all aspects of daily life,</span><span style="font-family:""> </span><span style="font-family:Verdana;">so enabling new forms of communication between people and things, and between things themselves, that’s will change the traditional life into a high style of living. But it won’t be easy, because there are still many challenges an</span><span style="font-family:Verdana;">d</span><span style="font-family:Verdana;"> issues that need to be addressed and have to be viewed from various aspects to realize </span><span style="font-family:Verdana;">their</span><span style="font-family:Verdana;"> full potential. The main objective of this review paper will provide the reader with a detailed discussion from a technological and social perspective. The various IoT challenges and issues, definition and architecture were discussed. Furthermore, a description of several sensors and actuators and </span><span style="font-family:Verdana;">their</span><span style="font-family:Verdana;"> smart communication. Also, the most important application areas of IoT were presented. This work will help readers and researchers understand the IoT and its potential application in the real world.展开更多
This paper develops a prototype to demonstrate a full-duplex wireless visible light communication (VLC) system based on Universal Serial Bus (USB) port. Combing with a USB 2.0 port on one board, it can achieve up to 2...This paper develops a prototype to demonstrate a full-duplex wireless visible light communication (VLC) system based on Universal Serial Bus (USB) port. Combing with a USB 2.0 port on one board, it can achieve up to 2 Mbps bit rates error free, which is mainly limited to the USB bridge circuit, between two computers for data transmission, such as text, audio and video. Hyper Terminal and self-written software are used to allow setting the transmission data rate, control bits, check bits and achieve real-time transmission between any two mobile devices with a USB port. The work is based on the research of VLC local access network. This paper also shows the experimental results and the relationship between system transmission eye diagram and bit rate.展开更多
A parallel algorithm of circulation numerical model based on message passing interface(MPI) is developed using serialization and an irregular rectangle decomposition scheme. Neighboring point exchange strategy(NPES...A parallel algorithm of circulation numerical model based on message passing interface(MPI) is developed using serialization and an irregular rectangle decomposition scheme. Neighboring point exchange strategy(NPES) is adopted to further enhance the computational efficiency. Two experiments are conducted on HP C7000 Blade System, the numerical results show that the parallel version with NPES(PVN) produces higher efficiency than the original parallel version(PV). The PVN achieves parallel efficiency in excess of 0.9 in the second experiment when the number of processors increases to 100, while the efficiency of PV decreases to 0.39 rapidly. The PVN of ocean circulation model is used in a fine-resolution regional simulation, which produces better results. The capability of universal implementation of this algorithm makes it applicable in many other ocean models potentially.展开更多
In order to satisfy the safety-critical requirements,the train control system(TCS) often employs a layered safety communication protocol to provide reliable services.However,both description and verification of the sa...In order to satisfy the safety-critical requirements,the train control system(TCS) often employs a layered safety communication protocol to provide reliable services.However,both description and verification of the safety protocols may be formidable due to the system complexity.In this paper,interface automata(IA) are used to describe the safety service interface behaviors of safety communication protocol.A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN.A case study of using this method to describe and verify a safety communication protocol is included.The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks,livelocks and several mandatory consistency properties.A prototype of safety protocols is also developed based on the presented formally verifying method.展开更多
The distributed computer system described in this paper is a set of computernodes interconnected in an interconnection network via packet-switching interfaces.The nodes communicate with each other by means of message-...The distributed computer system described in this paper is a set of computernodes interconnected in an interconnection network via packet-switching interfaces.The nodes communicate with each other by means of message-passing protocols. Thispaper presents the implementation of rendezvous facilities as highlevel prhoitives provided by a parallel programming language to support interprocess cornmunication andsynchronisation.展开更多
Considering the air-water interface and ocean water’s optical attenuation,the performance of quantum key distribution(QKD)based on air-water channel is studied.The effects of photons’various incident angles to air-w...Considering the air-water interface and ocean water’s optical attenuation,the performance of quantum key distribution(QKD)based on air-water channel is studied.The effects of photons’various incident angles to air-water interface on quantum bit error rate(QBER)and the maximum secure transmission distance are analyzed.Taking the optical attenuation of ocean water into account,the performance bounds of QKD in different types of ocean water are discussed.The simulation results show that the maximum secure transmission distance of QKD gradually reduces as the incident angle from air to ocean water increases.In the clearest ocean water with the lowest attenuation,the maximum secure transmission distance of photons far exceeds the the working depth of underwater vehicles.In intermediate and murky ocean waters with higher attenuation,the secure transmission distance shortens,but the underwater vehicle can deploy other accessorial methods for QKD with perfect security.So the implementation of OKD between the satellite and the underwater vehicle is feasible.展开更多
文摘Treatment of terminal system is mainly through the interface communication protocol for treatment planningsystem to achieve the control of various kinds of medical equipments, including primary collimator, range shifter,scatterer, ridge type filter, multi-leaf collimator, etc. TPS was based on the radioactive source and the patientmodeling to simulate the plan implementation of radiotherapy. The basic structure of block diagram is shown inFig. 1.
文摘Using multimedia writing tools ‘Author ware' for Windows 3.0b18, and making a multimedia interface for a simple interface generated by FoxPro 2.5B, mainly to solve how to connect an interface with Author ware and FoxPro database, namely the communication problem between two separate programs under the Windows environment and to generate the multimedia interface which is consistent with the status and requests for the management information system, namely the problem that how to establish multimedia interface design.
文摘Studies of robots which aim to entertain and to be conversational partners of the live-alone become very important. The robots are classified into DBC (Dialogue-Based Communication) robots and TBC (Touch-Based Communication) robots. DBC robots have an effect to be conversational partners. A typical application of TBC robots is Paro (a baby harp seal robot) which has an effect to entertain humans. The combination of DBC and TBC will be able to achieve both a conversational ability and an entertaining effect, but there is no study of combination of DBC and TBC. This paper proposes a response algorithm that can combine conversational information and touch information from humans. Criterions for estimation are defined as follows: FFV (Familiarity Factor Value), EFV (Enjoyment Factor Value), CR (Concentration Rate), ER (Expression Rate), and RR (Recognition Rate). FFV and EFV are total ratings for questionnaire related to familiarity and enjoyment factors, respectively. CR measures attention for humans. ER is the interest of communication with robots by representing Level 2 (laugh with opening one’s mouse), Level 1 (smile), and Level 0 (expressionless). RR is recognition ability for voices and touch actions. From the experiment for impressions of robot responses with 11 subjects, it turns out that the proposed method with combination of DBC and TBC is improved by 20.7 points in FFV, and by 12.6 points in EFV compared to only TBC. From the robot communication experiment, it turns out that the proposed method is improved by 8 points in the ER, by 5.3 points in the ER with Level 2, and by 24.5 points in the RR compared to only DBC.
文摘A method-mix for intercultural user interface design (IUID) is explained and exemplified by application examples based on a hybrid approach covering cultural contexts in human-computer interaction (HCI) design using a model of culturally influenced HCI. Cultural influence on HCI is described using cultural variables for user interface design. Assumptions and empirical results regarding the influence of culture on HCI, considering the path of the information processing and the interaction style between Chinese and German users are explained based on cultural models. Subsequent indicators represent the relationship between culture and HCI (culturally imprinted by the user). Correlations adopted theoretically between cultural dimensions and variables for HCI design were investigated. These correlations represent relevant constituents of a model for culturally influenced HCI. Considerations applying this model and evidence for the proper application of the IUID method-mix are presented elucidating why and how cultural aspects play a role in HCI design and usability/UX engineering. The IUID method-mix serves to inspire HCI engineers in the requirement analysis phase as well as HCI designers in the design phase. The readers are thereby sensitized to the challenges of intercultural usability/UX engineering and intercultural HCI design and will be equipped with methodological knowledge relevant to the derivation of design recommendations for user interface design for and in their desired cultural contexts. Finally, implications for practitioners are shown, including HCI style scores and practical design recommendations, to prognosticate the effort and the expenditures for considering the cultural context in IUID.
基金supported by the National Natural Science Foundation of China(81600919)the Beijing Nova Program(Z181100006218050).
文摘The development of brain-computer interfaces(BCIs)has established a new communication channel between the brain and external devices for information transmission that requires no muscular signals[1].BCIs have been preliminarily studied to improve motor functions in patients with severe motor disabilities,especially lock-in syndrome.At present,the application of BCIs has been extensively validated.
基金the Strategic Priority Research Program of Chinese Academy of Sciences(No.XDA18000000)the National Natural Science Foundation of China(No.61732018,61872335).
文摘The superconducting rapid single flux quantum(RSFQ)integrated circuit is a promising solu-tion for overcoming speed and power bottlenecks in high-performance computing systems in the post-Moore era.This paper presents an architecture designed to improve the speed and power limitations of high-performance computing systems using superconducting technology.Since superconducting microprocessors,which operate at cryogenic temperatures,require support from semiconductor cir-cuits,the proposed design utilizes the von Neumann architecture with a superconducting RSFQ mi-croprocessor,cryogenic semiconductor memory,a room temperature field programmable gate array(FPGA)controller,and a host computer for input/output.Additionally,the paper introduces two key circuit designs:a start/stop controllable superconducting clock generator and an asynchronous communication interface between the RSFQ and semiconductor chips used to implement the control system.Experimental results demonstrate that the proposed design is feasible and effective,provi-ding valuable insights for future superconducting computer systems.
基金This work was supported by the National Key Research and Development Program of China under Grant No. 2017YFB0202003。
文摘The message passing interface (MPI) has become a de facto standard for programming models of highperformance computing, but its rich and flexible interface semantics makes the program easy to generate communication deadlock, which seriously affects the usability of the system. However, the existing detection tools for MPI communication deadlock are not scalable enough to adapt to the continuous expansion of system scale. In this context, we propose a framework for MPI runtime communication deadlock detection, namely MPI-RCDD, which contains three kinds of main mechanisms. Firstly, MPI-RCDD has a message logging protocol that is associated with deadlock detection to ensure that the communication messages required for deadlock analysis are not lost. Secondly, it uses the asynchronous processing thread provided by the MPI to implement the transfer of dependencies between processes, so that multiple processes can participate in deadlock detection simultaneously, thus alleviating the performance bottleneck problem of centralized analysis. In addition, it uses an AND⊕OR model based algorithm named AODA to perform deadlock analysis work. The AODA algorithm combines the advantages of both timeout-based and dependency-based deadlock analysis approaches, and allows the processes in the timeout state to search for a deadlock circle or knot in the process of dependency transfer. Further, the AODA algorithm cannot lead to false positives and can represent the source of the deadlock accurately. The experimental results on typical MPI communication deadlock benchmarks such as Umpire Test Suit demonstrate the capability of MPIRCDD. Additionally, the experiments on the NPB benchmarks obtain the satisfying performance cost, which show that the MPI-RCDD has strong scalability.
基金Supported by the National High Technology programme of Chinathe Climbing Programme National Key Project for Fundamental Research in China,Grant NSC 92097
文摘In an optoelectronic 2-D programmable neural network system, optical data need to be transferred and feedback with high speed. This paper presents the design and implementation of the interface circuit and its software.
基金This work was supported by the Chinese National 973 Plan (2010CB328003), the National Natural Science Foundation of China (Grant Nos. 61272001, 60903030, 91218302), the Chinese National Key Technology R&D Program (SQ2012BAJY4052), the Importation and Development of High-Caliber Talents Project of Beijing Municipal Institutions (YETP0167), and the Tsinghua University Initiative Scientific Research Program.
文摘Interface automata are one of the prominent formalisms for specifying interface behaviors of componentbased systems. However, only one-to-one communication is allowed in the composition of interface automata. This paper presents multicast interface automata which generalize the classic interface automata and accommodate multicast communication mechanism. The multicast interface automata endorse both bottom-up and top-down design methodologies. Theoretical results on compatibility and refinement are established for incremental design and independent implementability.
文摘A Smart resistance thermometer sensor is designed to overcome the shortages of the traditional ones, and Con-form to the world development trend of the sensor market.According to the constitutions of this Smart sensor and its application coverage,those parts with good -application and low-cost were chosen to constitute this sensor on the basis of full consideration of the linkage among every part.The whole testing system were controlled and processed by C8051F350 single-chip,it could measure precise temperature by PT100 resistance thermometer and circumstance temperature for temperature compensating automatically and simultane-ously,it also could amplify signals to convert analog signals to digital ones,and display results automatically by analysing and processing information.Furthermore,it could auto-compensate self-check,and spot communicate.
文摘The electric wheelchair is an effective machine for people with lower limb disability. The user controls the wheelchair by a joystick that helps the user to navigate the wheelchair along the desired path. Suppose the user on the wheelchair wants to operate the computer for his jobs or enjoyment, it is preferable for the user to be able to operate the computer without transferring from the wheelchair to a computer desk. Of course, some computer input devices are available for wheelchairs. One reasonable idea is to use the familiar joystick on the wheelchair as a computer input device. In this paper a joystick controller is proposed, which enables the user on the wheelchair to operate the computer settled on a nearby table. The proposed joystick controller can be achieved by mounting the sensor unit on the joystick without any modification of the conventional wheelchair controller. The principle of the sensing unit is to measure the inclination angle and the direction of the joystick with an acceleration and gyro sensor. Then the sensing unit sends the control data to the computer via an infrared or wireless signal. This proposal is based on a request done by the wheelchair users.
文摘This paper briefly analyzes the present situation of textile mill's air-conditioning system. Since it is difficult to establish detailed math model to control a textile mill's airconditioning system because of the influence of various factors such as the differences in seasons, regions, etc., most air-conditioning equipment can not be controlled automatically. This paper suggests utilizing multi-function data acquisRion card to collect the data about the temperature and humidity of a workshop, processing the data on a PC, comparing them with the expert database, and then using the 485 serial port expanding module to output the parameters, which are used to control the inverter, so that the purpose of adjusting the temperature and humidity of the workshop is achieved.
文摘the world is experiencing a strong rush towards modern technology, while specialized companies are living a terrible rush in the information technology towards the so-called Internet of things IoT or Internet of objects,</span><span style="font-family:""> </span><span style="font-family:Verdana;">which is the integration of things with the world of Internet, by adding hardware or/and software to be smart and so be able to communicate with each other and participate effectively in all aspects of daily life,</span><span style="font-family:""> </span><span style="font-family:Verdana;">so enabling new forms of communication between people and things, and between things themselves, that’s will change the traditional life into a high style of living. But it won’t be easy, because there are still many challenges an</span><span style="font-family:Verdana;">d</span><span style="font-family:Verdana;"> issues that need to be addressed and have to be viewed from various aspects to realize </span><span style="font-family:Verdana;">their</span><span style="font-family:Verdana;"> full potential. The main objective of this review paper will provide the reader with a detailed discussion from a technological and social perspective. The various IoT challenges and issues, definition and architecture were discussed. Furthermore, a description of several sensors and actuators and </span><span style="font-family:Verdana;">their</span><span style="font-family:Verdana;"> smart communication. Also, the most important application areas of IoT were presented. This work will help readers and researchers understand the IoT and its potential application in the real world.
文摘This paper develops a prototype to demonstrate a full-duplex wireless visible light communication (VLC) system based on Universal Serial Bus (USB) port. Combing with a USB 2.0 port on one board, it can achieve up to 2 Mbps bit rates error free, which is mainly limited to the USB bridge circuit, between two computers for data transmission, such as text, audio and video. Hyper Terminal and self-written software are used to allow setting the transmission data rate, control bits, check bits and achieve real-time transmission between any two mobile devices with a USB port. The work is based on the research of VLC local access network. This paper also shows the experimental results and the relationship between system transmission eye diagram and bit rate.
基金The National High Technology Research and Development Program(863 Program)of China under contract No.2013AA09A505
文摘A parallel algorithm of circulation numerical model based on message passing interface(MPI) is developed using serialization and an irregular rectangle decomposition scheme. Neighboring point exchange strategy(NPES) is adopted to further enhance the computational efficiency. Two experiments are conducted on HP C7000 Blade System, the numerical results show that the parallel version with NPES(PVN) produces higher efficiency than the original parallel version(PV). The PVN achieves parallel efficiency in excess of 0.9 in the second experiment when the number of processors increases to 100, while the efficiency of PV decreases to 0.39 rapidly. The PVN of ocean circulation model is used in a fine-resolution regional simulation, which produces better results. The capability of universal implementation of this algorithm makes it applicable in many other ocean models potentially.
基金supported by the National Natural Science Foundation of China(11974182,12374257)the Fundamental Research Funds for the Central Universities(NC2022008)+1 种基金the Funding for Outstanding Doctoral Dissertation of Nanjing University of Aeronautics and Astronautics(NUAA)(BCXJ22-14)the Postgraduate Research&Practice Innovation Program of Jiangsu Province(KYCX22_0326)。
文摘高灵敏度的自驱动紫外探测器在许多应用中都大有可为.本研究提出了一种一维ZnO基同结光电探测器,它包括表面覆盖着Ag纳米线的锑掺杂ZnO微米线(AgNWs@ZnO:Sb MW)、MgO缓冲纳米层和ZnO薄膜.该探测器在0 V偏压下对紫外光非常敏感,其性能参数包括约7个量级的开关比、292.2 mA W^(-1)的响应度、6.9×10^(13)Jones的比探测率,以及微秒量级的快速响应速度(上升时间16.4μs,下降时间465.1μs).特别是10μW cm^(-2)的微弱紫外光时接近99.3%的外量子效率.此外,本文系统研究了MgO纳米薄膜和表面修饰AgNWs对探测器件性能增强的机理.作为自驱动光接收器,该光电二极管被进一步集成到能够实时传输信息的紫外通信系统中.此外,基于AgNWs@p-ZnO:Sb MW/i-MgO/n-ZnO的同质结9×9阵列显示出均匀的光响应分布,可用作具有良好空间分辨率的成像传感器.这项研究有望为设计高性能紫外光检测器提供一条具有低功耗和可大规模建造的途径.
基金supported by the New Century Excellent Researcher Award Program from Ministry of Education of China (Grant No. NCET-07-0059)the Fundamental Research Funds for the Central Universities (Grant No.2011YJS006)+1 种基金the National High Technology Research and DevelopmentProgram of China ("863" Program) (Grant No. 2011AA010104)the State Key Laboratory of Rail Traffic Control and Safety Research Project(Grant Nos. RCS2008ZZ001, RCS2008ZZ005)
文摘In order to satisfy the safety-critical requirements,the train control system(TCS) often employs a layered safety communication protocol to provide reliable services.However,both description and verification of the safety protocols may be formidable due to the system complexity.In this paper,interface automata(IA) are used to describe the safety service interface behaviors of safety communication protocol.A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN.A case study of using this method to describe and verify a safety communication protocol is included.The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks,livelocks and several mandatory consistency properties.A prototype of safety protocols is also developed based on the presented formally verifying method.
文摘The distributed computer system described in this paper is a set of computernodes interconnected in an interconnection network via packet-switching interfaces.The nodes communicate with each other by means of message-passing protocols. Thispaper presents the implementation of rendezvous facilities as highlevel prhoitives provided by a parallel programming language to support interprocess cornmunication andsynchronisation.
基金supported by the National High Technology Research and Development Program of China(No.2011AA7014061)
文摘Considering the air-water interface and ocean water’s optical attenuation,the performance of quantum key distribution(QKD)based on air-water channel is studied.The effects of photons’various incident angles to air-water interface on quantum bit error rate(QBER)and the maximum secure transmission distance are analyzed.Taking the optical attenuation of ocean water into account,the performance bounds of QKD in different types of ocean water are discussed.The simulation results show that the maximum secure transmission distance of QKD gradually reduces as the incident angle from air to ocean water increases.In the clearest ocean water with the lowest attenuation,the maximum secure transmission distance of photons far exceeds the the working depth of underwater vehicles.In intermediate and murky ocean waters with higher attenuation,the secure transmission distance shortens,but the underwater vehicle can deploy other accessorial methods for QKD with perfect security.So the implementation of OKD between the satellite and the underwater vehicle is feasible.