期刊文献+
共找到116篇文章
< 1 2 6 >
每页显示 20 50 100
Towards a Unified Single Analysis Framework Embedded with Multiple Spatial and Time Discretized Methods for Linear Structural Dynamics
1
作者 David Tae Kumar K.Tamma 《Computer Modeling in Engineering & Sciences》 SCIE EI 2023年第5期843-885,共43页
We propose a novel computational framework that is capable of employing different time integration algorithms and different space discretized methods such as the Finite Element Method,particle methods,and other spatia... We propose a novel computational framework that is capable of employing different time integration algorithms and different space discretized methods such as the Finite Element Method,particle methods,and other spatial methods on a single body sub-dividedintomultiple subdomains.This is in conjunctionwithimplementing thewell known Generalized Single Step Single Solve(GS4)family of algorithms which encompass the entire scope of Linear Multistep algorithms that have been developed over the past 50 years or so and are second order accurate into the Differential Algebraic Equation framework.In the current state of technology,the coupling of altogether different time integration algorithms has been limited to the same family of algorithms such as theNewmarkmethods and the coupling of different algorithms usually has resulted in reduced accuracy in one or more variables including the Lagrange multiplier.However,the robustness and versatility of the GS4 with its ability to accurately account for the numerical shifts in various time schemes it encompasses,overcomes such barriers and allows a wide variety of arbitrary implicit-implicit,implicit-explicit,and explicit-explicit pairing of the various time schemes while maintaining the second order accuracy in time for not only all primary variables such as displacement,velocity and acceleration but also the Lagrange multipliers used for coupling the subdomains.By selecting an appropriate spatialmethod and time scheme on the area with localized phenomena contrary to utilizing a single process on the entire body,the proposed work has the potential to better capture the physics of a given simulation.The method is validated by solving 2D problems for the linear second order systems with various combination of spatial methods and time schemes with great flexibility.The accuracy and efficacy of the present work have not yet been seen in the current field,and it has shown significant promise in its capabilities and effectiveness for general linear dynamics through numerical examples. 展开更多
关键词 Time integration structural dynamics multiple scale and multiple methods ordinary differential equations differential algebraic equations
在线阅读 下载PDF
Simultaneous identification of multiple animal-derived components in meat and meat products by using MNP marker based on high-throughput sequencing 被引量:1
2
作者 Yan Yi Zhanyue Jiang +9 位作者 Lixia Ma Xiaoni Hou Lun Li Deping Ye Juanlan Du Hai Peng Guoquan Han Huaiping Li Jiangwen Tang Lihua Zhou 《Food Science and Human Wellness》 2025年第4期1566-1575,共10页
In order to save manpower and time costs,and to achieve simultaneous detection of multiple animal-derived components in meat and meat products,this study used multiple nucleotide polymorphism(MNP)marker technology bas... In order to save manpower and time costs,and to achieve simultaneous detection of multiple animal-derived components in meat and meat products,this study used multiple nucleotide polymorphism(MNP)marker technology based on the principle of high-throughput sequencing,and established a multi-locus 10 animalderived components identification method of cattle,goat,sheep,donkey,horse,chicken,duck,goose,pigeon,quail in meat and meat products.The specific loci of each species could be detected and the species could be accurately identified,including 5 loci for cattle and duck,3 loci for sheep,9 loci for chicken and horse,10 loci for goose and pigeon,6 loci for quail and 1 locus for donkey and goat,and an adulteration model was established to simulate commercially available samples.The results showed that the method established in this study had high throughput,good repeatability and accuracy,and was able to identify 10 animalderived components simultaneously with 100%repeatability accuracy.The detection limit was 0.1%(m/m)in simulated samples of chicken,duck and horse.Using the method established in this study to test commercially available samples,4 samples from 14 commercially available samples were detected to be inconsistent with the labels,of which 2 did not contain the target ingredient and 2 were adulterated with small amounts of other ingredients. 展开更多
关键词 Meat and meat products multiple nucleotide polymorphism marker method High-throughput sequencing Animal-derived component identification
在线阅读 下载PDF
The Calculation of Parameters for DNA Kinetic Structure Based on Monte-Carlo Multiple Integrals 被引量:1
3
作者 崔向军 蔡禄 《Agricultural Science & Technology》 CAS 2010年第5期5-6,16,共3页
Based on protein-DNA complex crystal structural data in up-to-date Nucleic Acid Database,the related parameters of DNA Kinetic Structure were investigated by Monte-Carlo Multiple Integrals on the base of modified DNA ... Based on protein-DNA complex crystal structural data in up-to-date Nucleic Acid Database,the related parameters of DNA Kinetic Structure were investigated by Monte-Carlo Multiple Integrals on the base of modified DNA structure statistical mechanical model,and time complexity and precision were analyzed on the calculated results. 展开更多
关键词 Monte-Carlo method multiple integrals DNA Time complexity Precision
在线阅读 下载PDF
Reflections on Diversified Teaching Methods of Vocal Music for Preschool Education Major in Secondary Vocational Schools
4
作者 CUI Wenjing 《外文科技期刊数据库(文摘版)经济管理》 2021年第9期001-003,共5页
The modern educational concept expects students to develop in an all-round way, and early childhood education is no exception, which requires early childhood teachers to have more solid and comprehensive professional ... The modern educational concept expects students to develop in an all-round way, and early childhood education is no exception, which requires early childhood teachers to have more solid and comprehensive professional knowledge and skills. Pre-school education for the training of professional kindergarten teachers and the establishment of professional, also need to open a variety of courses to help students to be qualified for kindergarten teachers after graduation, vocal music teaching is one of them. Based on the teaching practice, this paper analyzes the necessity of diversified vocal music teaching methods in the pre-school education major of secondary vocational schools and the deficiencies in the current vocal music teaching practice, and puts forward some suggestions for the diversified vocal music teaching methods. 展开更多
关键词 secondary vocational school major in preschool education vocal music teaching multiple methods
原文传递
Advanced multiple response surface method of sensitivity analysis for turbine blisk reliability with multi-physics coupling 被引量:7
5
作者 Zhang Chunyi Song Lukai +2 位作者 Fei Chengwei Lu Cheng Xie Yongmei 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2016年第4期962-971,共10页
To reasonably implement the reliability analysis and describe the significance of influencing parameters for the multi-failure modes of turbine blisk, advanced multiple response surface method (AMRSM) was proposed for... To reasonably implement the reliability analysis and describe the significance of influencing parameters for the multi-failure modes of turbine blisk, advanced multiple response surface method (AMRSM) was proposed for multi-failure mode sensitivity analysis for reliability. The mathematical model of AMRSM was established and the basic principle of multi-failure mode sensitivity analysis for reliability with AMRSM was given. The important parameters of turbine blisk failures are obtained by the multi-failure mode sensitivity analysis of turbine blisk. Through the reliability sensitivity analyses of multiple failure modes (deformation, stress and strain) with the proposed method considering fluid-thermal-solid interaction, it is shown that the comprehensive reliability of turbine blisk is 0.9931 when the allowable deformation, stress and strain are 3.7 x 10(-3) m, 1.0023 x 10(9) Pa and 1.05 x 10(-2) m/m, respectively; the main impact factors of turbine blisk failure are gas velocity, gas temperature and rotational speed. As demonstrated in the comparison of methods (Monte Carlo (MC) method, traditional response surface method (RSM), multiple response surface method (MRSM) and AMRSM), the proposed AMRSM improves computational efficiency with acceptable computational accuracy. The efforts of this study provide the AMRSM with high precision and efficiency for multi-failure mode reliability analysis, and offer a useful insight for the reliability optimization design of multi-failure mode structure. (C) 2016 Chinese Society of Aeronautics and Astronautics. Production and hosting by Elsevier Ltd. This is an open access article under the CC BY-NC-ND license. 展开更多
关键词 Advanced multiple response surface method Artificial neural network Intelligent algorithm Multi-failure mode Reliability analysis Turbine blisk
原文传递
Determination of the natural frequencies of axially moving beams by the method of multiple scales 被引量:3
6
作者 杨晓东 陈立群 《Journal of Shanghai University(English Edition)》 CAS 2007年第3期251-254,共4页
The natural frequencies of an axially moving beam were determined by using the method of multiple scales. The method of second-order multiple scales could be directly applied to the governing equation if the axial mot... The natural frequencies of an axially moving beam were determined by using the method of multiple scales. The method of second-order multiple scales could be directly applied to the governing equation if the axial motion of the beam is assumed to be small. It can be concluded that the natural frequencies affected by the axial motion are proportional to the square of the velocity of the axially moving beam. The results obtained by the perturbation method were compared with those given with a numerical method and the comparison shows the correctness of the multiple-scale method if the velocity is rather small. 展开更多
关键词 the method of multiple scales natural frequency axially moving beam
在线阅读 下载PDF
Analytical approximations to a generalized forced damped complex Duffing oscillator:multiple scales method and KBM approach 被引量:1
7
作者 Weaam Alhejaili Alvaro H Salas S A El-Tantawy 《Communications in Theoretical Physics》 SCIE CAS CSCD 2023年第2期18-27,共10页
In this investigation,some different approaches are implemented for analyzing a generalized forced damped complex Duffing oscillator,including the hybrid homotopy perturbation method(H-HPM),which is sometimes called t... In this investigation,some different approaches are implemented for analyzing a generalized forced damped complex Duffing oscillator,including the hybrid homotopy perturbation method(H-HPM),which is sometimes called the Krylov-Bogoliubov-Mitropolsky(KBM)method and the multiple scales method(MSM).All mentioned methods are applied to obtain some accurate and stable approximations to the proposed problem without decoupling the original problem.All obtained approximations are discussed graphically using different numerical values to the relevant parameters.Moreover,all obtained approximate solutions are compared with the 4thorder Runge-Kutta(RK4)numerical approximation.The maximum residual distance error(MRDE)is also estimated,in order to verify the high accuracy of the obtained analytic approximations. 展开更多
关键词 complex Duffing oscillators forced damped complex oscillator multiple scales method KBM method
原文传递
Multiple Resonance and Stability of a Motor-elastic Linkage Mechanism System 被引量:1
8
作者 李兆军 蔡敢为 戴文正 《Journal of Donghua University(English Edition)》 EI CAS 2006年第4期1-6,共6页
The dynamics of a three-phase AC motor-elastic linkage mechanism system is considered. Taking the drive motor and the linkage mechanism as an integrated system, the coupling dynamic equations of the system are establi... The dynamics of a three-phase AC motor-elastic linkage mechanism system is considered. Taking the drive motor and the linkage mechanism as an integrated system, the coupling dynamic equations of the system are established by the finite element method. The multiple resonance and its stability of the system are studied using the method of multiple scales. The first order approximate solutions of the multiple resonance of the system are obtained. An algorithm for determining the stability of resonance is derived. The studies show that the multiple resonance and its stability of the system are not only related to the structure parameters of the linkage mechanism, but also to the electromagnetism parameters of the motor. At last, an experiment is given to verify the results of the theoretical analysis. 展开更多
关键词 MOTOR link mechanism multiple resonance STABILITY multiple scales method.
在线阅读 下载PDF
Preconditioned Iterative Methods for Algebraic Systems from Multiplicative Half-Quadratic Regularization Image Restorations 被引量:2
9
作者 Michael K.Ng 《Numerical Mathematics(Theory,Methods and Applications)》 SCIE 2010年第4期461-474,共14页
Image restoration is often solved by minimizing an energy function consisting of a data-fidelity term and a regularization term.A regularized convex term can usually preserve the image edges well in the restored image... Image restoration is often solved by minimizing an energy function consisting of a data-fidelity term and a regularization term.A regularized convex term can usually preserve the image edges well in the restored image.In this paper,we consider a class of convex and edge-preserving regularization functions,i.e.,multiplicative half-quadratic regularizations,and we use the Newton method to solve the correspondingly reduced systems of nonlinear equations.At each Newton iterate,the preconditioned conjugate gradient method,incorporated with a constraint preconditioner,is employed to solve the structured Newton equation that has a symmetric positive definite coefficient matrix. The eigenvalue bounds of the preconditioned matrix are deliberately derived,which can be used to estimate the convergence speed of the preconditioned conjugate gradient method.We use experimental results to demonstrate that this new approach is efficient, and the effect of image restoration is reasonably well. 展开更多
关键词 Edge-preserving image restoration multiplicative half-quadratic regularization Newton method preconditioned conjugate gradient method constraint preconditioner eigenvalue bounds
在线阅读 下载PDF
Multiple scales method for analyzing a forced damped rotational pendulum oscillatorwithgallows
10
作者 Haifa A Alyousef Alvaro H Salas +1 位作者 B M Alotaibi S A El-Tantawy 《Communications in Theoretical Physics》 SCIE CAS CSCD 2024年第5期58-67,共10页
This study reports the analytical solution for a generalized rotational pendulum system with gallows and periodic excited forces.The multiple scales method(MSM)is applied to solve the proposed problem.Several types of... This study reports the analytical solution for a generalized rotational pendulum system with gallows and periodic excited forces.The multiple scales method(MSM)is applied to solve the proposed problem.Several types of rotational pendulum oscillators are studied and talked about in detail.These include the forced damped rotating pendulum oscillator with gallows,the damped standard simple pendulum oscillator,and the damped rotating pendulum oscillator without gallows.The MSM first-order approximations for all the cases mentioned are derived in detail.The obtained results are illustrated with concrete numerical examples.The first-order MSM approximations are compared to the fourth-order Runge-Kutta(RK4)numerical approximations.Additionally,the maximum error is estimated for the first-order approximations obtained through the MSM,compared to the numerical approximations obtained by the RK4 method.Furthermore,we conducted a comparative analysis of the outcomes obtained by the used method(MSM)and He-MSM to ascertain their respective levels of precision.The proposed method can be applied to analyze many strong nonlinear oscillatory equations. 展开更多
关键词 rotational pendulum system multiple scales method approximate solution damped oscillations forced pendulum with gallows he-multiple scales method
原文传递
A two-parameter multiple shooting method and its application to the natural vibrations of non-prismatic multi-segment beams
11
作者 R.HOŁUBOWSKI K.JARCZEWSKA 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI CSCD 2023年第12期2243-2252,共10页
This paper presents an enhanced version of the standard shooting method that enables problems with two unknown parameters to be solved.A novel approach is applied to the analysis of the natural vibrations of Euler-Ber... This paper presents an enhanced version of the standard shooting method that enables problems with two unknown parameters to be solved.A novel approach is applied to the analysis of the natural vibrations of Euler-Bernoulli beams.The proposed algorithm,named as two-parameter multiple shooting method,is a new powerful numerical tool for calculating the natural frequencies and modes of multi-segment prismatic and non-prismatic beams with different boundary conditions.The impact of the axial force and additional point masses is also taken into account.Due to the fact that the method is based directly on the fourth-order ordinary differential equation,the structures do not have to be divided into many small elements to obtain an accurate enough solution,even though the geometry is very complex.To verify the proposed method,three different examples are considered,i.e.,a three-segment non-prismatic beam,a prismatic column subject to non-uniformly distributed compressive loads,and a two-segment beam with an additional point mass.Numerical analyses are carried out with the software MATHEMATICA.The results are compared with the solutions computed by the commercial finite element program SOFiSTiK.Good agreement is achieved,which confirms the correctness and high effectiveness of the formulated algorithm. 展开更多
关键词 two-parameter multiple shooting method two-point boundary value problem natural vibration non-prismatic beam multi-segment beam
在线阅读 下载PDF
MULTIPLE RECIPROCITY METHOD WITH TWO SERIES OF SEQUENCES OF HIGH-ORDER FUNDAMENTAL SOLUTION FOR THIN PLATE BENDING
12
作者 丁方允 丁睿 李炳杰 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2003年第12期1431-1440,共10页
The boundary value problem of plate bending problem on two_parameter foundation was discussed.Using two series of the high_order fundamental solution sequences, namely, the fundamental solution sequences for the multi... The boundary value problem of plate bending problem on two_parameter foundation was discussed.Using two series of the high_order fundamental solution sequences, namely, the fundamental solution sequences for the multi_harmonic operator and Laplace operator, applying the multiple reciprocity method(MRM), the MRM boundary integral equation for plate bending problem was constructed. It proves that the boundary integral equation derived from MRM is essentially identical to the conventional boundary integral equation. Hence the convergence analysis of MRM for plate bending problem can be obtained by the error estimation for the conventional boundary integral equation. In addition, this method can extend to the case of more series of the high_order fundamental solution sequences. 展开更多
关键词 plate bending problem multiple reciprocity method boundary integral equation high-order fundamental solution sequence
在线阅读 下载PDF
Free vibration of vibrating device coupling two pendulums using multiple time scales method
13
作者 李珺 刘初升 +1 位作者 彭利平 王宏 《Journal of Central South University》 SCIE EI CAS 2013年第8期2134-2141,共8页
A model of vibrating device coupling two pendulums (VDP) which is highly nonlinear was put forward to conduct vibration analysis. Based on energy analysis, dynamic equations with cubic nonlinearities were established ... A model of vibrating device coupling two pendulums (VDP) which is highly nonlinear was put forward to conduct vibration analysis. Based on energy analysis, dynamic equations with cubic nonlinearities were established using Lagrange's equation. In order to obtain approximate solution, multiple time scales method, one of perturbation technique, was applied. Cases of non-resonant and 1:1:2:2 internal resonant were discussed. In the non-resonant case, the validity of multiple time scales method is confirmed, comparing numerical results derived from fourth order Runge-Kutta method with analytical results derived from first order approximate expression. In the 1:1:2:2 internal resonant case, modal amplitudes of Aa1 and Ab2 increase, respectively, from 0.38 to 0.63 and from 0.19 to 0.32, while the corresponding frequencies have an increase of almost 1.6 times with changes of initial conditions, indicating the existence of typical nonlinear phenomenon. In addition, the chaotic motion is found under this condition. 展开更多
关键词 free vibration coupling pendulums multiple time scales method nonlinear characteristic
在线阅读 下载PDF
Protein Flexibility and Multiple Docking in Ligand Docking and Virtual Screening to the BRAF(TypeⅠ1/2)Inhibitors
14
作者 王路 张艳敏 +4 位作者 卢帅 唐伟方 陈亚东 陆涛 刘海春 《Chinese Journal of Structural Chemistry》 SCIE CAS CSCD 2018年第7期1057-1070,共14页
BRAF has been recognized as a promising target for cancer therapy. A number of crystal structures have been published. Molecular docking is one of the most effective techniques in the field of computer-aided drug des... BRAF has been recognized as a promising target for cancer therapy. A number of crystal structures have been published. Molecular docking is one of the most effective techniques in the field of computer-aided drug design(CADD). Appropriate protein conformation and docking method are essential for the successful virtual screening experiments. One approach considering protein flexibility and multiple docking methods was proposed in this study. Six DFG-in/αC-helix-out crystal structures of BRAF, three docking programs(Glide, GOLD and Ligand Fit) and 12 scoring functions were applied for the best combination by judging from the results of pose prediction and retrospective virtual screening(VS). The most accurate results(mean RMSD of about 0.6 A) of pose prediction were obtained with two complex structures(PDB: 3 C4 C and 3 SKC) using Glide SP. From the retrospective VS, the most active compounds were identified by using the complex structure of 3 SKC, indicated by a ROC/AUC score of 0.998 and an EF of 20.6 at 5% of the database screen with Glide-SP. On the whole, PDB 3 SKC could achieve a higher rate of correct reproduction, a better enrichment and more diverse compounds. A comparison of 3 SKC and the other X-ray crystal structures led to a rationale for the docking results. PDB 3 SKC could achieve a broad range of sulfonamide substitutions through an expanded hydrophobic pocket formed by a further shift of the αC-helix. Our study emphasized the necessity and significance of protein flexibility and scoring functions in both ligand docking and virtual screening. 展开更多
关键词 BRAF type 1/2 inhibitors protein flexibility multiple docking methods pose prediction virtual screening
在线阅读 下载PDF
Description of Mechanism Function about Dehydration of Cobalt Oxalate Dihydrate by Multiple Rates Isotemperature Method
15
作者 LiLi-qing ChenDong-hua 《Wuhan University Journal of Natural Sciences》 EI CAS 2004年第2期239-246,共8页
A new method of the multiple rates isotemperature is proposed to define the most probable mechanismg(α) of thermal anlaysis; the iterative isoconversional procedure has been employed to estimate apparent activation e... A new method of the multiple rates isotemperature is proposed to define the most probable mechanismg(α) of thermal anlaysis; the iterative isoconversional procedure has been employed to estimate apparent activation energyE; the pre-exponential factorA is obtained on the basis ofE andg(α). By this new method, the thermal analysis kinetics triplet of dehydration of cobalt oxalate dihydrate is determined, apparent activation energyE is 99.84 kJ·mol?1; pre-exponential factorA is 3.427×109–3.872×109 s?1 and the most probable mechanism belongs to nucleation and growth,A m model, the range ofm is from 1.50 to 1.70. Key words multiple rates isotemperature method - isoconversional method - cobalt oxalate dihydrate - accomodation function - differential scanning calorimetry (DSC) CLC number O 636.1 Foundation item: Supported by the Key Foundation of the Science and Technology Committee of Hubei Province (2001ABA009)Biography: Li Li-qing (1977-), female, Master candidate, research direction: material synthesize and thermal analysis kinetics. 展开更多
关键词 multiple rates isotemperature method isoconversional method cobalt oxalate dihydrate accomodation function differential scanning calorimetry (DSC)
在线阅读 下载PDF
Multiple exp-function method for soliton solutions of nonlinear evolution equations
16
作者 Yakup Yιldιrιm Emrullah Yasar 《Chinese Physics B》 SCIE EI CAS CSCD 2017年第7期20-26,共7页
We applied the multiple exp-function scheme to the(2+1)-dimensional Sawada-Kotera(SK) equation and(3+1)-dimensional nonlinear evolution equation and analytic particular solutions have been deduced. The analyti... We applied the multiple exp-function scheme to the(2+1)-dimensional Sawada-Kotera(SK) equation and(3+1)-dimensional nonlinear evolution equation and analytic particular solutions have been deduced. The analytic particular solutions contain one-soliton, two-soliton, and three-soliton type solutions. With the assistance of Maple, we demonstrated the efficiency and advantages of the procedure that generalizes Hirota's perturbation scheme. The obtained solutions can be used as a benchmark for numerical solutions and describe the physical phenomena behind the model. 展开更多
关键词 (2+1)-dimensional Sawada-Kotera(SK) equation (3+1)-dimensional nonlinear evolution equation(NLEE) multiple exp-function method multiple wave solutions
原文传递
APPLICATION OF THE MODIFIED METHOD OF MULTIPLE SCALES TO THE BENDING PROBLEMS FOR CIRCULAR THIN PLATE AT VERY LARGE DEFLECTION AND THE ASYMPTOTICS OF SOLUTIONS(Ⅱ)
17
作者 江福汝 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 1999年第4期34-39,共6页
This paper is a continuation of part (Ⅰ), on the asymptotics behaviors of the series solutions investigated in (Ⅰ). The remainder terms of the series solutions are estimated by the maximum norm.
关键词 large deflection modified method of multiple scales asymptotic behaviors
在线阅读 下载PDF
A Multiple Nested Lattice Boltzmann Method and Its Application
18
作者 韩善灵 朱平 +1 位作者 来新民 林忠钦 《Journal of Shanghai Jiaotong university(Science)》 EI 2006年第1期71-76,92,共7页
The standard lattice Boltzmann method utilizes uniform grids to maintain a compact computational procedure. However, it is often less efficient to perform hydrodynamic and aerodynamic flow simulations when there is a ... The standard lattice Boltzmann method utilizes uniform grids to maintain a compact computational procedure. However, it is often less efficient to perform hydrodynamic and aerodynamic flow simulations when there is a need for high resolution. To resolve these difficulties, a multiple nested lattice Boltzmann method(MNLBM) was developed, which contains several overlapped layers with different resolutions in the computational domain. The data transference of flow field on two layers is accomplished by a Filippova procedure which is proved to satisfy the continuity of mass, momentum, and stresses across the interface. The proposed method is based on the standard lattice Boltzmann method, so it is easily performed.By numerical investigation, the result of present method has been agreed with that of literature, but the computation efficiency is higher than the standard lattice Boltzmann method. 展开更多
关键词 lattice Boltzmann method uniform grids multiple nested lattice Boltzmann method computational efficiency
在线阅读 下载PDF
New Refinement Relations of Z Specifications for Multiple Viewpoints Oriented Requirements Method
19
作者 He Yan xiang, Song Qiang, Huang Qian School of Computer, State Key Laboratory of Software Engineering Wuhan University, Wuhan 430072, China 《Wuhan University Journal of Natural Sciences》 CAS 2001年第Z1期304-312,共9页
In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate ... In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate or correct when considering specifications that have temporal relationships of operations. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition systems to abstract the temporal state transitions. A simple example is used to show the procedures of MVORM. Finally some directions of further work are forwarded. 展开更多
关键词 temporal state variable formal description language state transition system implementation relation refinement relation multiple viewpoints oriented requirements method
在线阅读 下载PDF
THE METHOD OF MULTIPLE SCALES APPLIED TO THE NONLINEAR STABILITY PROBLEM OF A TRUNCATED SHALLOW SPHERICAL SHELL OF VARIABLE THICKNESS WITH THE LARGE GEOMETRICAL PARAMETER
20
作者 KANG Sheng-liang(康盛亮) 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2001年第10期1198-1209,共12页
Using the modified method of multiple scales, the nonlinear stability of a truncated shallow spherical shell of variable thickness with a nondeformable rigid body at the center under compound loads is investigated. Wh... Using the modified method of multiple scales, the nonlinear stability of a truncated shallow spherical shell of variable thickness with a nondeformable rigid body at the center under compound loads is investigated. When the geometrical parameter k is larger, the uniformly valid asymptotic solutions of this problem are obtained and the remainder terms are estimated. 展开更多
关键词 shallow shell of variable thickness nonlinear stability modified method of multiple scales
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部