SimRisk: An Integrated Open-Source Tool for Agent-Based ...
SimRisk: An Integrated Open-Source Tool for Agent-Based ... SimRisk: An Integrated Open-Source Tool for Agent-Based ...
Budget and Justification 1 Salary 1.1 Personnel The funding for this project will include the support for 1 Ph.D. student for 3 years and 1 masters student for one academic year (9 months). The Ph.D. student will work with PIs to conduct basic research on technologies required by the project, as defined in the research plan. The masters student will assist the implementation of the open-source supply-chain modeling and stochastic analysis tool. Training these students are also part of our efforts to broaden the impact of this project by disseminating knowledge via graduate education. The budget will include the summer support for Dr. Li Tan for 2.0 months per year and Dr. Shenghan Xu for 1.0 month per year. With this support, PIs can spend time necessary for advising students and conducting research as outlined in our research plan. Faculty appointments at Washington State University and at the University of Idaho are generally effective on an Academic Year (AY) beginning August 16. The summer support for Dr. Li Tan (2.0 months per year) and Dr. Shenghan Xu (1.0 month per year) during the award will be used during the summer period May 16 - August 15. Graduate Research Assistants (GRAs) and Undergraduate Research Assistants (URAs) - Costs are estimated based on calculations from the matrices issued by the Graduate School at Washington State University. • 1 - GRAs (PhD level - step 47) at $21,567.00 × 1 student = $21,567.00 (12 month appointment at 50% FTE for three years of the award). • 1 - GRAs (Master level - step 42) at $22,175.00 × 1 student = $22,175.00 (12 month appointment at 50% FTE in the third year of the award). 1.2 Salary Increases Based on Washington State University’s guidelines a 4% salary increase is calculated into the PI and Graduate Research Assistants employed by Washington State University. All increases take effect July 1st. 1.3 Fringe Benefits Washington State University’s fringe benefits rates, as they apply to sponsored programs are as follows: 32% for faculty and professional staff, 1.5% for graduate students. 1.4 Qualified Tuition Reduction It is the policy of Washington State University to provide tuition for graduate research assistants as a partial compensation for services. It is estimated for the academic year of 2010 that the QTR will be $8,598= $8,598 based on Washington State University’s guidelines a 5% QTR increase is calculated into each additional year. 1
2 Travel The support for 2 trip per year for the first year, and 3 trips per year for the second and the third years are requested. These funds will support PIs and graduate students to travel to related conferences in operations management and computer science and present findings from this research. 3 Equipment and Software The requested fund includes the expense for two laptop computers, two desktop computers, and an entry-level server. Laptop and desktop computers ensure that every participant of this project has adequate personal computing equipment to complete the proposed research and development work. The entry-level server will be used to host the project for developing, maintaining, and distributing the open-source tool. The requested fund will also include necessary software packages including MPL and CPLEX (for performance comparison with stochastic programming), and Matlab. 4 Indirect Costs Washington State University’s negotiated MTDC Indirect Cost rates with DHHD are 49.5% ”oncampus” and 26% ”off-campus”. (Note: The MTDC bases consist of total costs less equipment items in excess of $5,000 or more, minus each and any portion of a subcontractor over $25,000, qualified tuition reduction). 5 Subaward A subaward will be made to the University of Idaho ($79,720 over 3 year) for the portion of the research that Dr. Shenghan Xu will conduct. 2
- Page 1 and 2: SimRisk: An Integrated Open-Source
- Page 3 and 4: 1 Overview and objectives Project D
- Page 5 and 6: party to develop analysis plugins f
- Page 7 and 8: processes [Kwiatkowska et al., 2008
- Page 9 and 10: 2009b], and model-checking-based fo
- Page 11 and 12: Working [!AllSuppilersAvail] Orderi
- Page 13 and 14: Server 1 Memory Server 2 Memory Ser
- Page 15 and 16: 2. Proof extraction and game-based
- Page 17 and 18: via publications in leading journal
- Page 19 and 20: T. Han, J.-P. Katoen, and D. Berteu
- Page 21: S. Xu and L. Tan. Formal analysis o
2 Travel<br />
The support <strong>for</strong> 2 trip per year <strong>for</strong> the first year, and 3 trips per year <strong>for</strong> the second and the<br />
third years are requested. These funds will support PIs and graduate students to travel to related<br />
conferences in operations management and computer science and present findings from this research.<br />
3 Equipment and Software<br />
The requested fund includes the expense <strong>for</strong> two laptop computers, two desktop computers, and an<br />
entry-level server. Laptop and desktop computers ensure that every participant of this project has<br />
adequate personal computing equipment to complete the proposed research and development work.<br />
The entry-level server will be used to host the project <strong>for</strong> developing, maintaining, and distributing<br />
the open-source tool. The requested fund will also include necessary software packages including<br />
MPL and CPLEX (<strong>for</strong> per<strong>for</strong>mance comparison with stochastic programming), and Matlab.<br />
4 Indirect Costs<br />
Washington State University’s negotiated MTDC Indirect Cost rates with DHHD are 49.5% ”oncampus”<br />
and 26% ”off-campus”. (Note: The MTDC bases consist of total costs less equipment<br />
items in excess of $5,000 or more, minus each and any portion of a subcontractor over $25,000,<br />
qualified tuition reduction).<br />
5 Subaward<br />
A subaward will be made to the University of Idaho ($79,720 over 3 year) <strong>for</strong> the portion of the<br />
research that Dr. Shenghan Xu will conduct.<br />
2
Change language