• Journal of Broadcast Engineering
• /
• v.18 no.2
• /
• pp.249-260
• /
• 2013

Recently, High-Efficiency Video Coding (HEVC) has been developed as a new video coding standard mainly focusing on the coding of ultra high definition (UHD) videos as the high resolution and high quality videos are getting more popular. Furthermore, the scalable extension of HEVC is being standardized for more efficient provision of HD and UHD services in the communications-broadcasting convergence environment. In this paper, we propose an improved scalable video coding method of H.264/AVC to achieve high coding efficiency particularly for UHD and HD videos. The basic idea is to allow large block size in H.264/AVC SVC, which results in more efficient inter-layer prediction and syntax elements coding. The experimental results show that it achieves an average 4.53% reduction in BD-rate relative to H.264/AVC SVC.

• Journal of KIISE
• /
• v.44 no.11
• /
• pp.1165-1177
• /
• 2017

Many developers utilize specific APIs to develop software, and to identify the use of a particular API, a developer can refer to a website that provides the API or can retrieve the API from the web. However, the site that provides the API does not necessarily provide guidance on how to use it while it can be partially provided in many other cases. In this paper, we propose a novel system JACE (Java AST collocation-pattern extractor) as a method to reuse commonly-used code as a supplement. The JACE extracts the API call nodes, collocation patterns and analyzes the relations between the collocations to extract significant API patterns from the source code. The following experiment was performed to verify the accuracy of a defined pattern: 794 open source projects were analyzed to extract about 15M API call nodes. Then, the Eclipse plug-in test program was utilized to retrieve the pattern using the top 10 classes of API call nodes. Finally, the code search results from reference pages of the API classes and the Searchcode [1] were compared with the test program results.

• School Mathematics
• /
• v.5 no.4
• /
• pp.477-506
• /
• 2003

In this paper, we analyze nine-grade students' conceptions of parameters, their relation to unknowns and variables and the process of understanding of letters in problem solving of equations and functions. The roles of letters become different according to the letters-used contexts and the meaning of letters Is changed in the process of being used. But, students do not understand the meaning of letters correctly, especially that of parameter. As a result, students operate letters in algebraic expressions according to the syntax without understanding the distinction between the roles. Therefore, the parameter of learning should focus on the dynamic change of roles and the flexible thinking of using letters. We develop a self-regulation model based on the monitoring working question in teaching-learning situations. We expect that this model helps students understand concepts of letters that enable to construct meaning in a concrete context.

• International Journal of High-Rise Buildings
• /
• v.6 no.2
• /
• pp.149-163
• /
• 2017

With the intensification of urban development in Chinese cities, mixed land use in urban centers extends vertically into 3-D and expands its scale from a single building to commercial clusters. The multi-level pedestrian system in city centers also changed its role from one of traffic isolation to spatial integration, where transit nodes, street sidewalks, squares, building entrances, atriums, and corridors are interconnected, both horizontally and vertically, into a whole spatial system, within which pedestrian flows are guided and shopping facilities are arranged. This paper uses spatial configuration analysis of space syntax to examine the impacts of spatial patterns on movement distribution and the business performance of tenant mix in the multi-level commercial system of the Nanshan Commercial Cultural District in Shenzhen, China. The key objective is to better understand the interactions between the socio-economic variables and spatial design parameters of a shopping complex. The research findings point to the importance of multiplicity between syntactic variables and other spatial variables in influencing the pedestrian flows, business performance and tenant mix in highly complex commercial systems. Particularly noteworthy is the relationship between spatial accessibility measures and the location of escalators, and the ways in which individual commercial buildings are embedded into the overall spatial system. The study suggests that this may lead to the preliminary identification of the spatial qualities of effective vertical extensions of mixed land use in a high-density urban settings.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.15 no.1
• /
• pp.23-32
• /
• 2009

Among welfare facilities for the elderly, necessity for the elderly welfare with diverse advantages is rising in the Small-scale Elderly Care Facilities. The government is expecting great demand in the future. However, current the Facilities lack construction plans that consider characteristics of the elderly. Accordingly, 14 case facilities located in JeollaNamdo and Gwangju were selected to comprehensively analyze the circulation of seniors at care facilities by computing spatial depth and visible area variables. As a result of this study, average spatial depth of bathroom, resting room, physical therapy room and dining hall that seniors frequently get in contact with was found to be deep, but visible area appropriate for the function of space was not available. It showed that the circulation for the elderly was deep spatially and long physically, and the spatial rank along circulation which is perceived visually by the admitted the elderly was clear, thus, providing them abundant visual experience supported by high openness as they move from private space to public space. The obtained visibility, however, was observed not to be matched with the function of each space. Since the Small-scale Elderly Care Facilities require various spaces within small surface area, actual functions of each space must be taken into consideration with hierarchical space organization to obtain an environment that stimulates senses such as vision and hearing. In addition, since the circulation of seniors using facilities must consider aging characteristics and delicate care on spatial depth and physical distances, in-depth studies on planning of the circulation in care facilities are deemed necessary.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2756-2768
• /
• 1997

