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

Conference on Electrical Insulation and Dielectric Phenomena, (CEIDP)

作者： Zhaotao Zhang Jian Li Pin Zou Stanislaw Grzybowski State Key Laboratory of Power Transmission Equipment & System Security and New Technology Department of High Voltage and Insulation Engineering College of Electrical Engineering Chongqing University Chongqing China High Voltage Laboratory Department of Electrical and Computer Engineering Mississippi State University MS USA

Insulating vegetable oils are fire-resistant and environment-friendly liquid dielectrics. This paper presents a type of nano-modified insulating vegetable oil. The nano-modified insulating vegetable oil was prepared by homogeneous precipitation deposition of ferroferric oxide nano-particles. It was characterized by a laser nano-particle size analyzer. Its electric properties, including AC breakdown voltage, lightning impulse breakdown voltage, volume resistivity, relative permittivity, and dissipation factor were measured. Experiment results show that the ferroferric oxide nano-pariticles with proper content in oil improves the breakdown voltages, volume resistivity, and lightning impulse electrical strength of the insulating vegetable oil significantly.

关键词： Petroleum Lightning Voltage measurement Dielectrics Conductivity Permittivity Electrodes

来源：评论

学校读者我要写书评

暂无评论

Temporal Logics and Model Checking Algorithms for ZIAs

Temporal Logics and Model Checking Algorithms for ZIAs

引用

The 2nd International Conference on Software Engineering and Data Mining(IEEE 第二届国际软件工程和数据挖掘学术大会 SEDM 2010)

作者： Zining Ca0 National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233. P. R. China Department of Computer Science and Technology Nanjing University of Aero. & Astro.Nanjing 210016 P. R. China Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou 215006. P. R. China

ISBN: (纸本)9781424473243;9788988678220;9788988678213

In this paper, we first propose a specification ap-proach combining interface automata and Z language. This approach can be used to describe temporal properties and data properties of software components. A branching time logic for ZIAs is presented. We then give an algorithm for model checking this logic on ZIAs with finite domain. Furthermore, we present a mu-calculus logic for ZIAs, and give a model checking algorithm for this logic.

关键词： model checking interface automata Z notation temporal logic

来源：评论

学校读者我要写书评

暂无评论

Development of an automatic virtual metrology framework for TFT-LCD industry

Development of an automatic virtual metrology framework for ...

引用

IEEE International Conference on Automation Science and Engineering (CASE)

作者： Min-Hsiung Hung Hsien-Cheng Huang Haw-Ching Yang Fan-Tien Cheng Department of Computer Science Chinese Cultural University Taipei Taiwan Institute of Manufacturing Information and Systems National Cheng Kung University Tainan Taiwan Institute of System Information and Control National Kaohsiung First University of Science and Technology Kaohsiung Taiwan

ISBN: (纸本)9781424454471

An automatic virtual metrology framework (AVMF) for the TFT-LCD industry is designed and implemented in this paper. The AVMF has capabilities of creating VM models, deploying and refreshing VM models, monitoring and managing VM systems remotely, storing model data and conjectured results centrally, and providing various friendly graphical user interfaces. Pluggable interfaces and functional modules are developed in the AVMF. Thus, by plugging the associated functional module according to desired requirements, the AVMF can be applied to different types of equipment. In turn, applying the AVMF to all pieces of equipment in the factory can be easily achieved. A paradigm AVM system for our cooperative TFT-LCD company is constructed. Integrated testing results show that the paradigm AVMS works smoothly, meets the desired functional requirements, and demonstrates a good performance. It is believed that the developed AVMF can be practically applied in the TFT-LCD industries.

关键词： Servers Data models Metrology Kernel Databases Computational modeling Monitoring

来源：评论

学校读者我要写书评

暂无评论

Improving the current risk analysis techniques by study of their process and using the human body's Immune system

Improving the current risk analysis techniques by study of t...

引用

International Symposium on Telecommunications

作者： Azadeh Sarkheyli Norafida Binti Ithnin Department of Information Systems M.S. Student of University of Technology Malaysia (UTM) Department of Computer System & Communication University of Technology Malaysia (UTM)

ISBN: (纸本)9781424481835

