首页期刊导航|上海大学学报（英文版）
期刊信息/Journal information
上海大学学报（英文版）
上海大学学报（英文版）

戴世强

季刊

1007-6417

jpsu_l@staff.shu.edu.cn

021-66135218

200444

上海市宝山区上大路99路上海大学124信箱

上海大学学报（英文版）/Journal Journal of Shanghai University(English Edition)
查看更多>>《Journal of Shanghai University》是在钱伟长校长的大力倡导和支持下于1997年6月创刊的。本刊由上海大学出版社出版，《上海大学学报》(英文版)编委会编辑, 上海大学期刊社发行。本刊设有“Reviews”,“Articles”,“Letters”，“Abstracts of Doctoral Dissertations”等栏目，报道范围涉及自然科学与工程技术的多种领域，主要有“应用数学和力学”，“信息技术”，“机电工程与自动化”，“材料科学与工程”等领域。 本刊重视学术论文的创新性。钱校长在本刊发刊词中把科研成果分为三类：第一类用新理论新方法解决新问题；第二类用新理论新方法解决老问题或用已有理论和方法解决新问题；第三类用已有理论和方法解决老问题。本刊将优先刊登第一类学术论文，也发表一些第二类学术论文，而不采用第三类论文。本刊只刊出未在正式刊物上公开发表过的研究论文。 本刊除刊登上海大学教师和研究生的最新研究成果外，也刊登其它高校及科研院所专家学者们的优秀学术论文，而且在论文的筛选和刊出上一视同仁。本刊尤其欢迎国家自然科学基金课题和国家“八六三”项目的研究论文以及海外留学生的研究论文，也欢迎资深学者的专题综述文章, 本刊也以“Letters”的形式报道学者们的阶段性研究成果。本刊主要向国外发行，向国外近20家文献检索刊物和数据库及近百所大学图书馆按期寄送。到目前为止，本刊已被国际多家重要检索刊物或数据库收录。它们是美国的“工程索引”（EI Page One），英国的“科学文摘”（SA-INSPEC），俄罗斯的“文摘杂志”（РЖ），日本的“科学技术文献速报”（CBST），美国的“剑桥科学文摘”（CSA），美国的“数学评论”（MR），美国的“应用力学评论”（AMR），德国的“数学文摘”（ZBI），美国的“化学文摘”（CA）等的收录期刊。本刊同时被国内4家全文数据库和多家专业文摘刊物收录。欢迎国内外专家学者投稿，有关投稿的具体要求见本刊征稿简则。本刊国内外公开发行, 可通过天津联合征订服务部、北京人天书店征订，也可直接向上海大学期刊社征订。
正式出版
收录年代

    Deadlock detection using abstraction refinement

    ZENG Hong-wei
    1-5页
    查看更多>>摘要：This paper adopts counterexample guided abstraction refinement scheme to alleviate the state explosion problem of deadlock detection. We extend the classical labeled transition system models by qualifying transitions as certain and uncertain to make deadlock-freedom conservative, i.e. if the abstraction of a system is deadlock-free, then the system is deadlock-free. An abstraction refinement approach to deadlock detection is proposed, and the correctness of the approach is proved.
      原文链接:
    • NETL
    • NSTL
    • 万方数据

    ICI elimination of M-band wavelet multi-carrier modulation system

    PENG Zhang-youLIU Yan-yanZHANG Xing
    6-11页
    查看更多>>摘要：To solve the inter carrier interference (ICI) elimination problem of an M-band wavelet multi-carrier modulation system, this paper analyzes the principle of the ICI caused by the Doppler frequency shift and its mathematical expression based on the M-band wavelet multi-carrier modulation system model. Through the analysis of the mathematical expression and combining with the perfect reconstruction conditions of the filter banks, we propose the design conditions of an M-band filter to reduce and eliminate the ICI. The impulse response model of the filter design conditions and an iterative algorithm is also established. The simulation results show that th e proposed ICI reduction and elimination methods can effectively improve the system performance.
      原文链接:
    • NETL
    • NSTL
    • 万方数据

    Zigbee-based new approach to smart home

    PENG Jun-jieHE HuiZHU Ping-anLIU Yan-ping...
    12-16页
    查看更多>>摘要：Smart home is a promising solution to improving the quality of people's life. Much work has been done in the field, but most of these solutions are just based on home gateway, leaving much to be improved. One of its defects is the relatively high energy consuming and its radiation, and the other is that it is not available to the old home appliances which fail to access the internet. Full use of the low energy consuming characteristic of the Zigbee wireless sensor network, a completely new smart home solution is put forward in this paper. Without need of a home gateway and any modification for the currently used family appliances, the method uses the Zigbee coordinator as the central controller and the controllers of appliances as the end devices of Zigbee. It can realize a comfortable and smart home. Experiments show that the scheme proposed is feasible and it will be no doubt to be able to improve the quality of people's daily life.
      原文链接:
    • NETL
    • NSTL
    • 万方数据

    Crowdedness estimation approach based on stereovision for bus passengers

    ZHU Qiu-yuJIANG Yi-pingDENG Wei-junTANG Li...
    17-23页
    查看更多>>摘要：An estimation approach is proposed in this paper based on the binocular stereovision to collect the degree of crowdedness in public transports. The proposed method combines the disparity with frame differences to extract the fore-ground object. An adaptive window normalized cross correlation (NCC) matching and interpolated method is applied to get the sub-pixel image disparity value. Then, the foreground object is projected to the horizontal plane to eliminate the influence of the occlusion and perspective effect. Finally the degree of crowdedness is calculated from the area and the perimeter of the foreground objects. Experimental results show that the proposed method can obtain good estimation results in the simulated scenes in the laboratory and on parking or moving buses. This approach is effective to illumination changes, shadows and occlusion of passengers.
      原文链接:
    • NETL
    • NSTL
    • 万方数据

    Gaussian beamed millimetre wave propagation characteristics due to reflecting behaviour in circle tunnel

    ZHAO Heng-kaiZHENG Guo-xinZHANG Qing-fangCHEN Zhi-qiang...
    24-28页
    查看更多>>摘要：Propagation characterization is one of the main building blocks for millimetre wave (MMW) communication. The Gaussian beam has attractive features to become a prospective wave form for millimetre radio communication, especially for the utility inside tunnels. A ray tracing method embedded with spectral features of Gaussian beam is employed to analyze mil-limetre wave propagation in a circle tunnel in this paper. In consideration of geometrical figure of the tunnel, the superposition behaviour of direct and reflective beams is analyzed via simplified approximation of Gaussian beam spectral feature. Then the propagation models are established to derive amplitude, phase, and delay spread of received wave. A typical straight tunnel model is used to simulate the propagation behaviour, where strong multi-path effect with deeply fading of signal intensity and dramatically enhancing of delay spread emerges. For investigation of the spectral feature of the multi-path effect, a reflection loss of 14 dB is taken into consideration at a designated point. To analyze the influences of frequency and transmission distance, the propagation characteristics at three different frequencies of 45 GHz, 65 GHz and 85 GHz are compared with the beam travelling down the tunnel. In acidition, three different reflection losses of 14 dB, 20 dB, and 26 dB at the frequency of 65 GHz are also investigated to research the influence of the reflecting coefficient.
      原文链接:
    • NETL
    • NSTL
    • 万方数据

    Vector sampling theorem for wavelet subspaces

    CHEN Jun-liLI XiangLIU Wei-xiaoWAN Wang-gen...
    29-33页
    查看更多>>摘要：The vector sampling theorem has been investigated and widely used by multi-channel deconvolution, multi-source separation and multi-input multi-output (MIMO) systems. Commonly, for most of the results on MIMO systems, the input signals are supposed to be band-limited. In this paper, we study the vector sampling theorem for the wavelet subspaces with reproducing kernel. The case of uniform sampling is discussed, and the necessary and sufficient conditions for reconstruction are given. Examples are also presented.
      原文链接:
    • NETL
    • NSTL
    • 万方数据

    Estimation of muscle pennation angle in ultrasound images using the beamlet transform

    SHI JunWANG Rui-ling
    34-38页
    查看更多>>摘要：Ultrasound imaging has been widely used to investigate the architecture properties of skeletal muscle, including the measurement of the pennation angle. In this study, we propose a beamlet-based algorithm to detect the straight line-shaped patterns of aponeurosis, fascicle or bone, and then to quantify the pennation angle in ultrasound images. The results demonstrate that the proposed algorithm can well detect the pennatoin angles in thirty ultrasound images with the correlation coefficient of 0.945, the standard root mean square error of 0.682°, and the relative root mean square error of 3.498%. The results suggest that this beamlet-based algorithm provides an alternative approach for the .orientation estimation in muscu-loskeletal ultrasound images.
      原文链接:
    • NETL
    • NSTL
    • 万方数据

    Power-efficient topologies for wireless sensor networks with fixed communication range

    JIN Yan-liangMIAO Hui-junWANG HuiGE Quan...
    39-44页
    查看更多>>摘要：The expectations for sensor networks are growing. The performance of wireless sensor networks (WSNs) is greatly influenced by their network topology. In this paper, we consider four patterned topologies that best support connectivity among these deployed sensor nodes in two-tiered WSNs. The theoretical and simulation results show that the triangle-based topology has smaller cell number, shorter maximum hop length, less total energy consumption, and better performance than other topologies. The analysis carried out in this paper could provide the guidelines for network deployment and protocol design in the future applications.
      原文链接:
    • NETL
    • NSTL
    • 万方数据

    Model checking web services choreography in process analysis toolkit

    XU DongLEI ZhouLI Wei-minZHANG Bo-feng...
    45-49页
    查看更多>>摘要：Web service (WS) is an emerging software technology, especially acting an important role in cloud computing. The WS choreography description language (WS-CDL) is the standard for modeling the observable behavior of WS composition across multiple participants from a global point of view. However, it lacks of a formal semantics and could easily lead to misunderstanding and different implementations. In this paper, the WS-CDL based specifications are formally extracted in a communicating sequential process supporting a formal approach to checking WS models. In addition, formalisms and model checking are explicitly illustrated through a simple but non-trivial example with the help of model checker process analysis toolkit (PAT).
      原文链接:
    • NETL
    • NSTL
    • 万方数据

    Frame-layer bit allocation for multi-view video coding based on frame complexity estimation

    YAN TaoAN PingSHEN Li-quanLI Zhen-gang...
    50-54页
    查看更多>>摘要：Current multi-view video coding (MVC) reference model in joint video team (JVT) does not provide efficient rate control schemes. This paper presents a rate control algorithm for MVC by improving the quadratic rate-distortion (R-D) model. We reasonably allocate bit-rate among views based on the correlation analysis. The proposed algorithm consists of three levels to control the rate bits more accurately, of which the frame layer allocates bits according to the frame complexity and the temporal activity. Extensive experiments show that the proposed algorithm can control the bit rate efficiently.
      原文链接:
    • NETL
    • NSTL
    • 万方数据