The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In a large-scale construction project, the project manager needs to allocate many resources, including numerous workers, various kinds of materials, and a lot of cash. Therefore how to allocate resources and to control cash flow ahead of time is particularly important. The general contract and material price fluctuation make the project manager to take great risk. In this paper, we establish a two-stage...
This paper describes how a staged approach to the development of students' abilities to engineer software systems applies to the specific issue of teaching formal methods. It reviews the scope of formal methods and the coverage of them in the Software Engineering volume of Computing Curriculum 2001, and then evaluates this coverage against a theoretical model for the stages through which students...
In this article, we first translated the problem of disperse resource allocation into the 0-1 programming problem, and put forward the special solution based on the relative difference quotient aiming at the particularity of resource allocation 0-1 programming model. And the example proved that the new algorithm was effective and fast.
Parametric studies have been carried out for the quartic-polynomial regression problem demonstrated in the Genetic Programming (GP) v3 toolbox of Matlab. Many classification schemes and modeling issues are polynomial based. Every possible combination originating from all available options between the two genetic parameters namely ?elitism? and ?sampling? has been analyzed while keeping all other parameters...
This paper mainly focus on the hazard materials treatment center location problem using the fuzzy multi-objective programming approach. We consider the factor of treating volume of each treatment center into the classical max-min model. The problem is formulated as a bi-objective problem, which is rarely studied previously. Additionally, to provide a more realistic model structure, decision maker's...
Almost all existing approaches to modeling epistemic processes are somehow based on classical mathematical logic or its various classical conservative extensions. There are some inherent difficulties and/or problems in these approaches. On the other hand, although any epistemic process must be a time-dependent process such that both the truth-values of propositions/beliefs and the relationships among...
Context-aware application should behave suitably according to the changing context of the pervasive computing environment. Several programming paradigms and languages have been proposed to facilitate development of context-aware application, but they are either lack of sufficient flexibility or somewhat complex to program. A table-driven programming paradigm is proposed in this paper to overcome shortcomings...
The new approach for vendor selection problem was established under the stochastic environment. After establishing the traditional multi-objective programming model, through minimizing the optimistic value of the net cost of the total order quantity, rejected quantity and late delivered quantity, the multi-objective stochastic constrained integer programming model was established based on the stochastic...
This WIP describes an effort to create a better starting course sequence for computing degrees. This effort, the entrypoint project, focuses primarily on the first two years of the undergraduate program. As such, a key aspect of the effort relates to the traditional introductory programming sequence, and an attempt to move beyond that approach. A three dimensional model, CAP (content, application,...
This paper presents a novel approach for the modeling and the simulation of a phase-change memory cell. The proposed multi-physics model, which describes the electrical, the thermal, and the phase change behavior of the memory cell, can be implemented in a finite-element simulator, with no need for any external algorithm to compute the phase evolution. The goal of this work is to determine, from a...
Novel chalcogenide-based phase change memory (PCM) is a promising candidate for next-generation non-volatile solid-state memory technology for its high resistance contrast, better endurance and writing speeds than flash memory. PCM cell stores data by a thermally induced phase transition between conductive polycrystalline (set) and resistive amorphous (reset) states, in a thin film of chalcogenide...
A physical yet analytical phase change memory (PCM) model simultaneously accounting for thermal and electrical conductivities is presented. Due to the physics based nature of the model, the essential temperature from heating and cooling of PCM during operation is instantaneously updated. More importantly, the model can be applied to non-conventional circuit design technique. We show that for the first...
The size of unified modeling language (UML) models used in practice is very large and ranges up to hundreds and thousands of classes. Querying of these models is used to support their quality assessment by information filtering and aggregating. For both, human cognition and automated analysis, there is a need for fast querying. In this context performance of model queries becomes an important issue...
This paper provides an overview of work being done in the EntryPoint project, which is examining the first course work in computing degrees. A key goal of this project is to move away from the traditional CS1/CS2 programming courses as the start of a computing degree. In addition, the project team is looking at how these ideas might be extended to BSSE degree programs. As such, this paper will discuss...
The trend over the past decade in computer science and computer engineering curricula has been to use computer graphics as a junior- or senior-level elective course focusing on 3-D graphics and data visualization. Alternatively, it is possible to develop a computer graphics course that can address core curricular needs beyond its obvious topical and algorithmic scope. The development of an interactive...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.