Miracle-dz/UniFAR-FTUs huggingface dataset:
Accurate power analysis of integrated CMOS circuits on gate level

The accurate calculation of a circuit's power consumption on gate level relies on an exact analysis of a circuit's activity (net activities). In combinatorial parts of a circuit many unnecessary transitions - and as a subset especially glitches - occur. The modelling of these glitches within the logic simulation, which use conventional delay models, is not accurate enough for circuits with a significant logical circuit depth. The exact modelling of glitches on gate level is the main contribution of the thesis. First the different operation points of a gate are analysed for a glitch and an equilibrium state during the glitch peak is found and experimentally evaluated. This equilibrium state is the base for the new glitch model. The model could be integrated into a new event driven simulation algorithm. The new developed simulator, which is based on the new simulation algorithm, is very efficient in terms of simulation performance and accuracy.
Establishing an Intellectual and Theoretical Foundation for the After Action Review Process - A Literature Review

Abstract : The purpose of this report is to provide a literature review of the cognitive and learning science research that is relevant to defining an effective after action review (AAR) process. The goal of this review is to assemble research sources that apply to the design and conduct of after action reviews. Therefore, this report provides a synopsis of research that exists, identifies notable researchers who have addressed the problem, presents results of both military and non-military investigations or implementations of the AAR technique, highlights existing theories that may contribute to the advancement of AARs, and isolates specific areas that demand further work. The findings are a distillation of what is known about the AAR process. As such, they would be of interest to researchers who wish to acquire or update their knowledge of the area. The findings would also be of interest to those who train AAR facilitators as a comprehensive foundation of AAR research.
Transformation of Municipal Solid Waste into Fuel Pellets Case Study of Newai, Rajasthan

The municipal solid waste is generating on a rapid pace not only in India but on a global scale with the increase in population and life style of people on a time scale. Such a huge quantity of waste is posing a serious threat to human health and also on environment as a whole. Many cities in India do not have any treatment and scientific disposal of such wastes thereby developing big hills of municipal solid wastes causing ground water contamination through the process of leaching, generation of mosquitoes leading to various diseases, nuisance and odor problems etc. With an alarming problems being witnessed, the authors of present paper have attempted a case study of small tehsil Newai, district, Tonk in Rajasthan, India wherein the population is forecasted to 2051 and waste generation is estimated on a time scale. A lab study has been conducted by one of the authorto transform municipal waste in to fuel pallets with calorific value of 6000 kcal / kg as an alternate fuel. Such a solution not only facilitate in improving the quality of environment and restriction of pollution but also provide environmentally sustainable approach by providing economic benefits to make the system sustainable.
HUMAN FACTORS SURVEY OF AVIATION MAINTENANCE TECHNICAL MANUALS

The reported work is part of a 3 phased effort to identify human factors issues in the development of aviation technical manuals, and make recommendations for the improvement of those documents. Phase 1 of this research effort surveyed the procedures used by five manufacturers to develop maintenance documentation. Several human factors issues were identified in the development process employed by these manufacturers. They included the reactive rather than proactive use of user evaluations, the limited use of user input and procedure validation, no systematic attempts to track error, and the lack of standards for measuring document quality. Given the issues identified in Phase 1, the objective of Phase 2 was to gather information about errors in technical documents, manual usage rates, and user perceptions of manual quality. Respondents were asked to identify the types of problems encountered with technical documents, the impact of those problems, and suggestions for improving manuals. We also sought to gather information about the differences between manuals developed by different companies. Considering the variability of methods used by manufacturers to develop technical documents, it may be possible to identify techniques and procedures that result in more effective documentation.
The Antioxidant Effect of Noni Fruits Extract on HDL and LDL Level of Wistar Rat Induced by High Fat Diet

Dyslipidemia is an important risk factor for myocardial infarction, cardiovascular diseases, and Nonalcoholic Fatty Liver (NAFLD) disorders. Inflammatory conditions, oxidative stress, and insulin resistance, as well as several risk factors for cardiovascular disease, are also risk factors for this disease. This study aims to determine the effect of noni ( Morinda citrifolia ) extract on the improvement of dyslipidemia condition, based on the Low Density Lipoprotein (LDL) and High Density Lipoprotein (HDL) level. This research is a laboratory experimental study with a post-test only control group design. Male Wistar rat (Rattus norvegicus) were divided into four groups: negative control group with no induction and treatment (K-), positive control group given high-fat diet induction for 14 days (K+), noni extract treatment group given a high-fat diet and a noni extract at a dose of 100 mg/kg BB per day for 7 days (P1), and noni extract at a dose of 200 mg/kg BB per day for seven days (P2). Low Density Lipoprotein and High Density Lipoprotein serum levels were measured using the ELISA method. The results showed that there was a significant increase in LDL and a decrease in HDL in both treatment groups (P1 and P2) compared with K(+) group. Therefore, we conclude that noni extract (Morinda citrifolia) played a role as an antioxidant which can increase LDL and decrease HDL serum levels in rats induced by a high fat diet.
Colony-forming cells reduced the lung injury induced by cardiopulmonary bypass

