检索结果-内蒙古大学图书馆

17th AIAA Aviation technology, integration, and Operations Conference, 2017

作者： Rong, Hao Gu, Qingfan Chen, Zhixiong Xu, Desheng China National Aeronautical Radio Electronics Research Institute Shanghai China Science and Technology on Avionics Integration Laboratory Shanghai China State Key Laboratory for Civil Aircraft Flight Simulation Commercial Aircraft Corporation of China Ltd No.5188 Jin Ke Road Shanghai China Civil Aviation Department No.432 Zi Yue Road Shanghai China

ISBN: (纸本)9781624105081

Integrated modular avionics systems bring new concepts and benefits for function integration and resource utilization in developing advanced aircraft avionics, as well as a series of challenges related to hazard analysis in components interaction and functions operation. When software applications provided independently by the subsystem developers are integrated onto the IMA hardware platform, it is very difficult for designers to understand and predict how the system will behave and what interaction hazards could occur. Although the ARP 4761-based safety analysis methods have solved a large number of safety problems on the development of civil aircraft and system designs in early times, there are some limitations when analyzing more and more complex integrated modular avionics systems in modern times. To gain a good or better understanding and a comprehensive awareness of applications interaction hazards in today’s more complex, software-intensive IMA systems, it is significant to use a method to consider these new causal factors that are not handled by the older techniques and to provide more guidance to the analyst in performing hazard analysis. system-Theoretic Process Analysis (STPA) is one of typical systemic hazard analysis methods. STPA has its foundation in a new accident causality model called STAMP (system-Theoretic Accident Model and Process). STAMP was proposed based on the cybernetics of systems theory. In STAMP, the dysfunctional interactions and requirements flaws during operation are primary types of inadequate control. The STPA-based hazard analysis method is extended in this paper to account for behavior that emerges when software applications are integrated and make functional interaction. This method will be capable of modeling the new causal factors that contribute to component interaction hazards. The paper illustrates the new method with a case that includes real-world avionics display functions, this application of the proposed method will b

关键词： Hazards

来源：评论

学校读者我要写书评

暂无评论

Deriving Einstein-Podolsky-Rosen steering inequalities from the few-body Abner Shimony inequalities

arXiv

引用

arXiv 2018年

作者： Zhou, Jie Meng, Hui-Xian Jiang, Shu-Han Xu, Zhen-Peng Ren, Changliang Su, Hong-Yi Chen, Jing-Ling Theoretical Physics Division Chern Institute of Mathematics Nankai University Tianjin300071 China School of Physics Nankai University Tianjin300071 China Departamento de Física Aplicada Ii Universidad de Sevilla SevillaE-41012 Spain Center for Nanofabrication and System Integration Chongqing Institute of Green and Intelligent Technology Chinese Academy of Sciences Chongqing Key Laboratory of Multi-Scale Manufacturing Technology Chongqing Institute of Green and Intelligent Technology Chinese Academy of Sciences Centre for Quantum Technologies National University of Singapore 3 Science Drive 2 Singapore117543 Singapore

For the Abner Shimony (AS) inequalities, the simplest unified forms of directions attaining the maximum quantum violation are investigated. Based on these directions, a family of Einstein-Podolsky-Rosen (EPR) steering inequalities is derived from the AS inequalities in a systematic manner. For these inequalities, the local hidden state (LHS) bounds are strictly less than the local hidden variable (LHV) bounds. This means that the EPR steering is a form of quantum nonlocality strictly weaker than Bell-nonlocality. Copyright © 2018, The Authors. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Synthesized verification method for the inter-partition communication in IMA system integration

Synthesized verification method for the inter-partition comm...

引用

Conference on Digital avionics systems (DASC)

作者： Hongsheng Zhao Jinyan Wang Zhiyong Xiong Jianmin Wu National Key Laboratory of Science and Technology on Avionics Integration China Aeronautical Radio Electronics Research Institute Shanghai China

This article consists of a collection of slides from the author's conference presentation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Selective maintenance model based on different mission duration time

Selective maintenance model based on different mission durat...

引用

IEEE International Conference on Mechatronics and Automation

作者： Jinxin Hou Yanling Qian Department of System Engineering National University of Defence Technology Changsha Hunan Province China Key Laboratory of Science and Technology on Integrated Logistics Support National University of Defence Technology Changsha Hunan Province China

ISBN: (纸本)9781479970995

Many systems are required to perform maintenance actions at the breaks between successive missions. However, it is often impossible to perform all the desirable maintenance actions due to the limited time of the breaks. In such a case, many selective maintenance models were proposed for this problem. In this paper, we propose a selective maintenance model considering the different mission duration time for different subsystems. We formulate the selective maintenance model as a non-linear 0-1 programming problem. The maximum reliability of the next mission is formulated as objective. The effectiveness of the proposed model is demonstrated via a numerical example.

关键词： Maintenance engineering Reliability Numerical models Mathematical model Programming Industries Weibull distribution

来源：评论

学校读者我要写书评

暂无评论

