A sequent is a pair(Г,△),which is true under an as-signment if either some formula inГis false,or some formula in △ is true.In L3-valued propositional logic,a mulisequent is a triple △|Θ|Г,which is true under a...A sequent is a pair(Г,△),which is true under an as-signment if either some formula inГis false,or some formula in △ is true.In L3-valued propositional logic,a mulisequent is a triple △|Θ|Г,which is true under an assignment if either some formula in △ has truth-value t,or some formula in Θ has truth-value m,or some formula in Г has truth-value￡.Corre-spondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic.Dually,a CO-multisequent is a triple △:Θ:Г,which is valid if there is an assignment v in which each formula in△has truth-value≠t,each formula in Θ has truth-value≠m,and each formula in Г has truth-value≠￡.Correspondingly there is a sound and com-plete Gentzen deduction system G-for co-multisequents which is nonmonotonic.展开更多
In the last decade temporal logic has been developed into an effective means of specifying and proving properties of programs and behaviour of dynamic information systems.This note presents a natural deduction system ...In the last decade temporal logic has been developed into an effective means of specifying and proving properties of programs and behaviour of dynamic information systems.This note presents a natural deduction system (N system) of propositional temporal logic, which can be easily and immediately extended to other temporal logics.展开更多
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.展开更多
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^*.展开更多
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.展开更多
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”.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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-
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. .展开更多
In-depth study of the components of polymyxins is the key to controlling the quality of this class of antibiotics.Similarities and variations of components present significant analytical challenges.A two-dimensional(2...In-depth study of the components of polymyxins is the key to controlling the quality of this class of antibiotics.Similarities and variations of components present significant analytical challenges.A two-dimensional(2D)liquid chromatography-mass spectrometry(LC-MS)method was established for screening and comprehensive profiling of compositions of the antibiotic colistimethate sodium(CMS).A high concentration of phosphate buffer mobile phase was used in the first-dimensional LC system to get the components well separated.For efficient and high-accuracy screening of CMS,a targeted method based on a self-constructed high resolution(HR)mass spectrum database of CMS components was established.The database was built based on the commercial MassHunter Personal Compound Database and Library(PCDL)software and its accuracy of the compound matching result was verified with six known components before being applied to genuine sample screening.On this basis,the unknown peaks in the CMS chromatograms were deduced and assigned.The molecular formula,group composition,and origins of a total of 99 compounds,of which the combined area percentage accounted for more than 95%of CMS components,were deduced by this 2D-LC-MS method combined with the MassHunter PCDL.This profiling method was highly efficient and could distinguish hundreds of components within 3 h,providing reliable results for quality control of this kind of complex drugs.展开更多
This study aims to validate the Object-Oriented User Interface Customization(OOUIC)framework by employing Use Case Analysis(UCA)to facilitate the development of adaptive User Interfaces(UIs).The OOUIC framework advoca...This study aims to validate the Object-Oriented User Interface Customization(OOUIC)framework by employing Use Case Analysis(UCA)to facilitate the development of adaptive User Interfaces(UIs).The OOUIC framework advocates for User-Centered Design(UCD)methodologies,including UCA,to systematically identify intricate user requirements and construct adaptive UIs tailored to diverse user needs.To operationalize this approach,thirty users of Product Lifecycle Management(PLM)systems were interviewed across six distinct use cases.Interview transcripts were subjected to deductive content analysis to classify UI objects systematically.Subsequently,adaptive UIs were developed for each use case,and their complexity was quantitatively compared against the original system UIs.The results demonstrated a significant reduction in complexity across all adaptive UIs(Mean Difference,MD=0.11,t(5)=8.26,p<0.001),confirming their superior efficiency.The findings validate the OOUIC framework,demonstrating that UCD effectively captures complex requirements for adaptive UI development,while adaptive UIs mitigate interface complexity through object reduction and optimized layout design.Furthermore,UCA and deductive content analysis serve as robust methodologies for object categorization in adaptive UI design.Beyond eliminating redundant elements and prioritizing object grouping,designers can further reduce complexity by adjusting object dimensions and window sizing.This study underscores the efficacy of UCA in developing adaptive UIs and streamlining complex interfaces.Ultimately,UCD proves instrumental in gathering intricate requirements,while adaptive UIs enhance usability by minimizing object clutter and refining spatial organization.展开更多
我在硕士研究生一年级的《电子商务概论》课程中采用“双语教学”已有4年时间了。该课程为每周3课时，共16周，计48学时，目前使用的教材是高等教育出版社出版的、教育部高等教育司推荐的“国外优秀信息科学与技术系列教材”中的影印版...我在硕士研究生一年级的《电子商务概论》课程中采用“双语教学”已有4年时间了。该课程为每周3课时，共16周，计48学时，目前使用的教材是高等教育出版社出版的、教育部高等教育司推荐的“国外优秀信息科学与技术系列教材”中的影印版教材“Electronic Commerce A Managerial Pcrspective(电子商务管理视角)”。讲课用比较详细的PowerPoint英语演示文稿。展开更多
In recent years,with the proposal of the innovation-driven development strategy,the importance of high-tech enterprises has become increasingly prominent,and their innovation capability and R&D investment intensit...In recent years,with the proposal of the innovation-driven development strategy,the importance of high-tech enterprises has become increasingly prominent,and their innovation capability and R&D investment intensity are closely related to industrial upgrading and high-quality economic development.To fully mobilize the enthusiasm of high-tech enterprises for R&D and innovation,the state should continuously optimize the policy of additional deduction of R&D expenses.As a core tax incentive measure for the state to encourage high-tech enterprises to enhance their independent innovation capability,rational planning of the tax planning path for the additional deduction of R&D expenses can not only empower the improvement of core competitiveness of high-tech enterprises,promote the upgrading and coordinated development of high-tech industrial clusters,but also strengthen the effectiveness of tax policies and the implementation of the national innovation strategy.In this regard,this paper first expounds the significance of tax planning for the additional deduction of R&D expenses of high-tech enterprises,and then clarifies the tax planning paths,aiming to provide certain reference for relevant researchers.展开更多
文摘A sequent is a pair(Г,△),which is true under an as-signment if either some formula inГis false,or some formula in △ is true.In L3-valued propositional logic,a mulisequent is a triple △|Θ|Г,which is true under an assignment if either some formula in △ has truth-value t,or some formula in Θ has truth-value m,or some formula in Г has truth-value￡.Corre-spondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic.Dually,a CO-multisequent is a triple △:Θ:Г,which is valid if there is an assignment v in which each formula in△has truth-value≠t,each formula in Θ has truth-value≠m,and each formula in Г has truth-value≠￡.Correspondingly there is a sound and com-plete Gentzen deduction system G-for co-multisequents which is nonmonotonic.
基金Project supported by the National Natural Science Foundation of China, No. 6863022.
文摘In the last decade temporal logic has been developed into an effective means of specifying and proving properties of programs and behaviour of dynamic information systems.This note presents a natural deduction system (N system) of propositional temporal logic, which can be easily and immediately extended to other temporal logics.
基金Funded by the Natural Science Foundation of China (50378096) and Key Technology Item of Education Ministry (03138).
文摘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.
文摘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^*.
文摘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.
基金the National Key Research and Development Program of China(2021YFF0900800)the National Natural Science Foundation of China(61972276,62206116,62032016)+2 种基金the New Liberal Arts Reform and Practice Project of National Ministry of Education(2021170002)the Open Research Fund of the State Key Laboratory for Management and Control of Complex Systems(20210101)Tianjin University Talent Innovation Reward Program for Literature and Science Graduate Student(C1-2022-010)。
文摘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”.
文摘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.
文摘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.
基金financially supported by the National Natural Science Foundation of China(Grant No.51009087)
文摘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.
基金Supported by the National Natural Science Foundation of China(Grant No.11571281)Independent Innovation Project of Graduate Students in Northwestern University(Grant No.YZZ15069)Scientific Research Project of Xi'an Peihua University(Grant No.PHKT16075)
文摘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.
文摘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.
文摘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.
文摘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.
文摘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.
文摘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-
文摘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. .
基金support from the Science Research Program Project for Drug Regulation,Jiangsu Medical Products Administration,China(Grant No.:202207)the National Drug Standards Revision Project,China(Grant No.:2023Y41)+1 种基金the National Natural Science Foundation of China(Grant No.:22276080)the Foreign Expert Project,China(Grant No.:G2022014096L).
文摘In-depth study of the components of polymyxins is the key to controlling the quality of this class of antibiotics.Similarities and variations of components present significant analytical challenges.A two-dimensional(2D)liquid chromatography-mass spectrometry(LC-MS)method was established for screening and comprehensive profiling of compositions of the antibiotic colistimethate sodium(CMS).A high concentration of phosphate buffer mobile phase was used in the first-dimensional LC system to get the components well separated.For efficient and high-accuracy screening of CMS,a targeted method based on a self-constructed high resolution(HR)mass spectrum database of CMS components was established.The database was built based on the commercial MassHunter Personal Compound Database and Library(PCDL)software and its accuracy of the compound matching result was verified with six known components before being applied to genuine sample screening.On this basis,the unknown peaks in the CMS chromatograms were deduced and assigned.The molecular formula,group composition,and origins of a total of 99 compounds,of which the combined area percentage accounted for more than 95%of CMS components,were deduced by this 2D-LC-MS method combined with the MassHunter PCDL.This profiling method was highly efficient and could distinguish hundreds of components within 3 h,providing reliable results for quality control of this kind of complex drugs.
基金supported by the National Natural Science Foundation of China(Grant No.72301061).
文摘This study aims to validate the Object-Oriented User Interface Customization(OOUIC)framework by employing Use Case Analysis(UCA)to facilitate the development of adaptive User Interfaces(UIs).The OOUIC framework advocates for User-Centered Design(UCD)methodologies,including UCA,to systematically identify intricate user requirements and construct adaptive UIs tailored to diverse user needs.To operationalize this approach,thirty users of Product Lifecycle Management(PLM)systems were interviewed across six distinct use cases.Interview transcripts were subjected to deductive content analysis to classify UI objects systematically.Subsequently,adaptive UIs were developed for each use case,and their complexity was quantitatively compared against the original system UIs.The results demonstrated a significant reduction in complexity across all adaptive UIs(Mean Difference,MD=0.11,t(5)=8.26,p<0.001),confirming their superior efficiency.The findings validate the OOUIC framework,demonstrating that UCD effectively captures complex requirements for adaptive UI development,while adaptive UIs mitigate interface complexity through object reduction and optimized layout design.Furthermore,UCA and deductive content analysis serve as robust methodologies for object categorization in adaptive UI design.Beyond eliminating redundant elements and prioritizing object grouping,designers can further reduce complexity by adjusting object dimensions and window sizing.This study underscores the efficacy of UCA in developing adaptive UIs and streamlining complex interfaces.Ultimately,UCD proves instrumental in gathering intricate requirements,while adaptive UIs enhance usability by minimizing object clutter and refining spatial organization.
文摘我在硕士研究生一年级的《电子商务概论》课程中采用“双语教学”已有4年时间了。该课程为每周3课时，共16周，计48学时，目前使用的教材是高等教育出版社出版的、教育部高等教育司推荐的“国外优秀信息科学与技术系列教材”中的影印版教材“Electronic Commerce A Managerial Pcrspective(电子商务管理视角)”。讲课用比较详细的PowerPoint英语演示文稿。
文摘In recent years,with the proposal of the innovation-driven development strategy,the importance of high-tech enterprises has become increasingly prominent,and their innovation capability and R&D investment intensity are closely related to industrial upgrading and high-quality economic development.To fully mobilize the enthusiasm of high-tech enterprises for R&D and innovation,the state should continuously optimize the policy of additional deduction of R&D expenses.As a core tax incentive measure for the state to encourage high-tech enterprises to enhance their independent innovation capability,rational planning of the tax planning path for the additional deduction of R&D expenses can not only empower the improvement of core competitiveness of high-tech enterprises,promote the upgrading and coordinated development of high-tech industrial clusters,but also strengthen the effectiveness of tax policies and the implementation of the national innovation strategy.In this regard,this paper first expounds the significance of tax planning for the additional deduction of R&D expenses of high-tech enterprises,and then clarifies the tax planning paths,aiming to provide certain reference for relevant researchers.
