检索结果-内蒙古大学图书馆

Reliable web services selection based on finite state machine model

Information technology Journal 2011年第9期10卷 1662-1672页

作者： Shen, Hongjie Ding, Zhijun Chen, Hongzhong Key Laboratory of Embedded System and Service Computing Tongji University Ministry of Education Shanghai 200092 China

Dynamically selecting suitable Web services (WSs) is crucial to users in Web services Composition (WSC). Generally, most works regard a Web service (WS) as the basic unit and compose the composite WS (CWS) end to end. However, a WS may comprise multiple operations that are invoked in sequence and the selection of WSs according to the model still is a NP problem. In this study, the WSs consist of some operations and then WSs selection problem is formalized as a Finite State Machine (FSM) process. This study proposed an algorithm to create the WSC Tree (WSCT), in which each path from root to leaf node is a feasible WSC execution path. Then, a heuristic algorithm is proposed to realize the selection of WSs based on the WSCT. The advantage of heuristic algorithm is that it can address the selection problem without traversing the whole WSCT but it still spends much time in the construction of the WSCT. So, in order to further decrease the time of selection, a backtracking algorithm is presented to select a feasible execution path without generating WSCT. At last, experiments show that heuristic algorithm is more effective than exhaustive method and the backtracking algorithm spend the less time than heuristic algorithm, the reliability of WSC execution path selected by backtracking algorithm can satisfy the requirement of users. So, this study proposed an algorithm to select a feasible WSC execution path within a reasonable time. © 2011 Asian Network for Scientific Information.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Cramér-Rao Bound Minimization for a Passive Sensing Multi-ISAC system

引用

IEEE Transactions on Vehicular technology 2025年

作者： Chen, Jian Chen, Qikai Deng, Yansha Jia, Jie Yin, Baoxin Wang, Xingwei Northeastern University School of Computer Science and Engineering Shenyang110819 China Northeastern University Engineering Research Center of Security Technology of Complex Network System Ministry of Education Shenyang110819 China Northeastern University Key Laboratory of Intelligent Computing in Medical Image Ministry of Education Shenyang110819 China King's College London LondonWC2R 2LS United Kingdom

The integrated sensing and communication (ISAC) system can simultaneously provide communication and radar sensing, effectively improving spectrum utilization. However, existing research mainly focuses on the mono-static sensing ISAC system, which has shortcomings in limited sensing range and accuracy. We thus investigate a passive sensing multi-ISAC system with multiple communication users and sensing targets, and consider two cases for multi-target sensing without and with prior target knowledge at the base stations (BSs), in which the BSs are interested in estimating the targets' response matrix and channel coefficients, respectively. We also formulate a joint beamforming problem to minimize the Cramér-Rao bound (CRB) of the worst estimation constrained by communication requirements, and obtain the optimal solution with semidefinite relaxation (SDR) assisted transformation. To verify the advantages of our proposed scheme, we consider the bi-static BSs system (B-B) and beamforming with sensing interference cancellation (W-S) as two benchmark schemes. Numerical results illustrate that the proposed scheme obtains better sensing performance and effectively alleviates the effect caused by sensing interference. © 1967-2012 IEEE.

关键词： Cramer-Rao bounds

来源：评论

学校读者我要写书评

暂无评论

A Behavioral Authentication Method for Mobile Based on Browsing Behaviors

引用

IEEE/CAA Journal of Automatica Sinica 2020年第6期7卷 1528-1541页

作者： Dongxiang Chen Zhijun Ding Chungang Yan Mimi Wang Department of Computer Science and Technology Tongji UniversityShanghai 201804China Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji UniversityShanghai 201804China IEEE

The passwords for unlocking the mobile devices are relatively simple,easier to be stolen,which causes serious potential security *** important research direction of identity authentication is to establish user behavior models to authenticate *** this paper,a mobile terminal APP browsing behavioral authentication system architecture which synthesizes multiple factors is *** architecture is suitable for users using the mobile terminal APP in the daily *** architecture includes data acquisition,data processing,feature extraction,and sub model *** can use this architecture for continuous authentication when the user uses APP at the mobile terminal.

关键词： Behavioral authentication browsing behaviors mobile device multiple factors

来源：评论

学校读者我要写书评

暂无评论

New Methodologies for Parallel Architecture

