• Advances in aircraft and spacecraft science
• /
• v.2 no.2
• /
• pp.217-232
• /
• 2015

To prevent over-testing of the test-item during random vibration testing Scharton proposed and discussed the force limited random vibration testing (FLVT) in a number of publications. Besides the random vibration specification, the total mass and the turn-over frequency of the load (test item), $C^2$ is a very important parameter for FLVT. A number of computational methods to estimate $C^2$ are described in the literature, i.e., the simple and the complex two degrees of freedom system, STDFS and CTDFS, respectively. The motivation of this work is to evaluate the method for the computation of a realistic value of $C^2$ to perform a representative random vibration test based on force limitation, when the adjacent structure (source) description is more or less unknown. Marchand discussed the formal description of getting $C^2$, using the maximum PSD of the acceleration and maximum PSD of the force, both at the interface between load and source. Stevens presented the coupled systems modal approach (CSMA), where simplified asparagus patch models (parallel-oscillator representation) of load and source are connected, consisting of modal effective masses and the spring stiffness's associated with the natural frequencies. When the random acceleration vibration specification is given the CSMA method is suitable to compute the value of the parameter $C^2$. When no mathematical model of the source can be made available, estimations of the value $C^2$ can be find in literature. In this paper a probabilistic mathematical representation of the unknown source is proposed, such that the asparagus patch model of the source can be approximated. The chosen probabilistic design parameters have a uniform distribution. The computation of the value $C^2$ can be done in conjunction with the CSMA method, knowing the apparent mass of the load and the random acceleration specification at the interface between load and source, respectively. Data of two cases available from literature have been analyzed and discussed to get more knowledge about the applicability of the probabilistic method.

• International Journal of Computer Science & Network Security
• /
• v.22 no.10
• /
• pp.400-405
• /
• 2022

Legislative approaches to regulating the digital sex industry are increasingly being debated at the international and national levels. There is a trend showing an increased interest in the decriminalization of sex work. At the same time, in many countries, activities related to digital prostitution remain criminalized. In this regard, it is important to analyze the international legal experience of the criminalization and decriminalization of digital prostitution, as well as to pay attention to the key problematic issues that arise during the criminalization and decriminalization of such an issue. The object of the study is the international experience of criminalization and decriminalization of digital prostitution. The subject of the study is social relations that arise, change, and cease during the criminalization and decriminalization of digital prostitution. The research methodology consists of such methods as philosophical, logical, special-legal, system analysis methods, and formal-dogmatic methods. Research results. As a result of the study of the international legal experience of criminalization and decriminalization of digital prostitution, it was concluded that the criminalization and/or decriminalization of digital prostitution is treated differently in different countries. Workers in this industry advocate decriminalization, not legalization, because decriminalization puts power directly in the hands of sex workers and creates no legal barriers. Countries that have decriminalized digital prostitution believe that sex work is real work and should be treated respectfully, and banning resources such as OnlyFans is not in favor of such workers. Regarding positions on the criminalization of prostitution, countries use different models of such criminalization, including the model of legalization of digital prostitution, which, on the one hand, allows prostitution, but establishes criminal liability for deviations from the rules established by the state.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.20 no.8
• /
• pp.2555-2560
• /
• 1996

Inspecting the dimensional accuracy of a car-body in assembly line is a very important process to assure high productivity. Now there exist two common inspecting methods in practice. One is to measure a sampled car-body with three dimensional measuring machine, and the other is to measure car-body with three dimensional measuring machine, and the other is to measure car-body in assembly line using many sensors fixed to a large jig frame. The formal method takes too long to inspect a sampled car-body of a same sort, and cannot therefore give an useful error trend for the whole production. On the other hand, the latter lacks flexibility and is very cost-intensive. By using industrial robots and sensors, an in-line Car-Body Measuring(CBM) system which ensured high flexiblity and sufficient accuracy was developed. This CBM cell operates in real production line and measures the check points by the non-contact type using camera and laser displacement sensor(LDS). This system can handle about 15 Measuring points within a cycle time of 40 seconds. A process computer controls whole process such as data acquisition file handling and data analysis. Robot arms changes in length due to ambient temperature fluctuation affecting the measuring accuracy. To compensate this error, a robot arm calibration process was developed.

