• Title/Summary/Keyword: Formal power

Search Result 175, Processing Time 0.026 seconds

ON RELATIVE COHEN-MACAULAY MODULES

  • Zhongkui Liu;Pengju Ma;Xiaoyan Yang
    • Journal of the Korean Mathematical Society
    • /
    • v.60 no.3
    • /
    • pp.683-694
    • /
    • 2023
  • Let a be an ideal of 𝔞 commutative noetherian ring R. We give some descriptions of the 𝔞-depth of 𝔞-relative Cohen-Macaulay modules by cohomological dimensions, and study how relative Cohen-Macaulayness behaves under flat extensions. As applications, the perseverance of relative Cohen-Macaulayness in a polynomial ring, formal power series ring and completion are given.

A FORMAL DERIVATION ON INTEGRAL GROUP RINGS FOR CYCLIC GROUPS

  • Joongul Lee
    • Honam Mathematical Journal
    • /
    • v.45 no.4
    • /
    • pp.678-681
    • /
    • 2023
  • Let G be a cyclic group of prime power order pk, and let I be the augmentation ideal of the integral group ring ℤ[G]. We define a derivation on ℤ/pkℤ[G], and show that for 2 ≤ n ≤ p, an element α ∈ I is in In if and only if the i-th derivative of the image of α in ℤ/pkℤ[G] vanishes for 1 ≤ i ≤ (n - 1).

A Study on the Power Dressing of Margaret Thatcher: Focus on Fashion Styling (마가렛 대처의 파워 드레싱 연구: 패션 스타일링을 중심으로)

  • Lee, Misuk;Kang, Yoohee
    • Journal of Fashion Business
    • /
    • v.18 no.1
    • /
    • pp.132-148
    • /
    • 2014
  • The objective of this research is to provide data for the power dressing of female politicians when analyzing the fashion styling of Margaret Thatcher. The method is based on considering Margaret Thatcher's life and political career, together with the power dressing of politicians from domestic and foreign literature, advanced research and internet. In addition, 133 clothing photos of Margaret Thatcher's costumes are collected from the internet and several web-sites. The fashion styling being displayed from 4 May 1979 to 28 November 1990 are classified with the 1st term, 2nd term, 3rd term depending on the prime minister. We then analyze items, colors, patterns and fashion accessories. And also observe the power dressing through Thatcher's fashion styling. The results of this study are as follows: Margaret Thatcher expresses authority through blue clothes which symbolizes conservatism at conservative parties, black clothes at formal parties, two or three piece of various colors at international conferences. She also has simple and impressive styles emphasizing accessories such as ribbons or pearls necklaces and earrings, brooches, and handbags. Margaret Thatcher fulfills the styling power dressing of a strong and feminine figure by using items symbolizing authority as a powerful woman.

Real-time Event Processing Role Management System for IFTTT Service (IFTTT 서비스를 위한 실시간 이벤트 처리 룰 관리 시스템)

  • Kim, KyeYoung;Lee, HyunDong;Cho, Dae-Soo
    • Journal of Korea Multimedia Society
    • /
    • v.20 no.8
    • /
    • pp.1379-1386
    • /
    • 2017
  • As the Internet of Things evolves, various IoT services are provided. IFTTT is an abbreviation for If This Then That and refers to a service that links different web-based services. This paper proposes a system that generates and manages rules that combine the possibility of IFTTT service and the real-time event processing according to the concept of IoT service. Conventional database-based data processing methods are burdened to process a lot of data of IoT devices coming in real-time. The IoT device's data can be classified into formal data such as the amount of power, temperature value and position information, and informal data such as video or image data. Thus, this system classifies the data stream of IoT devices coming in real-time using the CEP engine Esper into a file signature table, classifies the formal/informal data, and shows the condition of the device data defined by the user and the service to be provided by applying the service.

