For a time-multiplexed FPGA, a circuit is partitioned into several subcircuits, so that they temporally share the same physical FPGA device by hardware reconfiguration. In these architectures, all the hardware reconfiguration information called contexts are generated and downloaded into the chip, and then the pre-scheduled context switches occur properly and timely. Typically, the size of the chip required to implement the circuit depends on both the maximum number of the LUT blocks required to implement the function of each subcircuit and the maximum number of micro-registers to store results over context switches in the same time. Therefore, many partitioning or synthesis methods try to minimize these two factors. In this paper, we present a new estimation technique to find the lower bound on the number of micro-registers which can be obtained by any synthesis methods, respectively, without performing any actual synthesis and/or design space exploration. The lower bound estimation is very important in sense that it greatly helps to evaluate the results of the previous work and even the future work. If the estimated lower bound exactly matches the actual number in the actual design result, we can say that the result is guaranteed to be optimal. In contrast, if they do not match, the following two cases are expected: we might estimate a better (more exact) lower bound or we find a new synthesis result better than those of the previous work. Our experimental results show that there are some differences between the numbers of micro-registers and our estimated lower bounds. One reason for these differences seems that our estimation tries to estimate the result with the minimum micro-registers among all the possible candidates, regardless of usage of other resources such as LUTs, while the previous work takes into account both LUTs and micro-registers. In addition, it implies that our method may have some limitation on exact estimation due to the complexity of the problem itself in sense that it is much more complicated than LUT estimation and thus needs more improvement, and/or there may exist some other synthesis results better than those of the previous work.
This study is, from the view point of constructive social studies which is the foundation of the 7th curriculum, to explore whether there is any viable program and to investigate it by which students, using photo resources in social studies, can organize their knowledge in the way of self-directed thinking. The main results are as follows: If it is a principle of knowledge construction process of constructive social studies that individual construction (cognitive construction) develops into communal construction(social construction) and yet communal construction develops itself, interacting with individual construction, it will be meet the objectives of social studies. In social studies, photos are a powerful communication tool. communicating with photos enables to invoke not only the visual aspects but also invisible aspects of social phenomena from photos. It, therefore, can help develop thinking power through inquiry learning, which is one of the emphasis of the 7th curriculum. Having analyzed photo resources appeared on the regional textbooks in elementary social studies, they have been appeared that even though the importance and amount of space photo resources occupy per page is big with regard to total resources, most of the photos failed to lad to self-directed thinking but just assistant material in stead. Besides, there appeared some problems with the title, variety, size, position, tone of color, visibility of the photos, and further with the combination of the photos. Developing of photo resources for constructive social studies is to overcome some problems inherent in current text books and to reflect the theoretical background of the 7th curriculum. To develop the sort of photo that can realize the point just mentioned, it would be highly preferable to provide photo database to facilitate study with homepage through web-based interaction. To take advantage of constructive photo resources, the instruction is strategized in four stages, intuition, conflict, accommodation, and equilibration stage. With the advancement of the era of image culture, curriculum developers are required to develop dynamic, multidimensional digital photos rather than static photos when develop text books.
This study analyzed the forces to drive the change of urban green spaces in Daegu from 1989 to 2009. First, the loss and fragmentation of green spaces in the past 20 years were spatially identified by performing the hot spots analysis for the cell-based spatial metrics quantifying the size and diversity of green spaces. Next, seven drivers such as slope, distance to roads, land price, population density, ratios of residential, commercial, and industrial areas were selected based on the previous studies and the direction of the association between the loss and fragmentation of green spaces and seven drivers was analyzed with the stepwise logistic regression. Finally, the relative importance of the seven drivers and their interactions in the past 20 years were analyzed with the geographical detector. The results show that the loss of green spaces was concentrated on a part of the Anshim housing development district from 1989 to 2009 and green spaces were highly fragmented around the housing development districts such as Seongseo, Anshim, Dalseong-gun and Chilgok. The forces to drive the loss and fragmentation of green spaces in these areas were different at the administrative levels, but the drivers such as slope and ratios of residential and industrial areas were commonly significant. These drivers were positively correlated with largest patch index(LPI) quantifying the loss of green spaces while they were negatively correlated with Shannon's diversity index(SHDI) measuring the fragmentation of green spaces. In other words, the loss and fragmentation of urban green spaces in Daegu appeared around such regions with lower slope and lower ratios of residential and industrial areas. The relative importance of drivers for LPI was listed as ratio of industrial area, land price, and ratio of commercial area in descending order whereas that of drivers for SHDI was listed as ratio of industrial area, land price, and distance to roads in descending order. Also, the interaction between slope and ratio of residential area had a great impact on LPI and SHDI. The ratio of industrial area was a single driver to most significantly explain the loss and fragmentation of urban green spaces in Daegu in the past 20 years. The interaction between slope and ratio of residential area was greater than the independent influence of a single driver. This study will provide the base data to build a sustainable urban green policy for the city of Daegu in the near future.
This study empirically examines the impact of SSM market entry on changes in market shares among retailing types. The data is monthly time-series data spanning over the period from January 2000 to December 2010, and the effect of SSM market entry on market shares of retailing types is analyzed by utilizing several key factors such as the number of new SSM monthly entrants, total number of SSMs, the proportion of new SSM entrant that is smaller than