3-SPS+RRS+PS mechanism analysis and hessian matrix solution

3-SPS+RRS+PS mechanism analysis and hessian matrix solution

引用

2014 International Conference on Logistics Engineering, Management and Computer science, LEMCS 2014

作者： Zhang-Yuan Wangzhen Guoansong Guoi-Juan Xi, Feng-Feng Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province Yanshan University Qinhuangdao066004 China Hebei Normal University of Science and Technology Qinhuangdao Hebei066004 China Force Equipment Research Institute Airlines Beijing100076 China China National Heavy Machinery Research Institute Xian710032 China Department of Aerospace Engineering Ryerson University Toronto Canada

ISBN: (纸本)9789462520103

3-SPS+RRS+PS is a new type of mechanism. There is good application prospect in the field of aerospace. Especially some key kinetic characteristic calculation algorithms are implemented, which makes its calculation mechanized, thus it will contribute to make the dynamics performance of this mechanism optimized and ascended. In the paper, firstly, the degree of freedom is calculated and freedom nature is analyzed. Then the reverse solution is calculated, started with the nature of degree of freedom. And the mechanism velocity and acceleration inverse solutions are calculated in the direct derivation method. Although there are shortcomings that calculation process is complicated in direct derivation method, its calculation process is easy to realize mechanization. Then a kind of fast numerical calculation algorithm is given and MATLAB program is implemented. The algorithm has universal applicability to the mechanism of continuous differentiable inverse equation, and can be applied to general parallel mechanism. © 2014. The authors - Published by Atlantis Press.

关键词： Mechanisms

来源：评论

学校读者我要写书评

暂无评论

XXIV World Allergy Congress 2015 Seoul, Korea. 14-17 October 2015 Abstracts

引用

WORLD ALLERGY ORGANIZATION JOURNAL 2016年第1期9卷 1-206页

作者： [Anonymous] Korea University College of Medicine Guro Hospital Seoul South Korea College of Medicine Korea University Seoul South Korea Korea University Guro Hospital Seoul South Korea Seoul National University Boramae Hospital Seoul South Korea Division of Clinical Immunology Faculty of Medicine University of Debrecen Debrecen Hungary Meiji Pharmaceutical University Tokyo Japan Suri Medical Foundation Hospital Uttar Pradesh State India Shahid Beheshti University Tehran Iran Airlangga University Teaching Hospital Surabaya Indonesia Tokyo Metropolitan Police Hospital Tokyo Japan Shinichiro KogaSamsung Changwon Hospital Seoul South Korea Sapporo Tokushukai Hospital Sapporo Japan Department of Dermatology Yonsei University College of Medicine Seoul South Korea Brain Korea 21 PLUS Project for Medical Science Yonsei University College of Medicine Seoul South Korea Sureyyapasa Chest Diseases and Chest Surgery Training Hospital Istanbul Turkey Kangnam Sacred Heart Hospital Seoul South Korea Sakai City Medical Center Sakai Japan Osaka University Suita Japan Yonsei University College of Medicine Seoul South Korea Osaka-Minami Medical Center Kawachinagano Japan Inha University College of Medicine Incheon South Korea Inha University Hospital Incheon South Korea Center for Rhinology and Allergology Wiesbaden Wiesbaden Germany Leti Pharma Gmbh Witten Germany Postgraduate Institute of Medical Education and Research Chandigarh India West Bengal Technical University Kolkata India Institute of Microbiology Academy of Sciences of the Czech Republic Prague Czech Republic Seoul National University Hospital Seoul South Korea Ent and Allergy Centre(INDIA) Panchkula India University of Santo Tomas Hospital Manila Philippines University of Santo Tomas Faculty of Medicine Manila Philippines Kyung Hee University Hospital at Gang-Dong Seoul South Korea Sangji University Wonju South Korea Division of Allergy and Immunology Department of Internal Medicine Yonsei University Colle