The software Process can be defined as the set of activities, rules, procedures, techniques and tools used within the production of software. A software process model is a conceptual representation of a real world software Process and can be described by process programming languages. In this paper, we present the language constructs of SimFlex designed for object-based software process programming. The design of SimFlex is based on the object concept, so that it can model complex software processes concisely both in syntax and semantics. Since the language constructs of SimFlex are derived from the analysis of major PSEEs and their associated process programming languages, SimFlex includes the core characteristics required for a desirable object-based process programming language. In addition, SimFlex is designed to act as a template software process definition language which could be included in specific PSEEs through customization appropriate to those PSEEs.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.52 no.1
• /
• pp.59-70
• /
• 2024

As urbanization progresses, the demand for parks and green space is increasing. Park green spaces in the city are important spaces in the city because they are recognized as spaces where people can freely engage in outdoor activities. The park service area is a measure that shows the extent to which services are provided based on distance. In this process, the concept of accessibility plays an important role, and walking, in particular, as the most basic means of transportation for people and has a great influence on the use of parks. However, the current park service area analysis focuses on discovering underprivileged areas, so detailed evaluation of beneficiary areas is insufficient. This study seeks to evaluate park service areas based on the pedestrian accessibility and the pedestrian network. Park services are services that occur when users directly visit the park, and accessibility is expected to be reflected in terms of usability. To quantify the pedestrian network, this study used space syntax to analyze pedestrian accessibility based on integration values. The integration values are an indicators that quantify the level of accessibility of the pedestrian network, and in this study, the higher the integration value, the higher the possibility of park use. The results of the study are as follows. First, Bundang-gu's park service area accounts for 43%, and includes most sections with high pedestrian accessibility, but some sections with good pedestrian accessibility are excluded. This can be seen as a phenomenon that occurs when residential areas and commercial and business areas are given priority during the urban planning process, and then park and green areas are selected. Second, based on Bundang-gu, the park service area and pedestrian accessibility within the park service area were classified by neighborhood unit. Differences appear for each individual neighborhood unit, and it is expected that the availability of the park will vary accordingly. In addition, even in areas created during the same urban planning process, there were differences in the evaluation of park service areas according to pedestrian accessibility. Using this, it is possible to evaluate individual neighborhood units that can be reflected in living area plans, and it can be used as a useful indicator in park and green space policies that reflect this in the future.

• Journal of KIISE:Software and Applications
• /
• v.35 no.1
• /
• pp.50-58
• /
• 2008

Most of Korean sentences are complex sentences which consisted of main clause and embedded clause. These complex sentences have more than one predicate and this causes various syntactic ambiguities in syntactic analysis. These ambiguities are caused by phrase attachment problems which are occurred by the modifying scope of embedded clause. To resolve it, we decide the scope of embedded clause in the sentence and consider this clause as a unit of syntactic category. In this paper, we use sentence patterns information(SPI) and syntactic properties of Korean to decide a scope of embedded clause. First, we split the complex sentence into embedded clause and main clause by the method that embedded clause must have maximal arguments. This work is done by the SPI of the predicate in the embedded clause. And then, the role of this embedded clause is converted into a noun phrases or adverbial phrases in the main clause by the properties of Korean syntax. By this method, the structure of complex sentence is exchanged into a clause. And some phrases attachment problem, which is mainly caused by the modifying scope, is resolved easily. In this paper, we call this method clausal segmentation for embedded clause. By empirical results of parsing 1000 sentences, we found that our method decreases 88.32% of syntactic ambiguities compared to the method that doesn't use SPI and split the sentence with basic clauses.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.339-352
• /
• 2009

There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.

• Journal of Internet Computing and Services
• /
• v.23 no.2
• /
• pp.61-70
• /
• 2022

General users who use smartphone apps often use the Vault app to protect personal information such as photos and videos owned by individuals. However, there are increasing cases of criminals using the Vault app function for anti-forensic purposes to hide illegal videos. These apps are one of the apps registered on Google Play. This paper proposes a methodology for extracting feature points through XML-based keyword frequency analysis to explore Vault apps used by criminals, and text mining techniques are applied to extract feature points. In this paper, XML syntax was compared and analyzed using strings.xml files included in the app for 15 hidden Vault anti-forensics apps and non-hidden Vault apps, respectively. In hidden Vault anti-forensics apps, more hidden-related words are found at a higher frequency in the first and second rounds of terminology processing. Unlike most conventional methods of static analysis of APK files from an engineering point of view, this paper is meaningful in that it approached from a humanities and sociological point of view to find a feature of classifying anti-forensics apps. In conclusion, applying text mining techniques through XML parsing can be used as basic data for exploring hidden Vault anti-forensics apps.