As train controlsystems being more complex and intelligent,ensuring their correctness and safety becomes increasingly *** paper proposes a monitor-based approach to checking a system against its formal requirements w...
详细信息
As train controlsystems being more complex and intelligent,ensuring their correctness and safety becomes increasingly *** paper proposes a monitor-based approach to checking a system against its formal requirements with quantitative temporal constraints at *** approach may complement the current use of conventional verification techniques,and also opens up the possibility to act whenever incorrect system behaviors are *** studies from train control domain show that our runtime properties checking technique could be applied online to provide extra guarantees for a running system,or applied during development to find bugs.
We have designed and fabricated electrodes microtluidics system for microbio object analysis. Two parallel plate electrodes were fabricated using soft lithography technique integrated with PDMS microtluidics channel. ...
详细信息
ISBN:
(纸本)9781479915064;9781479915088
We have designed and fabricated electrodes microtluidics system for microbio object analysis. Two parallel plate electrodes were fabricated using soft lithography technique integrated with PDMS microtluidics channel. Gold (Au) material was decomposed to fabricate the electrodes. Voltage response through charging and discharging of the electrodes were observed using oscilloscope. For a constant dc voltage of 5 V we have obtained the time constant of the electrodes as 3.6 ms. On the other hand, it requires 850 ms to discharge completely without an external load. We have measured the capacitance of the electrodes as 0.37 pF in air (room environment) medium, on the other hand in distilled water medium electrodes capacitance is 0.77 pF. This is because of the high dielectric constant of distilled water (80.1). We have also measured electrodes capacitance by changing the medium to microbio objects such as;yeast cells (5 pF) and live bacteria cells (30 pF). Results showed that, bacteria have a higher electrical capacitance rather than yeast.
The paper studies a new method for Chinese new word detection and emotional tendency judgment based on mixed model and proposes a new word generation *** we construct conditional random fields(CRFs) to recognize the n...
详细信息
ISBN:
(纸本)9781467369541
The paper studies a new method for Chinese new word detection and emotional tendency judgment based on mixed model and proposes a new word generation *** we construct conditional random fields(CRFs) to recognize the new words,lead-in features based on character combined with the crowd sourcing network *** then express word as a word vector based on neural network language model(NNLM) to judge the new word emotional *** experimental results show that the method can improve the precision and recall of the new word detection with a good system performance,and it also provides a new way for forecasting the public mood.
Passenger flow counting is an important issue for management and decision in many public areas such as shopping centers,airports,gyms and *** paper presents some algorithms of Head-counting and Head-tracking for embed...
详细信息
Passenger flow counting is an important issue for management and decision in many public areas such as shopping centers,airports,gyms and *** paper presents some algorithms of Head-counting and Head-tracking for embedded systems in vertically-installed *** system is able to count the number of passengers who enter or leave the detection *** results are reliable,accurate and stable.
In this paper,we consider the problem of designing traffic network signal controlsystems for congested urban road networks,aiming to relieve traffic congestion and improve the utilization of the existing traffic infr...
详细信息
In this paper,we consider the problem of designing traffic network signal controlsystems for congested urban road networks,aiming to relieve traffic congestion and improve the utilization of the existing traffic infrastructures.A Model Predictive control(MPC)method is introduced which is based on a microscopic store-and-forward modeling(SFM)***,a preliminary simulation of urban traffic flow management is implemented with the help of MATLAB/SIMULINK and *** results demonstrate the efficiency and feasibility of the MPC signal control method,which can take all the operational constraints into consideration *** the MPC control framework can also be applied for other infrastructure systems whose characteristics are common intelligent,from a generic point of view.
Cell's intracellular temperature has shown to have a vital role in controlling a cell's conditions, properties, activities, and the cell response towards external stimuli. Yet, Current conventional methods are...
详细信息
ISBN:
(纸本)9781479915064;9781479915088
Cell's intracellular temperature has shown to have a vital role in controlling a cell's conditions, properties, activities, and the cell response towards external stimuli. Yet, Current conventional methods are not able to give accurate or any measurements when spatial resolution decreases to a micro scale. Many researches from different field are trying to develop ways that give high accuracy and high temperature sensitivity. We present here a Nano-needle microfluidic system for single cell temperature measurement;however, here we discussed the optimization using finite element approach of the sensor design using tungsten as the electrodes, and semiconducting metal oxide Co3O4 as the sensing material. The dimension of the sensor that gave the highest voltage thus highest sensitivity were ratio 1: 4 of element diameter/electrode cross sectional area, a gap of 450nm between electrodes and a penetration depth of 0.25 in electrode 0.25nm. Furthermore, Voltage response gave results to measure a 0.1 degrees C.
This paper presents a real-time detection algorithm which detects abandoned objects in embedded Intelligent Video Surveillance(IVS) *** algorithm uses two different Gaussian mixture models(GMM) with different learning...
详细信息
This paper presents a real-time detection algorithm which detects abandoned objects in embedded Intelligent Video Surveillance(IVS) *** algorithm uses two different Gaussian mixture models(GMM) with different learning rates to extract the foreground in order to detect the abandoned objects and output *** results show the algorithm is robust and well-performed in different circumstances.
This paper presents a framework of Parallel Transportation Management and controlsystem for Subway systems（PTMS-Subway） based on ACP ***,based on multi-agent modeling,Artificial Subway systems is ***,the design,con...
This paper presents a framework of Parallel Transportation Management and controlsystem for Subway systems（PTMS-Subway） based on ACP ***,based on multi-agent modeling,Artificial Subway systems is ***,the design,content,and process of Computational Experiments Platform are ***,through an interactive Parallel Execution system between the actual and artificial subway systems,a set of practical strategies of management and control can be ***-Subway can improve the reliability,efficiency,safety,and service level of subway systems.
Under the environment of complex power grid,the electric power system,controlsystem,and communication system are put forward higher *** such an condition,the construction of the synchronous network is *** takes an im...
详细信息
Under the environment of complex power grid,the electric power system,controlsystem,and communication system are put forward higher *** such an condition,the construction of the synchronous network is *** takes an important part in the safe and stable operation of the whole complex power *** to the needs analysis of the present situation of the Guangdong power synchronous network,we put forward a time synchronous network scheme based on ieee 1588 through the OTN + *** synchronous network scheme completes the master-slave synchronization through the precise time synchronization standards(PTP),by sending message information between optical transmission network OTN and packet transmission network PTN,and then to complete the time synchronization in the area of Guangdong power grid.
The concept of cloud manufacture has been purposed to solve the problem of manufacture waste. Characteristics and operating mechanism of CMfg is analyzed in this paper. Fuzziness and distributive of the Multi-agent sy...
详细信息
ISBN:
(纸本)9781479937097
The concept of cloud manufacture has been purposed to solve the problem of manufacture waste. Characteristics and operating mechanism of CMfg is analyzed in this paper. Fuzziness and distributive of the Multi-agent system can meet the requirements of building CMfg platform. On the basis of the theory mentioned above, this paper proposed an architecture of CMfg based on multi-agent technology. At last, the communication between the agents in the system was researched and designed. The introduction of multi-agent technology not only provides a feasible method of building CMfg platform system, but also helps to lucubrate the architecture of CMfg.
暂无评论