• Environmental and Resource Economics Review
• /
• v.23 no.2
• /
• pp.187-224
• /
• 2014

We present key issues to consider in estimating damages from price-fixing cases and then apply the procedure addressing those issues to a transportation fuel market. Among the five methods of overcharge calculation, the regression analysis incorporating the yardstick method is the best. If the price equation relates the domestic price to the foreign price and the exchange rate as in the transportation fuel market, the functional form satisfying both logical consistency and modeling flexibility is the log-log functional form. If the data under analysis is of time series in nature, then the ARDL model should be the base model for each market and the regression analysis incorporating the yardstick method combines these ARDL equations to account for inter-market correlation and arrange constant terms and collusion-period dummies across component equations appropriately so as to identify the overcharge parameter. We propose a two-step test for the benchmarked market: (a) conduct market-by-market Spearman or Kendall test for randomness of the individual market price series first and (b) then conduct across-market Friedman test for homogeneity of the market price series. Statistical significance is the minimal requirement to establish the alleged proposition in the world of uncertainty. Between the sensitivity analysis and the model selection process for the best fitting model, the latter is far more important in the economic analysis of damage in price-fixing litigation. We applied our framework to a transportation fuel market and could not reject the null hypothesis of no overcharge.

• Journal of Arbitration Studies
• /
• v.16 no.3
• /
• pp.53-89
• /
• 2006

