In the deregulated power market the generator firms compete with each other to reach the maximum profit. And in this type of power market the investors encounter several uncertain parameters. Demand uncertainty is one...
详细信息
ISBN:
(纸本)9781467350723
In the deregulated power market the generator firms compete with each other to reach the maximum profit. And in this type of power market the investors encounter several uncertain parameters. Demand uncertainty is one of the main parameters can reduce the risk of investing when the planners consider in their planning. Stochastic programming has been represented in this article to solve the investment problem. this article proposed a model by considering the demand uncertainties. And also, other parameters including the financial restriction, forced outage rate (FOR), penalty for unserved demand has been considered. the variable decisions in this model include the total benefit of investor, expansion capacity at the beginning of each period, operation level for each generator. Sensitivity analysis for FOR and the penalty for unserved demand on the expansion planning confirm this model. Finally, the proposed framework has been implemented on the case study to approve this model.
Until now there has been no support for specifying and enforcing contracts within a lazy functional program. that is a shame, because contracts consist of pre- and post-conditions for functions that go beyond the stan...
详细信息
ISBN:
(纸本)9781450310543
Until now there has been no support for specifying and enforcing contracts within a lazy functional program. that is a shame, because contracts consist of pre- and post-conditions for functions that go beyond the standard static types. this paper presents the design and implementation of a small, easy-to-use, purely functional contract library for Haskell, which, when a contract is violated, also provides more useful information than the classical blaming of one contract partner. From now on lazy functional languages can profit from the assurances in the development of correct programs that contracts provide.
Mobile learning represents a paradigm shift in the delivery of curricula in higher education. Hand held or mobile devices make use of immediacy, and engage withthe problems as they are set. Based partly on students&#...
详细信息
ISBN:
(纸本)9781467302395
Mobile learning represents a paradigm shift in the delivery of curricula in higher education. Hand held or mobile devices make use of immediacy, and engage withthe problems as they are set. Based partly on students' interest in technology, universities are adapting to take advantage of these changes, especially in computer-based disciplines. By using mobile devices, computer science students can enhance their learning experience. this study concerns computer science lecturers' attitudes towards using mobile technology during programming lectures. Interviews were conducted with instructors who teach programming courses to explore their views on integrating these learning tools into the lecture. the research found that the issues raised by the study participants were not fundamental to their acceptance of such technology. However, the lecturers' positive attitudes towards change were not reflected in their classroom practices. Two findings are discussed: factors affecting educators' willingness to integrate mobile learning as a delivery system during lectures and factors that influence successful integration of such devices into the learning environment for programming courses. Further, the identified factors were classified into two main themes: personal attitudes and curricular issues. this research argues that instructors' acceptance of mobile devices as a learning aid during programming lectures underpins adoption.
Higher-order recursion schemes (HORS) have recently received much attention as a useful abstraction of higher-order functional programs with a number of new verification techniques employing HORS model-checking as the...
详细信息
ISBN:
(纸本)9781450323260
Higher-order recursion schemes (HORS) have recently received much attention as a useful abstraction of higher-order functional programs with a number of new verification techniques employing HORS model-checking as their centrepiece. this paper contributes to the ongoing quest for a truly scalable model-checker for HORS by offering a different, automata theoretic perspective. We introduce the first practical model-checking algorithm that acts on a generalisation of pushdown automata equi-expressive with HORS called collapsible pushdown systems (CPDS). At its core is a substantial modification of a recently studied saturation algorithm for CPDS. In particular it is able to use information gathered from an approximate forward reachability analysis to guide its backward search. Moreover, we introduce an algorithm that prunes the CPDS prior to model-checking and a method for extracting counter-examples in negative instances. We compare our tool withthe state-of-the-art verification tools for HORS and obtain encouraging results. In contrast to some of the main competition tackling the same problem, our algorithm is fixed-parameter tractable, and we also offer significantly improved performance over the only previously published tool of which we are aware that also enjoys this property. the tool and additional material are available from http://***.
Data-parallel programming model (DPPM for short) specialized for data-intensive computing becomes considerable popular because it simplifies the development of distributed parallel programs. DPPMs are classified into ...
详细信息
ISBN:
(纸本)9781467302395
Data-parallel programming model (DPPM for short) specialized for data-intensive computing becomes considerable popular because it simplifies the development of distributed parallel programs. DPPMs are classified into two categories: 1) MapReduce, Dryad;and 2) Piccolo, Function Flow, etc. based on their maturity. We analyze and compare these typical models by deployment, application, data partition, communication, fault tolerance and so on. Finally, we pay more attention to discussing development of key technologies which are deployment of storage and computation, task partition and fault tolerance in DPPM.
Bio-composite materials have numerous advantages,such as low cost,low density,high toughness,acceptable specific strength properties,ease of separation and ***,the bio-composite properties are degraded due to the weak...
Bio-composite materials have numerous advantages,such as low cost,low density,high toughness,acceptable specific strength properties,ease of separation and ***,the bio-composite properties are degraded due to the weak interfacial bonding between the hydrophobic substrate polymer and hydrophilic biodegradable *** wax component and lignin,hemicellulose etc.,adversely affect the interfacial bonding between the *** of bamboo and rice husk surfaces by chemical treatment and coupling agents were carried out in order to study the effects of these on the surface functional group properties and performances of *** modification of bamboo fibers and rice husk by NaOH,Acetic acid,and Silane improved the adhesion *** bamboo composite is the mechanical properties of PP80/PP20 composite was highest tensile and flexural strength in consider of specific gravity in glass fiber was shown similar or outstanding *** the tensile strength,flexural strength and flexural modulus improved with increasing coupling agent *** result indicated that an optimum level of the MAPP was *** Rice husk mechanical properties of PP60/RH40 composite were highest tensile and flexural modulus improved with increasing coupling agent *** result indicated that an optimum level of the MAPP was 5PHR.
this paper describes our practice of teaching Java programming bilingually in the big-scale classes. A perspective is presented that helpfulness instead of success should be taken as the goal of teaching. Since the la...
详细信息
It is known that traditional education is teacher-centered, which is associated chiefly withthe transmission of knowledge. It is very hard to raise students' interests and inspire their motives to learn. Conseque...
详细信息
Traditional description methods of RNA secondary structure could lead higher complexity of time in RNA structure comparison. this article offers a vector method of describing RNA secondary structure. then, we compare ...
详细信息
ISBN:
(纸本)9781467308946;9788994364261
Traditional description methods of RNA secondary structure could lead higher complexity of time in RNA structure comparison. this article offers a vector method of describing RNA secondary structure. then, we compare RNA secondary structures tree by dynamic programming and those structures come from NA segments of highly pathogenic H5N1 virus. It is superior to the method of minimum free energy on time complexity. And it shows RNAs hold higher similar structure when they hold stronger pathogenicity, which could be a good guide for biological experiments.
three-dimensional integrated circuit (3D IC) technology can improve the circuit performance and reduce the power dissipation. However, the heat generated by the stacked layers may cause a large amount of temperature r...
详细信息
ISBN:
(纸本)9781467316385;9781467316354
three-dimensional integrated circuit (3D IC) technology can improve the circuit performance and reduce the power dissipation. However, the heat generated by the stacked layers may cause a large amount of temperature rise. It is known that the layer assignment result has a great impact on the amount of temperature rise. Although the integer linear programming (ILP) approach can guarantee finding the minimum-temperature-rise layer assignment solution, solving the ILP formulation is an NP-hard problem. In this paper, we propose a heuristic algorithm to derive a near-optimal layer assignment solution in polynomial time complexity. Experimental results consistently show that our approach is very effective and efficient.
暂无评论