Large language models(LLMs)have demonstrated considerable ability in solving various tasks via Chain-of-Thought(CoT)prompting,which has precipitated extensive research into their application for complex mathematical r...Large language models(LLMs)have demonstrated considerable ability in solving various tasks via Chain-of-Thought(CoT)prompting,which has precipitated extensive research into their application for complex mathematical reasoning problems.However,current research on mathematical reasoning with CoT predominantly focuses on textual mathematical tasks,such as math word problems,while paying limited attention to multimodal geometric scenarios.To bridge this gap,we propose KG-HoT,a model that harnesses the generative and comprehension capabilities of Multimodal large language models(MLLMs)to enhance complex geometric problem-solving in multimodal systems.Our knowledge-grounded approach enables MLLMs to generate hybrid chains-of-thought operating on dual tracks—language-based reasoning and program-based reasoning—which serve as teaching signals for smaller models.Furthermore,we design an instruction tuning framework that trains these dual reasoning tracks collaboratively within a unified architecture,enabling mutual enhancement and efficient knowledge distillation for complex geometric problem solving.Extensive experimental results demonstrate that KG-HoT achieves superior performance compared to existing approaches on multiple geometry problem-solving benchmarks.展开更多
The determination of the steady configuration of flexible spacecrafts in the challenging space environment holds paramount importance for the prediction of structural mechanical behaviors and the monitoring of failure...The determination of the steady configuration of flexible spacecrafts in the challenging space environment holds paramount importance for the prediction of structural mechanical behaviors and the monitoring of failures during in-service conditions.In this paper,based on the nonlinear Euler-Bernoulli beam model,the differential equations describing the steady configuration of an ultra-large spacecraft are transformed into polynomial equations by introducing the moment integration function and Taylor expansion,facilitating rapid and accurate solutions.Furthermore,accounting for the additional moment effect induced by axial component of the gravity-gradient force,the steady configuration under all loads is iteratively calculated starting from the equilibrium configuration under normal loads,resulting in a novel integral and iterative solving method under the combined action of gravity-gradient force and thermal load.Based on the above method,an empirical formula for the steady configuration involving multiple parameters is developed to solve the problem of rapid and accurate prediction of static configurations of large-scale spacecraft under different assembly states.The numerical results show that the proposed method can obtain highly accurate and stable solutions with only a few iterations.Additionally,it sheds light on the impact of spacecraft configuration asymmetry in the space force-thermal environment.Parameter analysis reveals that increasing the spacecraft’s length significantly amplifies the geometric nonlinearity of the structure,and adjusting the spacecraft’s attitude effectively constrains its deformation in the face of force-thermal conditions.展开更多
Aiming at the problem of structure design in reverse-design of mechanism,a structure mapping method based on reverse solving of locus and motion(RSLM)is presented.The mechanism scheme meeting the requirements of geome...Aiming at the problem of structure design in reverse-design of mechanism,a structure mapping method based on reverse solving of locus and motion(RSLM)is presented.The mechanism scheme meeting the requirements of geometric and structural features is obtained through RSLM.The element instance subsets related to component are established based on the element type mapping,pair structure type mapping and design knowledge mapping between components and elements layer by layer.The assembly position mapping of elements is established based on the topological structure information of mechanism scheme,and the product modeling of structure mapping is realized.The algorithm program and prototype system of product structure mapping based on RSLM are developed.Application samples show that the method implements the integration of scheme design,assembly design and structure design,and modeling for product structure mapping based on RSLM.The feasibility of assembly is analyzed in scheme design that contributes to reducing the design error,and raising the design efficiency and quality.展开更多
BACKGROUND The use of a problem-solving model guided by stimulus-organism-response(SOR)theory for women with postpartum depression after cesarean delivery may inform nursing interventions for women with postpartum dep...BACKGROUND The use of a problem-solving model guided by stimulus-organism-response(SOR)theory for women with postpartum depression after cesarean delivery may inform nursing interventions for women with postpartum depression.AIM To explore the state of mind and coping style of women with depression after cesarean delivery guided by SOR theory.METHODS Eighty postpartum depressed women with cesarean delivery admitted to the hospital between January 2022 and October 2023 were selected and divided into two groups of 40 cases each,according to the random number table method.In the control group,the observation group adopted the problem-solving nursing model under SOR theory.The two groups were consecutively intervened for 12 weeks,and the state of mind,coping styles,and degree of post-partum depression were analyzed at the end of the intervention.RESULTS The Edinburgh Postnatal Depression Scale and Hamilton Depression Scale-24-item scores of the observation group were lower than in the control group after care,and the level of improvement in the state of mind was higher than that of the control group(P<0.05).The level of coping with illness in the observation group after care(26.48±3.35)was higher than that in the control group(21.73±3.20),and the level of avoidance(12.04±2.68)and submission(8.14±1.15)was lower than that in the control group(15.75±2.69 and 9.95±1.20),with significant differences(P<0.05).CONCLUSION Adopting the problem-solving nursing model using SOR theory for postpartum depressed mothers after cesarean delivery reduced maternal depression,improved their state of mind,and coping level with illness.展开更多
In a number of species,males and females have different ecological roles and therefore might be required to solve different problems.Studies on humans have suggested that the 2 sexes often show different efficiencies ...In a number of species,males and females have different ecological roles and therefore might be required to solve different problems.Studies on humans have suggested that the 2 sexes often show different efficiencies in problem solving tasks;similarly,evidence of sex differences has been found in 2 other mammalian species.Here,we assessed whether a teleost fish species,the guppy.Poecilia reticulata,displays sex differences in the ability to solve problems.In Experiment 1,guppies had to learn to dislodge a disc that occluded a feeder from which they had been previously accustomed to feed.In Experiment 2,guppies had to solve a version of the detour task that required them to learn to enter a transparent cylinder from the open sides to reach a food reward previously freely available.We found evidence of sex differences in both problem-solvingi tasks.In Experiment 1,females clearly outperformed males,and in Experiment 2,guppies showed a reversed but smaller sex difference.This study indicates that sex differences may play an important role in fish's problem-solving similar to what has previously been observed in some mammalian species.展开更多
The platform scheduling problem in battlefield is one of the important problems in military operational research.It needs to minimize mission completing time and meanwhile maximize the mission completing accuracy with...The platform scheduling problem in battlefield is one of the important problems in military operational research.It needs to minimize mission completing time and meanwhile maximize the mission completing accuracy with a limited number of platforms.Though the traditional certain models obtain some good results,uncertain model is still needed to be introduced since the battlefield environment is complex and unstable.An uncertain model is prposed for the platform scheduling problem.Related parameters in this model are set to be fuzzy or stochastic.Due to the inherent disadvantage of the solving methods for traditional models,a new method is proposed to solve the uncertain model.Finally,the practicability and availability of the proposed method are demonstrated with a case of joint campaign.展开更多
A new efficient coupling relationship description method has been developed to provide an automated and visualized way to multidisciplinary design optimization (MDO) modeling and solving. The disciplinary relation mat...A new efficient coupling relationship description method has been developed to provide an automated and visualized way to multidisciplinary design optimization (MDO) modeling and solving. The disciplinary relation matrix (DRM) is proposed to describe the coupling relationship according to disciplinary input/output variables, and the MDO definition has been reformulated to adopt the new interfaces. Based on these, a universal MDO solving procedure is proposed to establish an automated and efficient way for MDO modeling and solving. Through a simple and convenient initial configuration, MDO problems can be solved using any of available MDO architectures with no further effort. Several examples are used to verify the proposed MDO modeling and solving process. Result shows that the DRM method has the ability to simplify and automate the MDO procedure, and the related MDO framework can evaluate the MDO problem automatically and efficiently.展开更多
This paper applies genetic simulated annealing algorithm (SAGA) to solving geometric constraint problems. This method makes full use of the advantages of SAGA and can handle under-/over- constraint problems naturally....This paper applies genetic simulated annealing algorithm (SAGA) to solving geometric constraint problems. This method makes full use of the advantages of SAGA and can handle under-/over- constraint problems naturally. It has advantages (due to its not being sensitive to the initial values) over the Newton-Raphson method, and its yielding of multiple solutions, is an advantage over other optimal methods for multi-solution constraint system. Our experiments have proved the robustness and efficiency of this method.展开更多
Many engineering problems can be reduced to the solution of a variable coefficient differential equation. In this paper, the exact analytic method is suggested to solve variable coefficient differential equations unde...Many engineering problems can be reduced to the solution of a variable coefficient differential equation. In this paper, the exact analytic method is suggested to solve variable coefficient differential equations under arbitrary boundary condition. By this method, the general computation formal is obtained. Its convergence in proved. We can get analytic expressions which converge to exact solution and its higher order derivatives uniformy Four numerical examples are given, which indicate that satisfactory results can he obtanedby this method.展开更多
An accurate and rapid method for solving radiative transfer equation is presented in this paper. According to the fact that the multiple scattering component of radiance is less sensitive to the error of phase functio...An accurate and rapid method for solving radiative transfer equation is presented in this paper. According to the fact that the multiple scattering component of radiance is less sensitive to the error of phase function than the single scattering component is,we calculate the multiple scattering component by using delta-Eddington approximation and the single scattering component by solving radiative transfer equation. On the ground, when multiple sattering component is small, for example, when the total optical depth T is small, the accurate radiance can be obtained with this method. For the need of the space remote sensing, the upward radiance at the top of the atmosphere is mainly studied, and an approximate expression is presented to correct the multiple scattering component. Compared with the more precise Gauss-Seidel method.the results from this method show an accuracy of better than 10% when zenith angle 0 < 50 掳 and T < 1. The computational speed of this method is, however, much faster than that of Gauss-Seidel method.展开更多
A qualia role-based entity-dependency graph(EDG)is proposed to represent and extract quantity relations for solving algebra story problems stated in Chinese.Traditional neural solvers use end-to-end models to translat...A qualia role-based entity-dependency graph(EDG)is proposed to represent and extract quantity relations for solving algebra story problems stated in Chinese.Traditional neural solvers use end-to-end models to translate problem texts into math expressions,which lack quantity relation acquisition in sophisticated scenarios.To address the problem,the proposed method leverages EDG to represent quantity relations hidden in qualia roles of math objects.Algorithms were designed for EDG generation and quantity relation extraction for solving algebra story problems.Experimental result shows that the proposedmethod achieved an average accuracy of 82.2%on quantity relation extraction compared to 74.5%of baseline method.Another prompt learning result shows a 5%increase obtained in problem solving by injecting the extracted quantity relations into the baseline neural solvers.展开更多
Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the ...Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the efficiency and quality of the problem solving process for conceptual design. AD is used for systematically defining and structuring a problem into a hierarchy. Sometimes, the design matrix is coupled in AD which indicates the functional requirements are coupled. TRIZ separation principles can be used to separate non-independent design parameters, which provide innovative solutions at each hierarchical level. We applied the integrated model to the heating and drying equipment of bitumen reproduction device. The result verifies that the integrated model can work very well in conceptual design.展开更多
A new parallel architecture for quantified boolean formula(QBF)solving was proposed,and the prediction model based on machine learning technology was proposed for how sharing knowledge affects the solving performance ...A new parallel architecture for quantified boolean formula(QBF)solving was proposed,and the prediction model based on machine learning technology was proposed for how sharing knowledge affects the solving performance in QBF parallel solving system,and the experimental evaluation scheme was also designed.It shows that the characterization factor of clause and cube influence the solving performance markedly in our experiment.At the same time,the heuristic machine learning algorithm was applied,support vector machine was chosen to predict the performance of QBF parallel solving system based on clause sharing and cube sharing.The relative error of accuracy for prediction can be controlled in a reasonable range of 20%30%.The results show the important and complex role that knowledge sharing plays in any modern parallel solver.It shows that the parallel solver with machine learning reduces the quantity of knowledge sharing about 30%and saving computational resource but does not reduce the performance of solving system.展开更多
To solve the problem that in parametric drawing systems, unreasonable parameter values in a parametric model often result in an improper shape of a geometric object, this paper proposes a novel algebraic algorithm for...To solve the problem that in parametric drawing systems, unreasonable parameter values in a parametric model often result in an improper shape of a geometric object, this paper proposes a novel algebraic algorithm for determining the valid range of parameter values in certain 2-dimensional parametric drawing systems. This algorithm can solve valid range of parameters such as radius and coordinate of centre points of parametric models with only linear segments and circles. The result of the study shows that all values within the valid range provided by this algorithm can ensure that the topological shape of a geometric object does not change after reconstruction, and to some extent, this algorithm can significantly promote the efficiency of parametric drawing system design and the intel- lectual level of human-computer interaction. The analysis shows that complexity of this algorithm is O(n2).展开更多
Through transformations, the time-dependent boundary condition on the airfoil contour and the boundary condition at infinity are brought fixed to the boundaries of a finite domain. The boundary conditions can thus be ...Through transformations, the time-dependent boundary condition on the airfoil contour and the boundary condition at infinity are brought fixed to the boundaries of a finite domain. The boundary conditions can thus be satisfied exactly without increasing the computational time. The novel scheme is useful for computing transonic, strong disturbance, unsteady flows with high reduced frequencies. The scheme makes use of curvefitted orthogonal meshes and the lattice control technique to obtain the optimal grid distribution. The numerical results are satisfactory.展开更多
The equation used to model the unidirectional flow of methane gas in coal seams is usually formulated as a nonlinear partial differential equation, which needs to be solved numerically with a computer program.Neverthe...The equation used to model the unidirectional flow of methane gas in coal seams is usually formulated as a nonlinear partial differential equation, which needs to be solved numerically with a computer program.Nevertheless, for people without access to the computer program, the conventional numerical method may be inconvenient. Thus, the objective here is to seek some method simpler than the conventional one for solving the flow problem. A commonly used model of the unidirectional methane gas flow is considered, where the methane adsorption is described by the Langmuir isotherm and the free gas is treated as real gas. By introducing the similarity solution, a simple method for solving the flow model is proposed, which can be done on a hand calculator. It is shown by two examples that the gas pressure profile obtained by the proposed method agrees well with the direct numerical solution of the flow model.展开更多
CAPTCHA is an acronym that stands for Completely Automated Public Turing Test to tell Computers and Humans Apart(CAPTCHA),it is a good example of an authentication system that can be used to determine the true identit...CAPTCHA is an acronym that stands for Completely Automated Public Turing Test to tell Computers and Humans Apart(CAPTCHA),it is a good example of an authentication system that can be used to determine the true identity of any user.It serves as a security measure to prevent an attack caused by web bots(automatic programs)during an online transaction.It can come as text-based or image-based depending on the project and the programmer.The usability and robustness,as well as level of security,provided each of the varies and call for the development of an improved system.Hence,this paper studied and improved two different CAPTCHA systems(the text-based CAPTCHA and image-based CAPTCHA).The textbased and image-based CAPTCHAwere designed using JavaScript.Response time and solving time are the two metrics used to determine the effectiveness and efficiency of the two CAPTCHA systems.The inclusion of response time and solving time improved the shortfall of the usability and robustness of the existing system.The developed system was tested using 200 students from the Federal College of Animal Health and Production Technology.The results of each of the participants,for the two CAPTCHAs,were extracted from the database and subjected to analysis using SPSS.The result shows that textbased CAPTCHAhas the lowest average solving time(21.3333 s)with a 47.8%success rate while image-based CAPTCHA has the highest average solving time was 23.5138 s with a 52.8%success rate.The average response time for the image-based CAPTCHA was 2.1855 s with a 37.9%success rate lower than the text-based CAPTCHA response time(3.5561 s)with a 62.1%success rate.This indicates that the text-based CAPTCHA is more effective in terms of usability tests while image-based CAPTCHA is more efficient in terms of system responsiveness and recommended for potential users.展开更多
Objectives:Near misses happen more frequently than actual errors,and highlight system vulnerabilities without causing any harm,thus provide a safe space for organizational learning.Second-order problem solving behavio...Objectives:Near misses happen more frequently than actual errors,and highlight system vulnerabilities without causing any harm,thus provide a safe space for organizational learning.Second-order problem solving behavior offers a new perspective to better understand how nurses promote learning from near misses to improve organizational outcomes.This study aimed to explore frontline nurses’perspectives on using second-order problem solving behavior in learning from near misses to improve patient safety.Methods:A qualitative exploratory study design was employed.This study was conducted in three tertiary hospitals in east China from June to November 2015.Purposive sampling was used to recruit 19 frontline nurses.Semi-structured interviews and a qualitative directed content analysis was undertaken using Crossan’s 4I Framework of Organizational Learning as a coding framework.Results:Second-order problem solving behavior,based on the 4I Framework of Organizational Learning,was referred to as being a leader in exposing near misses,pushing forward the cause analysis within limited capacity,balancing the active and passive role during improvement project,and promoting the continuous improvement with passion while feeling low-powered.Conclusions:4I Framework of Organizational Learning can be an underlying guide to enrich frontline nurses’role in promoting organizations to learn from near misses.In this study,nurses displayed their pivotal role in organizational learning from near misses by using second-order problem solving.However,additional knowledge,skills,and support are needed to maximize the application of second-order problem solving behavior when near misses are recognized.展开更多
A problem is a situation, in which a person tries to find a solution and does not exactly know how but still tries to solve it. One of the important elements of problem solving skills that individuals should have is t...A problem is a situation, in which a person tries to find a solution and does not exactly know how but still tries to solve it. One of the important elements of problem solving skills that individuals should have is to choose the appropriate strategy in the solution of the problems, which is important in terms of achieving success in solving problems. The research question of the study is "what are the levels of sixth and seventh grade students' problem solving skills?" The aim of this study was to investigate the problem solving and problem-solving strategies levels of secondary school students. The study was carried out through method with a total of 72 students from the two provinces in the Black Sea region of Turkey selected by random in the second term of the 2014-2015 academic year In this qualitative research for the case study, content analysis was applied. The study group consists of 50 students in Samsun province and 22 students in Sinop province in the Blacksea region, 35 of the students are females, whereas 37 of them are male students. The methodology of the study is case study method, which is in accordance with the nature of qualitative research. In this qualitative research for the case study, content analysis was applied in order to evaluate the data. In the study, five creative problems developed by Smith, which were adapted into Turkish by the researchers, were used as the data collection tools. The problems applied were evaluated according to Polya's stage of problem solving. The problems were evaluated according to stages such as understanding the problem, choosing a strategy, applying the chosen strategy, and evaluating the solution. While examining students' problem solving papers, it was observed that they were more successful at solving problems, with which they came across before or are similar to the ones they had solved. It was observed that majority of the students had difficulty in solving non-routine problems. It is believed that this results from the fact that mostly routine problems are discussed and solved in the curricula.展开更多
Repetitious simulation after modifying parameters of multi-domain physical system based on Modelica often appears in model experiment and optimization design. At present, the solvers based on Modelica need calculate a...Repetitious simulation after modifying parameters of multi-domain physical system based on Modelica often appears in model experiment and optimization design. At present, the solvers based on Modelica need calculate all the coupled blocks during every simulation run after updating parameters. Based on discussing scale decomposition methods of simulation model, subdivision solving strategy and minimum solving strategy are put forward to improve the efficiency of repetitious simulation, by which the numerical solution of the simulation model can be achieved by only calculating the solving sequence influenced by altered parameters. A simplified model of aircraft is used to demonstrate the efficiency of the strategies presented.展开更多
基金supported by the Youth Science and Technology of Gansu Province(26JRRA493,24JRRA148)the Northwest Normal University Young Teachers Research Capacity Promotion Plan(NWNULKQN2027-19,NWNU-LKQN2024-22).
摘要Large language models(LLMs)have demonstrated considerable ability in solving various tasks via Chain-of-Thought(CoT)prompting,which has precipitated extensive research into their application for complex mathematical reasoning problems.However,current research on mathematical reasoning with CoT predominantly focuses on textual mathematical tasks,such as math word problems,while paying limited attention to multimodal geometric scenarios.To bridge this gap,we propose KG-HoT,a model that harnesses the generative and comprehension capabilities of Multimodal large language models(MLLMs)to enhance complex geometric problem-solving in multimodal systems.Our knowledge-grounded approach enables MLLMs to generate hybrid chains-of-thought operating on dual tracks—language-based reasoning and program-based reasoning—which serve as teaching signals for smaller models.Furthermore,we design an instruction tuning framework that trains these dual reasoning tracks collaboratively within a unified architecture,enabling mutual enhancement and efficient knowledge distillation for complex geometric problem solving.Extensive experimental results demonstrate that KG-HoT achieves superior performance compared to existing approaches on multiple geometry problem-solving benchmarks.
基金supported by the National Nature Science Foundation of China(Grant Nos.12002279 and 12232015)the Fundamental Research Funds for the Central Universities,NWPU(Grant No.G2020KY05307).
摘要The determination of the steady configuration of flexible spacecrafts in the challenging space environment holds paramount importance for the prediction of structural mechanical behaviors and the monitoring of failures during in-service conditions.In this paper,based on the nonlinear Euler-Bernoulli beam model,the differential equations describing the steady configuration of an ultra-large spacecraft are transformed into polynomial equations by introducing the moment integration function and Taylor expansion,facilitating rapid and accurate solutions.Furthermore,accounting for the additional moment effect induced by axial component of the gravity-gradient force,the steady configuration under all loads is iteratively calculated starting from the equilibrium configuration under normal loads,resulting in a novel integral and iterative solving method under the combined action of gravity-gradient force and thermal load.Based on the above method,an empirical formula for the steady configuration involving multiple parameters is developed to solve the problem of rapid and accurate prediction of static configurations of large-scale spacecraft under different assembly states.The numerical results show that the proposed method can obtain highly accurate and stable solutions with only a few iterations.Additionally,it sheds light on the impact of spacecraft configuration asymmetry in the space force-thermal environment.Parameter analysis reveals that increasing the spacecraft’s length significantly amplifies the geometric nonlinearity of the structure,and adjusting the spacecraft’s attitude effectively constrains its deformation in the face of force-thermal conditions.
基金supported by National Hi-tech Research Development Program of China(863 Program,No.2006AA04ZlI4)Research Fund for the Doctoral Program of Higher Education,China(No.20040335060)Zhejiang Provincial Scientific Personnel Educational Foundation,China(No.R603240).
摘要Aiming at the problem of structure design in reverse-design of mechanism,a structure mapping method based on reverse solving of locus and motion(RSLM)is presented.The mechanism scheme meeting the requirements of geometric and structural features is obtained through RSLM.The element instance subsets related to component are established based on the element type mapping,pair structure type mapping and design knowledge mapping between components and elements layer by layer.The assembly position mapping of elements is established based on the topological structure information of mechanism scheme,and the product modeling of structure mapping is realized.The algorithm program and prototype system of product structure mapping based on RSLM are developed.Application samples show that the method implements the integration of scheme design,assembly design and structure design,and modeling for product structure mapping based on RSLM.The feasibility of assembly is analyzed in scheme design that contributes to reducing the design error,and raising the design efficiency and quality.
摘要BACKGROUND The use of a problem-solving model guided by stimulus-organism-response(SOR)theory for women with postpartum depression after cesarean delivery may inform nursing interventions for women with postpartum depression.AIM To explore the state of mind and coping style of women with depression after cesarean delivery guided by SOR theory.METHODS Eighty postpartum depressed women with cesarean delivery admitted to the hospital between January 2022 and October 2023 were selected and divided into two groups of 40 cases each,according to the random number table method.In the control group,the observation group adopted the problem-solving nursing model under SOR theory.The two groups were consecutively intervened for 12 weeks,and the state of mind,coping styles,and degree of post-partum depression were analyzed at the end of the intervention.RESULTS The Edinburgh Postnatal Depression Scale and Hamilton Depression Scale-24-item scores of the observation group were lower than in the control group after care,and the level of improvement in the state of mind was higher than that of the control group(P<0.05).The level of coping with illness in the observation group after care(26.48±3.35)was higher than that in the control group(21.73±3.20),and the level of avoidance(12.04±2.68)and submission(8.14±1.15)was lower than that in the control group(15.75±2.69 and 9.95±1.20),with significant differences(P<0.05).CONCLUSION Adopting the problem-solving nursing model using SOR theory for postpartum depressed mothers after cesarean delivery reduced maternal depression,improved their state of mind,and coping level with illness.
基金Funding was provided by PRIN 2015 Grant(prot.:2015FFATB7)to A.B.from Ministero dell'Istruzione,Universita e Ricerca(M IUR,Italy)FIR2018 and FAR2018 grants to T.L.X.from University of Ferrara.
摘要In a number of species,males and females have different ecological roles and therefore might be required to solve different problems.Studies on humans have suggested that the 2 sexes often show different efficiencies in problem solving tasks;similarly,evidence of sex differences has been found in 2 other mammalian species.Here,we assessed whether a teleost fish species,the guppy.Poecilia reticulata,displays sex differences in the ability to solve problems.In Experiment 1,guppies had to learn to dislodge a disc that occluded a feeder from which they had been previously accustomed to feed.In Experiment 2,guppies had to solve a version of the detour task that required them to learn to enter a transparent cylinder from the open sides to reach a food reward previously freely available.We found evidence of sex differences in both problem-solvingi tasks.In Experiment 1,females clearly outperformed males,and in Experiment 2,guppies showed a reversed but smaller sex difference.This study indicates that sex differences may play an important role in fish's problem-solving similar to what has previously been observed in some mammalian species.
基金supported by the National Natural Science Foundation of China(61573017)
摘要The platform scheduling problem in battlefield is one of the important problems in military operational research.It needs to minimize mission completing time and meanwhile maximize the mission completing accuracy with a limited number of platforms.Though the traditional certain models obtain some good results,uncertain model is still needed to be introduced since the battlefield environment is complex and unstable.An uncertain model is prposed for the platform scheduling problem.Related parameters in this model are set to be fuzzy or stochastic.Due to the inherent disadvantage of the solving methods for traditional models,a new method is proposed to solve the uncertain model.Finally,the practicability and availability of the proposed method are demonstrated with a case of joint campaign.
基金supported by the National Natural Science Foundation of China(51505385)Shanghai Aerospace Science and Technology Innovation Foundation(SAST2015010)the Defense Basic Research Program(JCKY2016204B102)
摘要A new efficient coupling relationship description method has been developed to provide an automated and visualized way to multidisciplinary design optimization (MDO) modeling and solving. The disciplinary relation matrix (DRM) is proposed to describe the coupling relationship according to disciplinary input/output variables, and the MDO definition has been reformulated to adopt the new interfaces. Based on these, a universal MDO solving procedure is proposed to establish an automated and efficient way for MDO modeling and solving. Through a simple and convenient initial configuration, MDO problems can be solved using any of available MDO architectures with no further effort. Several examples are used to verify the proposed MDO modeling and solving process. Result shows that the DRM method has the ability to simplify and automate the MDO procedure, and the related MDO framework can evaluate the MDO problem automatically and efficiently.
摘要This paper applies genetic simulated annealing algorithm (SAGA) to solving geometric constraint problems. This method makes full use of the advantages of SAGA and can handle under-/over- constraint problems naturally. It has advantages (due to its not being sensitive to the initial values) over the Newton-Raphson method, and its yielding of multiple solutions, is an advantage over other optimal methods for multi-solution constraint system. Our experiments have proved the robustness and efficiency of this method.
摘要Many engineering problems can be reduced to the solution of a variable coefficient differential equation. In this paper, the exact analytic method is suggested to solve variable coefficient differential equations under arbitrary boundary condition. By this method, the general computation formal is obtained. Its convergence in proved. We can get analytic expressions which converge to exact solution and its higher order derivatives uniformy Four numerical examples are given, which indicate that satisfactory results can he obtanedby this method.
摘要An accurate and rapid method for solving radiative transfer equation is presented in this paper. According to the fact that the multiple scattering component of radiance is less sensitive to the error of phase function than the single scattering component is,we calculate the multiple scattering component by using delta-Eddington approximation and the single scattering component by solving radiative transfer equation. On the ground, when multiple sattering component is small, for example, when the total optical depth T is small, the accurate radiance can be obtained with this method. For the need of the space remote sensing, the upward radiance at the top of the atmosphere is mainly studied, and an approximate expression is presented to correct the multiple scattering component. Compared with the more precise Gauss-Seidel method.the results from this method show an accuracy of better than 10% when zenith angle 0 < 50 掳 and T < 1. The computational speed of this method is, however, much faster than that of Gauss-Seidel method.
基金supported by the National Natural Science Foundation of China (Nos.62177024,62007014)the Humanities and Social Sciences Youth Fund of the Ministry of Education (No.20YJC880024)+1 种基金China Post Doctoral Science Foundation (No.2019M652678)the Fundamental Research Funds for the Central Universities (No.CCNU20ZT019).
摘要A qualia role-based entity-dependency graph(EDG)is proposed to represent and extract quantity relations for solving algebra story problems stated in Chinese.Traditional neural solvers use end-to-end models to translate problem texts into math expressions,which lack quantity relation acquisition in sophisticated scenarios.To address the problem,the proposed method leverages EDG to represent quantity relations hidden in qualia roles of math objects.Algorithms were designed for EDG generation and quantity relation extraction for solving algebra story problems.Experimental result shows that the proposedmethod achieved an average accuracy of 82.2%on quantity relation extraction compared to 74.5%of baseline method.Another prompt learning result shows a 5%increase obtained in problem solving by injecting the extracted quantity relations into the baseline neural solvers.
基金Funded by the Natural Science Foundation of China (No. 50575083)
摘要Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the efficiency and quality of the problem solving process for conceptual design. AD is used for systematically defining and structuring a problem into a hierarchy. Sometimes, the design matrix is coupled in AD which indicates the functional requirements are coupled. TRIZ separation principles can be used to separate non-independent design parameters, which provide innovative solutions at each hierarchical level. We applied the integrated model to the heating and drying equipment of bitumen reproduction device. The result verifies that the integrated model can work very well in conceptual design.
基金Project(61171141)supported by the National Natural Science Foundation of China
摘要A new parallel architecture for quantified boolean formula(QBF)solving was proposed,and the prediction model based on machine learning technology was proposed for how sharing knowledge affects the solving performance in QBF parallel solving system,and the experimental evaluation scheme was also designed.It shows that the characterization factor of clause and cube influence the solving performance markedly in our experiment.At the same time,the heuristic machine learning algorithm was applied,support vector machine was chosen to predict the performance of QBF parallel solving system based on clause sharing and cube sharing.The relative error of accuracy for prediction can be controlled in a reasonable range of 20%30%.The results show the important and complex role that knowledge sharing plays in any modern parallel solver.It shows that the parallel solver with machine learning reduces the quantity of knowledge sharing about 30%and saving computational resource but does not reduce the performance of solving system.
摘要To solve the problem that in parametric drawing systems, unreasonable parameter values in a parametric model often result in an improper shape of a geometric object, this paper proposes a novel algebraic algorithm for determining the valid range of parameter values in certain 2-dimensional parametric drawing systems. This algorithm can solve valid range of parameters such as radius and coordinate of centre points of parametric models with only linear segments and circles. The result of the study shows that all values within the valid range provided by this algorithm can ensure that the topological shape of a geometric object does not change after reconstruction, and to some extent, this algorithm can significantly promote the efficiency of parametric drawing system design and the intel- lectual level of human-computer interaction. The analysis shows that complexity of this algorithm is O(n2).
摘要Through transformations, the time-dependent boundary condition on the airfoil contour and the boundary condition at infinity are brought fixed to the boundaries of a finite domain. The boundary conditions can thus be satisfied exactly without increasing the computational time. The novel scheme is useful for computing transonic, strong disturbance, unsteady flows with high reduced frequencies. The scheme makes use of curvefitted orthogonal meshes and the lattice control technique to obtain the optimal grid distribution. The numerical results are satisfactory.
基金provided by the Priority Academic Program Development of Jiangsu Higher Education Institutions (PAPD)
摘要The equation used to model the unidirectional flow of methane gas in coal seams is usually formulated as a nonlinear partial differential equation, which needs to be solved numerically with a computer program.Nevertheless, for people without access to the computer program, the conventional numerical method may be inconvenient. Thus, the objective here is to seek some method simpler than the conventional one for solving the flow problem. A commonly used model of the unidirectional methane gas flow is considered, where the methane adsorption is described by the Langmuir isotherm and the free gas is treated as real gas. By introducing the similarity solution, a simple method for solving the flow model is proposed, which can be done on a hand calculator. It is shown by two examples that the gas pressure profile obtained by the proposed method agrees well with the direct numerical solution of the flow model.
摘要CAPTCHA is an acronym that stands for Completely Automated Public Turing Test to tell Computers and Humans Apart(CAPTCHA),it is a good example of an authentication system that can be used to determine the true identity of any user.It serves as a security measure to prevent an attack caused by web bots(automatic programs)during an online transaction.It can come as text-based or image-based depending on the project and the programmer.The usability and robustness,as well as level of security,provided each of the varies and call for the development of an improved system.Hence,this paper studied and improved two different CAPTCHA systems(the text-based CAPTCHA and image-based CAPTCHA).The textbased and image-based CAPTCHAwere designed using JavaScript.Response time and solving time are the two metrics used to determine the effectiveness and efficiency of the two CAPTCHA systems.The inclusion of response time and solving time improved the shortfall of the usability and robustness of the existing system.The developed system was tested using 200 students from the Federal College of Animal Health and Production Technology.The results of each of the participants,for the two CAPTCHAs,were extracted from the database and subjected to analysis using SPSS.The result shows that textbased CAPTCHAhas the lowest average solving time(21.3333 s)with a 47.8%success rate while image-based CAPTCHA has the highest average solving time was 23.5138 s with a 52.8%success rate.The average response time for the image-based CAPTCHA was 2.1855 s with a 37.9%success rate lower than the text-based CAPTCHA response time(3.5561 s)with a 62.1%success rate.This indicates that the text-based CAPTCHA is more effective in terms of usability tests while image-based CAPTCHA is more efficient in terms of system responsiveness and recommended for potential users.
摘要Objectives:Near misses happen more frequently than actual errors,and highlight system vulnerabilities without causing any harm,thus provide a safe space for organizational learning.Second-order problem solving behavior offers a new perspective to better understand how nurses promote learning from near misses to improve organizational outcomes.This study aimed to explore frontline nurses’perspectives on using second-order problem solving behavior in learning from near misses to improve patient safety.Methods:A qualitative exploratory study design was employed.This study was conducted in three tertiary hospitals in east China from June to November 2015.Purposive sampling was used to recruit 19 frontline nurses.Semi-structured interviews and a qualitative directed content analysis was undertaken using Crossan’s 4I Framework of Organizational Learning as a coding framework.Results:Second-order problem solving behavior,based on the 4I Framework of Organizational Learning,was referred to as being a leader in exposing near misses,pushing forward the cause analysis within limited capacity,balancing the active and passive role during improvement project,and promoting the continuous improvement with passion while feeling low-powered.Conclusions:4I Framework of Organizational Learning can be an underlying guide to enrich frontline nurses’role in promoting organizations to learn from near misses.In this study,nurses displayed their pivotal role in organizational learning from near misses by using second-order problem solving.However,additional knowledge,skills,and support are needed to maximize the application of second-order problem solving behavior when near misses are recognized.
摘要A problem is a situation, in which a person tries to find a solution and does not exactly know how but still tries to solve it. One of the important elements of problem solving skills that individuals should have is to choose the appropriate strategy in the solution of the problems, which is important in terms of achieving success in solving problems. The research question of the study is "what are the levels of sixth and seventh grade students' problem solving skills?" The aim of this study was to investigate the problem solving and problem-solving strategies levels of secondary school students. The study was carried out through method with a total of 72 students from the two provinces in the Black Sea region of Turkey selected by random in the second term of the 2014-2015 academic year In this qualitative research for the case study, content analysis was applied. The study group consists of 50 students in Samsun province and 22 students in Sinop province in the Blacksea region, 35 of the students are females, whereas 37 of them are male students. The methodology of the study is case study method, which is in accordance with the nature of qualitative research. In this qualitative research for the case study, content analysis was applied in order to evaluate the data. In the study, five creative problems developed by Smith, which were adapted into Turkish by the researchers, were used as the data collection tools. The problems applied were evaluated according to Polya's stage of problem solving. The problems were evaluated according to stages such as understanding the problem, choosing a strategy, applying the chosen strategy, and evaluating the solution. While examining students' problem solving papers, it was observed that they were more successful at solving problems, with which they came across before or are similar to the ones they had solved. It was observed that majority of the students had difficulty in solving non-routine problems. It is believed that this results from the fact that mostly routine problems are discussed and solved in the curricula.
基金Supported by the National High Technology Research and Development Program (863 Program) of China (2006AA04Z121)the National Natural Science Foundation of China (50775084)
摘要Repetitious simulation after modifying parameters of multi-domain physical system based on Modelica often appears in model experiment and optimization design. At present, the solvers based on Modelica need calculate all the coupled blocks during every simulation run after updating parameters. Based on discussing scale decomposition methods of simulation model, subdivision solving strategy and minimum solving strategy are put forward to improve the efficiency of repetitious simulation, by which the numerical solution of the simulation model can be achieved by only calculating the solving sequence influenced by altered parameters. A simplified model of aircraft is used to demonstrate the efficiency of the strategies presented.