A novel cooling system combining ultra fast cooling rigs with laminar cooling devices was investigated.Based on the different cooling mechanisms,a serial of mathematic models were established to describe the relations...A novel cooling system combining ultra fast cooling rigs with laminar cooling devices was investigated.Based on the different cooling mechanisms,a serial of mathematic models were established to describe the relationship between water flow and spraying pressure and the relationship between water spraying heat flux and layout of nozzles installed on the top and bottom cooling headers.Model parameters were validated by measured data.Heat transfer models including air convection model,heat radiation model and water cooling capacity model were detailedly introduced.In addition,effects on cooling capacity by water temperature and different valve patterns were also presented.Finally,the comparison results from UFC used or not have been provided with respect to temperature evolution and mechanical properties of Q235B steel grade with thickness of 7.8 mm.Since online application of the sophisticated CTC process control system based on these models,run-out table cooling control system has been running stably and reliably to produce resource-saving,low-cost steels with smaller grain size.展开更多
Parallel machine scheduling problems, which are important discrete optimization problems, may occur in many applications. For example, load balancing in network communication channel assignment, parallel processing in...Parallel machine scheduling problems, which are important discrete optimization problems, may occur in many applications. For example, load balancing in network communication channel assignment, parallel processing in large-size computing, task arrangement in flexible manufacturing systems, etc., are multiprocessor scheduling problem. In the traditional parallel machine scheduling problems, it is assumed that the problems are considered in offline or online environment. But in practice, problems are often not really offline or online but somehow in-between. This means that, with respect to the online problem, some further information about the tasks is available, which allows the improvement of the performance of the best possible algorithms. Problems of this class are called semi-online ones. In this paper, the semi-online problem P2|decr|lp (p>1) is considered where jobs come in non-increasing order of their processing times and the objective is to minimize the sum of the lp norm of every machine’s load. It is shown that LS algorithm is optimal for any lp norm, which extends the results known in the literature. Furthermore, randomized lower bounds for the problems P2|online|lp and P2|decr|lp are presented.展开更多
Wearable smart devices, such as smart watch, wristband are becoming increasingly popular recently. They generally integrate the MEMS-designed inertial sensors, including accelerometer, gyroscope and compass, which pro...Wearable smart devices, such as smart watch, wristband are becoming increasingly popular recently. They generally integrate the MEMS-designed inertial sensors, including accelerometer, gyroscope and compass, which provide a convenient and inexpensive way to collect motion data of users. Such rich, continuous motion data provide great potential for remote healthcare and decease diagnosis. Information processing algorithms play the critical role in these approaches, which is to extract the motion signatures and to access different kinds of judgements. This paper reviews key algorithms in these areas. In particular, we focus on three kinds of applications: 1) gait analysis; 2) fall detection and 3) sleep monitoring. They are the most popular healthcare applications based on the inertial data. By categorizing and introducing the key algorithms, this paper tries to build a clear map of how the inertial data are processed; how the inertial signatures are defined, extracted, and utilized in different kinds of applications. This will provide a valuable guidance for users to understand the methodologies and to select proper algorithm for specifi c application purpose.展开更多
Computer system's runtime information is an essential part of the digital evidence. Current digital forensic approaches mainly focus on memory and I/O data, while the runtime instructions from processes are often ign...Computer system's runtime information is an essential part of the digital evidence. Current digital forensic approaches mainly focus on memory and I/O data, while the runtime instructions from processes are often ignored. We present a novel approach on runtime instruction forensic analysis and have developed a forensic system which collects instruction flow and extracts digital evidence. The system is based on whole-system emulation technique and analysts are allowed to define analysis strategy to improve analysis efficiency and reduce overhead. This forensic approach and system are applicable to binary code analysis, information retrieval and matware forensics.展开更多
This work presents a Fuzzy Logic Controller (FLC) assigned to control a robotic arm motion while avoiding the obstacles that may face the robotic arm in its movement from the initial point to the final point in an o...This work presents a Fuzzy Logic Controller (FLC) assigned to control a robotic arm motion while avoiding the obstacles that may face the robotic arm in its movement from the initial point to the final point in an optimized manner, in addition to avoid the singularity phenomenon, and without any exceeding of the physical constraints of the robot arm. A real platform (5 DOF "Degree Of Freedom" Lab Volt 5150 Robotic Arm) is used to carry this work practically, in addition to providing it by a vision sensor, where a new approach is proposed to inspect the robot work environment using a designed integrated MATLAB program having the ability to recognize the changeable locations of each of the robotic arm's end-effector, the goal, and the multi existed obstacles through a recorded film taken by a webcam, then these information will be treated using the FLC where its outputs represent the values that must be delivered to the robot to adopt them in its next steps till reaching to the goal in collision-free movements. The experimental results showed that the developed robotic ann travels successfully from Start to Goal where a high percentage of accuracy in arriving to Goal was achieved, and without colliding with any obstacle ensuring the harmonization between the theoretical part and the experimental part in achieving the best results of controlling the robotic arm's motion.展开更多
Percutaneous closure of a prosthetic paravalvular leak (PVL) is a challenging procedure. Operators must use devices constructed for other applications. We present the use of a device which is specifically designed f...Percutaneous closure of a prosthetic paravalvular leak (PVL) is a challenging procedure. Operators must use devices constructed for other applications. We present the use of a device which is specifically designed for PVL closure. To the best of our knowledge, there is no publication in MEDLINE reporting the use of the device.展开更多
Taking the steady motion status as a starting point,according to the modeling of actual state of theoretical analysis,a predigested model of supercavity vehicle was established,and relationship expressions of these an...Taking the steady motion status as a starting point,according to the modeling of actual state of theoretical analysis,a predigested model of supercavity vehicle was established,and relationship expressions of these angles were obtained when the movement of supercavity vehicle was stable.A theoretical analysis on the stability of underwater high-speed movement in the movement simulation program was conducted and the simulation results were given.Then the force status of the supercavity vehicle was elicited from the results.The finite element analysis was carried out based on the stability at all angles obtained from simulation results.Taking a pilot model as example,the Monte Carlo method was adopting to analyze the reliability with the given state of force and displacement.The result indicates that this method is feasible.展开更多
The problem of fault information process in telephone networks manage ment system in AT & T in the US has been solved with stepanwise learning approach.This method makes the information decrease step by step by me...The problem of fault information process in telephone networks manage ment system in AT & T in the US has been solved with stepanwise learning approach.This method makes the information decrease step by step by means of merge and sort, classifies the information to several typical classes and establishes the knowledge base (KB) eventually. If new fault information is inputted, we will call the knowl edge in KB and predict the related faults which will happen.展开更多
In sports timing systems,P2P communication is used at low frequency bandwidths(under 135 KHz) between tags and readers in the RFID field.However,in such cases,collisions tend to occur when a reader deals with multiple...In sports timing systems,P2P communication is used at low frequency bandwidths(under 135 KHz) between tags and readers in the RFID field.However,in such cases,collisions tend to occur when a reader deals with multiple RFID tags simultaneously.To overcome this issue,a sports timing system including a Multi Reader Controller(MRC)loaded with an advanced multiple reader algorithm and application was created and applied at large-scale citizens' marathon events.In these cases,a large number of people pass over the installed urethane type's antenna mat continually during a short period of time.This study verified the superiority of the improved algorithm and application through the on-thespot application of the multi reader algorithm and application program,which allows us to smoothly measure runners' times through multiaccess reading for rapid collision avoidance.展开更多
An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotatio...An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotation labels of agents and channels. The confined region labels were used to uniquely identify the constraints on the migration and communication of agents, with the labels, the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation. The operational semantics for the calculus was given out, and a type system which enforces security properties called confined migration and confined communication was developed.展开更多
A practical method for visualizing flood area and evaluating damage is presented, which consists of two technical approaches: self\|programming and adapting commercial GIS platforms. The low\|cost and easy\|to\|use GI...A practical method for visualizing flood area and evaluating damage is presented, which consists of two technical approaches: self\|programming and adapting commercial GIS platforms. The low\|cost and easy\|to\|use GIS\|Based model developed by self\|programming can meet current requirements of most local authorities, especially in developing countries. In this model, two cases, non\|source flood and source flood, are distinguished and the Seed\|spread algorithm suitable for source\|flood is discussed; The flood damage is assessed by overlaying the flood area range with thematic maps and other related social and economic data. and all thematic maps are converted to raster format before overlay analysis. Two measures are taken to improve the operation efficiency of speed seed\|spread algorithm. The accuracy of the model mainly depends on the resolution and precision of the DEM data, and the accuracy of registering all raster layers and the quality of attribute data.展开更多
The research performed in this paper was carried out to investigate the computational procedure to design seakeeping optimized ship hull form. To reach the optimized hull form, four stages should be done, which consis...The research performed in this paper was carried out to investigate the computational procedure to design seakeeping optimized ship hull form. To reach the optimized hull form, four stages should be done, which consists of: generate alternative hull form, seakeeping calculations, objective functions and optimization techniques. There are many parameters that may be determined in ship hull form optimization. This paper deals with developed strip theory for determining the seakeeping performance, genetic algorithm (GA) as optimization method, high order equations for curve fitting of the hull form and finally reaching to the minimum bow vertical motion in regular head waves. The Wigley hull is selected as an initial hull and carried to be optimized. Two cases are considered. For the first case, the only form coefficients of the hull (CB, CM, Cw, Cp) are changed and main dimensions (L, B, 7) are fixed. In the second case both hull form and main dimensions are varied simultaneously. Finally, optimized hull form and its seakeeping performances are presented. The results of optimization procedure demonstrate that the optimized hull forms yield a reduction in vertical motion and acceleration.展开更多
The contact angle is one of important parameters to simulate droplet spreading and impingement phenomena on the surface. In the most numerical research, it is assumed constant value and it is implemented as boundary c...The contact angle is one of important parameters to simulate droplet spreading and impingement phenomena on the surface. In the most numerical research, it is assumed constant value and it is implemented as boundary condition. However, contact angle is changed according to contact line velocity and time. Hence, for accurate simulation, dynamic contact angle which has various values as time elapsed is adopted. In the present study, the numerical analysis is performed on the droplet spreading phenomena considering dynamic contact angle function which is obtained from single droplet spreading experiment on the flat and bare surface. The CIP (cubic interpolated pseudo-particle) method by Yabe is used for analysis of interface between liquid and gas phases. The numerical results considering contact angle function which newly modeled as time and contact angle are compared with numerical results considering Hoffman's function and experimental data for range of Weber number which are 4.427 and 11.334. In contrast of numerical result considering Hoffman's function, the numerical result shows good agreement with experimental data as time elapsed in contact angle evolution, deformation of droplet spreading radius and height. Indeed, overall, the results display the increasing maximum spreading radius and the decreasing height as Weber numbers increased.展开更多
This paper introduces the operational characteristics of the era of big data and the current era of big data challenges, and exhaustive research and design of big data analytics platform based on cloud computing, incl...This paper introduces the operational characteristics of the era of big data and the current era of big data challenges, and exhaustive research and design of big data analytics platform based on cloud computing, including big data analytics platform architecture system, big data analytics platform software architecture, big data analytics platform network architecture big data analysis platform unified program features and so on. The paper also analyzes the cloud computing platform for big data analysis program unified competitive advantage and development of business telecom operators play a certain role in the future.展开更多
The impact of different phases of shipment (at sea and at port) on two German white wines of two vintages and the lasting effects of the temperature regimes over time was investigated. The wines were subjected to th...The impact of different phases of shipment (at sea and at port) on two German white wines of two vintages and the lasting effects of the temperature regimes over time was investigated. The wines were subjected to three temperature programs--control (15 ℃), linear increase (15℃ steadily increasing to 45 ℃), and diurnal fluctuation (15 ℃/40 ℃)--in both movement and non-movement conditions. The wines were analyzed for chemical, physical and sensorial changes at one and eight months post-treatment. Changes in temperature and pressure were recorded within the bottles, which correlated with the temperature programs: +0.04 bar/℃ in the linear increase program and +0.08 bar/℃ in the diurnal fluctuation program. The oxygen levels in the headspace and in the wine were monitored during all of the treatments. The oxygen development in the bottles was similar between the diurnal and linear programs, and was found to be distinctive from the control program. The chemical analysis revealed that there were significant differences related to the experimental treatments of the wines for the following parameters: tartaric acid, free sulfur dioxide, total sulfur dioxide and percent cork weight loss measurements. Difference sensory testing found very few differences. After eight months storage, significant differences were found in the Diurnal Non-movement treatment compared to Linear Non-movement and control treatments, as well as Diurnal Movement and Control treatments for the 2014 Miiller-Thurgau wine. Sensory descriptive analysis of the wines found that the wines could be differentiated by variety, but could not be distinguished according to experimental treatment after one month storage. These results indicate that wines of these types are more robust to shipping conditions than previously found.展开更多
Objectives To explore the effectiveness of the mobile app-based multidisciplinary exercise management on patients who receive percutaneous coronary intervention(PCI).Methods From January to October 2020,54 patients af...Objectives To explore the effectiveness of the mobile app-based multidisciplinary exercise management on patients who receive percutaneous coronary intervention(PCI).Methods From January to October 2020,54 patients after PCI were randomly assigned to the intervention group(n=27)and the control group(n=27).The intervention group received the mobile app-based multidisciplinary exercise management,whereas the control group received routine care.The patients after PCI began to take intervention one month after the operation,and the intervention lasted for two months.Before and after the intervention,6-Minute Walking Distance was used to evaluate the patient’s exercise tolerance,and the patient’s exercise compliance was evaluated according to the patient’s exercise status recorded by the mobile app.The cognitive questionnaire on knowledge about PCI treatment for Coronary Heart Disease,the Self-efficacy for Chronic Disease Scale and the Perceived Social Support Scale were used to evaluate patients’disease-related cognition,self-efficacy and perception of social support.This study was registered on Clinical Trials.gov with registration number ChiCTR2000028930.Results Totally 51 patients after PCI who completed this study(25 patients in the intervention group and 26 patients in the control group)were included in the analysis.After 2 months of intervention,the exercise compliance of patients in the intervention group was better than that in the control group.And 6-Minute Walking Distance(469.36±57.48 vs.432.81±67.09),and the scores of knowledge of PCI treatment for coronary heart disease(52.64±9.82 vs.42.42±8.54),Self-efficacy for Chronic Disease Scale(42.40±8.04 vs.36.88±7.73)and Perceived Social Support Scale(74.04±5.73 vs.66.69±6.86)in the intervention group were higher than those in the control group with statistical significance(P<0.05).Conclusions The multidisciplinary exercise management based on the mobile app can effectively improve exercise tolerance,exercise compliance,disease-related cognition,self-efficacy,and perception of social support during exercise training for patients after PCI.展开更多
The aim of this work is to study the interaction of spoken words and images that are used within programs targeted to popularize knowledge among teenagers. We will look into the program Bit@bit developed by Television...The aim of this work is to study the interaction of spoken words and images that are used within programs targeted to popularize knowledge among teenagers. We will look into the program Bit@bit developed by Television de Catalunya, which is intended to disseminate computer concepts, tools and procedures. In this kind of program, one can find spoken language (on/off screen voices, interviews, etc.), other oral material (sounds, music, songs), written language (descriptions, title sequences, inserts and Uniform Resource Locator, or electronic addresses), and other visual material (film cut images, advertising, other TV programs, cartoons, films, both location or studio images, depicting reality, or computer screens, or logotypes). The profusion of multimodal elements used in this program helps to keep the young audience's attention. The use of references to their world or knowledge, as a target group, is based on interplay among different semiotic strategies. At the same time, the entire program's multi-segmentation into short video clips, combined with a fast paced sound track helps its audience to understand the specialized explanations presented. Of all the multimodal wealth that the program presents, we will concentrate only on the relationship between the words and the images (leaving other secondary semiotics to one side), the main strategy for achieving the objective of transmitting knowledge and winning adolescent audiences.展开更多
Longmen Mountain located at the boundary between the Sichuan Basin and Tibetan Plateau,representing the steepest gradient of any edges of the plateau.Three endmember models of uplift process and mechanism have been pr...Longmen Mountain located at the boundary between the Sichuan Basin and Tibetan Plateau,representing the steepest gradient of any edges of the plateau.Three endmember models of uplift process and mechanism have been proposed,including crustal thickening,crustal flow,and crustal isostatic rebound.Here we use coeval sedimentary sequences in the foreland basin to restraint uplift process and mechanism in the Longmen Mountain.The more than 10,000 m thick Late TriassicQuaternary strata filled in this foreland basin and can be divided into six megasequences that are distinguished as two distinct types.The first type is the wedge-shaped megasequences which are sedimentary response of strong active thrust loading events,characterized by a high rate of subsidence and sediment accumulation,coarsening-upward succession and a dual-sourced sediment supply.This type includes Late Triassic,Late Jurassic to Early Cretaceous and Late Cretaceous to Paleogene megasequences.The second type is the tabular megasequences,characterized by the low rate of subsidence and sediment accumulation,finingupward succession,and a single-sourced sediment supply,which is sedimentary response of isostatic rebound and erosion unloading.This type includes the Early to Middle Jurassic,Middle Cretaceous and Neogene to Quaternary megasequences.Basing on sedimentary,active tectonic,geomorphic evidence,we infer that the direction has been reversed from SSWdirected sinistral strike-slip to NNE-directed dextral strike-slip during 40-3.6 Ma,and since 3.6 Ma,the Longmen Mountain thrust belt belong to times of isostatic rebound and erosional unloading with NNEdirected dextral strike-slip.This suggests that crustal isostatic rebound is a primary driver for uplift and topography of the present Longmen Mountain.The Wenchuan(Ms8.0) earthquake,which ruptured a large thrust fault with NNE-directed dextral strikeslip along the range front,is an active manifestation of this crustal isostatic rebound process with dextral strike-slipping and shortening.This process may be the cause for the Wenchuan Earthquake and the apparent paradox of high relief,little shortening,the relative dearth of historical seismicity in the region.展开更多
基金Project(51034009)supported by the National Natural Science Foundation of China
文摘A novel cooling system combining ultra fast cooling rigs with laminar cooling devices was investigated.Based on the different cooling mechanisms,a serial of mathematic models were established to describe the relationship between water flow and spraying pressure and the relationship between water spraying heat flux and layout of nozzles installed on the top and bottom cooling headers.Model parameters were validated by measured data.Heat transfer models including air convection model,heat radiation model and water cooling capacity model were detailedly introduced.In addition,effects on cooling capacity by water temperature and different valve patterns were also presented.Finally,the comparison results from UFC used or not have been provided with respect to temperature evolution and mechanical properties of Q235B steel grade with thickness of 7.8 mm.Since online application of the sophisticated CTC process control system based on these models,run-out table cooling control system has been running stably and reliably to produce resource-saving,low-cost steels with smaller grain size.
基金Project supported by the National Natural Science Foundation of China (Nos. 10271110 10301028) and the Teaching and Research Award Program for Outstanding Young Teachers in Higher Education Institutions of MOE+2 种基金 China Project supported by the National Natural Science Foundation of China (Nos. 10271110 10301028) and the Teaching and Research Award Program for Outstanding Young Teachers in Higher Education Institutions of MOE China
文摘Parallel machine scheduling problems, which are important discrete optimization problems, may occur in many applications. For example, load balancing in network communication channel assignment, parallel processing in large-size computing, task arrangement in flexible manufacturing systems, etc., are multiprocessor scheduling problem. In the traditional parallel machine scheduling problems, it is assumed that the problems are considered in offline or online environment. But in practice, problems are often not really offline or online but somehow in-between. This means that, with respect to the online problem, some further information about the tasks is available, which allows the improvement of the performance of the best possible algorithms. Problems of this class are called semi-online ones. In this paper, the semi-online problem P2|decr|lp (p>1) is considered where jobs come in non-increasing order of their processing times and the objective is to minimize the sum of the lp norm of every machine’s load. It is shown that LS algorithm is optimal for any lp norm, which extends the results known in the literature. Furthermore, randomized lower bounds for the problems P2|online|lp and P2|decr|lp are presented.
基金supported in part by National Natural Science Foundation of China Grant 61202360, 61033001, 61361136003the National Basic Research Program of China Grant 2011CBA00300, 2011CBA00302
文摘Wearable smart devices, such as smart watch, wristband are becoming increasingly popular recently. They generally integrate the MEMS-designed inertial sensors, including accelerometer, gyroscope and compass, which provide a convenient and inexpensive way to collect motion data of users. Such rich, continuous motion data provide great potential for remote healthcare and decease diagnosis. Information processing algorithms play the critical role in these approaches, which is to extract the motion signatures and to access different kinds of judgements. This paper reviews key algorithms in these areas. In particular, we focus on three kinds of applications: 1) gait analysis; 2) fall detection and 3) sleep monitoring. They are the most popular healthcare applications based on the inertial data. By categorizing and introducing the key algorithms, this paper tries to build a clear map of how the inertial data are processed; how the inertial signatures are defined, extracted, and utilized in different kinds of applications. This will provide a valuable guidance for users to understand the methodologies and to select proper algorithm for specifi c application purpose.
文摘Computer system's runtime information is an essential part of the digital evidence. Current digital forensic approaches mainly focus on memory and I/O data, while the runtime instructions from processes are often ignored. We present a novel approach on runtime instruction forensic analysis and have developed a forensic system which collects instruction flow and extracts digital evidence. The system is based on whole-system emulation technique and analysts are allowed to define analysis strategy to improve analysis efficiency and reduce overhead. This forensic approach and system are applicable to binary code analysis, information retrieval and matware forensics.
文摘This work presents a Fuzzy Logic Controller (FLC) assigned to control a robotic arm motion while avoiding the obstacles that may face the robotic arm in its movement from the initial point to the final point in an optimized manner, in addition to avoid the singularity phenomenon, and without any exceeding of the physical constraints of the robot arm. A real platform (5 DOF "Degree Of Freedom" Lab Volt 5150 Robotic Arm) is used to carry this work practically, in addition to providing it by a vision sensor, where a new approach is proposed to inspect the robot work environment using a designed integrated MATLAB program having the ability to recognize the changeable locations of each of the robotic arm's end-effector, the goal, and the multi existed obstacles through a recorded film taken by a webcam, then these information will be treated using the FLC where its outputs represent the values that must be delivered to the robot to adopt them in its next steps till reaching to the goal in collision-free movements. The experimental results showed that the developed robotic ann travels successfully from Start to Goal where a high percentage of accuracy in arriving to Goal was achieved, and without colliding with any obstacle ensuring the harmonization between the theoretical part and the experimental part in achieving the best results of controlling the robotic arm's motion.
文摘Percutaneous closure of a prosthetic paravalvular leak (PVL) is a challenging procedure. Operators must use devices constructed for other applications. We present the use of a device which is specifically designed for PVL closure. To the best of our knowledge, there is no publication in MEDLINE reporting the use of the device.
文摘Taking the steady motion status as a starting point,according to the modeling of actual state of theoretical analysis,a predigested model of supercavity vehicle was established,and relationship expressions of these angles were obtained when the movement of supercavity vehicle was stable.A theoretical analysis on the stability of underwater high-speed movement in the movement simulation program was conducted and the simulation results were given.Then the force status of the supercavity vehicle was elicited from the results.The finite element analysis was carried out based on the stability at all angles obtained from simulation results.Taking a pilot model as example,the Monte Carlo method was adopting to analyze the reliability with the given state of force and displacement.The result indicates that this method is feasible.
文摘The problem of fault information process in telephone networks manage ment system in AT & T in the US has been solved with stepanwise learning approach.This method makes the information decrease step by step by means of merge and sort, classifies the information to several typical classes and establishes the knowledge base (KB) eventually. If new fault information is inputted, we will call the knowl edge in KB and predict the related faults which will happen.
文摘In sports timing systems,P2P communication is used at low frequency bandwidths(under 135 KHz) between tags and readers in the RFID field.However,in such cases,collisions tend to occur when a reader deals with multiple RFID tags simultaneously.To overcome this issue,a sports timing system including a Multi Reader Controller(MRC)loaded with an advanced multiple reader algorithm and application was created and applied at large-scale citizens' marathon events.In these cases,a large number of people pass over the installed urethane type's antenna mat continually during a short period of time.This study verified the superiority of the improved algorithm and application through the on-thespot application of the multi reader algorithm and application program,which allows us to smoothly measure runners' times through multiaccess reading for rapid collision avoidance.
基金The National Defense Project of China(No417010602)
文摘An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotation labels of agents and channels. The confined region labels were used to uniquely identify the constraints on the migration and communication of agents, with the labels, the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation. The operational semantics for the calculus was given out, and a type system which enforces security properties called confined migration and confined communication was developed.
文摘A practical method for visualizing flood area and evaluating damage is presented, which consists of two technical approaches: self\|programming and adapting commercial GIS platforms. The low\|cost and easy\|to\|use GIS\|Based model developed by self\|programming can meet current requirements of most local authorities, especially in developing countries. In this model, two cases, non\|source flood and source flood, are distinguished and the Seed\|spread algorithm suitable for source\|flood is discussed; The flood damage is assessed by overlaying the flood area range with thematic maps and other related social and economic data. and all thematic maps are converted to raster format before overlay analysis. Two measures are taken to improve the operation efficiency of speed seed\|spread algorithm. The accuracy of the model mainly depends on the resolution and precision of the DEM data, and the accuracy of registering all raster layers and the quality of attribute data.
基金marine research institute (MRC) of AUT for some financial support of this project
文摘The research performed in this paper was carried out to investigate the computational procedure to design seakeeping optimized ship hull form. To reach the optimized hull form, four stages should be done, which consists of: generate alternative hull form, seakeeping calculations, objective functions and optimization techniques. There are many parameters that may be determined in ship hull form optimization. This paper deals with developed strip theory for determining the seakeeping performance, genetic algorithm (GA) as optimization method, high order equations for curve fitting of the hull form and finally reaching to the minimum bow vertical motion in regular head waves. The Wigley hull is selected as an initial hull and carried to be optimized. Two cases are considered. For the first case, the only form coefficients of the hull (CB, CM, Cw, Cp) are changed and main dimensions (L, B, 7) are fixed. In the second case both hull form and main dimensions are varied simultaneously. Finally, optimized hull form and its seakeeping performances are presented. The results of optimization procedure demonstrate that the optimized hull forms yield a reduction in vertical motion and acceleration.
文摘The contact angle is one of important parameters to simulate droplet spreading and impingement phenomena on the surface. In the most numerical research, it is assumed constant value and it is implemented as boundary condition. However, contact angle is changed according to contact line velocity and time. Hence, for accurate simulation, dynamic contact angle which has various values as time elapsed is adopted. In the present study, the numerical analysis is performed on the droplet spreading phenomena considering dynamic contact angle function which is obtained from single droplet spreading experiment on the flat and bare surface. The CIP (cubic interpolated pseudo-particle) method by Yabe is used for analysis of interface between liquid and gas phases. The numerical results considering contact angle function which newly modeled as time and contact angle are compared with numerical results considering Hoffman's function and experimental data for range of Weber number which are 4.427 and 11.334. In contrast of numerical result considering Hoffman's function, the numerical result shows good agreement with experimental data as time elapsed in contact angle evolution, deformation of droplet spreading radius and height. Indeed, overall, the results display the increasing maximum spreading radius and the decreasing height as Weber numbers increased.
文摘This paper introduces the operational characteristics of the era of big data and the current era of big data challenges, and exhaustive research and design of big data analytics platform based on cloud computing, including big data analytics platform architecture system, big data analytics platform software architecture, big data analytics platform network architecture big data analysis platform unified program features and so on. The paper also analyzes the cloud computing platform for big data analysis program unified competitive advantage and development of business telecom operators play a certain role in the future.
文摘The impact of different phases of shipment (at sea and at port) on two German white wines of two vintages and the lasting effects of the temperature regimes over time was investigated. The wines were subjected to three temperature programs--control (15 ℃), linear increase (15℃ steadily increasing to 45 ℃), and diurnal fluctuation (15 ℃/40 ℃)--in both movement and non-movement conditions. The wines were analyzed for chemical, physical and sensorial changes at one and eight months post-treatment. Changes in temperature and pressure were recorded within the bottles, which correlated with the temperature programs: +0.04 bar/℃ in the linear increase program and +0.08 bar/℃ in the diurnal fluctuation program. The oxygen levels in the headspace and in the wine were monitored during all of the treatments. The oxygen development in the bottles was similar between the diurnal and linear programs, and was found to be distinctive from the control program. The chemical analysis revealed that there were significant differences related to the experimental treatments of the wines for the following parameters: tartaric acid, free sulfur dioxide, total sulfur dioxide and percent cork weight loss measurements. Difference sensory testing found very few differences. After eight months storage, significant differences were found in the Diurnal Non-movement treatment compared to Linear Non-movement and control treatments, as well as Diurnal Movement and Control treatments for the 2014 Miiller-Thurgau wine. Sensory descriptive analysis of the wines found that the wines could be differentiated by variety, but could not be distinguished according to experimental treatment after one month storage. These results indicate that wines of these types are more robust to shipping conditions than previously found.
基金This study was provided by The Scientific Reuter Foundation of Liaoning Provincial Education Department,China(grant no.LZ2020039).
文摘Objectives To explore the effectiveness of the mobile app-based multidisciplinary exercise management on patients who receive percutaneous coronary intervention(PCI).Methods From January to October 2020,54 patients after PCI were randomly assigned to the intervention group(n=27)and the control group(n=27).The intervention group received the mobile app-based multidisciplinary exercise management,whereas the control group received routine care.The patients after PCI began to take intervention one month after the operation,and the intervention lasted for two months.Before and after the intervention,6-Minute Walking Distance was used to evaluate the patient’s exercise tolerance,and the patient’s exercise compliance was evaluated according to the patient’s exercise status recorded by the mobile app.The cognitive questionnaire on knowledge about PCI treatment for Coronary Heart Disease,the Self-efficacy for Chronic Disease Scale and the Perceived Social Support Scale were used to evaluate patients’disease-related cognition,self-efficacy and perception of social support.This study was registered on Clinical Trials.gov with registration number ChiCTR2000028930.Results Totally 51 patients after PCI who completed this study(25 patients in the intervention group and 26 patients in the control group)were included in the analysis.After 2 months of intervention,the exercise compliance of patients in the intervention group was better than that in the control group.And 6-Minute Walking Distance(469.36±57.48 vs.432.81±67.09),and the scores of knowledge of PCI treatment for coronary heart disease(52.64±9.82 vs.42.42±8.54),Self-efficacy for Chronic Disease Scale(42.40±8.04 vs.36.88±7.73)and Perceived Social Support Scale(74.04±5.73 vs.66.69±6.86)in the intervention group were higher than those in the control group with statistical significance(P<0.05).Conclusions The multidisciplinary exercise management based on the mobile app can effectively improve exercise tolerance,exercise compliance,disease-related cognition,self-efficacy,and perception of social support during exercise training for patients after PCI.
文摘The aim of this work is to study the interaction of spoken words and images that are used within programs targeted to popularize knowledge among teenagers. We will look into the program Bit@bit developed by Television de Catalunya, which is intended to disseminate computer concepts, tools and procedures. In this kind of program, one can find spoken language (on/off screen voices, interviews, etc.), other oral material (sounds, music, songs), written language (descriptions, title sequences, inserts and Uniform Resource Locator, or electronic addresses), and other visual material (film cut images, advertising, other TV programs, cartoons, films, both location or studio images, depicting reality, or computer screens, or logotypes). The profusion of multimodal elements used in this program helps to keep the young audience's attention. The use of references to their world or knowledge, as a target group, is based on interplay among different semiotic strategies. At the same time, the entire program's multi-segmentation into short video clips, combined with a fast paced sound track helps its audience to understand the specialized explanations presented. Of all the multimodal wealth that the program presents, we will concentrate only on the relationship between the words and the images (leaving other secondary semiotics to one side), the main strategy for achieving the objective of transmitting knowledge and winning adolescent audiences.
基金supported by the China National Natural Science Foundation (Grant No. 40841010,40972083,41172162)CGS Foundation (Grant No.1212011121268)Foundation from State Key Laboratory of Oil and Gas Reservoir Geology and Exploitation (Grant No. SK-0801)
文摘Longmen Mountain located at the boundary between the Sichuan Basin and Tibetan Plateau,representing the steepest gradient of any edges of the plateau.Three endmember models of uplift process and mechanism have been proposed,including crustal thickening,crustal flow,and crustal isostatic rebound.Here we use coeval sedimentary sequences in the foreland basin to restraint uplift process and mechanism in the Longmen Mountain.The more than 10,000 m thick Late TriassicQuaternary strata filled in this foreland basin and can be divided into six megasequences that are distinguished as two distinct types.The first type is the wedge-shaped megasequences which are sedimentary response of strong active thrust loading events,characterized by a high rate of subsidence and sediment accumulation,coarsening-upward succession and a dual-sourced sediment supply.This type includes Late Triassic,Late Jurassic to Early Cretaceous and Late Cretaceous to Paleogene megasequences.The second type is the tabular megasequences,characterized by the low rate of subsidence and sediment accumulation,finingupward succession,and a single-sourced sediment supply,which is sedimentary response of isostatic rebound and erosion unloading.This type includes the Early to Middle Jurassic,Middle Cretaceous and Neogene to Quaternary megasequences.Basing on sedimentary,active tectonic,geomorphic evidence,we infer that the direction has been reversed from SSWdirected sinistral strike-slip to NNE-directed dextral strike-slip during 40-3.6 Ma,and since 3.6 Ma,the Longmen Mountain thrust belt belong to times of isostatic rebound and erosional unloading with NNEdirected dextral strike-slip.This suggests that crustal isostatic rebound is a primary driver for uplift and topography of the present Longmen Mountain.The Wenchuan(Ms8.0) earthquake,which ruptured a large thrust fault with NNE-directed dextral strikeslip along the range front,is an active manifestation of this crustal isostatic rebound process with dextral strike-slipping and shortening.This process may be the cause for the Wenchuan Earthquake and the apparent paradox of high relief,little shortening,the relative dearth of historical seismicity in the region.