期刊文献+
共找到403篇文章
< 1 2 21 >
每页显示 20 50 100
Deductive Systems in Hyper EQ-Algebras 被引量:1
1
作者 Xiaoyun CHENG Xiaolong XIN Yongwei YANG 《Journal of Mathematical Research with Applications》 CSCD 2017年第2期183-193,共11页
In this paper, we introduce and investigate some types of deductive systems in hyper EQ-algebras and discuss relationships among them. Especially, we focus on investigating two types of important deductive systems, na... In this paper, we introduce and investigate some types of deductive systems in hyper EQ-algebras and discuss relationships among them. Especially, we focus on investigating two types of important deductive systems, namely, (positive) implicative strong deductive systems, respectively. Moreover we give equivalent characterizations of them. 展开更多
关键词 hyper EQ-algebra (strong) deductive system (positive) implicative strong de-ductive system S→-reflexive subset S -semiclosed subset
原文传递
A genetic algorithm for dynamic parameters reverse deduction of integrated anchorage system
2
作者 张永兴 《Journal of Chongqing University》 CAS 2006年第1期46-49,共4页
In the analysis of the system of anchoring bar and wall rock in small strain and longitudinal vibration dynamic response, the influence of the cement grouting as well as the rock layer on the anchor bar can be evaluat... In the analysis of the system of anchoring bar and wall rock in small strain and longitudinal vibration dynamic response, the influence of the cement grouting as well as the rock layer on the anchor bar can be evaluated as the two kinds of parameters: the dynamic stiffness and the damp, which are the vital reference of the anchorage quality. Based on the analytic solution to the dynamic equation of the integrated anchor bar, the new approach which combines genetic algorithm and the toolbox of Matlab is applied to solve the problem of multi-parameters reverse deduction for integrated anchorage system in dynamic testing. Using the traits of the self-organizing, self-adapting and the fast convergence speed of the genetic algorithm, the optimum of all possible solutions to dynamic parameters is obtained by calculating the project instances. Examples show that the method presented in this paper is effective and reliable. 展开更多
关键词 integrated anchorage dynamic parameters reverse deduction genetic algorithm
在线阅读 下载PDF
Deduction Theorem and Hypothetical Syllogism Rule on Fuzzy Logic System
3
作者 YANGXiao-bin DENGShu-xian 《Chinese Quarterly Journal of Mathematics》 CSCD 北大核心 2005年第2期206-213,共8页
Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-R^* and LG^* respectively. In LG-R^* we proved that neither the d... Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-R^* and LG^* respectively. In LG-R^* we proved that neither the deduction theorem nor the hypothetical syllogism (HS) rule held but a deduction theorem and an HS rule are obtained in a weak sense. We also proved that both the deduction theorem and the hypothetical syllogism(HS) rule hold in LG^*. 展开更多
关键词 fuzzy logic system deduction theorem hypothetical syllogism(HS) rule weak HS rule
在线阅读 下载PDF
F-fuzzy Calculus System
4
作者 潘无名 王俊卿 《Chinese Quarterly Journal of Mathematics》 CSCD 2001年第1期59-64,共6页
A formalized calculus system called F_fuzzy calculus system, which is a symbol deduction system to formalize fuzzy inference, is constructed in this paper. The fuzzy modus ponens was completely formalized in this calc... A formalized calculus system called F_fuzzy calculus system, which is a symbol deduction system to formalize fuzzy inference, is constructed in this paper. The fuzzy modus ponens was completely formalized in this calculus system. 展开更多
关键词 fuzzy inference fuzzy formal deduction F_fuzzy calculus system
在线阅读 下载PDF
Functional Orientation and Practice of Inductive and Deductive Approaches to Grammar Teaching in EFL
5
作者 邵阳 《英语广场(学术研究)》 2011年第Z6期57-58,共2页
To solve the ambiguous understanding of Grammar Teaching position,based on explicit grammatical knowledge,this paper discusses the grammar position in EFL,compares both its pros and cons between deductive and inductiv... To solve the ambiguous understanding of Grammar Teaching position,based on explicit grammatical knowledge,this paper discusses the grammar position in EFL,compares both its pros and cons between deductive and inductive approaches,and indicates that grammar teaching by either approach alone has disadvantages,should adopt a combination technique. 展开更多
关键词 GRAMMAR teaching deductive APPROACH INDUCTIVE APPROACH explicit GRAMMATICAL knowledge
在线阅读 下载PDF
Computational Experiments for Complex Social Systems:Experiment Design and Generative Explanation 被引量:3
6
作者 Xiao Xue Deyu Zhou +5 位作者 Xiangning Yu Gang Wang Juanjuan Li Xia Xie Lizhen Cui Fei-Yue Wang 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2024年第4期1022-1038,共17页
Powered by advanced information technology,more and more complex systems are exhibiting characteristics of the cyber-physical-social systems(CPSS).In this context,computational experiments method has emerged as a nove... Powered by advanced information technology,more and more complex systems are exhibiting characteristics of the cyber-physical-social systems(CPSS).In this context,computational experiments method has emerged as a novel approach for the design,analysis,management,control,and integration of CPSS,which can realize the causal analysis of complex systems by means of“algorithmization”of“counterfactuals”.However,because CPSS involve human and social factors(e.g.,autonomy,initiative,and sociality),it is difficult for traditional design of experiment(DOE)methods to achieve the generative explanation of system emergence.To address this challenge,this paper proposes an integrated approach to the design of computational experiments,incorporating three key modules:1)Descriptive module:Determining the influencing factors and response variables of the system by means of the modeling of an artificial society;2)Interpretative module:Selecting factorial experimental design solution to identify the relationship between influencing factors and macro phenomena;3)Predictive module:Building a meta-model that is equivalent to artificial society to explore its operating laws.Finally,a case study of crowd-sourcing platforms is presented to illustrate the application process and effectiveness of the proposed approach,which can reveal the social impact of algorithmic behavior on“rider race”. 展开更多
关键词 Agent-based modeling computational experiments cyber-physical-social systems(CPSS) generative deduction generative experiments meta model
在线阅读 下载PDF
A Worsted Yarn Virtual Production System Based on BP Neural Network 被引量:2
7
作者 董奎勇 于伟东 《Journal of Donghua University(English Edition)》 EI CAS 2004年第4期34-37,共4页
Back-Propagation (BP) neural network and its modified algorithm are introduced. Two series of BP neural network models have been established to predict yarn properties and to deduce wool fiber qualities. The results f... Back-Propagation (BP) neural network and its modified algorithm are introduced. Two series of BP neural network models have been established to predict yarn properties and to deduce wool fiber qualities. The results from these two series of models have been compared with the measured values respectively, proving that the accuracy in both the prediction model and the deduction model is high. The experimental results and the corresponding analysis show that the BP neural network is an efficient technique for the quality prediction and has wide prospect in the application of worsted yarn production system. 展开更多
关键词 BP neural network yarn properties top qualities virtual production PREDICTION deduction.
在线阅读 下载PDF
Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma 被引量:3
8
作者 Vladimir O. Lobovikov 《Journal of Applied Mathematics and Physics》 2021年第5期1011-1040,共30页
The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defin... The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defined assumption of a-priori-ness of knowledge. For realizing this aim, the following work has been done: 1) a two-valued algebraic system of formal axiology has been defined precisely and applied to proper-philosophy of physics, namely, to an almost unknown (not-recognized) formal-axiological aspect of the physical law of conservation of energy;2) the formal axiomatic epistemology-and-axiology theory Sigma has been defined precisely and applied to proper-physics for realizing the above-indicated purpose. Thus, a discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed. Results: 1) By accurate computing relevant compositions of evaluation-functions within the discrete mathematical model, it is demonstrated that a formal-axiological analog of the great conservation law of proper physics is a formal-axiological law of two-valued algebra of metaphysics. (A precise algorithmic definition of the unhabitual (not-well-known) notion “formal-axiological law of algebra of metaphysics” is given.) 2) The hitherto never published significantly new nontrivial scientific result of investigation presented in this article is a formal logical inference of the law of conservation of energy within the formal axiomatic theory Sigma from conjunction of the formal-axiological analog of the law of conservation of energy and the assumption of a-priori-ness of knowledge. 展开更多
关键词 Law of Conservation of Energy law of Two Valued Algebra of Formal Axiology Formal Axiomatic Epistemology system Sigma Apriori Knowledge Formal deductive Inference
在线阅读 下载PDF
Research on Design Method of the Full Form Ship with Minimum Thrust Deduction Factor 被引量:2
9
作者 张宝吉 缪爱琴 张竹心 《China Ocean Engineering》 SCIE EI CSCD 2015年第2期301-310,共10页
In the preliminary design stage of the full form ships, in order to obtain a hull form with low resistance and maximum propulsion efficiency, an optimization design program for a full form ship with the minimum thrust... In the preliminary design stage of the full form ships, in order to obtain a hull form with low resistance and maximum propulsion efficiency, an optimization design program for a full form ship with the minimum thrust deduction factor has been developed, which combined the potential flow theory and boundary layer theory with the optimization technique. In the optimization process, the Sequential Unconstrained Minimization Technique(SUMT) interior point method of Nonlinear Programming(NLP) was proposed with the minimum thrust deduction factor as the objective function. An appropriate displacement is a basic constraint condition, and the boundary layer separation is an additional one. The parameters of the hull form modification function are used as design variables. At last, the numerical optimization example for lines of after-body of 50000 DWT product oil tanker was provided, which indicated that the propulsion efficiency was improved distinctly by this optimal design method. 展开更多
关键词 optimization minimum thrust deduction factor NLP Rankine source method boundary layer separation
在线阅读 下载PDF
DEDUCTION OF CONSTRAINT CONDITIONS IN THE CALIBRATION OF STEREO-VISION SYSTEN
10
作者 FENG Wenhao, Professor, School of Information Engineering, WTUSM, Wuhan, China, 430079 《Geo-Spatial Information Science》 1998年第1期33-37,共5页
In the test-field calibration,multi-azimuth stereo image pairs areproduced of the outdoor large control-field by the stereo-vision system under cali-bration.While in the analytical processing,the relationship between ... In the test-field calibration,multi-azimuth stereo image pairs areproduced of the outdoor large control-field by the stereo-vision system under cali-bration.While in the analytical processing,the relationship between image pairsis adopted as a constraint condition,which ensures the stability and quality of thecalibration results.This paper introduces the deduction process of the constraintconditions. 展开更多
关键词 STEREO-VISION system CONSTRAINT CONDITION control-field deductION
在线阅读 下载PDF
THE OPTIMAL DEDUCTIBLE AND COVERAGE IN INSURANCE CONTRACTS AND EQUILIBRIUM RISK SHARING POLICIES
11
作者 蹇玲玲 《Acta Mathematica Scientia》 SCIE CSCD 2023年第3期1347-1364,共18页
In this paper, we consider the optimal risk sharing problem between two parties in the insurance business: the insurer and the insured. The risk is allocated between the insurer and the insured by setting a deductible... In this paper, we consider the optimal risk sharing problem between two parties in the insurance business: the insurer and the insured. The risk is allocated between the insurer and the insured by setting a deductible and coverage in the insurance contract. We obtain the optimal deductible and coverage by considering the expected product of the two parties' utilities of terminal wealth according to stochastic optimal control theory. An equilibrium policy is also derived for when there are both a deductible and coverage;this is done by modelling the problem as a stochastic game in a continuous-time framework. A numerical example is provided to illustrate the results of the paper. 展开更多
关键词 deductible and coverage equilibrium policy stochastic optimal control Hamilton-Jacobi-Bellman equation
在线阅读 下载PDF
Discussion of the Fluid Acceleration Quality of a Ducted Propulsion System on the Propulsive Performance
12
作者 Jui-Hsiang Kao Yi-Fan Liao 《Computer Modeling in Engineering & Sciences》 SCIE EI 2022年第3期1325-1348,共24页
This paper focuses on the ducted propulsion with the accelerating nozzle,and discusses the influence of its fluid acceleration quality on its propulsive performances,including the hull efficiency,the relative rotative... This paper focuses on the ducted propulsion with the accelerating nozzle,and discusses the influence of its fluid acceleration quality on its propulsive performances,including the hull efficiency,the relative rotative efficiency,the effective wake,and the thrust deduction factor.An actual ducted propulsion system is used as an example for computational analysis.The computational conditions are divided into four combinations,which are provided with different propeller pitches,cambers,and duct lengths.Themethod applied in this study is the Computational Fluid Dynamics(CFD)technology,and the contents of the calculation include the hull’s viscous resistance,the wave-making resistance,the propeller performance curve,and the self-propulsion simulation in order to obtain the ship’s effective wake,thrust deduction factor,hull efficiency,and relative rotative efficiency.The performance curve of the propeller and resistance estimation results are compared with the experimental values for determining the correctness of the self-propulsion simulation.According to the computational analysis,it is known that increasing the propeller pitch cannot effectively increase the hull efficiency.The duct acceleration quality can be reduced by shortening the duct length;hence,when the effective wake fraction and thrust deduction factor decrease,the hull efficiency is increased.In addition,the pressure inside the duct is relatively low if the acceleration quality of the duct is too high,which is unfavorable for controlling the propeller cavitation.Moreover,if the hull bottom in front of the propeller is tapered up from the front to the back at an overly steep angle,the thrust deduction factor will be too large and lead to a relatively low hull efficiency. 展开更多
关键词 Ducted propellers accelerating nozzle hull efficiency relative rotative efficiency effective wake thrust deduction factor
在线阅读 下载PDF
Implementing Semantic Deduction of Propositional Knowledge in an Extension Multi-layer Perceptron
13
作者 HUANG Tian-min,PEI Zheng (Department of Applied Mathematics, Southwest Jiaotong Universi ty,Chengdu 610031,China) 《Chinese Quarterly Journal of Mathematics》 CSCD 2003年第3期247-257,共11页
The paper presents an extension multi-laye r p erceptron model that is capable of representing and reasoning propositional know ledge base. An extended version of propositional calculus is developed, and its some prop... The paper presents an extension multi-laye r p erceptron model that is capable of representing and reasoning propositional know ledge base. An extended version of propositional calculus is developed, and its some properties is discussed. Formulas of the extended calculus can be expressed in the extension multi-layer perceptron. Naturally, semantic deduction of prop ositional knowledge base can be implement by the extension multi-layer perceptr on, and by learning, an unknown formula set can be found. 展开更多
关键词 multi-layer perceptron extension multi-layer perce p tron propositional calculus propositional knowledge buse semantic deduction
在线阅读 下载PDF
The Effect of Integrating Inductive Approach and Deductive Approach With Multimedia Assistance Into Acquisition of Subjunctive Mood
14
作者 JIANG Xin 《Sino-US English Teaching》 2012年第9期1510-1515,共6页
This study applied both inductive approach and deductive approach with multimedia assistance into an English grammar class on the acquisition of subjunctive mood. It aimed to investigate whether this kind of teaching ... This study applied both inductive approach and deductive approach with multimedia assistance into an English grammar class on the acquisition of subjunctive mood. It aimed to investigate whether this kind of teaching approach, as a general grammar pedagogy, would improve the efficiency of students' acquisition of certain grammar points. This study results from comparison and contrast between one same class on the acquisition of subjunctive mood to 70 students in total, employing three different teaching methods: inductive approach with multimedia assistance (method 1), deductive approach with multimedia assistance (method 2), and both inductive approach and deductive approach with multimedia assistance (method 3), based on self-reported reflection on the experiment, observation of students' learning process, students' pre-test and after-class evaluation test results, and surveys. Two identical experiments were conducted to two groups of students of different levels of language proficiency to increase the generalizability of the results. Findings revealed that the evaluation test score of the grammatical points taught with method 3 is much higher than those taught with the other two methods, and most students felt positive about method 3. Students nevertheless encounter obvious difficulties in inductive approach, indicating certain lack of self-learning skills in Chinese students 展开更多
关键词 inductive approach deductive approach multimedia assistance subjunctive mood grammar teaching
在线阅读 下载PDF
Tool Wear Optimization for General CNC Turning Using Fuzzy Deduction
15
作者 Tian-Syung Lan 《Engineering(科研)》 2010年第12期1019-1025,共7页
Tool wear is frequently considered in the modern CNC (computer numerical control) turning industry. Most existing optimization researches for CNC finish turning were either accomplished within certain manufacturing ci... Tool wear is frequently considered in the modern CNC (computer numerical control) turning industry. Most existing optimization researches for CNC finish turning were either accomplished within certain manufacturing circumstances, or achieved through numerous equipment operations. Therefore, a general deduction optimization scheme proposed is deemed to be necessary for the industry. In this paper, four parameters (cutting depth, feed rate, speed, tool nose runoff) with three levels (low, medium, high) are considered to optimize the tool wear for finish turning based on orthogonal array. Additionally, nine fuzzy control rules using triangle membership function with respective to five linguistic grades for tool wear are constructed. Considering four input and twenty output intervals, the defuzzification using center of gravity is then completed and introduced as the S/N (signal-to-noise) ratio. Thus, the optimum general deduction parameters can then be received. The confirmation experiment for optimum general deduction parameters is furthermore performed on an ECOCA-3807 CNC lathe. It is shown that the tool wear ratio from the fuzzy deduction optimization parameters is significantly advanced comparing to those from benchmark. This paper not only proposes a general deduction optimization scheme using orthogonal array, but also contributes the satisfactory fuzzy linguistic approach to tool wear in CNC turning with profound insight. 展开更多
关键词 CNC General OPTIMIZATION FUZZY deductION Tool WEAR RATIO
暂未订购
A theoretical deduction for the location of neutral axis in intestine at unloaded configuration
16
作者 Brent Witgen 《医用生物力学》 EI CAS CSCD 2009年第S1期47-47,共1页
The function of Gastrointestinal tract including intestine is to a large degree mechanical.The mechanical properties of the intestinal wall,and the tonic (sustained) and/or phasic(short-
关键词 A theoretical deduction for the location of neutral axis in intestine at unloaded configuration
原文传递
Emotion Deduction from Social Media Text Data Using Machine Learning Algorithm
17
作者 Thambusamy Velmurugan Baskaran Jayapradha 《Journal of Computer and Communications》 2023年第11期183-196,共14页
Emotion represents the feeling of an individual in a given situation. There are various ways to express the emotions of an individual. It can be categorized into verbal expressions, written expressions, facial express... Emotion represents the feeling of an individual in a given situation. There are various ways to express the emotions of an individual. It can be categorized into verbal expressions, written expressions, facial expressions and gestures. Among these various ways of expressing the emotion, the written method is a challenging task to extract the emotions, as the data is in the form of textual dat. Finding the different kinds of emotions is also a tedious task as it requires a lot of pre preparations of the textual data taken for the research. This research work is carried out to analyse and extract the emotions hidden in text data. The text data taken for the analysis is from the social media dataset. Using the raw text data directly from the social media will not serve the purpose. Therefore, the text data has to be pre-processed and then utilised for further processing. Pre-processing makes the text data more efficient and would infer valuable insights of the emotions hidden in it. The preprocessing steps also help to manage the text data for identifying the emotions conveyed in the text. This work proposes to deduct the emotions taken from the social media text data by applying the machine learning algorithm. Finally, the usefulness of the emotions is suggested for various stake holders, to find the attitude of individuals at that moment, the data is produced. . 展开更多
关键词 Data Pre-Processing Machine Learning Algorithms Emotion deduction Sentiment Analysis
在线阅读 下载PDF
基于无人机的天地闭环推演系统设计
18
作者 程文俊 陈华中 +2 位作者 马东阳 薛晓马 程金龙 《测控技术》 2025年第5期18-25,共8页
无人机凭借其灵活性高、操作简便且可搭载多种设备的优势,在雷达标校和测试中的应用日益广泛。鉴于多普勒雷达在动态测试和跟踪方案验证方面存在不足,设计了一种集成无人机与动态模拟源的天地闭环推演系统。该系统通过无人机的航迹规划... 无人机凭借其灵活性高、操作简便且可搭载多种设备的优势,在雷达标校和测试中的应用日益广泛。鉴于多普勒雷达在动态测试和跟踪方案验证方面存在不足,设计了一种集成无人机与动态模拟源的天地闭环推演系统。该系统通过无人机的航迹规划模拟目标飞行轨迹,同时利用动态模拟源模拟雷达接收到的目标信号特征,实现目标飞行和信号变化的联合仿真。实际应用表明,该系统能够实现多普勒雷达的性能测试、理论数据推演和历史数据复演。 展开更多
关键词 闭环系统 推演 无人机 模拟源 航迹规划
在线阅读 下载PDF
面向照明系统故障诊断的知识图谱关键技术研究
19
作者 杨萍 李秦君 朱琳 《电子器件》 2025年第5期1126-1133,共8页
随着照明系统体量和复杂程度不断提高,传统的故障诊断方法过度依赖人工导致故障诊断效率低、难度大。针对上述问题利用知识图谱对大数据较强的知识关联与分析能力,辅助进行照明系统故障诊断工作。首先,自顶向下定义照明系统故障诊断知... 随着照明系统体量和复杂程度不断提高,传统的故障诊断方法过度依赖人工导致故障诊断效率低、难度大。针对上述问题利用知识图谱对大数据较强的知识关联与分析能力,辅助进行照明系统故障诊断工作。首先,自顶向下定义照明系统故障诊断知识图谱的整体架构,形成知识图谱的模式层;然后,在自建数据集的基础上构建并训练BERT-BiLSTM-CRF模型进行知识抽取,自底向上构建知识图谱的数据层;其次,结合推演格算法构建并优化故障诊断规则模块;最后使用Neo4j图数据库对该知识图谱进行可视化展示并对其在故障诊断中的应用进行分析。实验结果表明,BERT-BiLSTM-CRF模型在照明数据知识抽取任务上较BiLSTM-CRF模型的精确率提高了17.58%,具有更好的准确性和有效性。提出了构建照明系统故障诊断知识图谱的方法,并建立了故障诊断规则模块,有效提高了照明系统故障诊断的可靠性及其智能化水平。 展开更多
关键词 照明系统故障诊断 知识图谱 深度学习 知识抽取 推演格算法
在线阅读 下载PDF
上一页 1 2 21 下一页 到第
使用帮助 返回顶部