引用

Journal of Computer Science & technology 2011年第4期26卷 578-587页

作者：范东睿李晓维李国杰 Key Laboratory of Computer System and Architecture Institute of Computing TechnologyChinese Academy of Sciences

Moore＇s law continues to grant computer architects ever more transistors in the foreseeable future, and parallelism is the key to continued performance scaling in modern microprocessors. In this paper, the achievements in our research project, which is supported by the National Basic Research 973 Program of China, on parallel architecture, are systematically presented. The innovative approaches and techniques to solve the significant problems in parallel architecture design are smnmarized, including architecture level optimization, compiler and language-supported technologies, reliability, power-performance efficient design, test and verification challenges, and platform building. Two prototype chips, a multi-heavy-core Godson-3 and a many-light-core Godson-T, are described to demonstrate the highly scalable and reconfigurable parallel architecture designs. We also present some of our achievements appearing in ISCA, MICRO, ISSCC, HPCA, PLDI, PACT, IJCAI, Hot Chips, DATE, IEEE Trans. VLSI, IEEE Micro, IEEE Trans. Computers, etc.

关键词： architecture multi-core many-core parallelism

来源：评论

学校读者我要写书评

暂无评论

Bipedal Robust Walking on Uneven Footholds: Piecewise Slope LIPM with Discrete Model Predictive Control

arXiv

引用

arXiv 2025年

作者： Shi, Yapeng Li, Sishu Wu, Yongqiang Liu, Junjie Leng, Xiaokun Zang, Xizhe Piao, Songhao Faculty of Computing Harbin Institute of Technology Harbin150001 China State Key Laboratory of Robotics and System Harbin Institute of Technology Harbin150001 China

This study presents an enhanced theoretical formulation for bipedal hierarchical control frameworks under uneven terrain conditions. Specifically, owing to the inherent limitations of the Linear Inverted Pendulum Model (LIPM) in handling terrain elevation variations, we develop a Piecewise Slope LIPM (PS-LIPM). This innovative model enables dynamic adjustment of the Center of Mass (CoM) height to align with topographical undulations during single-step cycles. Another contribution is proposed a generalized Angular Momentum-based LIPM (G-ALIP) for CoM velocity compensation using Centroidal Angular Momentum (CAM) regulation. Building upon these advancements, we derive the DCM step-to-step dynamics for Model Predictive Control MPC formulation, enabling simultaneous optimization of step position and step duration. A hierarchical control framework integrating MPC with a Whole-Body Controller (WBC) is implemented for bipedal locomotion across uneven stepping stones. The results validate the efficacy of the proposed hierarchical control framework and the theoretical formulation. Copyright © 2025, The Authors. All rights reserved.

关键词： Piecewise linear techniques

来源：评论

学校读者我要写书评

暂无评论

Deterministic Circular Self Test Path

引用

Tsinghua Science and technology 2007年第S1期12卷 20-25页

作者：文科胡瑜李晓维 Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences

Circular self test path (CSTP) is an attractive technique for testing digital integrated circuits(IC) in the nanometer era, because it can easily provide at-speed test with small test data volume and short test application time. However, CSTP cannot reliably attain high fault coverage because of difficulty of testing random-pattern-resistant faults. This paper presents a deterministic CSTP (DCSTP) structure that consists of a DCSTP chain and jumping logic, to attain high fault coverage with low area overhead. Experimental re- sults on ISCAS’89 benchmarks show that 100% fault coverage can be obtained with low area overhead and CPU time, especially for large circuits.

关键词： very large scale integration (VLSI) test built-in-self-test (BIST) circular self test path deterministic

来源：评论

学校读者我要写书评

暂无评论

Adaptive output feedback control for uncertain nonholonomic chained systems

引用

Journal of Central South University 2010年第3期17卷 572-579页

作者：袁占平王祝萍陈启军 Department of Electronics and Information Engineering Tongji University Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University

An adaptive output feedback control was proposed to deal with a class of nonholonomic systems in chained form with strong nonlinear disturbances and drift terms. The objective was to design adaptive nonlinear output feedback laws such that the closed-loop systems were globally asymptotically stable, while the estimated parameters remained bounded. The proposed systematic strategy combined input-state-scaling with backstepping technique. The adaptive output feedback controller was designed for a general case of uncertain chained system. Furthermore, one special case was considered. Simulation results demonstrate the effectiveness of the proposed controllers.

