Hypoxia is a typical feature of the tumor microenvironment,one of the most critical factors affecting cell behavior and tumor progression.However,the lack of tumor models able to precisely emulate natural brain tumor ...Hypoxia is a typical feature of the tumor microenvironment,one of the most critical factors affecting cell behavior and tumor progression.However,the lack of tumor models able to precisely emulate natural brain tumor tissue has impeded the study of the effects of hypoxia on the progression and growth of tumor cells.This study reports a three-dimensional(3D)brain tumor model obtained by encapsulating U87MG(U87)cells in a hydrogel containing type I collagen.It also documents the effect of various oxygen concentrations(1%,7%,and 21%)in the culture environment on U87 cell morphology,proliferation,viability,cell cycle,apoptosis rate,and migration.Finally,it compares two-dimensional(2D)and 3D cultures.For comparison purposes,cells cultured in flat culture dishes were used as the control(2D model).Cells cultured in the 3D model proliferated more slowly but had a higher apoptosis rate and proportion of cells in the resting phase(G0 phase)/gap I phase(G1 phase)than those cultured in the 2D model.Besides,the two models yielded significantly different cell morphologies.Finally,hypoxia(e.g.,1%O2)affected cell morphology,slowed cell growth,reduced cell viability,and increased the apoptosis rate in the 3D model.These results indicate that the constructed 3D model is effective for investigating the effects of biological and chemical factors on cell morphology and function,and can be more representative of the tumor microenvironment than 2D culture systems.The developed 3D glioblastoma tumor model is equally applicable to other studies in pharmacology and pathology.展开更多
Software Development Life Cycle (SDLC) is one of the major ingredients for the development of efficient software systems within a time frame and low-cost involvement. From the literature, it is evident that there are ...Software Development Life Cycle (SDLC) is one of the major ingredients for the development of efficient software systems within a time frame and low-cost involvement. From the literature, it is evident that there are various kinds of process models that are used by the software industries for the development of small, medium and long-term software projects, but many of them do not cover risk management. It is quite obvious that the improper selection of the software development process model leads to failure of the software products as it is time bound activity. In the present work, a new software development process model is proposed which covers the risks at any stage of the development of the software product. The model is named a Hemant-Vipin (HV) process model and may be helpful for the software industries for development of the efficient software products and timely delivery at the end of the client. The efficiency of the HV process model is observed by considering various kinds of factors like requirement clarity, user feedback, change agility, predictability, risk identification, practical implementation, customer satisfaction, incremental development, use of ready-made components, quick design, resource organization and many more and found through a case study that the presented approach covers many of parameters in comparison of the existing process models. .展开更多
With drilling and seismic data of Transtensional(strike-slip)Fault System in the Ziyang area of the central Sichuan Basin,SW China plane-section integrated structural interpretation,3-D fault framework model building,...With drilling and seismic data of Transtensional(strike-slip)Fault System in the Ziyang area of the central Sichuan Basin,SW China plane-section integrated structural interpretation,3-D fault framework model building,fault throw analyzing,and balanced profile restoration,it is pointed out that the transtensional fault system in the Ziyang 3-D seismic survey consists of the northeast-trending F_(I)19 and F_(I)20 fault zones dominated by extensional deformation,as well as 3 sets of northwest-trending en echelon normal faults experienced dextral shear deformation.Among them,the F_(I)19 and F_(I)20 fault zones cut through the Neoproterozoic to Lower Triassic Jialingjiang Formation,presenting a 3-D structure of an“S”-shaped ribbon.And before Permian and during the Early Triassic,the F_(I)19 and F_(I)20 fault zones underwent at least two periods of structural superimposition.Besides,the 3 sets of northwest-trending en echelon normal faults are composed of small normal faults arranged in pairs,with opposite dip directions and partially left-stepped arrangement.And before Permian,they had formed almost,restricting the eastward growth and propagation of the F_(I)19 fault zone.The F_(I)19 and F_(I)20 fault zones communicate multiple sets of source rocks and reservoirs from deep to shallow,and the timing of fault activity matches well with oil and gas generation peaks.If there were favorable Cambrian-Triassic sedimentary facies and reservoirs developing on the local anticlinal belts of both sides of the F_(I)19 and F_(I)20 fault zones,the major reservoirs in this area are expected to achieve breakthroughs in oil and gas exploration.展开更多
Effort estimation plays a crucial role in software development projects,aiding in resource allocation,project planning,and risk management.Traditional estimation techniques often struggle to provide accurate estimates...Effort estimation plays a crucial role in software development projects,aiding in resource allocation,project planning,and risk management.Traditional estimation techniques often struggle to provide accurate estimates due to the complex nature of software projects.In recent years,machine learning approaches have shown promise in improving the accuracy of effort estimation models.This study proposes a hybrid model that combines Long Short-Term Memory(LSTM)and Random Forest(RF)algorithms to enhance software effort estimation.The proposed hybrid model takes advantage of the strengths of both LSTM and RF algorithms.To evaluate the performance of the hybrid model,an extensive set of software development projects is used as the experimental dataset.The experimental results demonstrate that the proposed hybrid model outperforms traditional estimation techniques in terms of accuracy and reliability.The integration of LSTM and RF enables the model to efficiently capture temporal dependencies and non-linear interactions in the software development data.The hybrid model enhances estimation accuracy,enabling project managers and stakeholders to make more precise predictions of effort needed for upcoming software projects.展开更多
In this paper, the axial-flux permanent magnet driver is modeledand analyzed in a simple and novel way under three-dimensional cylindricalcoordinates. The inherent three-dimensional characteristics of the deviceare co...In this paper, the axial-flux permanent magnet driver is modeledand analyzed in a simple and novel way under three-dimensional cylindricalcoordinates. The inherent three-dimensional characteristics of the deviceare comprehensively considered, and the governing equations are solved bysimplifying the boundary conditions. The axial magnetization of the sectorshapedpermanent magnets is accurately described in an algebraic form bythe parameters, which makes the physical meaning more explicit than thepurely mathematical expression in general series forms. The parameters of theBessel function are determined simply and the magnetic field distribution ofpermanent magnets and the air-gap is solved. Furthermore, the field solutionsare completely analytical, which provides convenience and satisfactoryaccuracy for modeling a series of electromagnetic performance parameters,such as the axial electromagnetic force density, axial electromagnetic force,and electromagnetic torque. The correctness and accuracy of the analyticalmodels are fully verified by three-dimensional finite element simulations and a15 kW prototype and the results of calculations, simulations, and experimentsunder three methods are highly consistent. The influence of several designparameters on magnetic field distribution and performance is studied and discussed.The results indicate that the modeling method proposed in this papercan calculate the magnetic field distribution and performance accurately andrapidly, which affords an important reference for the design and optimizationof axial-flux permanent magnet drivers.展开更多
Natural slopes usually display complicated exposed rock surfaces that are characterized by complex and substantial terrain undulation and ubiquitous undesirable phenomena such as vegetation cover and rockfalls.This st...Natural slopes usually display complicated exposed rock surfaces that are characterized by complex and substantial terrain undulation and ubiquitous undesirable phenomena such as vegetation cover and rockfalls.This study presents a systematic outcrop research of fracture pattern variations in a complicated rock slope,and the qualitative and quantitative study of the complex phenomena impact on threedimensional(3D)discrete fracture network(DFN)modeling.As the studies of the outcrop fracture pattern have been so far focused on local variations,thus,we put forward a statistical analysis of global variations.The entire outcrop is partitioned into several subzones,and the subzone-scale variability of fracture geometric properties is analyzed(including the orientation,the density,and the trace length).The results reveal significant variations in fracture characteristics(such as the concentrative degree,the average orientation,the density,and the trace length)among different subzones.Moreover,the density of fracture sets,which is approximately parallel to the slope surface,exhibits a notably higher value compared to other fracture sets across all subzones.To improve the accuracy of the DFN modeling,the effects of three common phenomena resulting from vegetation and rockfalls are qualitatively analyzed and the corresponding quantitative data processing solutions are proposed.Subsequently,the 3D fracture geometric parameters are determined for different areas of the high-steep rock slope in terms of the subzone dimensions.The results show significant variations in the same set of 3D fracture parameters across different regions with density differing by up to tenfold and mean trace length exhibiting differences of 3e4 times.The study results present precise geological structural information,improve modeling accuracy,and provide practical solutions for addressing complex outcrop issues.展开更多
The Internet of Things(IoT)has characteristics such as node mobility,node heterogeneity,link heterogeneity,and topology heterogeneity.In the face of the IoT characteristics and the explosive growth of IoT nodes,which ...The Internet of Things(IoT)has characteristics such as node mobility,node heterogeneity,link heterogeneity,and topology heterogeneity.In the face of the IoT characteristics and the explosive growth of IoT nodes,which brings about large-scale data processing requirements,edge computing architecture has become an emerging network architecture to support IoT applications due to its ability to provide powerful computing capabilities and good service functions.However,the defense mechanism of Edge Computing-enabled IoT Nodes(ECIoTNs)is still weak due to their limited resources,so that they are susceptible to malicious software spread,which can compromise data confidentiality and network service availability.Facing this situation,we put forward an epidemiology-based susceptible-curb-infectious-removed-dead(SCIRD)model.Then,we analyze the dynamics of ECIoTNs with different infection levels under different initial conditions to obtain the dynamic differential equations.Additionally,we establish the presence of equilibrium states in the SCIRD model.Furthermore,we conduct an analysis of the model’s stability and examine the conditions under which malicious software will either spread or disappear within Edge Computing-enabled IoT(ECIoT)networks.Lastly,we validate the efficacy and superiority of the SCIRD model through MATLAB simulations.These research findings offer a theoretical foundation for suppressing the propagation of malicious software in ECIoT networks.The experimental results indicate that the theoretical SCIRD model has instructive significance,deeply revealing the principles of malicious software propagation in ECIoT networks.This study solves a challenging security problem of ECIoT networks by determining the malicious software propagation threshold,which lays the foundation for buildingmore secure and reliable ECIoT networks.展开更多
To investigate the long-term stability of deep rocks,a three-dimensional(3D)time-dependent model that accounts for excavation-induced damage and complex stress state is developed.This model comprises three main compon...To investigate the long-term stability of deep rocks,a three-dimensional(3D)time-dependent model that accounts for excavation-induced damage and complex stress state is developed.This model comprises three main components:a 3D viscoplastic isotropic constitutive relation that considers excavation damage and complex stress state,a quantitative relationship between critical irreversible deformation and complex stress state,and evolution characteristics of strength parameters.The proposed model is implemented in a self-developed numerical code,i.e.CASRock.The reliability of the model is validated through experiments.It is indicated that the time-dependent fracturing potential index(xTFPI)at a given time during the attenuation creep stage shows a negative correlation with the extent of excavationinduced damage.The time-dependent fracturing process of rock demonstrates a distinct interval effect of the intermediate principal stress,thereby highlighting the 3D stress-dependent characteristic of the model.Finally,the influence of excavation-induced damage and intermediate principal stress on the time-dependent fracturing characteristics of the surrounding rocks around the tunnel is discussed.展开更多
This research uses both three-dimensional(3D)modeling and geologic well control to piece back together the architectural parts of the Late Cretaceous formations.The goal is to figure out the sizes,directions,locations...This research uses both three-dimensional(3D)modeling and geologic well control to piece back together the architectural parts of the Late Cretaceous formations.The goal is to figure out the sizes,directions,locations,and controls of the layers of the fluvial sandstone reservoirs.Sequence stratigraphy is essential for 3D reservoir modeling and petroleum geology understanding in the Bahga oilfield.The purpose of this work is to create a static model that shows the layers and facies distribution in the reservoir interval.We will use data from nine well logs and 22 seismic lines calibrated by the Abu Roash G Member reservoir core intervals to accomplish this.The petrophysical study discovered three parts in the Abu Roash G Member reservoir rock:channel fill that is affected by tides,channel fill that is dominated by tides(intertidal sands),and channel top with lenticular bedded sandstone.The model's findings point to the existence of an NNW-oriented sand body,which could be a prime location to produce hydrocarbons.The original oil in place(OOIP)is about 3,438,279 Stock Tank Barrels(STB),and the oil reserve reaches up to 1,031,484(STB).Sequence stratigraphic analysis using seismic and well log information(SB)reveals that the Upper Cretaceous AR/G reservoir of the Bahga field is characterized by third-and fourth-order stratigraphic sequences,which are constrained by three Maximum Flooding Surfaces(MFS)and two Sequence Boundaries.The integration of the derived geological model and sequence stratigraphic results can lower future extraction risk by identifying the locations and trends of the geologic facies with the necessary petrophysical properties for the hydrocarbon accumulations.展开更多
The thermal evolution of the Earth’s interior and its dynamic effects are the focus of Earth sciences.However,the commonly adopted grid-based temperature solver is usually prone to numerical oscillations,especially i...The thermal evolution of the Earth’s interior and its dynamic effects are the focus of Earth sciences.However,the commonly adopted grid-based temperature solver is usually prone to numerical oscillations,especially in the presence of sharp thermal gradients,such as when modeling subducting slabs and rising plumes.This phenomenon prohibits the correct representation of thermal evolution and may cause incorrect implications of geodynamic processes.After examining several approaches for removing these numerical oscillations,we show that the Lagrangian method provides an ideal way to solve this problem.In this study,we propose a particle-in-cell method as a strategy for improving the solution to the energy equation and demonstrate its effectiveness in both one-dimensional and three-dimensional thermal problems,as well as in a global spherical simulation with data assimilation.We have implemented this method in the open-source finite-element code CitcomS,which features a spherical coordinate system,distributed memory parallel computing,and data assimilation algorithms.展开更多
BACKGROUND Esophageal cancer is one of the most common malignant tumors.The three-dimensional quality structure model is a quality assessment theory that includes three dimensions:Structure,process,and results.AIM To ...BACKGROUND Esophageal cancer is one of the most common malignant tumors.The three-dimensional quality structure model is a quality assessment theory that includes three dimensions:Structure,process,and results.AIM To investigate the effects of nursing interventions with three-dimensional quality assessment on the efficacy and disease management ability of patients undergoing esophageal cancer surgery.METHODS In this prospective study,the control group received routine nursing,and the intervention group additionally received a three-dimensional quality assessment intervention based on the above routine care.Self-efficacy and patient disease management abilities were evaluated using the General Self-Efficacy Scale(GSES)and Exercise of Self-Care Agency scale,respectively.IBM SPSS Statistics for Windows,version 17.0,was used for the data processing.RESULTS This study recruited 112 patients who were assigned to the control and experi-mental groups(n=56 per group).Before the intervention,there was no significant difference in GSES scores between the two groups(P>0.05).After the inter-vention,the GSES scores of both groups increased,with the experimental group showing higher values(P<0.05).At the time of discharge and three months after discharge,the scores for positive attitudes,self-stress reduction,and total score of health promotion in the experimental group were higher than those in the control group(P<0.05).CONCLUSION The implementation of a three-dimensional quality structure model for postoperative patients with esophageal cancer can effectively improve their self-management ability and self-efficacy of postoperative patients.展开更多
The synchronous virtual machine uses inverter power to imitate the performance of the conventional synchronous machine.It also has the same inertia,damping,frequency,voltage regulation,and other external performance a...The synchronous virtual machine uses inverter power to imitate the performance of the conventional synchronous machine.It also has the same inertia,damping,frequency,voltage regulation,and other external performance as the generator.It is the key technology to realize new energy grid connections’stable and reliable operation.This project studies a dynamic simulation model of an extensive new energy power system based on the virtual synchronous motor.A new energy storage method is proposed.The mathematical energy storage model is established by combining the fixed rotor model of a synchronous virtual machine with the charge-discharge power,state of charge,operation efficiency,dead zone,and inverter constraint.The rapid conversion of energy storage devices absorbs the excess instantaneous kinetic energy caused by interference.The branch transient of the critical cut set in the system can be confined to a limited area.Thus,the virtual synchronizer’s kinetic and potential energy can be efficiently converted into an instantaneous state.The simulation of power system analysis software package(PSASP)verifies the correctness of the theory and algorithm in this paper.This paper provides a theoretical basis for improving the transient stability of new energy-connected power grids.展开更多
Product detection based on state abstraction technologies in the software product line(SPL)is more complex when compared to a single system.This variability constitutes a new complexity,and the counterexample may be v...Product detection based on state abstraction technologies in the software product line(SPL)is more complex when compared to a single system.This variability constitutes a new complexity,and the counterexample may be valid for some products but spurious for others.In this paper,we found that spurious products are primarily due to the failure states,which correspond to the spurious counterexamples.The violated products correspond to the real counterexamples.Hence,identifying counterexamples is a critical problem in detecting violated products.In our approach,we obtain the violated products through the genuine counterexamples,which have no failure state,to avoid the tedious computation of identifying spurious products dealt with by the existing algorithm.This can be executed in parallel to improve the efficiency further.Experimental results showthat our approach performswell,varying with the growth of the system scale.By analyzing counterexamples in the abstract model,we observed that spurious products occur in the failure state.The approach helps in identifying whether a counterexample is spurious or genuine.The approach also helps to check whether a failure state exists in the counterexample.The performance evaluation shows that the proposed approach helps significantly in improving the efficiency of abstraction-based SPL model checking.展开更多
Aiming at the problems that the simulation accuracy which is reduced due to the simplification of the model,a three-dimensional simulation method based on solid modeling is being proposed.By analyzing the motion relat...Aiming at the problems that the simulation accuracy which is reduced due to the simplification of the model,a three-dimensional simulation method based on solid modeling is being proposed.By analyzing the motion relationship and positional relationship between the caries knife and the workpiece,the coordinate system of the caries machining was established.With the MATLAB software,the cutting edge model and the blade sweeping surface model of the boring cutter are sequentially established.Boolean operation is performed on the blade swept surface formed by the tooth cutter teeth with time t and the workpiece tooth geometry as well as the undeformed three-dimensional chip geometry model and the instantaneous cogging geometry model are obtained at different times.Through the compare between gear end face simulation tooth profile and the theoretical inner arc tooth profile,we verified the accuracy and rationality of the proposed method.展开更多
Measuring software quality requires software engineers to understand the system’s quality attributes and their measurements.The quality attribute is a qualitative property;however,the quantitative feature is needed f...Measuring software quality requires software engineers to understand the system’s quality attributes and their measurements.The quality attribute is a qualitative property;however,the quantitative feature is needed for software measurement,which is not considered during the development of most software systems.Many research studies have investigated different approaches for measuring software quality,but with no practical approaches to quantify and measure quality attributes.This paper proposes a software quality measurement model,based on a software interconnection model,to measure the quality of software components and the overall quality of the software system.Unlike most of the existing approaches,the proposed approach can be applied at the early stages of software development,to different architectural design models,and at different levels of system decomposition.This article introduces a software measurement model that uses a heuristic normalization of the software’s internal quality attributes,i.e.,coupling and cohesion,for software quality measurement.In this model,the quality of a software component is measured based on its internal strength and the coupling it exhibits with other component(s).The proposed model has been experimented with nine software engineering teams that have agreed to participate in the experiment during the development of their different software systems.The experiments have shown that coupling reduces the internal strength of the coupled components by the amount of coupling they exhibit,which degrades their quality and the overall quality of the software system.The introduced model can help in understanding the quality of software design.In addition,it identifies the locations in software design that exhibit unnecessary couplings that degrade the quality of the software systems,which can be eliminated.展开更多
We combined domestic ground-based and satellite magnetic measurements to create a regional three-dimensional surface Spline(3DSS)gradient model of the main geomagnetic field over the Chinese continent.To improve the p...We combined domestic ground-based and satellite magnetic measurements to create a regional three-dimensional surface Spline(3DSS)gradient model of the main geomagnetic field over the Chinese continent.To improve the precision of the model,we considered the data gap between the ground and satellite data.We compared and analyzed the results of the Taylor polynomial,surface Spline,and CHAOS-6(the CHAMP,?rsted and SAC-C model of Earth’s magnetic field)gradient models.Results showed that the gradients in the south-north and east-west directions of the four models were consistent.The 3DSS model was able to express not only gradients at different altitudes,but also average gradients inside the research area.The two Spline models were able to capture more information on gradient anomalies than were the fitted models.Strong local anomalies were observed in northern Xinjiang,Beijing,and the junction area between Jiangsu and Zhejiang,and the total intensity F decreased whereas the altitude increased.The gradient decreased by 21.69%in the south-north direction and increased by 11.78%in the east-west direction.In addition,the altitude gradient turned from negative to positive while the altitude increased.The Spline model and the two fitted models differed mainly in the field sources they expressed and the modeling theory.展开更多
Objective To evaluate the predictive validity of IRIS™(Intuitive Surgical®,Sunnyvale,CA,USA)as a planning tool for robot-assisted partial nephrectomy(RAPN)by assessing the degree of overlap with intraoperative ex...Objective To evaluate the predictive validity of IRIS™(Intuitive Surgical®,Sunnyvale,CA,USA)as a planning tool for robot-assisted partial nephrectomy(RAPN)by assessing the degree of overlap with intraoperative execution.Methods Thirty-one patients scheduled for RAPN by four experienced urologists were enrolled in a prospective study.Prior to surgery,urologists reviewed the IRIS™three-dimensional model on an iphone Operating System(iOS)app and completed a questionnaire outlining their surgical plan including surgical approach,and ischemia technique as well as confidence in executing this plan.Postoperatively,questionnaires assessing the procedural approach,clinical utility,efficiency,and effectiveness of IRIS™were completed.The degree of overlap between the preoperative and intraoperative questionnaires and between the planned approach and actual execution of the procedure was analyzed.Questionnaires were answered on a 5-point Likert scale and scores of 4 or greater were considered positive.Results Mean age was 65.1 years with a mean tumor size of 27.7 mm(interquartile range 17.5-44.0 mm).Hilar tumors consisted of 32.3%;48.4%of patients had R.E.N.A.L.nephrometry scores of 7-9.On preoperative questionnaires,the surgeons reported that in 67.7%cases they were confident that they can perform the procedure successfully,and on intraoperative questionnaires,the surgeons reported that in 96.8%cases IRIS™helped achieve good spatial sensation of the anatomy.There was a high degree of overlap between preoperative and intraoperative questionnaires for the surgical approach,interpreting anatomical details and clinical utility.When comparing plans for selective or off-clamp,the preoperative plan was executed in 90.0%of cases intraoperatively.Conclusion A high degree of overlap between the preoperative surgical approach and intraoperative RAPN execution was found using IRIS™.This is the first study to evaluate the predictive accuracy of IRIS™during RAPN by comparing preoperative plan and intraoperative execution.展开更多
Recently,researchers have shown increasing interest in combining more than one programming model into systems running on high performance computing systems(HPCs)to achieve exascale by applying parallelism at multiple ...Recently,researchers have shown increasing interest in combining more than one programming model into systems running on high performance computing systems(HPCs)to achieve exascale by applying parallelism at multiple levels.Combining different programming paradigms,such as Message Passing Interface(MPI),Open Multiple Processing(OpenMP),and Open Accelerators(OpenACC),can increase computation speed and improve performance.During the integration of multiple models,the probability of runtime errors increases,making their detection difficult,especially in the absence of testing techniques that can detect these errors.Numerous studies have been conducted to identify these errors,but no technique exists for detecting errors in three-level programming models.Despite the increasing research that integrates the three programming models,MPI,OpenMP,and OpenACC,a testing technology to detect runtime errors,such as deadlocks and race conditions,which can arise from this integration has not been developed.Therefore,this paper begins with a definition and explanation of runtime errors that result fromintegrating the three programming models that compilers cannot detect.For the first time,this paper presents a classification of operational errors that can result from the integration of the three models.This paper also proposes a parallel hybrid testing technique for detecting runtime errors in systems built in the C++programming language that uses the triple programming models MPI,OpenMP,and OpenACC.This hybrid technology combines static technology and dynamic technology,given that some errors can be detected using static techniques,whereas others can be detected using dynamic technology.The hybrid technique can detect more errors because it combines two distinct technologies.The proposed static technology detects a wide range of error types in less time,whereas a portion of the potential errors that may or may not occur depending on the 4502 CMC,2023,vol.74,no.2 operating environment are left to the dynamic technology,which completes the validation.展开更多
This paper explores the reform and practice of software engineering-related courses based on the competency model of the Computing Curricula,and proposes some measures of teaching reform and talent cultivation in soft...This paper explores the reform and practice of software engineering-related courses based on the competency model of the Computing Curricula,and proposes some measures of teaching reform and talent cultivation in software engineering.The teaching reform emphasizes student-centered education,and focuses on the cultivation and enhancement of students’knowledge,skills,and dispositions.Based on the three elements of the competency model,specific measures of teaching reform are proposed for some professional courses in software engineering,to strengthen course relevance,improve knowledge systems,reform practical modes with a focus on skill development,and cultivate good dispositions through student-centered education.The teaching reform’s attempts and practice are conducted in some courses such as Advanced Web Technologies,Software Engineering,and Intelligent Terminal Systems and Application Development.Through the analysis and comparison of the implementation effects,significant improvements are observed in teaching effectiveness,students’mastery of knowledge and skills are noticeably improved,and the expected goals of the teaching reform are achieved.展开更多
This paper focuses on the problems,opportunities,and challenges faced by software engineering education in the new era.We have studied the core ideas of the new model and reform,the specific measures implemented,and t...This paper focuses on the problems,opportunities,and challenges faced by software engineering education in the new era.We have studied the core ideas of the new model and reform,the specific measures implemented,and the challenges and solutions faced.The new model and reform must focus on cultivating practical abilities,introducing interdisciplinary knowledge,and strengthening innovation awareness and entrepreneurial spirit.The process of reform and innovation is carried out from the aspects of teaching methods,teaching means,and course performance evaluation in the teaching practice of software engineering courses.We adopt a method of“question guiding,simple and easy to understand,flexible and diverse,and emphasizing practical results”,optimizing the curriculum design,providing diverse learning opportunities,and establishing a platform for the industry-university-research cooperation.Our teaching philosophy is to adhere to the viewpoint of innovative teaching ideas,optimizing teaching methods and teaching means,and comprehensively improving the teaching quality and level of software engineering education.展开更多
基金supported by the National Natural Science Foundation of China (No. 52275291)the Fundamental Research Funds for the Central Universitiesthe Program for Innovation Team of Shaanxi Province,China (No. 2023-CX-TD-17)
文摘Hypoxia is a typical feature of the tumor microenvironment,one of the most critical factors affecting cell behavior and tumor progression.However,the lack of tumor models able to precisely emulate natural brain tumor tissue has impeded the study of the effects of hypoxia on the progression and growth of tumor cells.This study reports a three-dimensional(3D)brain tumor model obtained by encapsulating U87MG(U87)cells in a hydrogel containing type I collagen.It also documents the effect of various oxygen concentrations(1%,7%,and 21%)in the culture environment on U87 cell morphology,proliferation,viability,cell cycle,apoptosis rate,and migration.Finally,it compares two-dimensional(2D)and 3D cultures.For comparison purposes,cells cultured in flat culture dishes were used as the control(2D model).Cells cultured in the 3D model proliferated more slowly but had a higher apoptosis rate and proportion of cells in the resting phase(G0 phase)/gap I phase(G1 phase)than those cultured in the 2D model.Besides,the two models yielded significantly different cell morphologies.Finally,hypoxia(e.g.,1%O2)affected cell morphology,slowed cell growth,reduced cell viability,and increased the apoptosis rate in the 3D model.These results indicate that the constructed 3D model is effective for investigating the effects of biological and chemical factors on cell morphology and function,and can be more representative of the tumor microenvironment than 2D culture systems.The developed 3D glioblastoma tumor model is equally applicable to other studies in pharmacology and pathology.
文摘Software Development Life Cycle (SDLC) is one of the major ingredients for the development of efficient software systems within a time frame and low-cost involvement. From the literature, it is evident that there are various kinds of process models that are used by the software industries for the development of small, medium and long-term software projects, but many of them do not cover risk management. It is quite obvious that the improper selection of the software development process model leads to failure of the software products as it is time bound activity. In the present work, a new software development process model is proposed which covers the risks at any stage of the development of the software product. The model is named a Hemant-Vipin (HV) process model and may be helpful for the software industries for development of the efficient software products and timely delivery at the end of the client. The efficiency of the HV process model is observed by considering various kinds of factors like requirement clarity, user feedback, change agility, predictability, risk identification, practical implementation, customer satisfaction, incremental development, use of ready-made components, quick design, resource organization and many more and found through a case study that the presented approach covers many of parameters in comparison of the existing process models. .
基金Supported by the Key Project of National Natural Science Foundation of China(42330810).
文摘With drilling and seismic data of Transtensional(strike-slip)Fault System in the Ziyang area of the central Sichuan Basin,SW China plane-section integrated structural interpretation,3-D fault framework model building,fault throw analyzing,and balanced profile restoration,it is pointed out that the transtensional fault system in the Ziyang 3-D seismic survey consists of the northeast-trending F_(I)19 and F_(I)20 fault zones dominated by extensional deformation,as well as 3 sets of northwest-trending en echelon normal faults experienced dextral shear deformation.Among them,the F_(I)19 and F_(I)20 fault zones cut through the Neoproterozoic to Lower Triassic Jialingjiang Formation,presenting a 3-D structure of an“S”-shaped ribbon.And before Permian and during the Early Triassic,the F_(I)19 and F_(I)20 fault zones underwent at least two periods of structural superimposition.Besides,the 3 sets of northwest-trending en echelon normal faults are composed of small normal faults arranged in pairs,with opposite dip directions and partially left-stepped arrangement.And before Permian,they had formed almost,restricting the eastward growth and propagation of the F_(I)19 fault zone.The F_(I)19 and F_(I)20 fault zones communicate multiple sets of source rocks and reservoirs from deep to shallow,and the timing of fault activity matches well with oil and gas generation peaks.If there were favorable Cambrian-Triassic sedimentary facies and reservoirs developing on the local anticlinal belts of both sides of the F_(I)19 and F_(I)20 fault zones,the major reservoirs in this area are expected to achieve breakthroughs in oil and gas exploration.
文摘Effort estimation plays a crucial role in software development projects,aiding in resource allocation,project planning,and risk management.Traditional estimation techniques often struggle to provide accurate estimates due to the complex nature of software projects.In recent years,machine learning approaches have shown promise in improving the accuracy of effort estimation models.This study proposes a hybrid model that combines Long Short-Term Memory(LSTM)and Random Forest(RF)algorithms to enhance software effort estimation.The proposed hybrid model takes advantage of the strengths of both LSTM and RF algorithms.To evaluate the performance of the hybrid model,an extensive set of software development projects is used as the experimental dataset.The experimental results demonstrate that the proposed hybrid model outperforms traditional estimation techniques in terms of accuracy and reliability.The integration of LSTM and RF enables the model to efficiently capture temporal dependencies and non-linear interactions in the software development data.The hybrid model enhances estimation accuracy,enabling project managers and stakeholders to make more precise predictions of effort needed for upcoming software projects.
基金supported by the National Natural Science Foundation of China under Grant[52077027]Liaoning Province Science and Technology Major Project[No.2020JH1/10100020].
文摘In this paper, the axial-flux permanent magnet driver is modeledand analyzed in a simple and novel way under three-dimensional cylindricalcoordinates. The inherent three-dimensional characteristics of the deviceare comprehensively considered, and the governing equations are solved bysimplifying the boundary conditions. The axial magnetization of the sectorshapedpermanent magnets is accurately described in an algebraic form bythe parameters, which makes the physical meaning more explicit than thepurely mathematical expression in general series forms. The parameters of theBessel function are determined simply and the magnetic field distribution ofpermanent magnets and the air-gap is solved. Furthermore, the field solutionsare completely analytical, which provides convenience and satisfactoryaccuracy for modeling a series of electromagnetic performance parameters,such as the axial electromagnetic force density, axial electromagnetic force,and electromagnetic torque. The correctness and accuracy of the analyticalmodels are fully verified by three-dimensional finite element simulations and a15 kW prototype and the results of calculations, simulations, and experimentsunder three methods are highly consistent. The influence of several designparameters on magnetic field distribution and performance is studied and discussed.The results indicate that the modeling method proposed in this papercan calculate the magnetic field distribution and performance accurately andrapidly, which affords an important reference for the design and optimizationof axial-flux permanent magnet drivers.
基金supported by the National Key Research and Development Program of China(Grant No.2022YFC3080200)the National Natural Science Foundation of China(Grant No.42022053)the China Postdoctoral Science Foundation(Grant No.2023M731264).
文摘Natural slopes usually display complicated exposed rock surfaces that are characterized by complex and substantial terrain undulation and ubiquitous undesirable phenomena such as vegetation cover and rockfalls.This study presents a systematic outcrop research of fracture pattern variations in a complicated rock slope,and the qualitative and quantitative study of the complex phenomena impact on threedimensional(3D)discrete fracture network(DFN)modeling.As the studies of the outcrop fracture pattern have been so far focused on local variations,thus,we put forward a statistical analysis of global variations.The entire outcrop is partitioned into several subzones,and the subzone-scale variability of fracture geometric properties is analyzed(including the orientation,the density,and the trace length).The results reveal significant variations in fracture characteristics(such as the concentrative degree,the average orientation,the density,and the trace length)among different subzones.Moreover,the density of fracture sets,which is approximately parallel to the slope surface,exhibits a notably higher value compared to other fracture sets across all subzones.To improve the accuracy of the DFN modeling,the effects of three common phenomena resulting from vegetation and rockfalls are qualitatively analyzed and the corresponding quantitative data processing solutions are proposed.Subsequently,the 3D fracture geometric parameters are determined for different areas of the high-steep rock slope in terms of the subzone dimensions.The results show significant variations in the same set of 3D fracture parameters across different regions with density differing by up to tenfold and mean trace length exhibiting differences of 3e4 times.The study results present precise geological structural information,improve modeling accuracy,and provide practical solutions for addressing complex outcrop issues.
基金in part by National Undergraduate Innovation and Entrepreneurship Training Program under Grant No.202310347039Zhejiang Provincial Natural Science Foundation of China under Grant No.LZ22F020002Huzhou Science and Technology Planning Foundation under Grant No.2023GZ04.
文摘The Internet of Things(IoT)has characteristics such as node mobility,node heterogeneity,link heterogeneity,and topology heterogeneity.In the face of the IoT characteristics and the explosive growth of IoT nodes,which brings about large-scale data processing requirements,edge computing architecture has become an emerging network architecture to support IoT applications due to its ability to provide powerful computing capabilities and good service functions.However,the defense mechanism of Edge Computing-enabled IoT Nodes(ECIoTNs)is still weak due to their limited resources,so that they are susceptible to malicious software spread,which can compromise data confidentiality and network service availability.Facing this situation,we put forward an epidemiology-based susceptible-curb-infectious-removed-dead(SCIRD)model.Then,we analyze the dynamics of ECIoTNs with different infection levels under different initial conditions to obtain the dynamic differential equations.Additionally,we establish the presence of equilibrium states in the SCIRD model.Furthermore,we conduct an analysis of the model’s stability and examine the conditions under which malicious software will either spread or disappear within Edge Computing-enabled IoT(ECIoT)networks.Lastly,we validate the efficacy and superiority of the SCIRD model through MATLAB simulations.These research findings offer a theoretical foundation for suppressing the propagation of malicious software in ECIoT networks.The experimental results indicate that the theoretical SCIRD model has instructive significance,deeply revealing the principles of malicious software propagation in ECIoT networks.This study solves a challenging security problem of ECIoT networks by determining the malicious software propagation threshold,which lays the foundation for buildingmore secure and reliable ECIoT networks.
基金supported by the National Natural Science Foundation of China(Grant No.52125903)the China Postdoctoral Science Foundation(Grant No.2023M730367)the Fundamental Research Funds for Central Public Welfare Research Institutes of China(Grant No.CKSF2023323/YT).
文摘To investigate the long-term stability of deep rocks,a three-dimensional(3D)time-dependent model that accounts for excavation-induced damage and complex stress state is developed.This model comprises three main components:a 3D viscoplastic isotropic constitutive relation that considers excavation damage and complex stress state,a quantitative relationship between critical irreversible deformation and complex stress state,and evolution characteristics of strength parameters.The proposed model is implemented in a self-developed numerical code,i.e.CASRock.The reliability of the model is validated through experiments.It is indicated that the time-dependent fracturing potential index(xTFPI)at a given time during the attenuation creep stage shows a negative correlation with the extent of excavationinduced damage.The time-dependent fracturing process of rock demonstrates a distinct interval effect of the intermediate principal stress,thereby highlighting the 3D stress-dependent characteristic of the model.Finally,the influence of excavation-induced damage and intermediate principal stress on the time-dependent fracturing characteristics of the surrounding rocks around the tunnel is discussed.
文摘This research uses both three-dimensional(3D)modeling and geologic well control to piece back together the architectural parts of the Late Cretaceous formations.The goal is to figure out the sizes,directions,locations,and controls of the layers of the fluvial sandstone reservoirs.Sequence stratigraphy is essential for 3D reservoir modeling and petroleum geology understanding in the Bahga oilfield.The purpose of this work is to create a static model that shows the layers and facies distribution in the reservoir interval.We will use data from nine well logs and 22 seismic lines calibrated by the Abu Roash G Member reservoir core intervals to accomplish this.The petrophysical study discovered three parts in the Abu Roash G Member reservoir rock:channel fill that is affected by tides,channel fill that is dominated by tides(intertidal sands),and channel top with lenticular bedded sandstone.The model's findings point to the existence of an NNW-oriented sand body,which could be a prime location to produce hydrocarbons.The original oil in place(OOIP)is about 3,438,279 Stock Tank Barrels(STB),and the oil reserve reaches up to 1,031,484(STB).Sequence stratigraphic analysis using seismic and well log information(SB)reveals that the Upper Cretaceous AR/G reservoir of the Bahga field is characterized by third-and fourth-order stratigraphic sequences,which are constrained by three Maximum Flooding Surfaces(MFS)and two Sequence Boundaries.The integration of the derived geological model and sequence stratigraphic results can lower future extraction risk by identifying the locations and trends of the geologic facies with the necessary petrophysical properties for the hydrocarbon accumulations.
基金the National Supercomputer Center in Tianjin for their patient assistance in providing the compilation environment.We thank the editor,Huajian Yao,for handling the manuscript and Mingming Li and another anonymous reviewer for their constructive comments.The research leading to these results has received funding from National Natural Science Foundation of China projects(Grant Nos.92355302 and 42121005)Taishan Scholar projects(Grant No.tspd20210305)others(Grant Nos.XDB0710000,L2324203,XK2023DXC001,LSKJ202204400,and ZR2021ZD09).
文摘The thermal evolution of the Earth’s interior and its dynamic effects are the focus of Earth sciences.However,the commonly adopted grid-based temperature solver is usually prone to numerical oscillations,especially in the presence of sharp thermal gradients,such as when modeling subducting slabs and rising plumes.This phenomenon prohibits the correct representation of thermal evolution and may cause incorrect implications of geodynamic processes.After examining several approaches for removing these numerical oscillations,we show that the Lagrangian method provides an ideal way to solve this problem.In this study,we propose a particle-in-cell method as a strategy for improving the solution to the energy equation and demonstrate its effectiveness in both one-dimensional and three-dimensional thermal problems,as well as in a global spherical simulation with data assimilation.We have implemented this method in the open-source finite-element code CitcomS,which features a spherical coordinate system,distributed memory parallel computing,and data assimilation algorithms.
文摘BACKGROUND Esophageal cancer is one of the most common malignant tumors.The three-dimensional quality structure model is a quality assessment theory that includes three dimensions:Structure,process,and results.AIM To investigate the effects of nursing interventions with three-dimensional quality assessment on the efficacy and disease management ability of patients undergoing esophageal cancer surgery.METHODS In this prospective study,the control group received routine nursing,and the intervention group additionally received a three-dimensional quality assessment intervention based on the above routine care.Self-efficacy and patient disease management abilities were evaluated using the General Self-Efficacy Scale(GSES)and Exercise of Self-Care Agency scale,respectively.IBM SPSS Statistics for Windows,version 17.0,was used for the data processing.RESULTS This study recruited 112 patients who were assigned to the control and experi-mental groups(n=56 per group).Before the intervention,there was no significant difference in GSES scores between the two groups(P>0.05).After the inter-vention,the GSES scores of both groups increased,with the experimental group showing higher values(P<0.05).At the time of discharge and three months after discharge,the scores for positive attitudes,self-stress reduction,and total score of health promotion in the experimental group were higher than those in the control group(P<0.05).CONCLUSION The implementation of a three-dimensional quality structure model for postoperative patients with esophageal cancer can effectively improve their self-management ability and self-efficacy of postoperative patients.
文摘The synchronous virtual machine uses inverter power to imitate the performance of the conventional synchronous machine.It also has the same inertia,damping,frequency,voltage regulation,and other external performance as the generator.It is the key technology to realize new energy grid connections’stable and reliable operation.This project studies a dynamic simulation model of an extensive new energy power system based on the virtual synchronous motor.A new energy storage method is proposed.The mathematical energy storage model is established by combining the fixed rotor model of a synchronous virtual machine with the charge-discharge power,state of charge,operation efficiency,dead zone,and inverter constraint.The rapid conversion of energy storage devices absorbs the excess instantaneous kinetic energy caused by interference.The branch transient of the critical cut set in the system can be confined to a limited area.Thus,the virtual synchronizer’s kinetic and potential energy can be efficiently converted into an instantaneous state.The simulation of power system analysis software package(PSASP)verifies the correctness of the theory and algorithm in this paper.This paper provides a theoretical basis for improving the transient stability of new energy-connected power grids.
基金supported by the Fund of ExcellentYouth Scientific and Technological Innovation Team of Hubei’s Universities(Project No:T201818)Science and Technology Research Program of Hubei Provincial Education Department(Project No:Q20143005)Guiding project of scientific research plan of Hubei Provincial Department of Education(Project No:B2021261).
文摘Product detection based on state abstraction technologies in the software product line(SPL)is more complex when compared to a single system.This variability constitutes a new complexity,and the counterexample may be valid for some products but spurious for others.In this paper,we found that spurious products are primarily due to the failure states,which correspond to the spurious counterexamples.The violated products correspond to the real counterexamples.Hence,identifying counterexamples is a critical problem in detecting violated products.In our approach,we obtain the violated products through the genuine counterexamples,which have no failure state,to avoid the tedious computation of identifying spurious products dealt with by the existing algorithm.This can be executed in parallel to improve the efficiency further.Experimental results showthat our approach performswell,varying with the growth of the system scale.By analyzing counterexamples in the abstract model,we observed that spurious products occur in the failure state.The approach helps in identifying whether a counterexample is spurious or genuine.The approach also helps to check whether a failure state exists in the counterexample.The performance evaluation shows that the proposed approach helps significantly in improving the efficiency of abstraction-based SPL model checking.
基金The National Natural Science Foundation of China (No.52165060,12272189)Program for Young Talents of Science and Technology in Universities of Inner Mongolia Autonomous Region: (NJYT23022)+2 种基金Science and Technology Projects of Inner Mongolia Autonomous Region: (2021GG0432)Central Guiding Local Science and Technology Development Plan (2022ZY0013)Basic research business fee project for universities directly under Inner Mongolia Autonomous Region (GXKY22046).
文摘Aiming at the problems that the simulation accuracy which is reduced due to the simplification of the model,a three-dimensional simulation method based on solid modeling is being proposed.By analyzing the motion relationship and positional relationship between the caries knife and the workpiece,the coordinate system of the caries machining was established.With the MATLAB software,the cutting edge model and the blade sweeping surface model of the boring cutter are sequentially established.Boolean operation is performed on the blade swept surface formed by the tooth cutter teeth with time t and the workpiece tooth geometry as well as the undeformed three-dimensional chip geometry model and the instantaneous cogging geometry model are obtained at different times.Through the compare between gear end face simulation tooth profile and the theoretical inner arc tooth profile,we verified the accuracy and rationality of the proposed method.
文摘Measuring software quality requires software engineers to understand the system’s quality attributes and their measurements.The quality attribute is a qualitative property;however,the quantitative feature is needed for software measurement,which is not considered during the development of most software systems.Many research studies have investigated different approaches for measuring software quality,but with no practical approaches to quantify and measure quality attributes.This paper proposes a software quality measurement model,based on a software interconnection model,to measure the quality of software components and the overall quality of the software system.Unlike most of the existing approaches,the proposed approach can be applied at the early stages of software development,to different architectural design models,and at different levels of system decomposition.This article introduces a software measurement model that uses a heuristic normalization of the software’s internal quality attributes,i.e.,coupling and cohesion,for software quality measurement.In this model,the quality of a software component is measured based on its internal strength and the coupling it exhibits with other component(s).The proposed model has been experimented with nine software engineering teams that have agreed to participate in the experiment during the development of their different software systems.The experiments have shown that coupling reduces the internal strength of the coupled components by the amount of coupling they exhibit,which degrades their quality and the overall quality of the software system.The introduced model can help in understanding the quality of software design.In addition,it identifies the locations in software design that exhibit unnecessary couplings that degrade the quality of the software systems,which can be eliminated.
基金the support of the National Natural Science Foundation of China(Nos.41974073,41404053)the Macao Foundation and the pre-research project of Civil Aerospace Technologies(Nos.D020308 and D020303)+2 种基金funded by the National Space Administration of Chinathe opening fund of the State Key Laboratory of Lunar and Planetary Sciences(Macao University of Science and Technology,Macao Science and Technology Development Fund No.119/2017/A3)the Specialized Research Fund for State Key Laboratories,and the NUIST-UoR International Research Institute。
文摘We combined domestic ground-based and satellite magnetic measurements to create a regional three-dimensional surface Spline(3DSS)gradient model of the main geomagnetic field over the Chinese continent.To improve the precision of the model,we considered the data gap between the ground and satellite data.We compared and analyzed the results of the Taylor polynomial,surface Spline,and CHAOS-6(the CHAMP,?rsted and SAC-C model of Earth’s magnetic field)gradient models.Results showed that the gradients in the south-north and east-west directions of the four models were consistent.The 3DSS model was able to express not only gradients at different altitudes,but also average gradients inside the research area.The two Spline models were able to capture more information on gradient anomalies than were the fitted models.Strong local anomalies were observed in northern Xinjiang,Beijing,and the junction area between Jiangsu and Zhejiang,and the total intensity F decreased whereas the altitude increased.The gradient decreased by 21.69%in the south-north direction and increased by 11.78%in the east-west direction.In addition,the altitude gradient turned from negative to positive while the altitude increased.The Spline model and the two fitted models differed mainly in the field sources they expressed and the modeling theory.
文摘Objective To evaluate the predictive validity of IRIS™(Intuitive Surgical®,Sunnyvale,CA,USA)as a planning tool for robot-assisted partial nephrectomy(RAPN)by assessing the degree of overlap with intraoperative execution.Methods Thirty-one patients scheduled for RAPN by four experienced urologists were enrolled in a prospective study.Prior to surgery,urologists reviewed the IRIS™three-dimensional model on an iphone Operating System(iOS)app and completed a questionnaire outlining their surgical plan including surgical approach,and ischemia technique as well as confidence in executing this plan.Postoperatively,questionnaires assessing the procedural approach,clinical utility,efficiency,and effectiveness of IRIS™were completed.The degree of overlap between the preoperative and intraoperative questionnaires and between the planned approach and actual execution of the procedure was analyzed.Questionnaires were answered on a 5-point Likert scale and scores of 4 or greater were considered positive.Results Mean age was 65.1 years with a mean tumor size of 27.7 mm(interquartile range 17.5-44.0 mm).Hilar tumors consisted of 32.3%;48.4%of patients had R.E.N.A.L.nephrometry scores of 7-9.On preoperative questionnaires,the surgeons reported that in 67.7%cases they were confident that they can perform the procedure successfully,and on intraoperative questionnaires,the surgeons reported that in 96.8%cases IRIS™helped achieve good spatial sensation of the anatomy.There was a high degree of overlap between preoperative and intraoperative questionnaires for the surgical approach,interpreting anatomical details and clinical utility.When comparing plans for selective or off-clamp,the preoperative plan was executed in 90.0%of cases intraoperatively.Conclusion A high degree of overlap between the preoperative surgical approach and intraoperative RAPN execution was found using IRIS™.This is the first study to evaluate the predictive accuracy of IRIS™during RAPN by comparing preoperative plan and intraoperative execution.
基金[King Abdulaziz University][Deanship of Scientific Research]Grant Number[KEP-PHD-20-611-42].
文摘Recently,researchers have shown increasing interest in combining more than one programming model into systems running on high performance computing systems(HPCs)to achieve exascale by applying parallelism at multiple levels.Combining different programming paradigms,such as Message Passing Interface(MPI),Open Multiple Processing(OpenMP),and Open Accelerators(OpenACC),can increase computation speed and improve performance.During the integration of multiple models,the probability of runtime errors increases,making their detection difficult,especially in the absence of testing techniques that can detect these errors.Numerous studies have been conducted to identify these errors,but no technique exists for detecting errors in three-level programming models.Despite the increasing research that integrates the three programming models,MPI,OpenMP,and OpenACC,a testing technology to detect runtime errors,such as deadlocks and race conditions,which can arise from this integration has not been developed.Therefore,this paper begins with a definition and explanation of runtime errors that result fromintegrating the three programming models that compilers cannot detect.For the first time,this paper presents a classification of operational errors that can result from the integration of the three models.This paper also proposes a parallel hybrid testing technique for detecting runtime errors in systems built in the C++programming language that uses the triple programming models MPI,OpenMP,and OpenACC.This hybrid technology combines static technology and dynamic technology,given that some errors can be detected using static techniques,whereas others can be detected using dynamic technology.The hybrid technique can detect more errors because it combines two distinct technologies.The proposed static technology detects a wide range of error types in less time,whereas a portion of the potential errors that may or may not occur depending on the 4502 CMC,2023,vol.74,no.2 operating environment are left to the dynamic technology,which completes the validation.
基金supported by the Teaching Reform Projects of Colleges in Hunan Province(No.HNJG-2022-1410,No.HNJG-2020-0489,No.HNJG-2022-0785,and No.HNJG-2022-0792)Industry-universityCooperative Project of Ministry of Education(No.220506194233806)the Teaching Reform Project of Hunan University of Science and Technology(No.2020XXJG07)。
文摘This paper explores the reform and practice of software engineering-related courses based on the competency model of the Computing Curricula,and proposes some measures of teaching reform and talent cultivation in software engineering.The teaching reform emphasizes student-centered education,and focuses on the cultivation and enhancement of students’knowledge,skills,and dispositions.Based on the three elements of the competency model,specific measures of teaching reform are proposed for some professional courses in software engineering,to strengthen course relevance,improve knowledge systems,reform practical modes with a focus on skill development,and cultivate good dispositions through student-centered education.The teaching reform’s attempts and practice are conducted in some courses such as Advanced Web Technologies,Software Engineering,and Intelligent Terminal Systems and Application Development.Through the analysis and comparison of the implementation effects,significant improvements are observed in teaching effectiveness,students’mastery of knowledge and skills are noticeably improved,and the expected goals of the teaching reform are achieved.
基金supported in part by the postgraduate demonstration course of Guangdong Province Department of Education Programmed Trading(No.2023SFKC_022)the Computer Architecture First Class Course Project,South China Normal University-Baidu Pineapple Talent Training Practice Basethe 2023 Project of Computer Education Research Association of Chinese Universities(No.CERACU2023R02)。
文摘This paper focuses on the problems,opportunities,and challenges faced by software engineering education in the new era.We have studied the core ideas of the new model and reform,the specific measures implemented,and the challenges and solutions faced.The new model and reform must focus on cultivating practical abilities,introducing interdisciplinary knowledge,and strengthening innovation awareness and entrepreneurial spirit.The process of reform and innovation is carried out from the aspects of teaching methods,teaching means,and course performance evaluation in the teaching practice of software engineering courses.We adopt a method of“question guiding,simple and easy to understand,flexible and diverse,and emphasizing practical results”,optimizing the curriculum design,providing diverse learning opportunities,and establishing a platform for the industry-university-research cooperation.Our teaching philosophy is to adhere to the viewpoint of innovative teaching ideas,optimizing teaching methods and teaching means,and comprehensively improving the teaching quality and level of software engineering education.