<p> Integrating Techlog, Petrel, Eclipse, and COMSOL is a game changer and led to a better understanding of a very complex undercompacted and overpressurized sand in Block 276. Different reservoir simulation sensitivity runs on P1-sand indicated that putting a new well in block (2,34) under pure depletion will yield the highest incremental oil recovery of about 38%. The sensitivity runs included dumpfloods, waterfloods, and artificial lift. COMSOL has also shown that formation overlying the salt dome is hotter than other portions of the reservoir and that planning a new well on the western flank of the accumulation was the right decision. COMSOL has also shown that overpressurization is driven by undercompaction but that heat conduction from the dome and underlying diapirs affected pore pressure by 3 to 15%.</p><p>

<p> This research lays out a strategic process improvement plan that can be used for similar processes that have machine availability problems. Lean Six Sigma will be used as the primary source of tools and methodology for implementation of a successful process improvement. A case study is used to show a successful implementation of the Lean Six Sigma DMAIC approach, how statistical analysis can be used to identify the problem area, and how statistical tools are used to see if improvements are significant. This approach uniquely identifies on what areas to focus attention to gain a better understanding of where the root of the problem occurs. By using the Lean Six Sigma DMAIC method, a systematic process is established to make a significant positive change to the process&rsquo; machine availability, which increased production and revenue. Several statistical and problem solving tools from Lean Six Sigma were used in this study, which aided in analyzing and implementing process improvements in the process to reach a savings of $618,884.00.</p><p>

<p> This dissertation introduce and empirically verify a structure of Energy Savings Performance Contracting (ESPC) perspective among clients, Energy Service Companies (ESCOs) and governments. The new approach ESPC structure model presented herein is built on the Motivation-Opportunity-Ability (MOA) theory where key influences are identified. An important component of performance contracting, the performance measurement, has been incorporated in the structure to monitor the effect on ESPC implementation success.</p><p> The proposed structure and hypothesis were verified as a current ESPC practice in the United States through an online survey. The proposed structure was analyzed to understand relationships between the stakeholders, key factors, barriers and/or practices among the constructs through the structural equation modeling (SEM) approach. Due to the complex relationship of non-normal data and small sample size compared to the number of variables, the Partial Least Square SEM (PLS-SEM) method was chosen. The survey statistical results were used to verify the ESPC-MOA structure, develop an implementation guide and identify the ESPC critical factors to help establish its implementation success.</p><p>

As the use of concurrent and concurrent real-time software systems in safety-critical applications becomes widespread, the verification of their correctness has become an important concern. Unfortunately, analysis of these systems has been stymied by the explosive number of states they possess. The constrained expression approach, which uses an inequality-based technique to avoid the enumeration of these states, showed promise for analyzing large systems, but was incapable of verifying many important properties of interest to designers. For example, properties involving the order of the events in a concurrent system (e.g., mutual exclusion) could not be verified since the inequalities did not capture this information, nor could the technique verify liveness properties, since these require reasoning about infinite executions. I have developed extensions to this inequality-based technique that allow the verification of these more complex properties. In addition, I have completely automated an earlier extension of this technique for deriving bounds in concurrent real-time systems run on a uniprocessor and I have extended this technique to the maximally-parallel multiprocessor setting. Most importantly, I have demonstrated the feasibility of these extensions by implementing them in an automated tool and using this tool to analyze several sample systems.

No description available.

No description available.

<p> With pressure on the U.S. Defense Acquisition System (DAS) to reduce cost overruns and schedule delays, system engineers&rsquo; performance is only as good as their tools. Recent literature details a need for 1) objective, analytical risk quantification methodologies over traditional subjective qualitative methods &ndash; such as, expert judgment, and 2) mathematically rigorous system-level maturity assessments. The Mahafza, Componation, and Tippett (2005) Technology Performance Risk Index (TPRI) ties the assessment of technical performance to the quantification of risk of unmet performance; however, it is structured for component- level data as input. This study&rsquo;s aim is to establish a modified TPRI with systems-level data as model input, and then validate the modified index with actual system-level data from the Department of Defense&rsquo;s (DoD) Major Defense Acquisition Programs (MDAPs). This work&rsquo;s contribution is the establishment and validation of the System-level Performance Risk Index (SPRI). With the introduction of the SPRI, system-level metrics are better aligned, allowing for better assessment, tradeoff and balance of time, performance and cost constraints. This will allow system engineers and program managers to ultimately make better-informed system-level technical decisions throughout the development phase.</p>