• International conference on construction engineering and project management
• /
• 2009.05a
• /
• pp.622-627
• /
• 2009

Business process engineering (BPE) is a top-down management approach for increasing efficiency and productivity through radical and fundamental changes to the business processes of the organization. BPE requires firms to initially develop a model of the existing business processes of the firm to distinguish functional tasks from processes used for coordinating inputs, activities and outputs. The model is used for understanding the business processes in the organization and to simulate the effect of changes to the processes. The model can also be used to justify business processes, which involves assessing whether the business process provides value to the customer in its current configuration. Justification requires a careful examination of the key business processes used by the firm to identify systemic shortcomings in the process and to create a new business process to produce greater efficiency. BPE also considers automating as many business processes as possible to increase operational efficiency and the integration of business process tasks. The construction industry has been slow to adopt BPE because of its project approach in which a major firm contracts with various functional service providers and regards each project as unique. The industry focuses on functional task efficiency rather than business process efficiency. There is no formal methodology or criteria for determining whether a business process is effective for a construction firm in its current configuration. The use of performance measures such as costs, task duration times or other metrics can be useful in evaluating the effectiveness of an existing business process and for modeling the possible outcome of a fundamental and radical change to the process.

• Journal of English Language & Literature
• /
• v.58 no.5
• /
• pp.859-880
• /
• 2012

This paper aims at analyzing Robert Southey's Thalaba the Destroyer in relation to cultural colonialism of the British Romantic period and investigating the ways in which this text portrays the Other through its literary representation of the East. Especially, this paper attempts to show that the Oriental world constructed in Southey's text reveals the imperial subject's self-conscious awareness of its unstable relation with the unknown Other. For this purpose, this paper attends to the formal aspects of Thalaba the Destroyer, examining the process by which the reader's generic expectations about the "epic" undergo complex revisions and frustrations through reading this text. The epic elements contained in Thalaba the Detroyer include the battle between good and evil and the hero's moral epiphany arising from his struggle against malicious enemies. Yet, Thalaba the Destroyer constantly destabilizes the distinction between self and other by leading the reader to recognize the uncomfortable similarity between the poem's tyrannical figures and imperialistic monarchs in the Western civilization. Thus, when the hero enacts a revolution against despotism, the resistant power points not only to the imagined false kingdom within the text, but to the core of the real Empire that seeks to construct its own "garden" in the global scene. In addition, Southey's "panoramic" description of Oriental objects and stories in his footnotes lacks a framing perspective, erasing and de-stabilizing subject/object distinctions. In these footnotes, he exposes his profound attraction to the culture of "Other" and also conveys his aspiration to transforming Eastern myths and stories into profitable literary texts. Southey's attitude to the East in the footnotes appears to be partially grounded upon the interest of mercantile capitalists of the West, who need to discover potential commodities. Yet, simultaneously, he reveals a sense of moral hesitation about his own desire for the materiality of the East, along with deep anxiety arising from the fear of punishment.

• Language and Information
• /
• v.15 no.2
• /
• pp.47-65
• /
• 2011

A Korean adverb '거의(geoui)' modifies predicates to generate complex predicates which have meanings of 'nearly' complete or typical properties of the modified predicates in quantities, degrees, and frequencies. The modified predicates 'complete' or 'typical' properties are referred counterfactually as standards for the generated predicates' meanings of deficiencies. These counterfactual standards can be formalized by a counterfactual conditional operator of the intensional semantics in Cresswell(1990). The deficiencies in the quantities, degrees, or frequencies of the properties can be expressed formally introducing a world-independent measure of comparison. The measure can be manufactured out of relations between intensional things at indices and their equivalence classes. The world-independent measure of comparison has a semantic structure under-specified in quantity, degree, and frequency, and seems very well-suited in describing lexical meaning of '거의(geoui)'. The lexical-semantic analysis of '거의(geoui)' shows explicitly the plausibility of the indispensable existence of the comparing measure which works across real and counterfactual worlds in natural language meaning. On the other hand, we examined Kim, young-hee(1985)'s proposal of a transition of quantificational meaning for Korean degree adverbs, where he tried to explain the quantificational meaning of Korean degree adverbs in general including '거의(geoui)' with several syntactic and semantic constraints of 'contextual deletion'. But it is shown that the quantificational meanings of the degree adverbs which Kim(1985) discussed are also explained better by their under-specified meanings in quantities, frequencies and degrees with the world-independent measure of comparison applied to their paradigmatic lexical constraint rather than Kim(1985)'s transition of meaning.

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.115-122
• /
• 2004