Development of a High Accuracy Pure Upwind Difference Scheme (고차 정확도의 순수 상류 차분법의 개발)

  • Cho Ji Ryong
    • Journal of computational fluids engineering
    • /
    • v.4 no.1
    • /
    • pp.8-18
    • /
    • 1999
  • In devising a numerical approximation for the convective spatial transport of a fluid mechanical quantity, it is noted that the convective motion of a scalar quantity occurs in one-way, or from upstream to downstream. This consideration leads to a new scheme termed a pure upwind difference scheme (PUDS) in which an estimated value for a fluid mechanical quantity at a control surface is not influenced from downstream values. The formal accuracy of the proposed scheme is third order accurate. Two typical benchmark problems of a wall-driven fluid flow in a square cavity and a buoyancy-driven natural convection in a tall cavity are computed to evaluate performance of the proposed method. for comparison, the widely used simple upwind scheme, power-law scheme, and QUICK methods are also considered. Computation results are encouraging: the proposed PUDS sensitized to the convection direction produces the least numerical diffusion among tested convection schemes, and, notable improvements in representing recirculation of fluid stream and spatial change of a scalar. Although the formal accuracy of PUDS and QUICK are the same, the accuracy difference of approximately a single order is observed from the revealed results.

  • PDF

A NOTE ON CONTINUED FRACTIONS WITH SEQUENCES OF PARTIAL QUOTIENTS OVER THE FIELD OF FORMAL POWER SERIES

  • Hu, Xuehai;Shen, Luming
    • Bulletin of the Korean Mathematical Society
    • /
    • v.49 no.4
    • /
    • pp.875-883
    • /
    • 2012
  • Let $\mathbb{F}_q$ be a finite field with q elements and $\mathbb{F}_q((X^{-1}))$ be the field of all formal Laurent series with coefficients lying in $\mathbb{F}_q$. This paper concerns with the size of the set of points $x{\in}\mathbb{F}_q((X^{-1}))$ with their partial quotients $A_n(x)$ both lying in a given subset $\mathbb{B}$ of polynomials in $\mathbb{F}_q[X]$ ($\mathbb{F}_q[X]$ denotes the ring of polynomials with coefficients in $\mathbb{F}_q$) and deg $A_n(x)$ tends to infinity at least with some given speed. Write $E_{\mathbb{B}}=\{x:A_n(x){\in}\mathbb{B},\;deg\;A_n(x){\rightarrow}{\infty}\;as\;n{\rightarrow}{\infty}\}$. It was shown in [8] that the Hausdorff dimension of $E_{\mathbb{B}}$ is inf{$s:{\sum}_{b{\in}\mathbb{B}}(q^{-2\;deg\;b})^s$ < ${\infty}$}. In this note, we will show that the above result is sharp. Moreover, we also attempt to give conditions under which the above dimensional formula still valid if we require the given speed of deg $A_n(x)$ tends to infinity.

Extending the Multidimensional Data Model to Handle Complex Data

  • Mansmann, Svetlana;Scholl, Marc H.
    • Journal of Computing Science and Engineering
    • /
    • v.1 no.2
    • /
    • pp.125-160
    • /
    • 2007
  • Data Warehousing and OLAP (On-Line Analytical Processing) have turned into the key technology for comprehensive data analysis. Originally developed for the needs of decision support in business, data warehouses have proven to be an adequate solution for a variety of non-business applications and domains, such as government, research, and medicine. Analytical power of the OLAP technology comes from its underlying multidimensional data model, which allows users to see data from different perspectives. However, this model displays a number of deficiencies when applied to non-conventional scenarios and analysis tasks. This paper presents an attempt to systematically summarize various extensions of the original multidimensional data model that have been proposed by researchers and practitioners in the recent years. Presented concepts are arranged into a formal classification consisting of fact types, factual and fact-dimensional relationships, and dimension types, supplied with explanatory examples from real-world usage scenarios. Both the static elements of the model, such as types of fact and dimension hierarchy schemes, and dynamic features, such as support for advanced operators and derived elements. We also propose a semantically rich graphical notation called X-DFM that extends the popular Dimensional Fact Model by refining and modifying the set of constructs as to make it coherent with the formal model. An evaluation of our framework against a set of common modeling requirements summarizes the contribution.

