[Objective] A kind of biogas engineering geographic information system was designed and realized.[Method] Based on the data of the investigation of the large and medium-sized biogas projects in Beijing,the system user...[Objective] A kind of biogas engineering geographic information system was designed and realized.[Method] Based on the data of the investigation of the large and medium-sized biogas projects in Beijing,the system user's need and function demand were studied.Sub-system function was divided.By using SuperMap IS.NET,C# and SQL Server 2005 as the database and WebGIS frame,the system spatial and attribute database were designed so as to realize the WebGIS software of biogas project in Beijing.[Result] The system provided application platform for the distribution of biogas project information.User can realize the submission and inquiry the feedback of biogas project information based on system application right etc,so as to visually,fully and precisely inquiry project data.Based on the comprehensive analysis of data,the current state of biogas project and change trend were studied and decided.[Conclusion] The system provided convenience and services to relevant departments' planning and management of biogas project.展开更多
On the basis of information theory and statistical methods, we use mutual information, n- tuple entropy and conditional entropy, combined with biological characteristics, to analyze the long range correlation and shor...On the basis of information theory and statistical methods, we use mutual information, n- tuple entropy and conditional entropy, combined with biological characteristics, to analyze the long range correlation and short range correlation in human Y chromosome palindromes. The magnitude distribution of the long range correlation which can be reflected by the mutual information is PS〉PSa〉PSb (P5a and P5b are the sequences that replace solely Alu repeats and all interspersed repeats with random uneorrelated sequences in human Y chromosome palindrome 5, respectively); and the magnitude distribution of the short range correlation which can be reflected by the n-tuple entropy and the conditional entropy is PS〉P5a〉PSb〉random uncorrelated sequence. In other words, when the Alu repeats and all interspersed repeats replace with random uneorrelated sequence, the long range and short range correlation decrease gradually. However, the random nncorrelated sequence has no correlation. This research indicates that more repeat sequences result in stronger correlation between bases in human Y chromosome. The analyses may be helpful to understand the special structures of human Y chromosome palindromes profoundly.展开更多
Traffic wave theory is used to study the critical conditions for traffic jams according to their features. First, the characteristics of traffic wave propagation is analyzed for the simple signal-controlled lane and t...Traffic wave theory is used to study the critical conditions for traffic jams according to their features. First, the characteristics of traffic wave propagation is analyzed for the simple signal-controlled lane and the critical conditions for oversaturation is established. Then, the basic road is decomposed into a series of one-way links according to its topological characteristics. Based on the decomposition, traffic wave propagation under complex conditions is studied. Three complicated factors are considered to establish the corresponding critical conditions of jam formation, namely, dynamic and insufficient split, channelized section spillover and endogenous traffic flow. The results show that road geometric features, traffic demand structures and signal settings influence the formation and propagation of traffic congestion. These findings can serve as a theoretical basis for future network jam control.展开更多
In order to describe the travel time of signalcontrolled roads, a travel time model for urban basic roads based on the cumulative curve is proposed. First, the traffic wave method is used to analyze the formation and ...In order to describe the travel time of signalcontrolled roads, a travel time model for urban basic roads based on the cumulative curve is proposed. First, the traffic wave method is used to analyze the formation and dispersion of the vehicle queue. Cumulative curves for road entrances and exits are established. Based on the cumulative curves, the travel time of the one-lane road under stable flow input is derived. And then, the multi-lane road is decomposed into a series of single-lane links based on its topological characteristics. Hence, the travel time function for the basic road is obtained. The travel time is a function of road length, flow and control parameters. Numerical analyses show that the travel time depends on the supply-demand condition, and it has high sensitivity during peak hours.展开更多
To meet the requirements of modeling the new modality of peer-to-peer(P2P)network applications which have been rapidly developing in the Internet recently, a formal description method for modeling multiparty concurr...To meet the requirements of modeling the new modality of peer-to-peer(P2P)network applications which have been rapidly developing in the Internet recently, a formal description method for modeling multiparty concurrent network interactions is studied. The main characteristics and the classifications of P2P systems are discussed. Considering the requirements of P2P application modeling and referring to the component-based modeling thought, a description method based on communicating sequential processes (CSP)is proposed for the P2P network models. By using a CSP process group, this method can describe the dynamic interactive relationship which focuses on multiparty concurrent interaction of P2P systems more advantageously and accurately. The application of nondeterministic semantemes of CSP in describing the interactive relationship of P2P networks is discussed. The advantages and description abilities of the proposed method are demonstrated through the modeling of a new P2P media-on-demand system.展开更多
A capacity model of multi-phase signalized intersections is derived by a stopping-line method. It is simplified with two normal situations: one situation involves one straight lane and one left-turn lane; the other s...A capacity model of multi-phase signalized intersections is derived by a stopping-line method. It is simplified with two normal situations: one situation involves one straight lane and one left-turn lane; the other situation involves two straight lanes and one left-turn lane. The results show that the capacity is mainly relative to signal cycle length, phase length, intersection layout and following time. With regard to the vehicles arrival rates, the optimal model is derived based on each phase's remaining time balance, and it is solved by Lagrange multipliers. Therefore, the calculation models of the optimal signal cycle length and phase lengths are derived and simplified. Compared to the existing models, the proposed model is more convenient and practical. Finally, a practical intersection is chosen and its signal cycles and phase lengths are calculated by the proposed model.展开更多
To study the measurement of distance under the condition of the frequency modulation (FM) multi component signal of a short range radar, the multi points scattering model of a target, the TLS ESPRIT (total least sq...To study the measurement of distance under the condition of the frequency modulation (FM) multi component signal of a short range radar, the multi points scattering model of a target, the TLS ESPRIT (total least square estimation of signal parameters via rotational invariance techniques) and the mathematical statistics methods were used. The method of computing single frequency signal's instantaneous frequency (IF) is unsuitable to the multi component signal. By using the method of the TLS ESPRIT combined with the mathematical statistics, the multi component signal's IF can be obtained. The computer simulation has shown that the method has the high accuracy for measuring the distance.展开更多
[Objective]The experiment aimed to study the effects of meteorological factors under different weather conditions on soil respiration. [ Method] The path analysis was used to analyze meteorological factors which influ...[Objective]The experiment aimed to study the effects of meteorological factors under different weather conditions on soil respiration. [ Method] The path analysis was used to analyze meteorological factors which influenced soil respiration of wheat field under different weather condition and at jointing stage. [ Result] In sunny day, the correlations between ground temperature at 5 cm, solar radiation, air relative humidity, air temperature and soil respiration were all at significant level while solar radiation and ground temperature at 5 cm were the major factors which influenced soil respiration. In cloudy day, solar radiation was a major factor which influenced soil respiration.[ Conclusion] The soil respiration and surplus path coefficient in sunny day were all higher than these in cloudy day, which demonstrated that except influenced by ground temperature, air temperature, solar radiation and air relative humidity, the soil respiration was also influenced by other factors especially biological factor.展开更多
To investigate the process of information technology (IT) impacts on firm competitiveness, an integrated process model of IT impacts on firm competitiveness is brought forward based on the process-oriented view, the...To investigate the process of information technology (IT) impacts on firm competitiveness, an integrated process model of IT impacts on firm competitiveness is brought forward based on the process-oriented view, the resource-based view and the complementary resource view, which is comprised of an IT conversion process, an information system (IS) adoption process, an IS use process and a competition process. The application capability of IT plays the critical role, which determines the efficiency and effectiveness of the aforementioned four processes. The process model of IT impacts on firm competitiveness can also be used to explain why, under what situations and how IT can generate positive organizational outcomes, as well as theoretical bases for further empirical study.展开更多
UWB signal digitization depends, to a large extent, on the accuracy of sampling time. A highaccuracy programmable timer is therefore the key to implementing UWB signal data acquisition. A high-accuracy programmable ti...UWB signal digitization depends, to a large extent, on the accuracy of sampling time. A highaccuracy programmable timer is therefore the key to implementing UWB signal data acquisition. A high-accuracy programmable timer based on the principle of ramp generators is described in this paper. The counting range of the timer is up to 16 bits, the timing precision is 8 ps, and the equivalent sampling rate is up to 50G Hz. No other identical product has been reported so far. This timer was successfully used in the data acquisition system for geological radar signals developed by us.展开更多
Remote monitoring of tools for prediction of tool wear in cutting processes was considered, and a method of implementation of a remote-monitoring system previously developed was proposed. Sensor signals were received ...Remote monitoring of tools for prediction of tool wear in cutting processes was considered, and a method of implementation of a remote-monitoring system previously developed was proposed. Sensor signals were received and tool wear was predicted in the local system using an ART2 algorithm, while the monitoring result was transferred to the remote system via intemet. The monitoring system was installed at an on-site machine tool for monitoring three kinds of tools cutting titanium alloys, and the tool wear was evaluated on the basis of vigilances, similarities between vibration signals received and the normal patterns previously trained. A number of experiments were carried out to evaluate the performance of the proposed system, and the results show that the wears of finishing-cut tools are successfully detected when the moving average vigilance becomes lower than the critical vigilance, thus the appropriate tool replacement time is notified before the breakage.展开更多
In this paper we propose two quantum secure direct communication (QSDC) protocols with authentication.The authentication key expansion method is introduced to improve the life of the keys with security.In the first sc...In this paper we propose two quantum secure direct communication (QSDC) protocols with authentication.The authentication key expansion method is introduced to improve the life of the keys with security.In the first scheme,the third party, called Trent is introduced to authenticate the users that participate in the communication.He sends thepolarized photons in blocks to authenticate communication parties Alice and Bob using the authentication keys.In thecommunication process, polarized single photons are used to serve as the carriers, which transmit the secret messagesdirectly.The second QSDC process with authentication between two parties is also discussed.展开更多
For business service workflow,QoS-based services selection can't guarantee whether the composite service satisfies user' s requirement after delivery,because once any service interrupts or quality of service(Q...For business service workflow,QoS-based services selection can't guarantee whether the composite service satisfies user' s requirement after delivery,because once any service interrupts or quality of service(QoS) maliciously reduces,the quality of workflow will be reduced.Trustworthy services can provide reliable QoS,so trustworthiness research could improve the efficiency of services selection.This paper investigates trust assessment in the perspective of workflow.Firstly,trust network of business service workflow(TN-BSW) is proposed to analyze trust attributes;then,the trust measurement system of TN-BSW is investigated to assess the trust value quantitatively;and then,a trust-aware service recommendation model(TaSRM) is proposed to enhance the efficiency of QoS-basedservices selection;finally,experiment shows the feasibility of TN-BSWand the performance of TaSRM.展开更多
To improve the forecasting reliability of travel time, the time-varying confidence interval of travel time on arterials is forecasted using an autoregressive integrated moving average and generalized autoregressive co...To improve the forecasting reliability of travel time, the time-varying confidence interval of travel time on arterials is forecasted using an autoregressive integrated moving average and generalized autoregressive conditional heteroskedasticity (ARIMA-GARCH) model. In which, the ARIMA model is used as the mean equation of the GARCH model to model the travel time levels and the GARCH model is used to model the conditional variances of travel time. The proposed method is validated and evaluated using actual traffic flow data collected from the traffic monitoring system of Kunshan city. The evaluation results show that, compared with the conventional ARIMA model, the proposed model cannot significantly improve the forecasting performance of travel time levels but has advantage in travel time volatility forecasting. The proposed model can well capture the travel time heteroskedasticity and forecast the time-varying confidence intervals of travel time which can better reflect the volatility of observed travel times than the fixed confidence interval provided by the ARIMA model.展开更多
This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system...This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.展开更多
with rapid achievement of current information technology and computing ability and applications,much more digital content such as films,cartoons,design drawings,office documents and software source codes are produced ...with rapid achievement of current information technology and computing ability and applications,much more digital content such as films,cartoons,design drawings,office documents and software source codes are produced in daily work,however to protect the content being copying,shared or deliberately stolen by inside or outside,digital rights management(DRM) became more and more important for digital content protection.In this paper,we studied various DRM model,technology and application,and first proposed DRM Security Infrastructure(DSI),in which we defined encryption,hash,signature algorithm,watermarking algorithms,authentication,usage control,trusted counter,conditional trace,secure payment,and based on the DSI we then proposed a whole classification approach and architecture of all kinds of DRMs,in which we proposed 6 typical classes of copyrights and content protection DRMs architecture:(1) Software-oriented DRM,(2) e Book-oriented DRM,(3) Video-oriented DRM,(4) Image-Oriented DRM(5) Unstructured data oriented DRM,(6) Text-oriented DRM.Based on the above DSI,we then proposed a dynamic DRM model selection method for various DRM application,which can be adapted dynamically for different technology of different applications,which can provide awhole solution for variant DRM development in a rapid and customized mode.The proposed DRM method,technology and application in this paper provided a common,flexible and extendable solution for variant DRM scenes,and can support rapid and customized development.Moreover,we proposed an opinion that the future life will enter into a new era that the content usage and consumption will not again adopt DRM technology rather than with law,liberty and morality.展开更多
The convergence of telecommunications and computer science, the realization of computer-based networks and the integration of languages, by overcoming space and time constraints, gave rise to the globalization process...The convergence of telecommunications and computer science, the realization of computer-based networks and the integration of languages, by overcoming space and time constraints, gave rise to the globalization process and to the development of the knowledge society. We are facing a true revolution that is based on the multiplication of knowledge and its corresponding applications, but also on the knowledge codification, memorization and knowledge transfer. The challenges that educational institutions, and the University in particular, are called to face are linked to the fact that classrooms or lecture halls are no longer the only places where one can follow study courses: anybody from anywhere, if he has the required technological equipment and the appropriate materials can build his own environment to carry on his own educational and self-learning process. This is the reason why we need to identify new models of university and psycho-pedagogic theories allowing for the development of new Internet-based teaching and learning models by carrying on research work. This paper describes the university model proposed by International Telematic University UN1NETTUNO, rapidly become acknowledged at an international level.展开更多
Objective:To establish a scientific,objective and applicable index system for evaluating out- standing biomedical scientists for science foundation of Shanghai.Methods:According to the principal in- dices that have be...Objective:To establish a scientific,objective and applicable index system for evaluating out- standing biomedical scientists for science foundation of Shanghai.Methods:According to the principal in- dices that have been used in the developed countries for evaluating their talented personnel and the reality of our country,an index system was set up to evaluate the outstanding biomedical scientists for Shanghai science foundation.The following parameters were used to simplify the indices.,correlation coefficient, multiple correlation coefficient,partial correlation coefficient,creditability,and discriminatory power. And analytic hierarchy process was used to determine the weights of each index.Results and Conclusions: The established index system is scientific and applicable;it is helpful for cultivating and evaluating out- standing biomedical scientists.展开更多
基金Supported by Countryside Energy Comprehensive Construction Pro-ject of Science,Technology and Education Branch of AgriculturalDepartment [AFD2009J54]~~
文摘[Objective] A kind of biogas engineering geographic information system was designed and realized.[Method] Based on the data of the investigation of the large and medium-sized biogas projects in Beijing,the system user's need and function demand were studied.Sub-system function was divided.By using SuperMap IS.NET,C# and SQL Server 2005 as the database and WebGIS frame,the system spatial and attribute database were designed so as to realize the WebGIS software of biogas project in Beijing.[Result] The system provided application platform for the distribution of biogas project information.User can realize the submission and inquiry the feedback of biogas project information based on system application right etc,so as to visually,fully and precisely inquiry project data.Based on the comprehensive analysis of data,the current state of biogas project and change trend were studied and decided.[Conclusion] The system provided convenience and services to relevant departments' planning and management of biogas project.
基金This work was supported by the National Natu- ral Science Foundation of China (No.20173023 and No.90203012) and the Specialized Research Fund for the Doctoral Program of Higher Education of China (No.20020730006).
文摘On the basis of information theory and statistical methods, we use mutual information, n- tuple entropy and conditional entropy, combined with biological characteristics, to analyze the long range correlation and short range correlation in human Y chromosome palindromes. The magnitude distribution of the long range correlation which can be reflected by the mutual information is PS〉PSa〉PSb (P5a and P5b are the sequences that replace solely Alu repeats and all interspersed repeats with random uneorrelated sequences in human Y chromosome palindrome 5, respectively); and the magnitude distribution of the short range correlation which can be reflected by the n-tuple entropy and the conditional entropy is PS〉P5a〉PSb〉random uncorrelated sequence. In other words, when the Alu repeats and all interspersed repeats replace with random uneorrelated sequence, the long range and short range correlation decrease gradually. However, the random nncorrelated sequence has no correlation. This research indicates that more repeat sequences result in stronger correlation between bases in human Y chromosome. The analyses may be helpful to understand the special structures of human Y chromosome palindromes profoundly.
基金The National Basic Research Program of China(973 Program)(No.2006CB705505)the Basic Scientific Research Fund of Jilin University(No.200903209)
文摘Traffic wave theory is used to study the critical conditions for traffic jams according to their features. First, the characteristics of traffic wave propagation is analyzed for the simple signal-controlled lane and the critical conditions for oversaturation is established. Then, the basic road is decomposed into a series of one-way links according to its topological characteristics. Based on the decomposition, traffic wave propagation under complex conditions is studied. Three complicated factors are considered to establish the corresponding critical conditions of jam formation, namely, dynamic and insufficient split, channelized section spillover and endogenous traffic flow. The results show that road geometric features, traffic demand structures and signal settings influence the formation and propagation of traffic congestion. These findings can serve as a theoretical basis for future network jam control.
基金The National Basic Research Program of China (973 Program) ( No. 2006CB705505)the Basic Scientific Research Fund of Jilin University ( No. 200903209)
文摘In order to describe the travel time of signalcontrolled roads, a travel time model for urban basic roads based on the cumulative curve is proposed. First, the traffic wave method is used to analyze the formation and dispersion of the vehicle queue. Cumulative curves for road entrances and exits are established. Based on the cumulative curves, the travel time of the one-lane road under stable flow input is derived. And then, the multi-lane road is decomposed into a series of single-lane links based on its topological characteristics. Hence, the travel time function for the basic road is obtained. The travel time is a function of road length, flow and control parameters. Numerical analyses show that the travel time depends on the supply-demand condition, and it has high sensitivity during peak hours.
基金The National Basic Research Program of China (973 Program)(No.2003CB314801,2009CB320501)
文摘To meet the requirements of modeling the new modality of peer-to-peer(P2P)network applications which have been rapidly developing in the Internet recently, a formal description method for modeling multiparty concurrent network interactions is studied. The main characteristics and the classifications of P2P systems are discussed. Considering the requirements of P2P application modeling and referring to the component-based modeling thought, a description method based on communicating sequential processes (CSP)is proposed for the P2P network models. By using a CSP process group, this method can describe the dynamic interactive relationship which focuses on multiparty concurrent interaction of P2P systems more advantageously and accurately. The application of nondeterministic semantemes of CSP in describing the interactive relationship of P2P networks is discussed. The advantages and description abilities of the proposed method are demonstrated through the modeling of a new P2P media-on-demand system.
基金China Postdoctoral Science Foundation(No.2004035208)Jiangsu Communication Science Foundation (No.06Y36)
文摘A capacity model of multi-phase signalized intersections is derived by a stopping-line method. It is simplified with two normal situations: one situation involves one straight lane and one left-turn lane; the other situation involves two straight lanes and one left-turn lane. The results show that the capacity is mainly relative to signal cycle length, phase length, intersection layout and following time. With regard to the vehicles arrival rates, the optimal model is derived based on each phase's remaining time balance, and it is solved by Lagrange multipliers. Therefore, the calculation models of the optimal signal cycle length and phase lengths are derived and simplified. Compared to the existing models, the proposed model is more convenient and practical. Finally, a practical intersection is chosen and its signal cycles and phase lengths are calculated by the proposed model.
基金Doctoral Programme Foundation of Institution of Higher Education of China.
文摘To study the measurement of distance under the condition of the frequency modulation (FM) multi component signal of a short range radar, the multi points scattering model of a target, the TLS ESPRIT (total least square estimation of signal parameters via rotational invariance techniques) and the mathematical statistics methods were used. The method of computing single frequency signal's instantaneous frequency (IF) is unsuitable to the multi component signal. By using the method of the TLS ESPRIT combined with the mathematical statistics, the multi component signal's IF can be obtained. The computer simulation has shown that the method has the high accuracy for measuring the distance.
基金Supported by the Scientific Research Foundation of Nanjing Universityof Information Science and Technology(80124)~~
文摘[Objective]The experiment aimed to study the effects of meteorological factors under different weather conditions on soil respiration. [ Method] The path analysis was used to analyze meteorological factors which influenced soil respiration of wheat field under different weather condition and at jointing stage. [ Result] In sunny day, the correlations between ground temperature at 5 cm, solar radiation, air relative humidity, air temperature and soil respiration were all at significant level while solar radiation and ground temperature at 5 cm were the major factors which influenced soil respiration. In cloudy day, solar radiation was a major factor which influenced soil respiration.[ Conclusion] The soil respiration and surplus path coefficient in sunny day were all higher than these in cloudy day, which demonstrated that except influenced by ground temperature, air temperature, solar radiation and air relative humidity, the soil respiration was also influenced by other factors especially biological factor.
基金The National Natural Science Foundation of China(No.70671024).
文摘To investigate the process of information technology (IT) impacts on firm competitiveness, an integrated process model of IT impacts on firm competitiveness is brought forward based on the process-oriented view, the resource-based view and the complementary resource view, which is comprised of an IT conversion process, an information system (IS) adoption process, an IS use process and a competition process. The application capability of IT plays the critical role, which determines the efficiency and effectiveness of the aforementioned four processes. The process model of IT impacts on firm competitiveness can also be used to explain why, under what situations and how IT can generate positive organizational outcomes, as well as theoretical bases for further empirical study.
基金This research is sponsored by National Natural Science Foundation of China,Special Fund of Scientific Instruments:The studyand development of flameproof ground penetrating radar (50127402).
文摘UWB signal digitization depends, to a large extent, on the accuracy of sampling time. A highaccuracy programmable timer is therefore the key to implementing UWB signal data acquisition. A high-accuracy programmable timer based on the principle of ramp generators is described in this paper. The counting range of the timer is up to 16 bits, the timing precision is 8 ps, and the equivalent sampling rate is up to 50G Hz. No other identical product has been reported so far. This timer was successfully used in the data acquisition system for geological radar signals developed by us.
基金supported by Changwon National University in 2009-2010
文摘Remote monitoring of tools for prediction of tool wear in cutting processes was considered, and a method of implementation of a remote-monitoring system previously developed was proposed. Sensor signals were received and tool wear was predicted in the local system using an ART2 algorithm, while the monitoring result was transferred to the remote system via intemet. The monitoring system was installed at an on-site machine tool for monitoring three kinds of tools cutting titanium alloys, and the tool wear was evaluated on the basis of vigilances, similarities between vibration signals received and the normal patterns previously trained. A number of experiments were carried out to evaluate the performance of the proposed system, and the results show that the wears of finishing-cut tools are successfully detected when the moving average vigilance becomes lower than the critical vigilance, thus the appropriate tool replacement time is notified before the breakage.
基金Supported by the National Fundamental Research Program under Grant No.2010CB923202Specialized Research Fund for the Doctoral Program of Education Ministry of China under Grant No.20090005120008+1 种基金 the Fundamental Research Funds for the Central Universities under Grant No.BUPT2009RC0710 China National Natural Science Foundation under Grant Nos.60871082,60937003 and 10947151
文摘In this paper we propose two quantum secure direct communication (QSDC) protocols with authentication.The authentication key expansion method is introduced to improve the life of the keys with security.In the first scheme,the third party, called Trent is introduced to authenticate the users that participate in the communication.He sends thepolarized photons in blocks to authenticate communication parties Alice and Bob using the authentication keys.In thecommunication process, polarized single photons are used to serve as the carriers, which transmit the secret messagesdirectly.The second QSDC process with authentication between two parties is also discussed.
基金Supported by the Research Fund for the Doctoral Program of Higher Education of China(No.20120002110034)Initiative Scientific Research Program of Tsinghua University(No.20111080998)
文摘For business service workflow,QoS-based services selection can't guarantee whether the composite service satisfies user' s requirement after delivery,because once any service interrupts or quality of service(QoS) maliciously reduces,the quality of workflow will be reduced.Trustworthy services can provide reliable QoS,so trustworthiness research could improve the efficiency of services selection.This paper investigates trust assessment in the perspective of workflow.Firstly,trust network of business service workflow(TN-BSW) is proposed to analyze trust attributes;then,the trust measurement system of TN-BSW is investigated to assess the trust value quantitatively;and then,a trust-aware service recommendation model(TaSRM) is proposed to enhance the efficiency of QoS-basedservices selection;finally,experiment shows the feasibility of TN-BSWand the performance of TaSRM.
基金The National Natural Science Foundation of China(No.51108079)
文摘To improve the forecasting reliability of travel time, the time-varying confidence interval of travel time on arterials is forecasted using an autoregressive integrated moving average and generalized autoregressive conditional heteroskedasticity (ARIMA-GARCH) model. In which, the ARIMA model is used as the mean equation of the GARCH model to model the travel time levels and the GARCH model is used to model the conditional variances of travel time. The proposed method is validated and evaluated using actual traffic flow data collected from the traffic monitoring system of Kunshan city. The evaluation results show that, compared with the conventional ARIMA model, the proposed model cannot significantly improve the forecasting performance of travel time levels but has advantage in travel time volatility forecasting. The proposed model can well capture the travel time heteroskedasticity and forecast the time-varying confidence intervals of travel time which can better reflect the volatility of observed travel times than the fixed confidence interval provided by the ARIMA model.
文摘This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.
文摘with rapid achievement of current information technology and computing ability and applications,much more digital content such as films,cartoons,design drawings,office documents and software source codes are produced in daily work,however to protect the content being copying,shared or deliberately stolen by inside or outside,digital rights management(DRM) became more and more important for digital content protection.In this paper,we studied various DRM model,technology and application,and first proposed DRM Security Infrastructure(DSI),in which we defined encryption,hash,signature algorithm,watermarking algorithms,authentication,usage control,trusted counter,conditional trace,secure payment,and based on the DSI we then proposed a whole classification approach and architecture of all kinds of DRMs,in which we proposed 6 typical classes of copyrights and content protection DRMs architecture:(1) Software-oriented DRM,(2) e Book-oriented DRM,(3) Video-oriented DRM,(4) Image-Oriented DRM(5) Unstructured data oriented DRM,(6) Text-oriented DRM.Based on the above DSI,we then proposed a dynamic DRM model selection method for various DRM application,which can be adapted dynamically for different technology of different applications,which can provide awhole solution for variant DRM development in a rapid and customized mode.The proposed DRM method,technology and application in this paper provided a common,flexible and extendable solution for variant DRM scenes,and can support rapid and customized development.Moreover,we proposed an opinion that the future life will enter into a new era that the content usage and consumption will not again adopt DRM technology rather than with law,liberty and morality.
文摘The convergence of telecommunications and computer science, the realization of computer-based networks and the integration of languages, by overcoming space and time constraints, gave rise to the globalization process and to the development of the knowledge society. We are facing a true revolution that is based on the multiplication of knowledge and its corresponding applications, but also on the knowledge codification, memorization and knowledge transfer. The challenges that educational institutions, and the University in particular, are called to face are linked to the fact that classrooms or lecture halls are no longer the only places where one can follow study courses: anybody from anywhere, if he has the required technological equipment and the appropriate materials can build his own environment to carry on his own educational and self-learning process. This is the reason why we need to identify new models of university and psycho-pedagogic theories allowing for the development of new Internet-based teaching and learning models by carrying on research work. This paper describes the university model proposed by International Telematic University UN1NETTUNO, rapidly become acknowledged at an international level.
文摘Objective:To establish a scientific,objective and applicable index system for evaluating out- standing biomedical scientists for science foundation of Shanghai.Methods:According to the principal in- dices that have been used in the developed countries for evaluating their talented personnel and the reality of our country,an index system was set up to evaluate the outstanding biomedical scientists for Shanghai science foundation.The following parameters were used to simplify the indices.,correlation coefficient, multiple correlation coefficient,partial correlation coefficient,creditability,and discriminatory power. And analytic hierarchy process was used to determine the weights of each index.Results and Conclusions: The established index system is scientific and applicable;it is helpful for cultivating and evaluating out- standing biomedical scientists.