Software system modeling has a goal for finding and solving system's problems by describing and analyzing system model in formal notations. Petri nets, as graphical formalism, have been used in describing and analyzing the software systems such as parallel systems, real-time system, and protocols. In the analysis of Petri nets, general system properties such as deadlock and liveness are analyzed by the reachability analysis. On the other side, specific properties such as functional requirements and constraints are checked by model-checking. However, since these analysis methods are based on enumeration of ail possible states, there nay be state explosion problem, which means that system states exponentially increase as the size of system is larger. In this paper, we propose a new method for mechanically checking system properties with avoiding state explosion problem. At first, system properties are described in property nets then the system model and the property net are composed and analyzed. In the compositional analysis, system parts irrelevant to the specific property are reduced to minimize the analysis domain of the system. And it is possible to mechanically check whether a specific property is satisfied or not.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.12 no.4
• /
• pp.663-670
• /
• 2017

The purpose of this study is to define On-line Video Syllabus Template which is based on adaptive mode with interaction.A syllabus has the significance as a teaching and learning plan. However, it has not only been considered as a formal document, has also been limited into a simple query since it has been made into a fragmentary structure, lacking of link between other services and reuse. Additionally, this paper is aimed to design three-dimensional syllabus which makes it possible to provide students with practical information related to teaching and learning and share it with teachers and students. The following is the technique proposed in this paper. It is made to be served for the Syllabus centered on teaching and learning, which is including the definition of hierarchy structure, the media contents application according to the learner's preference and real-time variation function. On-line Video Syllabus provided through LMS has availability and credibility of teaching and learning, in that it enable increased utilization by strengthening convenience.

• Journal of Fisheries and Marine Sciences Education
• /
• v.10 no.1
• /
• pp.100-113
• /
• 1998

The information society is characterized by rapidly increasing and changing information. Traditional models of learning and instruct on have emphasized forms of mastering the information in content domains. Storing information and being able to recall it has been central to formal education. But it is no longer possible to master content domains. This paper discusses constructivism as a shifting paradigm for educational research and practice in information society. Constructivism provides an alternative epistemological base to the objectivist tradition. Constructivism holds that there is a real world that we experience. However, the argument is that meaning is imposed on the world by us, rather than existing in the world independently of us. Meaning is seen as rooted in experience. The experience in which an idea is embedded is critical to the individual's understanding of that idea. From the constructivist perspective, learning is not a stimulus-response phenomenon. It requires self-regulation and the building of conceptual structures through reflection and abstraction. Problems are not solved by the retrieval of rote-learned right answers. The effective motivation to continue learning can be fostered by leading students to experience the pleasure that is inherent in solving problems chosen as one's own. Constructivism requires the change of the teacher's role from a knowledge transmitter to a coach or facilitator of student's understanding. Constructivist teachers inquire about students' understanding of concepts before sharing their own understandings of those concepts, and encourage students to engage in dialogue, both with them arid with one another. In Korea, the educational reform called open education has been spreading through out the country. There should be a paradigm shift in learning and instruction from objectivism to constructivism for better educational reform in Korea.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.4
• /
• pp.1013-1024
• /
• 1997

In the traditional object modeling methodologies, the object model can be said as formal since it has been based on rich semantic model. But almost of all methodolgies lack in formality the dyamic model and modeling process. Dynamic model cannot represent exctly the timing constraints and the interaction among the objects, which are very important features in real-time and multimedia system. In this paper, we formalize the synamic moedl and modeling proxess based on object behavior and state. This model defines the object state space using the concepts in algebra stucture and defines the object behavior func-tion. Also this model can formalize object kifecycle and conurrency among the objects usint the temporal logiction. Also this model can frlmaize object lifecycle and conurrency among the objects using the tempral logic and behavior founction. We apply firing rules to behacior function for modeling the dependency of interaction among the objescts.