• 인터넷정보학회논문지
• /
• 제13권1호
• /
• pp.99-106
• /
• 2012

다수의 오브젝트로 구성된 반응형 시스템을 모델링 하거나 디자인하기 위해 외부의 입력 및 오브젝트들간의 상호작용을 분석하는 것은 중요하고 어려운 문제이다. 또한, 반응형 시스템이 요구 사항들을 모든 가능한 환경 하에서 올바르게 만족하는지를 확인하는 것은 많은 노력이 필요하다. 본 논문에서는 요구 사항들을 기존에 다양한 분야에서 사용되는 시나리오 명세 언어인 MSC(Message Sequence Chart)에 대해 구문 및 의미를 확장한 LSC(Live Sequence Chart)를 이용하여 반응형 시스템에 적합한 시나리오 기반 명세 모델을 만든다. 그리고 LTL Synthesis를 통해 각 오브젝트에 대하여 모든 요구 사항을 올바르게 만족하는 반응형 시스템 모델을 자동으로 생성한다. 마지막으로 생성된 반응형 시스템 모델로부터 의미적으로 동일한 코드로 변환하는 과정을 반복함으로써 전체 반응형 시스템을 개발하는 방법을 제안한다.

• 대한조선학회논문집
• /
• 제54권5호
• /
• pp.368-377
• /
• 2017

Outfittings of offshore plants and high value-added vessels, such as FPSO, drillship, are much more than outfittings of general ships. So the complexity of the outfittings is increased and the importance of outfittings has also increased. But, there is no clear method to define the installation sequence of outfittings, yet. In this study, we developed the algorithm to define the installation sequence of outfittings by applying variables and constraints related to outfitting, such as process parameters, weighting coefficients, installation constraints. Also, we developed the application that applied the algorithm and compared cases by changing the weighting coefficients of process parameters. We verified the practicality of the algorithm by developing the application. The results of this study are that the accuracy of the outfitting planning is improved and efficient lead time can be predicted by defining the installation sequence of outfittings.

• 한국컴퓨터정보학회논문지
• /
• 제11권6호
• /
• pp.49-57
• /
• 2006

사용자와 상호작용을 하는 복잡한 기능을 가진 소프트웨어 시스템을 구현하는데 있어서, 사용자의 요구를 분석하고 이를 개발되는 시스템에 제대로 반영하는 매우 중요한 일이다. 따라서 사용자의 필요를 빠르고 정확하게 이해하는 것이 성공적인 소프트웨어 시스템을 개발하는 중요한 열쇠가 된다. 여러 가지의 요구 명세 언어 중에서도 UML의 Sequence Diagram으로 알려져 있는 Message Sequence Charts (MSC)는 시나리오 개념을 가장 잘 표현하고 있는 언어라고 할 수 있다. Live Sequence Charts (LSC)는 MSC의 확장된 형태로 메시지 추상화와 시나리오의 모드 설정이 가능하다는 특징을 가지고 있다. 본 논문에서는 기존의 연구에서는 다루어지지 않았던 LSC 명세언어의 주요 생성자들을 모두 포괄할 수 있는 LSC 명세언어의 의미론을 새롭게 정의하고 논의하였다. 본 논문에서 정의된 의미론은 기존의 방법들과 비교했을 때 훨씬 넓은 범위의 LSC 명세언어를 포괄하고 있으며, 그동안 정형화되지 않았던 기존의 LSC 명세언어의 내용을 가장 정확하게 표현하고 있다는 장점을 가지고 있다.

• Journal of Microbiology and Biotechnology
• /
• 제34권9호
• /
• pp.1848-1856
• /
• 2024

Chlorella sorokiniana green microalga offers many environmentally friendly applications, including wastewater treatment, biofertilizers, animal feed, and biofuel production. Different strains of C. sorokiniana have unique properties that may suit one application but not another. There is a need to distinguish between the many available strains of C. sorokiniana to choose the one that best fits the application. Consequently, our research goal was to develop strain-specific simple sequence repeat (SSR) markers to differentiate between the different strains. Seventeen markers spanning ten out of the twelve chromosomes of the C. sorokiniana genome were developed and validated on eight different strains from culture collections and our lab, and were then analyzed by fragment analysis. The results demonstrate the potential of these polymorphic markers to detect the genetic differences between the strains of C. sorokiniana, and to serve as useful tools for the intra-species population genetic analysis and conservation genetics studies of C. sorokiniana.

