检索结果-南通市图书馆

Impact angle constrained fuzzy adaptive fault tolerant IGC method for Ski-to-Turn missiles with unsteady aerodynamics and multiple disturbances

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2022年第5期33卷 1210-1226页

作者： GUO Hang WANG Zheng FU Bin CHEN Kang FU Wenxing YAN Jie Research Center for Unmanned System Strategy development Northwestern Polytechnical UniversityXi’an 710072China Unmanned System Research Institute Northwestern Polytechnical UniversityXi’an 710072China

An impact angle constrained fuzzy adaptive fault tolerant integrated guidance and control method for Ski-to-Turn(STT)missiles subject to unsteady aerodynamics and multiple disturbances is *** aerodynamics appears when flight vehicles are in a transonic state or confronted with unstable ***,actuator failures and multisource model uncertainties are ***,the boundaries of these multisource uncertainties are assumed *** target is assumed to execute high maneuver movement which is unknown to the ***,impact angle constraint puts forward higher requirements for the interception accuracy of the integrated guidance and control(IGC)*** impact angle constraint and the precise interception are established as the object of the IGC ***,the boundaries of the lumped disturbances are estimated,and several fuzzy logic systems are introduced to compensate the unknown nonlinearities and ***,a series of adaptive laws are developed so that the undesirable effects arising from unsteady aerodynamics,actuator failures and unknown uncertainties could be ***,an impact angle constrained fuzzy adaptive fault tolerant IGC method with three loops is constructed and a perfect hit-to-kill interception with specified impact angle can be ***,the numerical simulations are conducted to verify the effectiveness and superiority of the proposed method.

关键词： integrated guidance and control(IGC) impact angle constraint unsteady aerodynamics fault tolerant control(FTC) actuator failures

The Potential of Commercial Pension Insurance to Develop into One of the Pillars of Rural Pension Insurance:A Study from the Demand Perspective

在线全文

学校读者我要写书评

暂无评论

Contemporary Social Sciences 2023年第2期8卷 1-20页

作者： Hu Junbo Li Wenda Wang Jianrui Rural development Research Institute Sichuan Academy of Social SciencesChengduSichuan610071China

The development of a multi-pillar pension insurance system is an effective solution for an aging *** pension insurance,as the third pillar of pension insurance,is an integral part of this system in China and can play a critical and complementary role in rural areas where support for the elderly is a more pressing concern and a second pillar of pension insurance remains *** this end,we first elaborate on the theoretical logic that commercial pension insurance can develop into one of the pillars of rural pension *** then empirically test rural residents’willingness to participate in a commercial pension insurance plan(CPIP)in a probit model with household research data from rural areas in major labor-exporting provinces,such as Sichuan and Henan so as to explore whether commercial pension insurance has the potential to become one of the pillars of rural pension *** research findings can be synthesized in three ***,rural residents out of agricultural production for five consecutive years are more willing to participate in a CPIP than other rural residents,indicating that progress in industrialization and urbanization can significantly boost such ***,the younger rural residents are more inclined to participate in a CPIP than the older ***,income increases can significantly boost rural residents’willingness to participate in a ***,with progress in industrialization and urbanization and an increase in rural disposable income,commercial pension insurance has a promising potential in rural areas and can hopefully develop into one of the pillars of rural pension insurance.

关键词： the pillar of pension insurance commercial pension insurance willingness to participate(in a CPIP)

development of single-chip fuzzy controller based on FFSI in binary

在线全文

学校读者我要写书评

暂无评论

Journal of Harbin Institute of technology(New Series) 2003年第3期10卷 269-274页

作者：张吉礼欧进萍孙德兴 School of Municipal and Environmental Engineering Harbin Institute of Technology Harbin 150090 China School of the Civil Engineering Harbin Institute of Technology Harbin 150090 China School of Municipal and Environmental Engineering Harbin Institute of Technology Harbin 150090 Chinaength and concise structure of fuzzy logic reasoning program and its real-time reasoning characteristic have their effect on the performance of a digital single-chip fuzzy controller. The control effect of a digital fuzzy controller based on looking up fuzzy control responding table is only relative to the table and not relative to the fuzzy control rules in the practical control process. Aiming at above problem and having combined fuzzy log-ic reasoning with digital operational characteristics of a single-chip microcomputer functioning-fuzzy-subset inference (FFSI) in binary in which triangle membership functions of error and error-in-change are all represented in binary and singleton membership functions of control variable is binary too has been introduced. The circuit principle plans of a single-chip fuzzy controller have been introduced for development of its hardware and the primary program structure fuzzy logic reasoning subroutine serial communication subroutine with PC and reliability design of the fuzzy controller are all discussed in detail. The control of indoor temperature by a fuzzy controller has been conducted using a testing-room thermodynamic system. Research results show that the FFSI in binary can exercise a concise fuzzy control in a single-chip fuzzy controller and the fuzzy controller is therefore reliable and possesses a high performance-price ratio.