At its thirty-second session(Vienna, 17 May-4 June 1999), the UNCITRAL decided that the priority items for the Working Group(Arbitration and Conciliation) should include enforceability of interim measures and the requirement of written (on for the arbitration agreement. The Working Group, at its forty-third session(Vienna, 3-7 October 2005), it had undertaken a detailed review of the text of the revised article 17 of UNCTTRAL Model Law on International Commercial Arbitration, and it had resumed discussions on a draft model legislative provision revising article 7, paragraph (2) of UNCITRAL Model Law. The purpose of this paper is to make research on the contents and issues of the draft legislative provisions on interim measures and preliminary orders, and on the form of arbitration agreement which the Working Group discussed and adopted at its forth-fourth session(New York, 23-27 January 2006). The draft legislative provisions on interim measures and preliminary orders are composed of the following provisions : Article 17-power of arbitral tribunal to order interim measures; article 17 bis-conditions for granting interim measures; article 17 ter-applications for preliminary orders and conditions for granting preliminary orders; article 17 quater-specific regime for preliminary orders; article 17 quinquies- modification, suspension, termination; article 17 sexies-provision of security; article 17 septies-disclosure; article 17 octies-costs and damages; article 17 novies recognition and enforcements; article 17 decies-grounds for refusing recognition or enforcement; article 17 undecies-court-ordered interim measures. There are the following issues in the draft legislative provisions on interim measures and preliminary orders : form of issuance of an interim measures in article 17(2); conditions for granting interim measures in article 17 bis; purpose, function and legal regime of preliminary orders in article 17 ter; obligation of arbitral tribunal to give notice, and non-enforceability of preliminary orders in article 17 quater; burden of proof, interplay between article 17 decies and article 34, and decision on the recognition and enforcement of the interim measures in article 17 decies; placement of article 17 undecies; amendment of scope exception of application in article 1(2). The draft legislative provisions on the form of arbitration agreement are composed of the following provisions : article 7(1) definition of arbitration agreement; article 7(2) arbitration agreement in writing; article 7(3) arbitration agreement if its terms(content) are (is) recorded in any form; article 7(4) arbitration agreement by an electronic communication; article 7(5) arbitration agreement in an exchange of statements of claim and defence; article 7(6) reference to any document containing an arbitration clause. There are the following issues in the draft legislative provisions on the form of arbitration agreement : arbitration agreement in writing in article 7(2); terms or contents of arbitration agreement in article 7(3); arbitration agreement by electronic communication in article 7(4); existence of arbitration agreement in article 7(5); reference to any document containing an arbitration clause in article 7(6); the alternative proposal on article 7; amendment to article 35(2).

• Journal of KIISE:Software and Applications
• /
• v.33 no.7
• /
• pp.605-614
• /
• 2006

The success of a software development project can be determined by the use of QCD. And as a software's size and complexity increase, the importance of early quality assurance rises. Therefore, more effort should be given to prevention, as opposed to correction. In order to provide a framework for the prevention of defects, defect detection activities such as peer review and testing, along with analysis of previous defects, is required. This entails a systematization and use of quality data from previous development efforts. FMEA, which is utilized for system safety assurance, can be applied as a means of software defect prevention. SW-FMEA (Software Failure Mode Effect Analysis) attempts to prevent defects by predicting likely defects. Presently, it has been applied to requirement analysis and design. SW-FMEA utilizes measured data from development activities, and can be used for defect prevention on both the development and management sides, for example, in planning, analysis, design, peer reviews, testing, risk management, and so forth. This research discusses about related methodology and proposes defect prevention model based on SW-FMEA. Proposed model is extended SW-FMEA that focuses on system analysis and design. The model not only supports verification and validation effectively, but is useful for reducing defect detection.

• Journal of the Korea Society for Simulation
• /
• v.32 no.3
• /
• pp.23-31
• /
• 2023

Software development involves a series of stages, including requirements analysis, design, implementation, unit testing, and integration testing, similar to those used in the system engineering process. This study utilized MathWorks' model-based design platform to develop multi-function radar software and evaluated its feasibility and efficiency. Because the development of conventional radar software is performed by a unit algorithm rather than in an integrated form, it requires additional efforts to manage the integrated software, such as requirement analysis and integrated testing. The mode-based platform applied in this paper provides an integrated development environment for requirements analysis and allocation, algorithm development through simulation, automatic code generation for deployment, and integrated requirements testing, and result management. With the platform, we developed multi-level models of the multi-function radar software, verified them using test harnesses, managed requirements, and transformed them into hardware deployable language using the auto code generation tool. We expect this Model-based integrated development to reduce errors from miscommunication or other human factors and save on the development schedule and cost.

• Structural Engineering and Mechanics
• /
• v.87 no.3
• /
• pp.283-296
• /
• 2023

Free-vibration and buckling analyses of plate problems are investigated with the aid of the strain gradient notation finite element method (SGN-FEM). As SGN-FEM employs physically interpretable polynomials in developing finite elements, parasitic shear sources, which are the cause of shear locking, can be precisely identified and subsequently eliminated. This allows two mutually complementary objectives to be defined in this work, namely, evaluate the efficiency of free-vibration and buckling results provided by corrected models, and study the severity of parasitic shear effects on plate models performance. Parasitic shear are flexural terms erroneously present in shear strain polynomials. It is reviewed here that six parasitic shear terms arise during the formulation of the four-node Mindlin plate element. Two parasitic shear terms have been identified in the in-plane shear strain polynomial while other two have been identified in each of the transverse shear strain polynomials. The element is corrected a-priori, i.e., during development, by simply removing the spurious terms from the shear strain polynomials. The computational implementation of the element in its two versions, namely, containing the parasitic shear terms (PS) and corrected for parasitic shear (SG), allows for assessments of the accuracy of results and of the deleterious effects of parasitic shear in free vibration and buckling analyses. This assessment of the parasitic shear effects is a novelty of this work. Validation of the SG model is done comparing its results with analytical results and results provided by other numerical procedures. Analyses are performed for square plates with different thickness-to-length ratios and boundary conditions. Results for thin plates provided by the PS model do not converge to the correct solutions, which indicates that parasitic shear must be eliminated. That is, analysts should not rely on refinement alone. For thick plates, PS model results can be considered acceptable as deleterious effects are really critical in thin plates. On the other hand, results provided by the SG model converge well for both thin and thick plates. The effectiveness of the SG model is established via high-accuracy results obtained in several examples. It is concluded that corrected SGN-FEM models are efficient alternatives for free-vibration and buckling analysis of Mindlin plate problems, and that precise elimination of parasitic shear is a requirement for sound analyses.

• Journal of Bio-Environment Control
• /
• v.5 no.2
• /
• pp.215-235
• /
• 1996

The thermal analysis by mathematical model simulation makes it possible to reasonably predict heating and/or cooling requirements of certain greenhouses located under various geographical and climatic environment. It is another advantages of model simulation technique to be able to make it possible to select appropriate heating system, to set up energy utilization strategy, to schedule seasonal crop pattern, as well as to determine new greenhouse ranges. In this study, the control pattern for greenhouse microclimate is categorized as cooling and heating. Dynamic model was adopted to simulate heating requirements and/or energy conservation effectiveness such as energy saving by night-time thermal curtain, estimation of Heating Degree-Hours(HDH), long time prediction of greenhouse thermal behavior, etc. On the other hand, the cooling effects of ventilation, shading, and pad ||||&|||| fan system were partly analyzed by static model. By the experimental work with small size model greenhouse of 1.2m$\times$2.4m, it was found that cooling the greenhouse by spraying cold water directly on greenhouse cover surface or by recirculating cold water through heat exchangers would be effective in greenhouse summer cooling. The mathematical model developed for greenhouse model simulation is highly applicable because it can reflects various climatic factors like temperature, humidity, beam and diffuse solar radiation, wind velocity, etc. This model was closely verified by various weather data obtained through long period greenhouse experiment. Most of the materials relating with greenhouse heating or cooling components were obtained from model greenhouse simulated mathematically by using typical year(1987) data of Jinju Gyeongnam. But some of the materials relating with greenhouse cooling was obtained by performing model experiments which include analyzing cooling effect of water sprayed directly on greenhouse roof surface. The results are summarized as follows : 1. The heating requirements of model greenhouse were highly related with the minimum temperature set for given greenhouse. The setting temperature at night-time is much more influential on heating energy requirement than that at day-time. Therefore It is highly recommended that night- time setting temperature should be carefully determined and controlled. 2. The HDH data obtained by conventional method were estimated on the basis of considerably long term average weather temperature together with the standard base temperature(usually 18.3$^{\circ}C$). This kind of data can merely be used as a relative comparison criteria about heating load, but is not applicable in the calculation of greenhouse heating requirements because of the limited consideration of climatic factors and inappropriate base temperature. By comparing the HDM data with the results of simulation, it is found that the heating system design by HDH data will probably overshoot the actual heating requirement. 3. The energy saving effect of night-time thermal curtain as well as estimated heating requirement is found to be sensitively related with weather condition: Thermal curtain adopted for simulation showed high effectiveness in energy saving which amounts to more than 50% of annual heating requirement. 4. The ventilation performances doting warm seasons are mainly influenced by air exchange rate even though there are some variations depending on greenhouse structural difference, weather and cropping conditions. For air exchanges above 1 volume per minute, the reduction rate of temperature rise on both types of considered greenhouse becomes modest with the additional increase of ventilation capacity. Therefore the desirable ventilation capacity is assumed to be 1 air change per minute, which is the recommended ventilation rate in common greenhouse. 5. In glass covered greenhouse with full production, under clear weather of 50% RH, and continuous 1 air change per minute, the temperature drop in 50% shaded greenhouse and pad ＆ fan systemed greenhouse is 2.6$^{\circ}C$ and.6.1$^{\circ}C$ respectively. The temperature in control greenhouse under continuous air change at this time was 36.6$^{\circ}C$ which was 5.3$^{\circ}C$ above ambient temperature. As a result the greenhouse temperature can be maintained 3$^{\circ}C$ below ambient temperature. But when RH is 80%, it was impossible to drop greenhouse temperature below ambient temperature because possible temperature reduction by pad ||||&|||| fan system at this time is not more than 2.4$^{\circ}C$. 6. During 3 months of hot summer season if the greenhouse is assumed to be cooled only when greenhouse temperature rise above 27$^{\circ}C$, the relationship between RH of ambient air and greenhouse temperature drop($\Delta$T) was formulated as follows : $\Delta$T= -0.077RH＋7.7 7. Time dependent cooling effects performed by operation of each or combination of ventilation, 50% shading, pad ＆ fan of 80% efficiency, were continuously predicted for one typical summer day long. When the greenhouse was cooled only by 1 air change per minute, greenhouse air temperature was 5$^{\circ}C$ above outdoor temperature. Either method alone can not drop greenhouse air temperature below outdoor temperature even under the fully cropped situations. But when both systems were operated together, greenhouse air temperature can be controlled to about 2.0-2.3$^{\circ}C$ below ambient temperature. 8. When the cool water of 6.5-8.5$^{\circ}C$ was sprayed on greenhouse roof surface with the water flow rate of 1.3 liter/min per unit greenhouse floor area, greenhouse air temperature could be dropped down to 16.5-18.$0^{\circ}C$, whlch is about 1$0^{\circ}C$ below the ambient temperature of 26.5-28.$0^{\circ}C$ at that time. The most important thing in cooling greenhouse air effectively with water spray may be obtaining plenty of cool water source like ground water itself or cold water produced by heat-pump. Future work is focused on not only analyzing the feasibility of heat pump operation but also finding the relationships between greenhouse air temperature(T$_{g}$ ), spraying water temperature(T$_{w}$ ), water flow rate(Q), and ambient temperature(T$_{o}$).

• Tuberculosis and Respiratory Diseases
• /
• v.73 no.4
• /
• pp.224-230
• /
• 2012

Background: We evaluated the clinical outcomes and prognostic factors of patients requiring prolonged mechanical ventilation (PMV), defined as ventilator care for ${\geq}21$ days, who were admitted to the medical intensive care unit (ICU) of a university hospital in Korea. Methods: During the study period, a total of 2,644 patients were admitted to the medical ICU, and 136 patients (5.1%) were enrolled between 2005 and 2010. Results: The mean age of the patients was $61.3{\pm}14.5$ years, and 94 (69.1%) were male. The ICU and six-month cumulative mortality rates were 45.6 and 58.8%, respectively. There were 96 patients with tracheostomy placement after admission and their mean period from admission to the day of tracheostomy was $21.3{\pm}8.4$ days. Sixty-three patients (46.3%) were successfully weaned from ventilator care. Of the ICU survivors (n=74), 34 patients (45.9%) were transferred to other hospitals (not university hospitals). Two variables (thrombocytopenia [hazard ratio (HR), 1.964; 95% confidence interval (CI), 1.225~3.148; p=0.005] and the requirement for vasopressors [HR, 1.822; 95% CI, 1.111~2.986; p=0.017] on day 21) were found to be independent factors of survival on based on the Cox proportional hazard model. Conclusion: We found that patients requiring PMV had high six-month cumulative mortality rates, and that two clinical variables (measured on day 21), thrombocytopenia and requirement for vasopressors, may be associated with prognostic indicators.

• Asian-Australasian Journal of Animal Sciences
• /
• v.23 no.4
• /
• pp.508-514
• /
• 2010

This study was conducted to evaluate the effects of dietary arachidonic acid (AA, 20:4n-6) levels on growth performance and body composition in juvenile eel, Anguilla japonica. Six semi-purified experimental diets were formulated to be isonitrogenous and iso-caloric containing 55.0% crude protein and 15% crude lipid (18.3 kJ of available energy $g^{-1}$). Six different levels of AA were added to the basal diet, with 0, 0.2, 0.4, 0.6, 0.8 or 1.2% on a dry matter (DM) basis, respectively ($AA_{0.07},\;AA_{0.22},\;AA_{0.43},\;AA_{0.57},\;AA_{0.78}\;or\;AA_{1.23}$). After a conditioning period, fish initially averaging 27${\pm}$0.5 g (mean${\pm}$SD) were randomly distributed into each aquarium as triplicate groups of 20 fish each. One of six experimental diets was fed on a DM basis to fish in three randomly selected aquaria at a rate of 2-3% of total body weight twice a day. At the end of the 12-week feeding trial, weight gain (WG) and feed efficiency (FE) of fish fed $AA_{0.78}$ and $AA_{1.23}$ diets were significantly higher than of fish fed $AA_{0.07},\;AA_{0.22},\;AA_{0.43}$ diets (p<0.05). Specific growth rate (SGR) of fish fed the $AA_{0.78}$ diet was significantly higher than of fish fed $AA_{0.07},\;AA_{0.22},\;AA_{0.43}$ diets (p<0.05). However, there were no significant differences in WG, SGR and FE among fish fed $AA_{0.57},\;AA_{0.78}\;or\;AA_{1.23}$ diets (p>0.05). Whole body AA deposition of fish fed the $AA_{1.23}$ diet was significantly higher than for the other diets (p<0.05). Broken-line model analysis on the basis of WG and SGR indicated that the dietary AA requirement could be greater than 0.69% but less than 0.71% of the diet in juvenile eel. The growth-promoting activity of AA observed in the present study provides strong support for the contention that dietary AA is essential for juvenile eel.

• Asian-Australasian Journal of Animal Sciences
• /
• v.30 no.2
• /
• pp.206-210
• /
• 2017

Objective: A study was conducted to test six threonine (Thr) levels (0.39%, 0.44%, 0.49%, 0.54%, 0.59%, and 0.64%) to estimate the optimal dietary Thr requirements for Longyan laying ducks from 17 to 45 wk of age. Methods: Nine hundred Longyan ducks aged 17 wk were assigned randomly to the six dietary treatments, where each treatment comprised six replicate pens with 25 ducks per pen. Results: Increasing the Thr level enhanced egg production, egg weight, egg mass, and the feed conversion ratio (FCR) (linearly or quadratically; p<0.05). The Haugh unit score, yolk color, albumen height, and the weight, percentage, thickness, and breaking strength of the eggshell did not response to increases in the Thr levels, but the albumen weight and its proportion increased significantly (p<0.05), whereas the yolk weight and its proportion decreased significantly as the Thr levels increased. Conclusion: According to a regression model, the optimal Thr requirement for egg production, egg mass, and FCR in Longyan ducks is 0.57%, while 0.58% is the optimal level for egg weight from 17 to 45 wk of age.

• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.67-74
• /
• 2006

The security requirements identification in the software development has received some attention recently. However, previous methods do not provide clear method and process of security requirements identification. We propose a process that software developers can build application specific security requirements from state transition diagrams at the security threat location. The proposed process consists of building model and identifying application specific security requirements. The state transition diagram is constructed through subprocesses i) the identification of security threat locations using security failure data based on the point that attackers exploit software vulnerabilities and attack system assets, ii) the construction of a state transition diagram which is usable to protect, mitigate, and remove vulnerabilities of security threat locations. The identification Process of application specific security requirements consist of i) the analysis of the functional requirements of the software, which are decomposed into a DFD(Data Flow Diagram; the identification of the security threat location; and the appliance of the corresponding state transition diagram into the security threat locations, ii) the construction of the application specific state transition diagram, iii) the construction of security requirements based on the rule of the identification of security requirements. The proposed method is helpful to identify the security requirements easily at an early phase of software development.