A Thought on Social Captial Paradigm and Social-Emotional Goods (사회자본 패러다임과 사회·감성재화에 관한 소고)

  • Park, Seong-Kwae
    • Journal of Fisheries and Marine Sciences Education
    • /
    • v.16 no.2
    • /
    • pp.199-209
    • /
    • 2004
  • The main purpose of this study is to explore a social capital paradigm which can be applied to many forms of social capital and intangible goods. The social capital paradigm introduces a new form of capital. This new form of capital produces a flow of socio-emotional goods that have value. Moreover, these socio-emotional goods can attach themselves to the objects used to convey them and change their value and meaning. This change in value and meaning is defined as attachment values. Exchanges of socio-emotional goods occur in networks where social capital resides. Formal and informal institutions provide order and meaning to exchanges of tangible and intangible goods. Social capital is a powerful resource that makes our choices interdependent. The social capital paradigm does not alter or contradict the basic economic theories of exchange. While the social capital paradigm accepts that selfish preferences motive many actions, it adds that sympathy and the desire to consume socio-emotional goods are powerful motivators. In case of marine affairs, ocean and fishing villages and their culture have been not only a fundamental basis of fisheries development but they also have made a great deal of contribution to forming social capital. In spite of this fact, the main reason that the problems of fisheries fishing villages fishermen in our society are kept at a distance is because they have been loosing their capability of forming social capital and producing socio-emotional goods, in addition to lowered relative economic share.

"3+3 PROCESS" FOR SAFETY CRITICAL SOFTWARE FOR I&C SYSTEM IN NUCLEAR POWER PLANTS

  • Jung, Jae-Cheon;Chang, Hoon-Sun;Kim, Hang-Bae
    • Nuclear Engineering and Technology
    • /
    • v.41 no.1
    • /
    • pp.91-98
    • /
    • 2009
  • The "3+3 Process" for safety critical software for nuclear power plants' I&C (Instrumentation and Control system) has been developed in this work. The main idea of the "3+3 Process" is both to simplify the software development and safety analysis in three steps to fulfill the requirements of a software safety plan [1]. The "3-Step" software development process consists of formal modeling and simulation, automated code generation and coverage analysis between the model and the generated source codes. The "3-Step" safety analysis consists of HAZOP (hazard and operability analysis), FTA (fault tree analysis), and DV (design validation). Put together, these steps are called the "3+3 Process". This scheme of development and safety analysis minimizes the V&V work while increasing the safety and reliability of the software product. For assessment of this process, validation has been done through prototyping of the SDS (safety shut-down system) #1 for PHWR (Pressurized Heavy Water Reactor).

The Workplace Empowerment on Staff Nurses' Organizational Commitment and Intent to Stay (임상간호사가 지각하는 임파워먼트, 조직몰입 및 잔류의도)

  • Yom, Young-Hee
    • Journal of Korean Academy of Nursing Administration
    • /
    • v.12 no.1
    • /
    • pp.23-31
    • /
    • 2006
  • Purpose: The purpose of this study was to test the empowerment structural model based on Kanter's work empowerment theory. Method: A predictive, nonexperimental design was used in a sample of 279 nurses from 3 university affiliated hospitals. Data were collected with self-administered questionnaires and analyzed using mean, standard deviation, pearson correlation coefficient and path analysis. Results: The results showed that the overall fitness of the hypothethical model to the data was good(chi-square=.7751, df=4, p=.942, GFI=.999, AGFI=.996, RMSEA=.000). Both formal power and informal power directly influenced on nurses' perceived empowerment level and empowerment directly influenced on nurses' organizational commitment and indirectly influenced on nurses' intent to stay. Conclusion: The results imply that hospital and nurse managers should provide the empowering working condition for nurses to be stayed in hospitals.

  • PDF