• 대한산업공학회지
• /
• 제29권1호
• /
• pp.49-64
• /
• 2003

Although assembly sequence planning is an essential task in assembly process planning, it is known as one of the most difficult and time consuming jobs because its complexity is increased geometrically when the number of parts in an assembly is increased. The purpose of this study is to develop a more efficient algorithm for generating assembly sequences automatically. By considering subassemblies, a new heuristic method generates a preferred parallel assembly sequence that can be used in robotic assembly systems. A parallel assembly sequence concept provides a new representation scheme for an assembly in which the assembly sequence precedence information is not required. After an user inputs both the directional mating relation information and the mating condition information, an assembly product is divided into subgroups if the product has cut-vertices. Then, a virtual disassembly process is executed to generate alternate parallel assembly sequences with intermediate assembly stability. Through searching parts relations in the virtual disassembly process, stable subassemblies are extracted from translation-free parts along disassembling directions and this extraction continues until no more subassemblies are existed. Also, the arithmetic mean parallelism formula as a preference criterion is adapted to select the best parallel assembly sequence among others. Finally a preferred parallel assembly sequence is converted to an assembly BOM structure. The results from this study can be utilized for developing CAAPP(Computer-Aided Assembly Process Planning) systems as an efficient assembly sequence planning algorithm.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2004년도 Proceedings of ISRS 2004
• /
• pp.99-102
• /
• 2004

Recently according to developing of bioinformatics techniques, there are a lot of researches about large amount of biological data. And a variety of files and databases are being used to manage these data efficiently. However, because of the deficiency of standardization there are a lot of problems to manage the data and transform one into the other among heterogeneous formats. We are interested in integrating. saving, and managing gene and protein sequence data generated through sequencing. Accordingly, in this paper the goal of our research is to implement the system to manage sequence data and transform a sequence file format into other format. To satisfy these requirements, we adopt BSML (Bioinformatics Sequence Markup Language) as the standard to manage the bioinformatics data. And then we integrate and store the heterogeneous 리at file formats using BSML schema based DTD. And we developed the system to apply the characteristics of object-oriented database and to process XPath query, one of the efficient structural query. that saves and manages XML documents easily.

• 한국식품영양학회지
• /
• 제22권1호
• /
• pp.123-131
• /
• 2009

The purpose of this study was to define the job description for food safety specialist, and to describe the duties and tasks of the job based on the detailed analysis of specific food safety work performed by dietitians. The job analysis was 8 professional panels and a Developing A Curriculum(DACUM) facilitator. The research was done in order to fully define the task element, process, and sequence of a food specialist and was completed by DACUM analysis. The job definition of food safety specialist is one who manages food safety through analysis, safety evaluation, inspection, and hazard blocking in all processes related to the purchase, distribution, storage, manufacture, and marketing of foods and food materials. The job description on the DACUM research chart for food safety specialist contained 7 duties and 79 tasks. Its duties were defined as the specific and independent work of a food safety specialist, and were composed of 7 duties, i.e. hazard analysis of foods and related affairs, safety evaluation of purchased food materials, safety management of food/food materials distribution/storage, safety management of food manufacture, safety examination of food marketing, administration affairs on food safety, and self-development. For the future, this study suggests a curriculum, that shall be basis of program planning and food safety operation for subjects within many schools.

• Asian-Australasian Journal of Animal Sciences
• /
• 제30권2호
• /
• pp.254-261
• /
• 2017

