• Asian Journal of Innovation and Policy
• /
• v.10 no.1
• /
• pp.1-38
• /
• 2021

The paper examines the role of the informal sector on innovation activities of urban formal manufacturing enterprises in India. It provides empirical evidence on firm-level linkages between formal and informal sectors by using the World Bank Enterprise Survey, 2013-14 and the Innovation Follow-up survey, 2014. Primarily, the paper aims to examine the effect of informal sector competition on innovation in urban formal manufacturing enterprises in India. Secondly, the paper analyses the mediation effect of informal sector competition on innovations in the urban manufacturing enterprises. It determines the direct and indirect influence of business regulations and constraints on innovation outcomes through the mediation effect of informal sector competition by using the SEM "Structural Equation Modeling" guidelines. The econometric results show that informal sector competition has a negative effect on the introduction of product innovations while industry-level informal sector competition has a positive effect on product innovation through the local knowledge spillovers from the informal to the formal sector. However, the informal sector competition was found to have no significant effect on the probability of introducing process innovations. Further, the results show the inhibitive role of informal sector competition on innovation in urban formal manufacturing enterprises is more severe for firms with heavy regulatory burdens and is relatively weakened in firms with resource constraints. This suggests that the informal sector plays an important role in the NIS (National Innovation System) in India.

• Korean Journal of Mathematics
• /
• v.22 no.1
• /
• pp.169-180
• /
• 2014

In this study, we consider the informal and formal definition of limit on the basis of middle and high school curriculum, and then analyze the reason of difficulties experienced when sophomores learn the formal definition(${\epsilon}-{\delta}$ procedure) of limit. We conducted teaching of the formal definition of limit with sophomores and analyzed their errors which were appeared when they applied to limits problems. In addition, we try to improve the understanding of ${\epsilon}-{\delta}$ procedure of the limit taught in analysis.

• Journal of the Chungcheong Mathematical Society
• /
• v.25 no.3
• /
• pp.381-391
• /
• 2012

In this paper, the formal linearization method is used to construct multisoliton solutions for three model of shallow water waves equations. The three models are completely integrable. The formal linearization method is an efficient method for obtaining exact multisoliton solutions of nonlinear partial differential equations. The method can be applied to nonintegrable equations as well as to integrable ones.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.5 no.4
• /
• pp.49-56
• /
• 2002

For the purpose of the increase in the performance and thermal stability of PBX's, the mixed formal consisting of BDNPF, DNPBF and BDNBF were synthesized. In order to find out the optimal condition for the synthesis of energetic plasticizer, BDNPF, DNPBF and BDNBF, the synthetic procedures have been investigated. We synthesized DNP-OH and DNB-OH through oxidative nitration and controlled various composition of mixed formal by $H_{2}SO_{4}$ and s-trioxane to investigate optimal composition, and then characterized its thermo-physical properties.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.11a
• /
• pp.297-300
• /
• 2003

This paper considers formal verification methods for enhancing software reliability. The formal method verifies that a software is correctly implemented according to its specification by using a mathematical formalism. This paper presents a partial survey on the formal methods and discusses possible applications for the improved software implementation. Finally, some topics are remarked as further studies.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.864-867
• /
• 1995

Presented in the paper is a structured approach to modeling automated manufacturing system (AMS) in the form of an event graph. The proposed two-phase procedure for formal modeling is 1) reference modeling by schematic supervisory control modeling and 2) event graph transformation from supervisory control model. Also described is a formal model for a small-sized FMS in the form of an event graph.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.619-622
• /
• 1996

This paper presents the formal integration of process planning and shop floor control with Petri net formalism. Formal integration means that both planning and control problems can be modeled, interfaced, and transformed with the Petri net formalism. This integrated framework provides a systematic approach for rapidly developing a formal shop floor controller from process planning with respect to shop floor configuration.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.10 no.2
• /
• pp.107-112
• /
• 2010

In this paper, we investigate the properties of antitone Galois connection and formal concepts. Moreover, we show that order reverse generating maps induce formal, attribute oriented and object oriented concepts on a complete residuated lattice.

• Communications of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.207-214
• /
• 2011

The formal linearization method is an efficient method for constructing multisoliton solution of some nonlinear partial differential equations. This method can be applied to nonintegrable equations as well as to integrable ones. In this paper, we obtain multisoliton solution of generalization Burger's equation and the (3+1)-dimension Burger's equation and the Boussinesq equation by the formal linearization method.

• Honam Mathematical Journal
• /
• v.44 no.4
• /
• pp.628-635
• /
• 2022

For another study of soft context and soft concept closely related to formal context and formal concept, in this paper, we propose the notions of conditional concepts, decision concepts and soft decision context based on soft contexts. Subsequently, the notions of consistent soft decision context and consistent set are introduced, and some properties for consistent set of soft decision contexts are investigated.