Length and concise structure of fuzzy logic reasoning program and its real-time reasoning characteris-tic have their effect on the performance of a digital single-chip fuzzy controller. The control effect of a digitalfuzzy controller based on looking up fuzzy control responding table is only relative to the table and not relative tothe fuzzy control rules in the practical control process. Aiming at above problem and having combined fuzzy log-ic reasoning with digital operational characteristics of a single-chip microcomputer, functioning-fuzzy-subset in-ference (FFSI) in binary, in which triangle membership functions of error and error-in-change are all represen-ted in binary and singleton membership functions of control variable is binary too, has been introduced. The cir-cuit principle plans of a single-chip fuzzy controller have been introduced for development of its hardware, andthe primary program structure, fuzzy logic reasoning subroutine, serial communication subroutine with PC andreliability design of the fuzzy controller are all discussed in detail. The control of indoor temperature by a fuzzycontroller has been conducted using a testing-room thermodynamic system. Research results show that the FFSIin binary can exercise a concise fuzzy control in a single-chip fuzzy controller, and the fuzzy controller is there-fore reliable and possesses a high performance-price ratio.

关键词： functioning-fuzzy-subset inference single-chip fuzzy controller testing-room thermodynamic system indoor temperature experiment

Model Checking over Paraconsistent Temporal logic

在线全文

学校读者我要写书评

暂无评论

Journal of Donghua University(English Edition) 2008年第5期25卷 571-580页

作者：陈冬火王林章崔家林 State Key Laboratory of Novel Software technology Nanjing University School of Computer Science and technology Soochow University Department of Information Science and Engineering Ningbo Institute of TechnologyZhejiang University

Classical logic cannot be used to effectively reason about concurrent systems with inconsistencies (inconsistencies often occur, especially in the early stage of the development, when large and complex concurrent systems are developed). In this paper, we propose the use of a guasi-classical temporal logic (QCTL) for supporting the verification of temporal properties of such systems even where the consistent model is not available. Our models are paraKripke structures (extended standard Kripke structures), in which both a formula and its negation are satisfied in a same state, and properties to be verified are expressed by QCTL with paraKripke structures semantics. We introduce a novel notion of paraKripke models, which grasps the paraconsistent character of the entailment relation of QCTL. Furthermore, we explore the methodology of model checking over QCTL, and describe the detailed algorithm of implementing QCTL model checker. In the sequel, a simple example is presented, showing how to exploit the proposed model checking technique to verify the temporal properties of inconsistent concurrent systems.

关键词： inconsistency concurrent systems paraconsistent temporal logic model checking

Theoretical logic and Advancing Path of Demonstration Creation for Rural Vitalization

在线全文

学校读者我要写书评

暂无评论

Frontiers of Economics in China-Selected Publications from Chinese Universities 2023年第1期18卷 59-74页

作者： HUANG Chengwei China Center for Poverty Alleviation and development National Rural Revitalization AdministrationBeijing 100026China

Demonstration creation for rural vitalization is an important part of the rural vitalization strategy of the central *** paper offers a systematic exposition of the theoretical logic of demonstration creation in objective necessity,methodology value,key path of reform and in novation,multiple *** analysis is conducted of the advancing path of demonstration creation from building consensus,clarifying goals and requirements,and coordinated ***,it depicts a roadmap for the creation of model villages,covering characteristic industry development,rural ecological livability,rural civilization,increase in rural income,village-level social undertakings and effective governance led by the building on the Communist Party of *** this basis,it offers policy suggestions on responsibility implementation,basic adherence,process management and monitoring evaluation to promote demonstration creation in a vigorous,orderly and effective ***,it is of guiding significance for the“100-county,1000-town and 10,000-village”demonstration creation for rural revitalization across the country.

关键词： rural revitalization demonstration creation theoretical logic advancing path

Syntax theory of finite lattice-valued propositional logic

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2013年第8期56卷 177-188页

作者： PAN XiaoDong MENG Dan XU Yang School of Mathematics Southwest Jiaotong University Intelligent Control development Center Southwest Jiaotong University School of Economics Information Engineering Southwestern University of Finance and Ecnomics