<p> This investigative study demonstrated the benefits of addressing human considerations during the system development life cycle in order to have had long-term benefits to program managers and systems engineers. The approach was to use a retrospective content analysis of documents from weapon system acquisition programs, namely Major Defense Acquisition Programs, in order to seek the presence of terminology relating to Human Systems Integration. There is only a small amount of published research to date on the relationship between program documents that included terminology relating to Human Systems Integration and any eventual cost change or schedule change for Department of Defense weapon systems. Binary logistic regression analyses were conducted to investigate the effect of the presence of words relating to Human Systems Integration on the success of programs. The presence of terminology about human factors engineering, habitability, and survivability in a weapon system acquisition program&rsquo;s documents was a good indicator that schedule slippages and cost overruns would be avoided. Furthermore, the presence of terminology about human factors engineering, habitability, and survivability in a program&rsquo;s documents prior to the Milestone B decision point was a good indicator that schedule slippages and cost overruns would be avoided.</p>

<p> The past decade has seen the rapid development and deployment of unmanned systems throughout the world in both civilian and military applications. Significant development has been led by the Department of Defense (DoD), which has sought to develop and field military systems, such as unmanned aerial vehicles (UAVs) and unmanned ground vehicles (UGVs), with elevated levels of autonomy to accomplish their mission with reduced funding and manpower. As their role increases, such systems must be able to adapt and learn, and make nondeterministic decisions. Current unmanned systems exhibit minimal autonomous behaviors. As their autonomy increases and their behaviors become more intelligent (adapting and learning from previous experiences), the state space for their behaviors becomes non deterministic or intractably complex. </p><p> Consequently, fielding such systems requires extensive testing and evaluation, as well as verification and validation to determine a system&rsquo;s performance and the acceptable level of risk to make it releasable &ndash; a challenging task. To address this, I apply a novel systems perspective to develop a model-based framework to predict future system performance based on the complexity of the operating environment using newly introduced complexity measures and learned costs. Herein I consider an autonomous military ground robot navigating in complex off-road environments. Using my model and data from Defense Advanced Research Projects Agency (DARPA)-led experiments, I demonstrate the accuracy with which my model can predict system performance and then validate my model against other experimental results.</p>

<p>Titel: Fildelningsvanorna bland gymnasieungdomar</p><p>Författare: Anders Sjöberg & Marcus Olsson</p><p>Handledare: Jan Aidemark</p><p>Institution: Matematiska och systemtekniska institutionen</p><p>Kurs: IVC730</p><p>Problemformulering: På vilket sätt skiljer sig fildelningsvanorna mellan män och kvinnor lokalt i Växjö och i Sverige?</p><p>Hur påverkar fildelningen individernas köpbeteenden?</p><p>På vilket sätt påverkar lagar och regler fildelningen hos individer?</p><p>Syfte: Avsikten med vår uppsats är att ta reda på vilka skillnader det finns vad gäller fildelningsvanor hos ungdomar i Växjö och jämföra detta med hur det ser ut i övriga landet. Vi vill också veta vilka övriga faktorer som påverkar folk till att fildela respektive inte fildela.</p><p>Metod: Undersökningsmetoden har varit kvantitativ. Empirin har samlats in genom att göra en enkätundersökning. Enkäterna har sedan behandlats i en databas.</p><p>Slutsats: En klar majoritet av gymnasieungdomar fildelar. Även om vissa skillnader finns mellan könen så är de på många punkter såsom bandbredd och moraliska inställning lika. Fildelningen påverkar även köpbeteendendet hos vår målgrupp som i många fall oftare laddade ner än köpte vissa sorters media. Lagstiftningen har inte heller någon större påverkan på deras fildelningsvanor.</p>