According to the characteristics of the hardware associated with software in embedded systems, this paper defined a new Fuzzy Petri Nets, and presented a model of embedded systems based on the Fuzzy Petri Nets accordi...
详细信息
According to the characteristics of the hardware associated with software in embedded systems, this paper defined a new Fuzzy Petri Nets, and presented a model of embedded systems based on the Fuzzy Petri Nets according to the new definition. Finally, an example showed the specific modeling method and fault propagation process, illustrated the validity of the model.
Cloud computing is a revolutionary computing paradigm which enables flexible,on-demand and low-cost usage of computing *** advantages are the causes of security and privacy problems,which emerge because the data owned...
详细信息
Cloud computing is a revolutionary computing paradigm which enables flexible,on-demand and low-cost usage of computing *** advantages are the causes of security and privacy problems,which emerge because the data owned by different users are stored in some cloud servers instead of under their own *** to protect the data privacy is the most important in cloud *** this paper,based on virtual adversary structure,a data security access scheme is proposed to protect sensitive *** virtual adversary structure is realized by an efficient secret sharing *** scheme has been shown to have reconstruction and perfect properties of the secret *** only performs modular additions and subtractions and every share is replicated in multiple share *** on virtual adversary structure and secret sharing,the scheme also has some advantages: low computational complexity and high recoverability.
The necessity for people to understand the value of the life insurance policy they are holding is crucial. Statistical information of 2012 shows that life insurance has become an inseparable part of our daily life. In...
详细信息
The necessity for people to understand the value of the life insurance policy they are holding is crucial. Statistical information of 2012 shows that life insurance has become an inseparable part of our daily life. In the United States, insurance premiums total approximately 8.2% of the GDP. For Taiwan, this value ranks first in the world at 18.2% of the GDP, with each person holding 2.2 policies on average. This paper presents a life insurance valuation framework based on the Financial Cloud architecture. By combining various sources of web services, including market information, contract and policy data, and interest rate algorithms, our pricing algorithm can deliver theoretical gains on investing in life insurances. Due to the flexible nature of Financial Cloud, our algorithm can freely choose among varieties of service to deliver results based on different user point of views, i.e., interest rate interpolation method and interest rate data source can be chosen from a pool of web services. Our system is capable of pricing annuity and non-annuity style, whole life, and interest sensitive life insurances. This makes the comparison between similar policies with the same term length possible.
Mathematical models are frequently used to model biological process, such as cardiac electrophysiological systems. In order to separate the models from the implementations, and to facilitate curation, domain specific ...
详细信息
ISBN:
(纸本)9781479941643
Mathematical models are frequently used to model biological process, such as cardiac electrophysiological systems. In order to separate the models from the implementations, and to facilitate curation, domain specific languages (DSLs) have become a popular and effective means of specifying models (Lloyd et al., 2004; Hucka et al., 2004). In previous papers (Gill et al., 2012a; Gill et al., 2012b; McKeever et al., 2013) we have argued for including parameterised modules as part of such DSLs. We presented our prototype Ode language and showed how models could be created in a generic fashion. In this paper we extend our work with concrete examples and simulation results. We show how complex heart models can be constructed by aggregation, encapsulation and subtyping. Our use-case retraces the steps taken by (Niederer et al., 2009), which investigated the common history between cardiac models, and shows how they can be cast in our language to be reused and extended. Our DSL enables ‘physiological model engineering’ through the development of generic modules exploiting high cohesion and low coupling.
In recent years, with the rapid increase of on-line activities, e-commerce has experienced a glorious development accompanied with successful implementation of new commercial patterns. This also brings challenges to t...
详细信息
In recent years, with the rapid increase of on-line activities, e-commerce has experienced a glorious development accompanied with successful implementation of new commercial patterns. This also brings challenges to the analysis of market structures when e-commerce is taken into considerations. This paper first formalizes e-commerce patterns and structures according to New Classical Economics with the assumption that each company has the same labor endowment before choosing their pattern and the e-commerce service supply chain has only three components: transaction, payment, and logistics. Then it uses infra-marginal method to get the existence condition of partial labor division structure in e-commerce market. In the end, this paper uses two commercial cases to demonstrate the rationality of the proposed approach.
Many recent studies on fault localization based on program slicing have mainly focused on static slicing techniques,while the research on fault localization using dynamic slicing tool is *** reason is that dynamic sli...
详细信息
Many recent studies on fault localization based on program slicing have mainly focused on static slicing techniques,while the research on fault localization using dynamic slicing tool is *** reason is that dynamic slicing tools are less available than static *** our paper,we present the use of the dynamic slicing tool,JSlice,which is a dynamic slicing tool available for Java *** experiments choose six representative Java programs,all of which were Java version of Siemens programs which were translated from C *** results show that dynamic slicing can effectively locate faults and JSlice is an effective dynamic slicing tool.
In the context of triple play,3G mobile education has become an inevitable trend in the development of remote education,but a practical 3G mobile education system is scarce in ***,combining with the 3G mobile communic...
详细信息
ISBN:
(纸本)9781467349970
In the context of triple play,3G mobile education has become an inevitable trend in the development of remote education,but a practical 3G mobile education system is scarce in ***,combining with the 3G mobile communication technologies,GPS technology and the characteristics of mobile education,this paper builds a 3G mobile learning system(MLS3G) model based on *** solving the key technologies of 3G intelligent terminal,GPS/GPRS transceiver module,3G gateway module and GIS module,the test verification is passed on the 3G intelligent terminal and MLS3G server *** shows that MLS3G model has better interactivity,real-time performance and versatility.
To reduce the consumption of time when testing a C project using Code Testing system(CTS), this paper puts forward a performance optimization method based on dynamic file cache. Cache Estimation Model, which calculate...
详细信息
To reduce the consumption of time when testing a C project using Code Testing system(CTS), this paper puts forward a performance optimization method based on dynamic file cache. Cache Estimation Model, which calculates the size of the file cache, is the core of this optimization method. It makes dissimilar C projects get different cache size, which shows the cache of CTS has the ability to dynamically change its size. Experimental results of four open source C projects show that the optimization method proposed in this paper can effectively improve the time performance of CTS.
This study discussed the feasibility of developing a system to circulate the heat loss from the coil and iron core of the power transformer equipped for buildings during power supply to the heat recovery unitThis stud...
详细信息
This study discussed the feasibility of developing a system to circulate the heat loss from the coil and iron core of the power transformer equipped for buildings during power supply to the heat recovery unitThis study affixed a copper tube into the transformer insulating oil,allowing the water to circulate at normal temperature in the coil tube,and absorb the heat energy generated by the transformer coil and iron coreThe heat energy was then recovered and storedA low tension power transformer(75 KV) was used in the experimentThe operation was carried out in transforming power supply mode to seek for the most suitable recovery unit for various occasionsThe test results showed that if the hot water recovery efficiency is 50%,in the course of producing hot water,the mean temperature of 175 L normal temperature water can be increased from 20℃ to 50℃,thus producing 125 kJ heat only spends about 34 minThe results proved that the recovery unit for the heat from the power transformer can benefit from heating,prolong the transformer's lifetime,increase the power supply efficiency,and reduce the air conditioning load to save energy and to reduce global warming
In this paper, an algorithm for vehicle logo location using edge direction and density information is proposed. First, using invalid edge removal algorithm and edge density template matching, the license plate region ...
详细信息
ISBN:
(纸本)9781784660468
In this paper, an algorithm for vehicle logo location using edge direction and density information is proposed. First, using invalid edge removal algorithm and edge density template matching, the license plate region is searched and located. Then, the coarse logo region is judged on the basis of the license plate region, and different edge detection operator is adopted based on textual direction judgment to remove the background around the logo region. Finally, mathematical morphology operations are conducted to enhance the logo region, and the logo region can be accurately located. With an abundant samples verified under real conditions, the experiment indicates that it is feasible to adopt this algorithm to achieve accuracy and adaptability in intelligent transportation system.
暂无评论