Background Cardiopulmonary bypass (CPB) results in severe lung injury via inflammation and endothelial injury. The aim of this study was to evaluate the effect of endothelial colony-forming cells (ECFCs) on lung injury in rats subjected to CPB. Methods Thirty-two rats were randomized into the sham, CPB, CPB/ECFC and CPB/ECFC/L-NIO groups. The rats in the sham group received anaesthesia, and the rats in the other groups received CPB. The rats also received PBS, ECFCs and L-NIO-pretreated ECFCs. After 24 hours of CPB, pulmonary capillary permeability, including the PaO 2 /FiO 2 ratio, protein levels in bronchoalveolar lavage fluid (BALF) and lung tissue wet/dry weight, was evaluated. The cell numbers and cytokines in BALF and peripheral blood were tested. Endothelial injury, lung histological injury and apoptosis were assessed. The oxidative stress response and apoptosis-related proteins were analysed. Results After CPB, all the data deteriorated compared with those obtained in the S group. Compared to the CPB treatment, ECFCs significantly improved pulmonary capillary permeability and PaO 2 /FiO 2 . Similarly, ECFCs also decreased the inflammatory cell number and pro-inflammatory factors in BALF and peripheral blood, as well as the oxidative stress response in the lung tissue. ECFCs reduced the lung histological injury score and apoptosis and regulated apoptosis-related proteins in the lung tissue. Conclusions ECFCs significantly reduced lung injury induced by inflammation after CPB.
On Line Software Version Change

CERTIFICATE Certiied that the work contained in the thesis entitled \On-line Software Version Change", by \Deepak Gupta", has been carried out under our supervision and that this work has not been submitted elsewhere for a degree. ii Synopsis On-line software version change has emerged in the recent years as a technique for installing software changes in systems in which the shutdown necessitated by the conventional method of installing a new version of a running program can not be tolerated. In the present thesis, we present a formal framework for modelling changes to running programs and use it to study the validity of an on-line change. We also discuss some implementation issues and describe a prototype implementation. Our framework for on-line changes is based on the notion of processes and process states. An on-line change is deened as a sequence of actions involving stopping a running process, changing its code, mapping its state and then continuing it. The overall behavior of a process that has undergone an on-line change is likely to be diierent from any behavior that can be exhibited by either of the two program versions. It is, therefore, important to deene what constitutes an \acceptable" behavior of such a process. We capture this notion in our deenition of the validity of an on-line change. We deene an on-line change to be valid if some time after the change, the process reaches a reachable state of the new program version. Thus, validity ensures that following a change, the process starts behaving like the new version of the program after a \transition period". We rst consider validity of on-line changes to programs written in sequential procedure based languages. For this purpose, a very simple model in which procedures and functions are not allowed is rst considered. State is modelled as a mapping from variable names to values. For this model, we show that it is undecidable to nd whether or not a given on-line change is valid. This result has important consequences. It means that computable necessary and suucient conditions for validity of change can not be obtained. Undecidability in this simple model also iii implies undecidability in other more realistic models. We then develop a set of suucient conditions which ensure validity and show how they can be checked using data-ow analysis. We then extend the model to include functions and procedures and consider a function (or procedure) as …
Implementing METOC Transformation: Applying Autonomous Agents

Abstract : To achieve integration of the Naval Meteorology and Oceanography (METOC) community into the developing FORCEnet environment, transformational innovations must be researched and implemented. Agent based software is an example of technology that can be employed in this way by changing the method by which METOC data is distributed to end-users. This thesis documents the creation and implementation of a software agent that uses Internet connections to retrieve numerical model data, loads this output into array data containers, and then makes it available to the end-user in a machine-readable forecast object format. The impact of the importation of this forecast object into warfare commander command-and-control software is then assessed using the commercially available SEAWAY logistics tool. This assessment highlights the importance of defining the METOC functional requirements for the emerging FORCEnet environment, so that proper interfaces to exchange data freely, and visually depict it, are incorporated during next generation software development. Using these types of agents to automate the generation and delivery of weather parameters could also allow the importation of data into previously insular software, provide reach-back support to the warfighter, and be a means of reducing manpower and budgetary requirements during this time of fiscal constraint.
NHTSA LIGHT VEHICLE ANTILOCK BRAKE SYSTEM RESEARCH PROGRAM TASK 4: A TEST TRACK STUDY OF LIGHT VEHICLE ABS PERFORMANCE OVER A BROAD RANGE OF SURFACES AND MANEUVERS