Risks include the factors that might adversely affect project outcomes. Risk analysis includes the processes concerned with identifying, analyzing and developing security strategy and plans for the factors. Although currently there are known methodologies such as (CCTA Risk Analysis and Management Method (CRAMM) or Consultative, Objective and Bi-functional Risk Analysis (COBRA) and so on) for Risk Management, they have common failure for instance no specific function which recover/avoid risks/attacks toward IS/IT component or poor executive support, high cost of implementation, untimely response, insufficient accountability, inability to qualitatively measure control environment, infrequent in assessment, inaccurate data. On one hand these problems and on the other hand importance of IS/IT Risk Management cause the research to develop the current methodologies by making them intelligent as like as the natural management systems, it means that Immune system for example which is a complete system and could be the best model for simulating it with Risk Management in the organizations. However the findings of this study are important to help organizations toward improving IS/IT Risk Analysis process which are designed and proposed by investigation about their current procedure and problems of Risk Management. So the information as findings of this paper could be published and more extensive studies could be planned for the future.

关键词： Risk Analysis/Management Recover/avoid risks/attacks Security Management Risk Analysis Methodology

来源：评论

学校读者我要写书评

暂无评论

A systematic gain setting method of the positive feedback anti-islanding scheme for inverter-based distributed generators

A systematic gain setting method of the positive feedback an...

引用

International Conference on Power system technology (POWERCON)

作者： Xiaoyu Wang Shouzhen Zhu Jing Yong Jinghong Zheng Wilsun Xu State Key Laboratory of Power Transmission Equipment & System Security and New Technology Chongqing University Chongqing China State Key Laboratory of Power Systems Department of Electrical Engineering Tsinghua University Beijing China Department of Electrical and Computer Engineering University of Alberta Edmonton AB Canada

This paper proposes a systematic gain setting method for the positive feedback anti-islanding scheme which is designed to protect the interconnected inverter-based distributed generators (DGs) from islanding operation. Two main factors affecting the performance of the anti-islanding scheme are investigated when the positive feedback gain is tuned. One is the stability impact of the anti-islanding control on distributed generation (DG) systems and the other is the islanding detection time of the anti-islanding scheme. The small-signal model and the electromagnetic transient simulation model of an inverter-based DG system are developed to facilitate the realization of the proposed gain setting method. This method provides a practical and reliable tool for DG planning engineers.

关键词： Laboratories Electromagnetics

来源：评论

学校读者我要写书评

暂无评论

Erratum to: Detecting small lung tumors in mouse models by refractive-index microradiology

引用

Analytical and Bioanalytical Chemistry 2011年第3期401卷 1087-1087页

作者： Chien, Chia-Chi Zhang, Guilin Hwu, Yeukuang Liu, Ping Yue, Weisheng Sun, Jianqi Li, Yan Xu, Hongjie Xu, Lisa X. Wang, Chang Hai Chen, Nanyow Lu, Chien Hung Lee, Ting-Kuo Yang, Yuh-Cheng Lu, Yen-Ta Ching, Yu-Tai Shih, T. F. Yang, P. C. Je, J. H. Margaritondo, Giorgio Institute of Physics Academia Sinica Taipei Taiwan Department of Engineering and System Science National Tsing Hua University Hsinchu Taiwan Shanghai Institute of Applied Physics Chinese Academy of Sciences Shanghai China Shanghai Jiao Tong University Shanghai China Mackay Memorial Hospital Taipei City Taiwan Department of Computer Science National Chiao Tung University Hsinchu Taiwan College of Medicine National Taiwan University Taipei Taiwan X-ray Imaging Center Pohang University of Science and Technology Pohang Kyungbuk South Korea Ecole Polytechnique Fédérale de Lausanne (EPFL) Lausanne Switzerland

来源：评论

学校读者我要写书评

暂无评论

A new language for geographic information systems querying

引用

Journal of Applied Sciences 2010年第11期10卷 887-894页

作者： Meddah, F.G. Belbachir, H. Laurini, R. Laboratory of System Signal and Data Department of Computer Science Faculty of Science University of Science and Technology Oran Mohammed Boudiaf USTO P.O. Box 1505 El Mnouar Bir el Djir Oran Algeria Liris Laboratory Insa Lyon 69621 - Villeurbane Cedex France

