• Korean Journal of Mineralogy and Petrology
• /
• v.36 no.4
• /
• pp.259-271
• /
• 2023

Since the short-wave infrared spectrum has a significant range of variation depending on the production environment, countries with advanced resource exploration are collecting the spectrum and building a database. Representative organizations include the USGS and CSIRO, and they are currently carrying out a project in China that can synthesize and use a large number of existing data. The USGS library provides a total of 2,457 spectra targeting not only minerals but also various materials that respond to infrared radiation. Among these, there are 1,276 mineral spectra, which are about half of the total. The spectrum title includes information, such as analysis devices (NIC4, BECK, ASDNG, etc.), purity codes (a, b, c, d, u), and measurement methods (AREF, RREF, RTGC, TRAN). Analyzed raw data are provided in ASCII and GIF format. The CSIRO library has a total of 502 spectra, of which the majority, 493, correspond to mineral spectra. The USGS library is a free, publically available resource, while the CSIRO library is bundled with TSG8 or must be purchased separately. Among these, when comparing the eight spectra whose spectral shapes can be analyzed with the spectra of domestic illite, the positions of the absorption peaks are significantly different from those of domestic illite, except for one Japanese illite. Additional research will be needed to determine the causes of such differences, and the domestically relevant databases should be established as well.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.2
• /
• pp.135-149
• /
• 2000

Most of prior works on testing parallel programs have concentrated on how to guarantee the reproducibility by employing event traces exercised during executions of a program. Consequently, little work has been done to generate test cases, especially, from specifications produced from software development process. In this research work, we devise the techniques for deriving test cases automatically from the specifications written in Message Sequence Charts(MSCs) which are widely used in telecommunication areas and develop the testing environment for performing module testing of parallel programs with derived test cases. For deriving test cases from MSCs, we have to uncover the causality relations among events embedded implicitly in MSCs. For this, we devise the methods for adapting vector time stamping to MSCs, Then, valid event sequences, satisfying the causality relations, are generated and these are used as test cases. The generated test cases, written in TTCN, are translated into CHILL source codes, which interact with a target module to be tested and test the validity of behaviors of the module. Since the testing method developed in this research work extracts test cases from the MSC specifications produced front telecommunications software development process, it is not necessary to describe auxiliary specifications for testing. In audition adapting vector time stamping generates automatically the event sequences, the generated event sequences that are ones for whole system can be used for individual testing purpose.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.3
• /
• pp.240-247
• /
• 2001

Java is a promising runtime environment for embedded systems because it has many advantages such as platform independence, high security and support for multi-threading. One of the most famous Java run-time environments, Sun's ($PersonalJave^{TM}$) is based on Truffle architecture, which enables programmers to design various GUIs easily. For this reason, it has been ported to various embedded systems such as set-top boxes and personal digital assistants(PDA's). Basically, Truffle uses heavy-weight window managers such as Microsoft vVin32 API and X-Window. However, those window managers are not adequate for embedded systems because they require a large amount of memory and disk space. To come up with the requirements of embedded systems, we adopt Microwindows as the platform graphic system for Personal] ava A WT onto Embedded Linux. Although Microwindows is a light-weight window manager, it provides as powerful API as traditional window managers. Because Microwindows does not require any support from other graphics systems, it can be easily ported to various platforms. In addition, it is an open source code software. Therefore, we can easily modify and extend it as needed. In this paper, we implement Personal]ava A WT using Microwindows on embedded Linux and prove the efficiency of our approach.