Numerous crash data statistical analyses conducted over the past few years suggest that, for automobiles, the introduction of four-wheel antilock brake systems (ABS) has produced net safety benefits much lower than originally expected. The studies indicate the apparent increase in single-vehicle crashes involving passenger cars equipped with four-wheel ABS almost completely offsets the safety advantage such vehicles have over their conventionally-braked counterparts. The braking performance of nine high production passenger vehicles was evaluated in eighteen stopping situations. These situations were comprised of various road surfaces, driver steering actions, and vehicle speeds. Testing was performed with lightly and heavily laden vehicles, with the ABS active and disabled, and used two brake pedal application techniques. The selected vehicles included at least one ABS from each of the eight current, major, ABS manufacturers. This study found that for most stopping maneuvers on most surfaces, ABS-assisted full pedal brake application stops were shorter than those made with the ABS disabled. The one systematic exception was on loose gravel where stopping distances increased by an average of 27.2% overall. Additionally, the vehicular stability during testing was almost always superior with the assistance of ABS. For the cases in which instability was observed, ABS was not deemed responsible for its occurrence. Based on results to date, the authors of this study believe ABS braking performance deficiencies are not responsible for the apparent increase in ABS-equipped, single-vehicle, run-off-the-road crashes.
Design of multiplierless minimum-phase FIR filters using palindromic polynomials and sharpening

Minimum phase (MP) filters have all zeros inside the unit circle and have a minimum group delay and a minimum energy delay properties, especially useful in communication systems. The special class of MP filters has all zeros inside and on the unit circle. This paper presents a method for design of this class of MP FIR (Finite Impulse Response) digital filters without multipliers The method is based on palindromic polynomials and sharpening technique. The coefficients of palindromic polynomials are presented as a sum of powers of two, and consequently can be implemented by using only adders and shifts, resulting in a multiplierless design. Two classes of palindromic polynomials, having all zeros on the unit circle, are considered. Next, the sharpening technique was applied to improve the magnitude characteristic and to move zeros inside of unit circle. The choice of the design parameters is also presented. All zeros, of the designed MP filter, are inside or on the unit circle. Method is illustrated with one example.
BENEFIT STUDIES FOR ROTOR WITH ACTIVE TWIST CONTROL USING WEAK FLUID-STRUCTURE COUPLING

This paper presents the results of the numerical benefit studies concerning a rotor with implemented active twist control technology which was defined in the framework of the European FRIENDCOPTER project. The objective is to demonstrate the potential improvement of the active twist rotor with respect to rotor aerodynamic performance, noise and vibration reduction. The numerical method applied for the benefit studies is based on a weak coupling procedure between the DLR rotor simulation code S4 and the DLR Navier-Stokes flow solver FLOWer. In this study, the weak coupling approach was applied to two steady forward flight cases at advance ratios of 0.318 and 0.378. The numerical results showed that applying optimized active twist control laws, the vibration and power consumption level of the active twist rotor can be reduced substantially in both cases.
Internal users' self assessment of Malaysia's e-government flagship applications in lead implementation agencies

This article presents the results of internal end-users' self assessment on Mlaysia's six e-Government flagship applications. e-Services, e-Procurement, Generic Office Environment (GOE), Human Resource Management Information System (HRMIS), Project Monitorng System (PMS) and Electronic Labor Exchange (ELX) were the six flagship applications assessed. The study adopted a cross-sectional survey research approach. Because e-government projects are still on-going, surrogate measures from the information systems success literature were used. A total of 437 questionnaires were distributed to non-clerical staff at seven lead implementation agencies namely the Road Transport Department (RTD), Treasury, the Malaysian Administration Modernisation and Management Planning Unit (MAMPU), Public Service Department (PSD), Ministry of Human Resources (MOHR), the Implementation Coordination Unit (ICU) and the Ministry of Health (MOH), The Usable response rate was 29.7%. While there was evidence from internal users' perspective to suggest that the e-Government applications were generally successful in lead implementation agencies, there is variability in perceived relative systems success for the flagship applications.
Cold rolling shape defects of stainless steel wide strips