This study proposed a new language which offers the possibility to query Geographic Information systems (GIS) with visual queries. Following the progress of the society and the development of technology, there is much more demand for geographic information. But, most of the Geographic Information systems (GIS) available now are geared toward professionals. They do not have a friendly query interface and only well-trained persons can get information from them. Ordinary people cannot benefit from GIS directly. So, it is valuable to construct an easy-to-use visual query system to retrieve geographic information. To address this problem, we have developed a new visual language. A query is formulated in this language by successive selections of icons and metaphors. A prototype running ENVIS has been realized, which allows users to query experimental data by following a SQL-like SELECT-FROM-WHERE scheme. © 2010 Asian Network for Scientific Information.

关键词： Geographic information systems

来源：评论

学校读者我要写书评

暂无评论

Adaptive step size method for the power system model of dispatcher training simulator

Adaptive step size method for the power system model of disp...

引用

IEEE General Meeting Power& Energy Society

作者： Pyeong-Ik Hwang Seon-Ju Ahn Seong-Il Hur Yong-Tae Yoon Seung-Il Moon School of Electrical Engineering and Computer Science Seoul National University Seoul South Korea School of Electrical Engineering Myongji University Gyeonggi South Korea Information Technology Department Power System Operation Division Korea Power Exchange Seoul South Korea

Because it is almost impossible to train the dispatchers with real power system, the dispatcher training simulator (DTS) is used for the training. Among various components of the DTS, the power system model (PSM) emulates the dynamic behavior of the power system to calculate the frequency and voltage. In the PSM, the power plants are modeled as differential equations, so the mechanical power of the power plants is calculated by the numerical methods. Conventionally, the fixed step-size algorithm has been used in the PSM, however it has some drawbacks. This paper develops the prototype PSM using the Matlab, and analyzes the problems of the fixed step-size algorithm by comparing the results with those of PSCAD simulation considered as a real system. In order to overcome the limitations, the adaptive step size method for the PSM is proposed by modifying the general adaptive step size method. From the simulation using the proposed method, it is verified that the accuracy of the PSM is increased.

关键词： Load modeling Power system dynamics Prototypes Power generation Numerical models Topology

来源：评论

学校读者我要写书评

暂无评论

Monte Carlo analysis of a low power domino gate under parameter fluctuation

引用

Journal of Semiconductors 2009年第12期30卷 113-117页

作者：汪金辉吴武臣宫娜侯立刚彭晓宏高大明 VLSI and System Laboratory Beijing University of Technology Department of Computer Science and Engineering State University of New York at Buffalo

Using the multiple-parameter Monte Carlo method, the effectiveness of the dual threshold voltage technique （DTV） in low power domino logic design is analyzed. Simulation results indicate that under significant temperature and process fluctuations, DTV is still highly effective in reducing the total leakage and active power consumption for domino gates with speed loss. Also, regarding power and delay characteristics, different structure domino gates with DTV have different robustness against temperature and process fluctuation.

关键词： domino gate temperature and process fluctuation effectiveness

来源：评论

学校读者我要写书评

暂无评论

Optimal Control of Affine Nonlinear Continuous-time systems Using an Online Hamilton-Jacobi-Isaacs Formulation

Optimal Control of Affine Nonlinear Continuous-time Systems ...

引用

2010 49th IEEE Conference on Decision and Control

作者： T. Dierks S. Jagannathan DRS Sustainment System Inc. 201 Evans Lane St. Louis MO 63121 Department of Electrical and Computer Engineering Missouri University of Science and Technology 301 W. 16th St. Rolla MO 65409

ISBN: (纸本)9781424477456

Solving the Hamilton-Jacobi-Isaacs (HJI) equation, commonly used in H_(infinity) optimal control, is often referred to as a two-player differential game where one player tries to minimize the cost function while the other tries to maximize it. In this paper, the HJI equation is formulated online and forward-in-time using a novel single online approximator (SOLA)-based scheme to achieve optimal regulation and tracking control of affine nonlinear continuous-time systems. The SOLA-based adaptive approach is designed to learn the infinite horizon HJI equation, the corresponding optimal control input, and the worst case disturbance. A novel parameter tuning algorithm is derived which not only achieves the optimal cost function, control input, and the disturbance, but also ensures the system states remain bounded during the online learning. Lyapunov methods are used to show that all signals are uniformly ultimately bounded (UUB) while ensuring the approximated signals approach their optimal values with small bounded error. In the absence of OLA reconstruction errors, asymptotic convergence to the optimal signals is demonstrated, and simulation results illustrate the effectiveness of the approach.

关键词： Optimal control Cost functions Continuous time systems Affine In-law Lyapunov methods signals control input tracking control Bounded disturbance trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：