针对现有算法无法满足在不同环境中对定位精度的要求,提出一种基于测距定向的分步求精定位算法(stepwise refine-ment localization algorithm based on ranging and orientation,SRLRO)。通过分析环境因素对RSSI(received signal stren...针对现有算法无法满足在不同环境中对定位精度的要求,提出一种基于测距定向的分步求精定位算法(stepwise refine-ment localization algorithm based on ranging and orientation,SRLRO)。通过分析环境因素对RSSI(received signal strength indica-tion)测距的影响,算法首先建立RSSI测距定向模型,确定指向待定位节点所在较小区域的多条直线,通过质心算法求这些直线交点的质心。为了进一步提高算法精度,算法采取了一些优化规则。仿真和实验表明,在不同环境因素的影响下,算法都具有较高的定位精度。展开更多
In this article, based on the Taylor expansions of generating functions and stepwise refinement procedure, authors suggest a algorithm for finding the Lie and high (generalized) symmetries of partial differential equa...In this article, based on the Taylor expansions of generating functions and stepwise refinement procedure, authors suggest a algorithm for finding the Lie and high (generalized) symmetries of partial differential equations (PDEs). This algorithm transforms the problem having to solve over-determining PDEs commonly encountered and difficulty part in standard methods into one solving to algebraic equations to which one easy obtain solution. so, it reduces significantly the difficulties of the problem and raise computing efficiency. The whole procedure of the algorithm is carried out automatically by using any computer algebra system. In general, this algorithm can yields many more important symmetries for PDEs.展开更多
The TLL XYZ/E is a formal language able to represent the dynamic semantics and the static semantics in a unified framework. It supports the whole process of program development, i.e. from the abstract specification to...The TLL XYZ/E is a formal language able to represent the dynamic semantics and the static semantics in a unified framework. It supports the whole process of program development, i.e. from the abstract specification to the efficiently executable program in a formal, precise and convenient way. The steam boiler control specification problem, a large case study in the fields of real time, hybrid and communication systems, is discussed with XYZ/E. The approach covers physical model construction, formal specification, stepwise refinement, verification, executable program and visual user interface programming.展开更多
文摘针对现有算法无法满足在不同环境中对定位精度的要求,提出一种基于测距定向的分步求精定位算法(stepwise refine-ment localization algorithm based on ranging and orientation,SRLRO)。通过分析环境因素对RSSI(received signal strength indica-tion)测距的影响,算法首先建立RSSI测距定向模型,确定指向待定位节点所在较小区域的多条直线,通过质心算法求这些直线交点的质心。为了进一步提高算法精度,算法采取了一些优化规则。仿真和实验表明,在不同环境因素的影响下,算法都具有较高的定位精度。
文摘In this article, based on the Taylor expansions of generating functions and stepwise refinement procedure, authors suggest a algorithm for finding the Lie and high (generalized) symmetries of partial differential equations (PDEs). This algorithm transforms the problem having to solve over-determining PDEs commonly encountered and difficulty part in standard methods into one solving to algebraic equations to which one easy obtain solution. so, it reduces significantly the difficulties of the problem and raise computing efficiency. The whole procedure of the algorithm is carried out automatically by using any computer algebra system. In general, this algorithm can yields many more important symmetries for PDEs.
文摘The TLL XYZ/E is a formal language able to represent the dynamic semantics and the static semantics in a unified framework. It supports the whole process of program development, i.e. from the abstract specification to the efficiently executable program in a formal, precise and convenient way. The steam boiler control specification problem, a large case study in the fields of real time, hybrid and communication systems, is discussed with XYZ/E. The approach covers physical model construction, formal specification, stepwise refinement, verification, executable program and visual user interface programming.