when cold rolling stainless steel wide strips, some flatness defects can occur. A flat strip means that when lying on a flat horizontal surface the strip touches the surface at every point. Flatness defects cause shifting, strip breakage, and axial forces. The direct consequences are a loss of material, a waste of time, and a lot of damage or premature wear of the equipment. Sort edge (or long center), long edge (or short center, quarter buckles, randomly located overrolled areas are considerate flatness defects. To correct these defects besides automatic flatness control, which is very expensive, one may use a stretcher leveler.
The quantification of airflows generated by rotating rollers in wool carding machines.

The properties offibres make them easily manipulated by aerodynamic forces. The carding machine, used in cotton and wool processing, is an example of equipment that creates aerodynamic forces due to fast rotating cylinders with rough surfaces. These forces are generally seen as an undesirable side effect in fibre processing machinery, exacerbated with modern equipment using faster rotating components. This work attempts to quantify these aerodynamic forces on carding machines used in the wool industry. A combination of boundary layer theory, experiments using hot wire anemometry and flow visualisation, and Computational Fluid Dynamics (CFD) software (Fluent) was used to build up an understanding of aerodynamics in the example of wool carding machines. The theoretical and experimental work progressed along the following topics to determine each effect on carding machine aerodynamics: rough surfaces, centrifugal forces, three-dimensional edge effects, and interactions between rotating cylinders. Examples from each section were modelled using CFD, which was found to accurately simulate theoretical and experimental results in most cases. It could also accurately predict the complex two-dimensional airflow patterns occurring in carding machines. The CFD simulations underestimated the degree of turbulence generated by interactions between rotating cylinders. Three-dimensional effects were overestimated, due in part to attempting to apply the results of an oversimplified model to a full-scale carding machine. In undertaking this work, it was found the universal velocity distribution equations describing flow over flat plates (for both smooth and rough surfaces) could also be usedfor flow induced by rotating cylinders by compensating for curvature effects.
Incorporating ERP into MIS Curriculum: Some Insights

Successful Enterprise Resource Planning (ERP) integration in curricula is achieved by creating and maintaining the system infrastructure, motivating and mobilizing faculty resources, identifying course material to suit curricular requirements, developing matching case studies, and facilitating student learning through discussions and hands-on activities. The three authors collectively have direct experience, albeit gathered at different times and under varied circumstances, in addressing these issues with regards to the ERP system SAP R/3. By organizing these issues under three major categories, the authors present a cohesive theme for successful SAP R/3 integration into undergraduate MIS and business curricula.
Comparison of Left Ventricular Systolic Function Quantification Using Contrast-Enhanced and Non-Contrast Echocardiographic Images

Background: Left ventricular ejection fraction (LVEF) and global longitudinal strain (GLS) are two important index for the quantification of left ventricular systolic function. With the help of ultrasound contrast agents, we can improve the definition of endocardial borders and allow the quantification of LVEF in patients with poor image quality. However, the feasibility of GLS measurements in contrast-enhanced images is still controversial. Our study aimed to explore the feasibility of GLS measured by velocity vector imaging (VVI) in contrast-enhanced images, compare the difference of measurements in contrast-enhanced and non-contrast images, and analyze the relation between LVEF and GLS in both conditions.Methods: A total of 133 patients with cancer, who were registered for transthoracic echocardiography as well as contrast-enhanced echocardiography were studied. LVEF was measured using the biplane modified Simpson’s rule and GLS was measured with offline VVI analysis of the three standard apical views in non-contrast and contrast-enhanced images respectively. Linear regression was performed to derive correlation coefficients between LVEF and GLS both in non-contrast and contrast-enhanced images.Results: GLS measurements in non-contrast images were discarded in 2/133 patients (1.5%), while in contrast-enhanced images were obtained in all patients. LVEF (64.12B7.47% vs. 66.25a8.61%, respectively; P < 0.01) and GLS (-20.99c4.67% vs. -23.40k4.58%, respectively; P < 0.01) were both significantly higher in the presence of contrast agents. A linear regression between LVEF and GLS in non-contrast images (r=0.627, P<0.001) was observed, as well as in contrast-enhanced images (r=0.649，P<0.001). Conclusion: GLS measured by VVI in contrast-enhanced echocardiography is a feasible and reliable index for the quantification of left ventricular systolic function, even in patients with poor image quality. Compared with the measurements in non-contrast images, both LVEF and GLS measurements are higher in the presence of contrast agents.
Far from Deficient, close to Perfect: Ambulatory Surgery Centers are the Perfect Place for Outpatient Surgery

Thirty years ago, virtually all surgical procedures are carried out in hospitals. Waits for weeks and months for a surgical procedure are not uncommon, and patients spent several weeks at hospital and several weeks out of these facilities to recover. This healthcare system delivery is inconvenient, inefficient and resented by patients and doctors alike. It costs the United States a great deal of economic resource spending that can be smartly used for other purposes. In many countries, this is still the way to deliver health services, but not any more in the United States.