An efficient parallel algorithm for shortest paths in planar layered digraphs

This paper presents an efficient parallel algorithm for the shortest path problem in planar layered digraphs that runs in O(log3n) time with n processors. The algorithms uses a divide and conquer approach and is based on the novel idea of a one-way separator, which has the property that any directed path can be crossed only once.     

GRIN光学中光线追迹的一种新方法

由Hamilton光学中的Lagrange方程推出光线方程,用Runge-Kutta方法求解光线方程,给出光线追迹的新方法。     

浅析渤海大学图书馆中文期刊回溯建库工作

分析了中文文献回溯建库的必要性,介绍了渤海大学图书馆中文书目数据库建设现状,阐述了在回溯建库过程中遇到的问题及解决方案。     

预测摄动平面非Hamilton系统混沌的解析方法

An analytical method for predicting chaos in perturbed planar non-Hamiltonian integrable systems with slowly varying parameters was developed.Based on the analysis of the geometric structure of unperturbed systems.the condition of transversely homoclinic intersection was given.The generalized Melnikov function of the perturbed system was fund by applying the theorem on the differentiability of ordinary differential equation solutions with respect to parameters.     

An efficient method for parallel CRC automatic generation

INTRODUCTIONCRC (CyclicRedundancyChecking)codesarewidelyusedintelecommunication ,especiallyintheinternallayersofprotocolssuchasEther net,X2 5,FDDIandATM (AAL5) .Thecom monhardwaresolutionforCRCcalculationisthelinearfeedbackshiftregister (LFSR) ,charac ter…     

An efficient method for parallel CRC automatic generation

The State Transition Equation (STE) based method to automatically generate the parallel CRC circuits for any generator polynomial or required amount of parallelism is presented. The parallel CRC circuit so generated is partially optimized before being fed to synthesis tools and works properly in our LAN transceiver. Compared with the cascading method, the proposed method gives better timing results and significantly reduces the synthesis time, in particular. Project (No. 60271010) supported by the National Natural Science Foundation of China     

多约束非线性背包问题的一种有效算法

1IntroductionWe consider the following multi-di mensional nonlin-ear knapsack problem(MNKP)maxf(x)=∑nj=1fj(xj)s.t.gi(x)=∑nj=1gij(xj)≤bi,i=1,…,m,x∈X={x|lj≤xj≤uj,xjinteger,j=1,…,n},where allfjand allgijare nondecreasing functions ofxjon[lj,uj]forj=1,…,n,i=1,…,m,andljandujare integer lower and upper bounds forxj,re-spectively,j=1,…,n.It has been proved that0-1linear knapsack problemis NP-hard[1].Nonlinear knapsack problems have numerous appli-cations in various fields,for example,ca…     

An efficient numerical shape analysis for light weight membrane structures

The determination of initial equilibrium shapes is a common problem in research work and engineering applications related to membrane structures. Using a general structural analysis framework of the finite particle method （FPM）, this paper presents the first application of the FPM and a recently-developed membrane model to the shape analysis of light weight mem- branes. The FPM is rooted in vector mechanics and physical viewpoints. It discretizes the analyzed domain into a group of parti- cles linked by elements, and the motion of the free particles is directly described by Newton＇s second law while the constrained ones follow the prescribed paths. An efficient physical modeling procedure of handling geometric nonlinearity has been developed to evaluate the particle interaction forces. To achieve the equilibrium shape as fast as possible, an integral-form, explicit time integration scheme has been proposed for solving the equation of motion. The equilibrium shape can be obtained naturally without nonlinear iterative correction and global stiffness matrix integration. Two classical curved surfaces of tension membranes pro- duced under the uniform-stress condition are presented to verify the accuracy and efficiency of the proposed method.     

基于NURBS模型的自由曲线加工轨迹自适应生成方法(英文)

为实现NURBS曲面快速高精度实时差补,提出了基于修正型sigmoid函数的动力学模型,给出了最大速度、弓高误差、加工曲线的曲率半径和插补周期之间的约束条件.该模型在满足jerk、加速度、速度均连续的前提下,将常用的三次多项式S型以及三角多项式S型动力学模型的15个分段数减少至3个.在此基础上,提出采用差商代替导数的优化Adams算法,避免了常用的Taylor展开所遇到的高阶求导计算,求取了差补周期参数.最后通过减少低次零值B样条基函数的计算,对De Boor-Cox递推算法进行了简化设计,提出了精简型De Boor-Cox算法,缩减了计算量.仿真分析表明,所提算法可根据加工路径有效控制进给速度,在保证加工精度的同时,使计算量得到减少,提高了运算速度.实验结果显示本加工方法可以正确计算目标参数,并适合应用于实际加工系统.     

An inexact parameterized newton method for B-differentiable equations

１ＩｎｔｒｏｄｕｃｔｉｏｎＩｎ１９９５,ＭａｒｔｉｎｅｚａｎｄＱｉ［６］ｐｒｏｐｏｓｅｄａｎｏｎｓｍｏｏｔｈｖｅｒｓｉｏｎｏｆｉｎｅｘａｃｔＮｅｗｔｏｎｍｅｔｈｏｄ：ｘｋ＋１＝ｘｋ＋ｄｋ‖Ｖｋｄｋ＋Ｆ（ｘｋ）‖≤αｋ‖Ｆ（ｘｋ）‖,αｋ＞０Ｖｋ∈Ｂ...     

An iterative computation method for interpreting and extending an analytical battery model

Battery models are of great importance to develop portable computing systems, for whether the design of low power hardware architecture or the design of battery-aware scheduling policies. In this paper, we present a physically justified iterative computing method to illustrate the discharge, recovery and charge process of Li/Li-ion batteries. The discharge and recovery processes correspond well to an existing accurate analytical battery model： R-V-W＇s analytical model, and thus interpret this model algorithmically. Our method can also extend R-V-W＇s model easily to accommodate the charge process, The work will help the system designers to grasp the characteristics of R-V-W＇s battery model and also, enable to predict the battery behavior in the charge process in a uniform way as the discharge process and the recovery process. Experiments are performed to show the accuracy of the extended model by comparing the predicted charge times with those derived from the DUALFOIL simulations. Various profiles with different combinations of battery modes were tested, The experimental results show that the extended battery model preserves high accuracy in predicting the charge behavior.     

关于反函数的一种积分法及其应用

给出反函数的一种积分法,应用此法,可以将某些类型的不定积分、定积分问题简便地转化为反函数的不定积分、定积分问题求解.     

An integrated classification method for thematic mapper imagery of plain and highland terrains

The classification of thematic mapper imagery in areas with strong topographic variations has proven problematic in the past using a single classifier, due to the changing sun illumination geometry. This often results in the phenomena of identical object with dissimilar spectrum and different objects with similar spectrum. In this paper, an integrated classification method that combines a decision tree with slope data, tasseled cap transformation indices and maximum likelihood classifier is introduced, to find an optimal classification method for thematic mapper imagery of plain and highland terrains. A Landsat 7 ETM＋ image acquired over Hangzhou Bay, in eastern China was used to test the method. The results indicate that the performance of the integrated classifier is acceptably good in comparison with that of the existing most widely used maximum likelihood classifier. The integrated classifier depends on hypsography （variation in topography） and the characteristics of ground truth objects （plant and soil）. It can greatly reduce the influence of the homogeneous spectrum caused by topographic variation. This integrated classifier might potentially be one of the most accurate classifiers and valuable tool for land cover and land use mapping of plain and highland terrains.