A1 Pirfenidone inhibits TGF-b1-induced extracellular matrix production in nasal polyp-derived fibroblasts Jae-Min Shin, Heung-Man Lee, Il-Ho Park A2 The efficacy of a 2-week course of oral steroid in the treatment of chronic spontaneous urticaria refractory to antihistamines Hyun-Sun Yoon, Gyeong Yul Park A3 The altered distribution of follicular t helper cells may predict a more pronounced clinical course of primary sjögren’s syndrome Margit Zeher A4 Betamethasone suppresses Th2 cell development induced by langerhans cell like dendritic cells Katsuhiko Matsui, Saki Tamai, Reiko Ikeda A5 An evaluation of variousallergens in cases of allergic bronchial asthma at lucknow and neighbouring districts by intradermal skintest Drsushil Suri, Dranu Suri A6 Evaluation ferqency of ADHD in childhood asthma Marzieh Heidarzadeh Arani A7 Steven johnson syndrome caused by typhoid fever in a child Azwin Lubis, Anang Endaryanto A8 Chronic Bronchitis with Radio Contrast Media Hypersensitivity: A Case with Hypothesized GINA Step 1 Asthma Shinichiro Koga A9 The association between asthma and depression in Korean adult : An analysis of the fifth korea national health and nutrition examination survey (2010-2012) Lee Ju Suk A10 Management of allergic disease exacerbations in pregnancy Yasunobu Tsuzuki A11 Subcutaneous immunotherapy mouse model for atopic dermatitis Seo Hyeong Kim, Jung U Shin, Ji Yeon Noh, Shan Jin, Shan Jin, Hemin Lee, Jungsoo Lee, Chang Ook Park, Kwang Hoon Lee, Kwang Hoon Lee A12 Atopic disease and/or atopy are risk factors for local anesthetic allergy in patients with history of hypersensitivity reactions to drugs? Fatma Merve Tepetam A13 Food hypersensitivity in patients with atopic dermatitis in Korea Chun Wook Park, Jee Hee Son, Soo Ick Cho, Yong Se Cho, Yun Sun Byun, Yoon Seok Yang, Bo Young Chung, Hye One Kim, Hee Jin Cho A14 Anaphylaxis caused by an ant (Brachyponera chinensis) in Japan Yoshinori Katada, Toshio Tanaka, Akihiko Nakabayashi, Koji Nishida, Kenichi A

关键词：

来源：评论

学校读者我要写书评

暂无评论

Robust pupil center estimation using input estimation based Gaussian significance test

Robust pupil center estimation using input estimation based ...

引用

2012 International Conference on system Simulation, ICUSS 2012

作者： Zhai, M. Wu, J.M. Liu, B.W. National Key Laboratory of Science and Technology on Avionics System Integration Shanghai China

ISBN: (纸本)9781849195386

In this paper a low cost pupil center locating system was introduced and target maneuver onset detection algorithm, input estimation based Gaussian significance test, was applied to estimate pupil center. Firstly, eye images were converted into Gaussian significance space of input estimate. In statistical significance space, pupil area was enhanced while other area was depressed. Secondly, threshold selected by input estimation based Gaussian significance test algorithm was used to binarize image in the space of statistical significance. At last pupil center was obtained by calculating mass center of the binarized image. Experiments showed that the proposed method was effective.

关键词： Gaussian distribution

来源：评论

学校读者我要写书评

暂无评论

A fast and robust noise reduction method for tiny contours in image sequence

A fast and robust noise reduction method for tiny contours i...

引用

2012 International Conference on system Simulation, ICUSS 2012

作者： Zhai, M. Wu, J.M. Liu, B.W. National Key Laboratory of Science and Technology on Avionics System Integration Shanghai China

ISBN: (纸本)9781849195386

Remote object contours abstracted from image sequence obtained by space optical sensor were often tiny and inclined to be stained by noise. It would deteriorate the results of most contour based algorithms. In order to solve the problem a fast and robust noise reduction technique for tiny contour in image sequence was presented in this paper. In the proposed technique, every contour in the sequence were described in frequency domain by the Fourier Descriptors (FD's). And then, a set of Kalman filters were used to filter the noise in every frequency point of the contours FD's. The contour after noise reduction was retrieved by inverting the filtered contour FD's. The experimental results showed the proposed method was useful and effective.

关键词： Kalman filters

来源：评论

学校读者我要写书评

暂无评论

Real-time embedded software testing method based on extended finite state machine

引用

Journal of systems Engineering and Electronics 2012年第2期23卷 276-285页

作者： Yongfeng Yin Bin Liu Hongying Ni School of Reliability and Systems Engineering Beihang University Beijing 100191 P. R. China National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233 P. R. China

The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.

关键词： real-time system real-time embedded software for- mal method extended finite state machine （EFSM） testing se- quence test case.

来源：评论

学校读者我要写书评

暂无评论

Quantized innovations Kalman filter: stability and modification with scaling quantization

引用

Journal of Zhejiang University-science C(Computers and Electronics) 2012年第2期13卷 118-130页

作者： Jian XU Jian-xun LI Sheng XU Science and Technology on Avionics Integration Laboratory Shanghai Jiao Tong UniversityShanghai 200240 MOE Key Laboratory of System Control and Information Processing Shanghai Jiao Tong UniversityShanghai 200240China School of Mechanical Engineering Shanghai Jiao Tong UniversityShanghai 200240China

The stability of quantized innovations Kalman filtering (QIKF) is analyzed. In the analysis, the correlation between quantization errors and measurement noises is considered. By taking the quantization errors as a random perturbation in the observation system, the QIKF for the original system is equivalent to a Kalman-like filtering for the equivalent state-observation system. Thus, the estimate error covariance matrix of QIKF can be more exactly analyzed. The boundedness of the estimate error covariance matrix of QIKF is obtained under some weak conditions. The design of the number of quantized levels is discussed to guarantee the stability of QIKF. To overcome the instability and divergence of QIKF when the number of quantization levels is small, we propose a Kalman filter using scaling quantized innovations. Numerical simulations show the validity of the theorems and algorithms.

关键词： Kalman filtering Quantized innovation Stability Scaling quantization Wireless sensor network

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：