关键词： adaptive output feedback input-state scaling backstepping nonholonomic system

来源：评论

学校读者我要写书评

暂无评论

Green challenges to system software in data centers

引用

中国计算机科学前沿 2011年第3期5卷 353-368页

作者： Yuzhong SUN Yiqiang ZHAO Ying SONG Yajun YANG Haifeng FANG Hongyong ZANG Yaqiong LI Yunwei GAO Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Graduate University of Chinese Academy of Sciences Beijing 100190 China

With the increasing demand and the wide application of high performance commodity multi-core processors,both the quantity and scale of data centers grow dramatically and they bring heavy energy *** and engineers have applied much effort to reducing hardware energy consumption,but software is the true consumer of power and another key in making better use of *** software is critical to better energy utilization,because it is not only the manager of hardware but also the bridge and platform between applications and *** this paper,we summarize some trends that can affect the efficiency of data ***,we investigate the causes of software *** on these studies,major technical challenges and corresponding possible solutions to attain green system software in programmability,scalability,efficiency and software architecture are ***,some of our research progress on trusted energy efficient system software is briefly introduced.

关键词： green software multi-core data center power efficient system software

来源：评论

学校读者我要写书评

暂无评论

Sliding mode control of solid state transformer using a three-level hysteresis function

引用

Journal of Central South University 2016年第8期23卷 2063-2074页

作者：刘宝龙査亚兵张涛 College of Information System and Management National University of Defense Technology State Key Laboratory of High Performance Computing National University of Defense Technology

The solid state transformer(SST) can be viewed as an energy router in energy internet. This work presents sliding mode control(SMC) to improve dynamic state and steady state performance of a three-stage(rectifier stage, isolated stage and inverter stage) SST for energy internet. SMC with three-level hysteresis sliding functions is presented to control the input current of rectifier stage and output voltage of inverter stage to improve the robustness under external disturbance and parametric uncertainties and reduce the switching frequency. A modified feedback linearization technique using isolated stage simplified model is presented to achieve satisfactory regulation of output voltage of the isolated stage. The system is tested for steady state operation, reactive power control, dynamic load change and voltage sag simulations, respectively. The switching model of SST is implemented in Matlab/ Simulink to verify the SST control algorithms.

关键词： solid state transformer(SST) energy internet sliding mode control(SMC) feedback linearization three-level hysteresis

来源：评论

学校读者我要写书评

暂无评论

Semantic-Aware Prompt Learning for Multimodal Sarcasm Detection

Semantic-Aware Prompt Learning for Multimodal Sarcasm Detect...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Guangjin Wang Bao Wang Fuyong Xu Zhenfang Zhu Peipei Wang Ru Wang Peiyu Liu School of Information Science and Engineering Shandong Normal University Jinan China School of Information Science and Electrical Engineering Shandong Jiao Tong University Jinan China Key Laboratory of Computing Power Network and Information Security Ministry of Education Shandong Computer Science Center (National Supercomputer Center in Jinan) Qilu University of Technology (Shandong Academy of Sciences) Jinan China Shandong Provincial Key Laboratory of Industrial Network and Information System Security Shandong Fundamental Research Center for Computer Science Jinan China

ISBN: (数字)9798350368741

ISBN: (纸本)9798350368758

Multimodal sarcasm detection aims to identify whether utterances express sarcastic intentions contrary to their literal meaning based on multimodal information. However, existing methods fail to explore the model’s "ability to understand" the semantics expressed by sentences in the image context from semantic diversity perspectives. In this paper, we propose a multi-view semantic awareness method, which concretizes semantics from multiple perspectives to improve the model’s ability to capture different semantic features. Specifically, two learnable prefixes are attached to the text representation respectively to construct semantic representations from both the literal meaning and sarcastic intention perspectives. Then, image-text information is further fused through cross-attention to guide the semantic representation of different perspectives in the image context. Finally, the semantics expressed by prefixes are strengthened through KL divergence, thereby encouraging the model to capture two distinctive semantic features. Experiments on benchmark datasets demonstrate the effectiveness of our method.

关键词： Semantics Benchmark testing Speech enhancement Signal processing Vectors Acoustics Context modeling

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：