Objective: The effects of aging and freezing/thawing sequence on color, physicochemical, and enzymatic characteristics of two beef muscles (Mm. gluteus medius, GM and biceps femoris, BF) were evaluated. Methods: Beef muscles at 3 d postmortem were assigned to four different combinations of aging and freezing/thawing sequence as follows; aging at $2^{\circ}C$ for 3 wk (A3, never-frozen control), freezing at $-28^{\circ}C$ for 2 wk then thawing (F2, frozen/thawed-only), aging at $2^{\circ}C$ for 3 wk, freezing at $-28^{\circ}C$ for 2 wk then thawing (A3F2), and freezing at $-28^{\circ}C$ for 2 wk, thawing then further aging at $2^{\circ}C$ for 3 wk (F2A3). Results: No significant interactions between different aging/freezing/thawing treatments and muscle type on all measurements were found. Postmortem aging, regardless of aging/freezing/thawing sequence, had no impact on color stability of frozen/thawed beef muscles (p<0.05). F2A3 resulted in higher purge loss than F2 and A3F2 treatments (p<0.05). A3F2 and F2A3 treatments resulted in lower shear force of beef muscles compared to F2 (p<0.05). Although there was no significant difference in glutathione peroxidase (GSH-Px) activity, F2A3 had the highest ${\beta}-N-acetyl$ glucominidase (BNAG) activity in purge, but the lowest BNAG activity in muscle (p<0.05). GM muscle exhibited higher total color changes and purge loss, and lower GSH-Px activity than BF muscle. Conclusion: The results from this present study indicate that different combinations of aging/freezing/thawing sequence would result in considerable impacts on meat quality attributes, particularly thaw/purge loss and tenderness. Developing a novel freezing strategy combined with postmortem aging will be beneficial for the food/meat industry to maximize its positive impacts on tenderness, while minimizing thaw/purge loss of frozen/thawed meat.

• 한국컴퓨터정보학회논문지
• /
• 제13권6호
• /
• pp.41-49
• /
• 2008

최근 생물정보학에서의 워크플로우 관리 도구를 이용한 생명 현상에 대한 연구가 활발하게 진행되고 있다. 워크플로우 관리 도구는 서비스의 재사용과 공유를 통해 연구자들이 서로 협업할 수 있는 기반으로 MyGrid 프로젝트의 Taverna를 비롯하여 Kepler, BioWMS 등의 다양한 워크플로우 관리 도구들이 오픈소스로 개발되어 사용 되고 있다. 이러한 워크플로우 관리 도구는 공간적으로 떨어진 서로 다른 서비스들을 웹 서비스 기술을 기반으로 하나의 작업공간에서 연구 과정을 모델링하고 자동화 할 수 있도록 해준다. 생물정보학에서 사용되는 많은 도구와 데이터베이스들이 웹 서비스 형태로 제공되어 워크플로우 관리 도구에서 사용되고 있다. 이러한 상황에서 생물정보학에서 기본으로 사용되는 서열 유사성 검색에 대한 웹 서비스의 개발과 안정적인 서비스 제공은 생물정보학 분야에서 필수적이라 할 수 있다. 본 논문에서는 리눅스 클러스터를 기반으로 생물학 서열 데이터의 유사성 검색 속도를 향상시키는 한편, 이를 웹 서비스 형태로 개발하여 워크플로우 관리 도구와의 연동하여 단시간에 서열 유사성 검색을 가능하게 하였다.

• 한국콘텐츠학회논문지
• /
• 제11권3호
• /
• pp.65-72
• /
• 2011

첨단 과학기술의 등장으로 유전자 정보의 활용 방법과 다양한 분야에서의 융합 형태가 속출하고 있는 현실에 우리는 서있다. 바이오 데이터의 분석을 기반으로 많은 연구와 개발이 이루어지면서 새로운 연관성과 정보를 찾아내기 위한 바이오인포매틱스의 많은 목표들이 설정되고 있는 실정에서 데이터의 정확한 분석을 도울 수 있는 도구의 필요성이 더욱 더 대두되고 있다. 본 논문에서는 기존에 제공되는 바이오 데이터 분석을 위한 여러 가지 도구들의 단점들을 보완할 수 있는 시스템을 개발함으로써 사용자에게 보다 편리한 연구 도구를 제공하고자 한다. 바이오 데이터 분석을 위한 작업으로 ORF 축출, 바이오 서열 정보 검색 및 유사성 비교등의 작업을 분리된 환경이 아닌 통합된 환경에서 제공하고 기존 분석 시스템에서 부족한 연속성을 제공하도록 설계하였다.