In this paper,we establish the graded syntax theory of lattice-valued propositional logic based on finite lattice implication algebras,define the notions of syntactic consequence operation and formal proof,and develop a kind of graded finite lattice-valued propositional *** generalizing classic provable equivalence relation,we present a kind of generalized provable equivalence relation,and establish the corresponding quotient ***,we establish the generalized deduction theorem by syntactic consequence operation,and establish the completeness in Pavelka’s sense based on finite chains.

关键词： Lattice-valued propositional logic syntax theory inference rule generalized deduction theorem completeness

Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & technology 2013年第1期28卷 165-187页

作者： Qi-Liang Yang Jian Lv Xian-Ping Tao Xiao-Xing Ma Jian-Chun Xing Wei Song State Key Laboratory for Novel Software technology Nanjing University Nanjing 210093 China School of National Defense Engineering PLA University of Science and Technology Nanjing 210007 China School of Computer Science and technology Nanjing University of Science and Technology Nanjing 210094 China

Mission-critical software （MCS） must provide continuous, online services to ensure the successful accomplish- ment of critical missions. Self-adaptation is particularly desirable for assuring the quality of service （QoS） and availability of MCS under uncertainty. Few techniques have insofar addressed the issue of MCS self-adaptation, and most existing approaches to software self-adaptation fail to take into account uncertainty in the self-adaptation loop. To tackle this problem, we propose a fuzzy control based approach, i.e., Software Fuzzy Self-Adaptation （SFSA）, with a view to deal with the challenge of MCS self-adaptation under uncertainty. First, we present the SFSA conceptual framework, consisting of sensing, deciding and acting stages, and establish the formal model of SFSA to lay a rigorous and mathematical foundation of our approach. Second, we develop a novel SFSA implementation technology as well as its supporting tool, i.e., the SFSA toolkit, to automate the realization process of SFSA. Finally, we demonstrate the effectiveness of our approach through the development of an adaptive MCS application in process control systems. Validation experiments show that the fuzzy control based approach proposed in this work is effective and with low overheads.

关键词： mission-critical software software self-adaptation fuzzy self-adaptation fuzzy control self-adaptation logic weaving

Organization of pattern information in the pattern based software development:A POMSDP model

在线全文

学校读者我要写书评

暂无评论

Journal of Harbin Institute of technology(New Series) 2008年第6期15卷 752-756页

作者：唐勇刘日光王岩 College of Information Science and Engineering Yanshan University Marine technology Economic Department National Ocean Technology Center College of Computer Science and Engineering Hebei University of Technology

Foeused on the lack of proper organization for patterns in the development of pattern based software, a POMSDP model with layered tree structure for organizing patterns during the process of development was put torward. The model and its interrelated eoneepts were strictly defined and introduced by applying the theory of set, symbolie logic and pattern, which ensures the correctness, maturity and expansibility of the model. The expansibility of the model was discussed mainly. The basic realization and the application in the automatic query system were presented. Based on the existing software development methods, the POMSDP model resolves the problem of chaos in the application of patterns, strengthens the controllability of the system, and facilitates the improvement, maintenance, expansion, and especially the reengineering of the software system.

关键词： software development based on pattern pattern organization POMSDP model

Performance analysis of a complete adiabatic logic system driven by the proposed power clock generator

在线全文

学校读者我要写书评

暂无评论

Journal of Semiconductors 2014年第9期35卷 97-103页

作者： Jitendra Kanungo S.Dasgupta Department of Electronics & Communication Engineering Jaypee University of Engineering & Technology Microelectronics & VLSI Group Department of Electronics & Communication Engineering Indian Institute of Technology

We analyze the energy performance of a complete adiabatic circuit/system including the Power Clock Generator （PCG） at the 90 nm CMOS technology node. The energy performance in terms of the conversion efficiency of the PCG is extensively carried out under the variations of supply voltage, process comer and the driver transistor＇s width. We propose an energy-efficient singe cycle control circuit based on the two-stage comparator for the synchronous charge recovery sinusoidal power clock generator （PCG）. The proposed PCG is used to drive the 4-bit adiabatic Ripple Carry Adder （RCA） and their simulation results are compared with the adiabatic RCA driven by the reported PCG. We have also simulated the logically equivalent static CMOS RCA circuit to compare the energy saving of adiabatic and non-adiabatic logic circuits. In the clock frequency range from 25 MHz to 1GHz, the proposed PCG gives a maximum conversion efficiency of 56.48%. This research work shows how the design of an efficient PCG increases the energy saving of adiabatic logic.

关键词： clock-generator energy recovery logic low power single phase sinusoidal clock