Automatic test case generation for testing an embedded software is considered. Existing tools for test case generation such as finite state machine or mutant test usually adopt top down approach and depend upon graphical transition and decision table, which makes it difficult to find out where the bugs exist. Also it is hard to describe the special features of embedded systems such as concurrent execution of individual components. Most of embedded systems interacts with the real world, receiving signals through sensors or switches and sending output signals to actuators that somehow manipulate the environment. Embedded software controls the entire system based on the logics such as interpreting the sensor inputs and making the actuators to start or stop their intended operation. This study proposes an automatic test case generation procedure that tests the system starting from the control logics of sensors, switches and actuators and then their concurrent execution controls, and finally the entire system operation. Such a stepwise approach makes it easy to generate test cases to tell where the bugs of embedded software exist.
본 연구는 1990년대 이후에 나타난 중앙정부 지역정책의 패러다임 변화를 논의하였다. 특히, 지역정책의 발상지인 영국에서 1928년부터 2000년대까지 전개되어온 중앙정부의 지역정책 변화를 살펴보되 최근 10년간의 동향에 초점을 맞추었다. 최근 10년간의 주요 변화는 지역격차 완화를 위해 규제와 지원을 통해 산업과 인구의 공간분포를 변형시키고자 하는 중앙정부의 개입주의적인 하향식 지역정책이 지역경쟁력 강화와 그것을 위한 지역발전의 분권화를 추진하는 지역정책으로 전환하고 있다는 것이다. 그리고 그러한 전환 속에서도 영국 중앙정부는 지역격차 완화를 계속 추구해오고 있다. 또한 본고는 영국 중앙정부의 지역정책 변화가 대내외 환경 변화 속에서 우리나라 중앙정부의 향후 지역정책 방향 설정에 던져주는 시사점을 제시하였다.
본 연구는 영어 동화를 읽기 교육에 활용한 여러 선행연구의 실험 결과를 개별 데이터로 보고 메타분석을 활용하여 통계적으로 분석한 결과 영어 동화 활용 읽기 지도의 효과성에 대해 알아보는 데 목적이 있다. 이를 위해 교실수업에서 실험집단과 비교집단을 설정하고 영어 동화를 독립변인으로 하여 실험을 진행한 80편의 국내 발표 학술지 및 논문을 메타분석 대상으로 선정하여 효과크기를 산출한 결과 다음과 같은 결론을 도출하였다. 유 초등 학습자를 대상으로 한 영어 동화를 활용한 읽기 교육은 인지적 정의적 영역 모두에서 유의한 효과가 나타났으며, 특히 초등 고학년보다 유아~초등 2학년에게서 더 높은 효과가 있다. 또한 영어 동화 읽기 지도 접근법에 따라 분석한 결과, 인지적 영역에서 하향식 모델, 균형식 모델, 상향식 모델의 순으로 그 효과가 높은 것으로 드러났다. 또한 본 연구를 통해서 영어 동화를 많이 투입하는 것보다 적은 수의 동화라 하더라도 그와 관련된 다양한 활동을 구안하여 적용하는 것의 효과적이라는 사실을 발견했다.
소셜컴퓨팅에 기반을 둔 사회에서는 개인이 주체가 되어 기술을 진보시키고 사회가 이에 적응해야 하는 형태로 변모하게 되는 사용자 중심의 환경으로 변화하고 있다. 정치과정에서도 이러한 경향은 강화될 것으로 예상된다. 즉, '연결된 개인들' (networked individuals)이나 '유연자발집단'에 의한 상향식 의사결정 구조로의 이행 가능성이 충분히 열려 있다. 이러한 맥락에서 본 연구는 소셜컴퓨팅 시대의 도래에 따른 정치사회 환경의 변화를 수용하고 이에 대응하는 '스마트시민정당' 모델을 제안하고 있다. '스마트시민정당'은 이러한 소셜컴퓨팅 사회의 '스마티즌을 위한 정당'(party for smartizen)을 의미한다. '스마트시민정당'은 국가와 시민사회를 연계하는 '매개 정당'(intermediate party)이며, 시민의 능동적 참여에 의해 민주적으로 운영되는 '스마트한 시민들의 정당'(smart citizen's party)이다. 이에 기초하여 우리나라 기성 정당의 구조와 운영상의 문제점을 분석해 보고 미래지향적인 대응방안을 모색하는데 본 연구의 초점이 있다.
국가지리정보체계의 구축 및 활용 등에 관한 법률(구법/NGIS Act, 2000)이 폐지되고 국가공간정보에 관한 법률(신법/NSDI Act, 2009)이 제정되면서 국가 공간정보 정책 평가시스템에는 많은 변화가 발생되었다. 구법과 비교할 경우 신법은 국가 공간정보 정책의 추진체계가 일원화되었다는 장점은 있으나 예산 요구권의 약화로 공간정보 정책의 법적 실현가능성은 약화되었다는 논의가 있다. 이러한 문제의식 하에 구법에서 신법으로 법률이 새롭게 제 개정되면서 나타난 평가체계의 변화를 분석하는 것은 매우 중요한 의미를 갖는다고 할 것이다. 따라서 본 연구의 목적은 구법과 신법에서 규정한 국가공간정보 정책 평가체계를 비교 분석하여 평가 제도에서 나타난 변화가 무엇인지를 분석하는데 있다. 주된 연구방법은 구법과 신법의 비교분석 방법을 활용하였다. 비교 분석대상은 평가추진체계, 평가주체, 평가대상 및 범위, 평가결과의 활용, 평가전담기관 등이다. 분석결과를 토대로 할 경우 국가 공간정보 정책 평가시스템의 개선방안으로는 평가목적의 명확화, 평가 전담기관 제도의 활성화, 평가결과와 인센티브 및 예산 연계성의 강화, 공간정보정책의 사전 사후 연계성 강화 방법론 모색, 상향식과 하향식 접근이 결합된 평가지표의 개발 방안 등이 필요하다는 것을 제안하였다.
This paper presents a new approach for detecting abnormal behaviors in complex surveillance scenes where anomalies are subtle and difficult to distinguish due to the intricate correlations among multiple objects' behaviors. Specifically, a cascaded probabilistic topic model was put forward for learning the spatial context of local behavior and the temporal context of global behavior in two different stages. In the first stage of topic modeling, unlike the existing approaches using either optical flows or complete trajectories, spatio-temporal correlations between the trajectory fragments in video clips were modeled by the latent Dirichlet allocation (LDA) topic model based on Markov random fields to obtain the spatial context of local behavior in each video clip. The local behavior topic categories were then obtained by exploiting the spectral clustering algorithm. Based on the construction of a dictionary through the process of local behavior topic clustering, the second phase of the LDA topic model learns the correlations of global behaviors and temporal context. In particular, an abnormal behavior recognition method was developed based on the learned spatio-temporal context of behaviors. The specific identification method adopts a top-down strategy and consists of two stages: anomaly recognition of video clip and anomalous behavior recognition within each video clip. Evaluation was performed using the validity of spatio-temporal context learning for local behavior topics and abnormal behavior recognition. Furthermore, the performance of the proposed approach in abnormal behavior recognition improved effectively and significantly in complex surveillance scenes.
The 3th International Conference on Construction Engineering and Project Management
/
pp.622-627
/
2009
Business process engineering (BPE) is a top-down management approach for increasing efficiency and productivity through radical and fundamental changes to the business processes of the organization. BPE requires firms to initially develop a model of the existing business processes of the firm to distinguish functional tasks from processes used for coordinating inputs, activities and outputs. The model is used for understanding the business processes in the organization and to simulate the effect of changes to the processes. The model can also be used to justify business processes, which involves assessing whether the business process provides value to the customer in its current configuration. Justification requires a careful examination of the key business processes used by the firm to identify systemic shortcomings in the process and to create a new business process to produce greater efficiency. BPE also considers automating as many business processes as possible to increase operational efficiency and the integration of business process tasks. The construction industry has been slow to adopt BPE because of its project approach in which a major firm contracts with various functional service providers and regards each project as unique. The industry focuses on functional task efficiency rather than business process efficiency. There is no formal methodology or criteria for determining whether a business process is effective for a construction firm in its current configuration. The use of performance measures such as costs, task duration times or other metrics can be useful in evaluating the effectiveness of an existing business process and for modeling the possible outcome of a fundamental and radical change to the process.
Wong, Crystal;Chan, Icy;Lam, Lily;Zayed, Tarek;Sun, Yi
국제학술발표논문집
/
The 8th International Conference on Construction Engineering and Project Management
/
pp.267-277
/
2020
The present research evaluates the public engagement approach in various project stages. Hong Kong had long been criticized as top-down and executive-led jurisdiction by overlooking the importance of cultural heritage and public concerns on public projects. It was suggested to the government to engage public and provide sufficient public consultation. Thereby, the government announced a series of revitalization and conversion measures in Policy Address in 2008. To carry out the measures, there were voices, because of diverse and sometimes conflicting interests, over the effect of revitalization project. On the other hand, studies reveal that there are benefits of revitalization and enhancement of public engagement approach. In pursuit of the subject, the present research aims at studying the Central Market as a case study pilot project. In October 2009, the Policy Address announced that the Central Market be revitalized. Tasked to implement the project, Urban Renewal Authority (URA) continued to adopt the people-oriented approach as the guiding principle in its core business and in heritage preservation and revitalization so as to create a sustainable development. Between government and the public, URA acts as a bridge for communication. As between URA and the public, URA conducted public consultation, set up an ad-hoc committee in January 2016 to be in charge of the project and will continuously inform the government and public with the updates and project progress. The main objectives of the present research are to assess the advantages and challenges in different stages of public engagement approach, to evaluate the engagement system, to give a comprehensive view for participation of stakeholders, and to find out effective strategies to enhance civil engagement. Research was achieved through interviews to key persons in the project, questionnaire that was distributed to community and experts in the field. Case Study of the Central Market was studied and investigated using different sources, such as newspapers, journals, etc, to evaluate the degree of public engagement in the project. Both detailed qualitative methodological approaches of interview, questionnaire, and case study, act as a synergy to demonstrate the research objectives and provide the comprehensive perceptions on the revitalization project. The results show that public participants in revitalized project have generated considerable value enhancements to social-cultural, environmental, political and economic aspect. This study provides valuable insights that the public participation can make positive contribution to sustainability in the city. The findings indicate that no any single system is flawless therefore seeking both public opinions and professional advices are also important as a comprehensive approach to achieve higher sustainability of the building.
독일 중부(Solling Hills)의 가문비림 임관의 구조적인 수분증산 통도특성은 LE와 H의 유동량으로 측정되고, 1996년 6월중 재배열된 Penman-Monteith 식을 이용하여 SVAT 모형을 설계하여 도출하였다. 또한 SLODSVAT 모형을 통한 전체 임관 내 각 침엽의 연속적인 수분통도성을 평가하여 임관기공의 통도성을 비교하였다. 이와 같은 결과에서 나온 임관 표면 통도성과 유동량을 설계하고, SLODSVAT 모형에 의해 설계된 기공 통도성 사이에서 중요한 차이점을 알 수 있었다. 이 차이점은 산림 임관의 범위내에 빗물리적인 요소에 의해 영향을 받았음을 알 수 있으며, 일반적으로 임관 표변의 통도성은 전체 측정 기간 동안 임관 기공 전도력보다 크게 나타났다. 또한 산림의 전체 증발산량에 대한 하층부의 공헌도는 작았고, 임관의 복사에너지 균형에 의존하지는 않는 것으로 나타났다. 하층부 증발산량의 기각은 독일 가문비림에 대한 임관 표면 전도력의 과대 평가로서 나타난 결과이다.
국가균형발전과 지역혁신은 참여정부의 핵심 국정 과제의 하나로서 활발히 추진되어 왔다. 국가균형발전은 지역혁신을 통한 자립형 지방화 실현에 역점을 두고 있으며, 그중에서 가장 핵심이 되는 것은 지역의 내생적 산업발전을 촉진하기 위한 지역혁신체제 구축 및 클러스터 육성 정책이다. 이러한 맥락에서 본 논문은 참여정부의 지역혁신 및 혁신클러스터 정책을 평가하고, 이를 토대로 앞으로의 정책 과제를 제시함을 목적으로 한다. 참여정부 지역혁신 및 클러스터 정책의 문제점으로는 과거보다는 나아졌지만 여전히 하향식 정책 추진 방식이 중심이며, 정책의 중복과 정책 간 연계 미흡으로 인한 비효율적인 예산 집행이 가장 큰 문제점으로 지적된다. 또한 대형 토건 프로젝트를 중심으로 하드웨어 중심 사업이 큰 비중을 차지하고 있으며, 모든 지역에 동일한 정책적 잣대를 적용함으로써 지역 간 과열 경쟁은 물론이고 지역의 특성과 잠재성이 충분히 발휘될 수 없다는 점도 개선되어야 할 과제이다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.