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

International Conference on Computer and Information Science (ACIS)

作者： Chenting Zhao Zhenhua Duan Man Zhang State Key Laboratory of Software Wuhan University Engineering Wuhan China Institute of Computing Theory and Technology Xidian University Xi'an China

Business process modeling (BPM) is one of the key technologies to benefit enterprises with higher efficiencies and greater business values. However, BPM requires intensive business expertise and human resources. Thus, it is valuable and challenging to enable fast delivery of reusable business process designs, regarding the existence of various popular business processes modeling languages and fast changing markets. In this paper, we generate language-specific business process models and process interaction semantics from UML 2.0 process models. A WS-BPEL metadata model and a process interaction semantics metadata model is defined to annotate UML 2.0 business process model as stereotypes; with a set of transformation patterns, we can generate a WS-BPEL business process model and a process interaction semantics file from each annotated UML 2.0 process model. Our approach can also be similarly applied to other process modeling languages to highly reuse the business process model in UML 2.0.

关键词： Unified modeling language Process design Information science Laboratories Software engineering Humans Technological innovation Web services

来源：评论

学校读者我要写书评

暂无评论

Diagnosis of Pulmonary Hypertension by Integrating Multimodal Data with a Hybrid Graph Convolutional and Transformer Network

arXiv

引用

arXiv 2025年

作者： Zhu, Fubao Zhang, Yang Liang, Gengmin Nan, Jiaofen Li, Yanting Han, Chuang Sun, Danyang Wang, Zhiguo Zhao, Chen Zhou, Wenxuan He, Jian Xu, Yi Cheang, Iokfai Zhu, Xu Zhou, Yanli Zhou, Weihua School of Computer Science and Technology Zhengzhou University of Light Industry Henan Zhengzhou450001 China State Key Laboratory for Innovation and Transformation of Luobing Theory Department of Cardiology The First Affiliated Hospital of Nanjing Medical University Jiangsu Nanjing210029 China Department of Computer Science Kennesaw State University MariettaGA United States Department of Integrated Traditional Chinese and Western Clinical Medicine Hebei Medical University Hebei China Department of Radiology The First Affiliated Hospital of Nanjing Medical University Nanjing210029 China Department of Applied Computing Michigan Technological University HoughtonMI United States Center for Biocomputing and Digital Health Institute of Computing and Cybersystems Health Research Institute Michigan Technological University HoughtonMI United States

Early and accurate diagnosis of pulmonary hypertension (PH) is essential for optimal patient management. Differentiating between pre-capillary and post-capillary PH is critical for guiding treatment decisions. This study develops and validates a deep learning-based diagnostic model for PH, designed to classify patients as non-PH, pre-capillary PH, or post-capillary PH. This retrospective study analyzed data from 204 patients (112 with pre-capillary PH, 32 with post-capillary PH, and 60 non-PH controls) at the First Affiliated Hospital of Nanjing Medical University. Diagnoses were confirmed through right heart catheterization. We selected 6 samples from each category for the test set (18 samples, 10%), with the remaining 186 samples used for the training set. This process was repeated 35 times for testing. This paper proposes a deep learning model that combines Graph convolutional networks (GCN), Convolutional neural networks (CNN), and Transformers. The model was developed to process multimodal data, including short-axis (SAX) sequences, four-chamber (4CH) sequences, and clinical parameters. Our model achieved a performance of Area under the receiver operating characteristic curve (AUC) = 0.81±0.06(standard deviation) and Accuracy (ACC) = 0.73±0.06 on the test set. The discriminative abilities were as follows: non-PH subjects (AUC = 0.74±0.11), pre-capillary PH (AUC = 0.86±0.06), and post-capillary PH (AUC = 0.83±0.10). It has the potential to support clinical decision-making by effectively integrating multimodal data to assist physicians in making accurate and timely diagnoses. © 2025, CC BY-NC-ND.

关键词： Hyperthermia therapy

来源：评论

学校读者我要写书评

暂无评论

Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation 1

引用

25th International Conference on Formal Engineering Methods, ICFEM 2024

作者： An, Dongdong Zhang, Hao Zhao, Qin Liu, Jing Shi, Jianqi Huang, Yanhong Yang, Yang Liu, Xu Qin, Shengchao Shanghai Engineering Research Center of Intelligent Education and Bigdata Shanghai Normal University Shanghai200234 China Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai200062 China Shanghai Formal-Tech Information Technology Co. LTD. Shanghai China Guangzhou Institute of Technolog Xidian University Shaanxi China ICCT and ISN Laboratory Xidian University Shaanxi China

ISBN: (数字)9789819606177

ISBN: (纸本)9789819606160

With the continuous development of Graph Neural Network (GNN) technologies, securing their robustness is crucial for their broad adoption in practical applications. Although various verification methods for training GNNs have been proposed, studies indicate that Graph Convolutional Networks (GCNs) remain vulnerable to adversarial attacks affecting both graph structure and node attributes. We propose a novel approach to verify the robustness of GCNs against perturbations in node attributes by employing a dual approximation technique to convexify nonlinear activation functions. This transformation changes the original non-convex problem into a more manageable convex forms. We start by applying linear relaxation to convert fixed-value features in each GCN layer into variables suitable for optimization. Next, we reframe the task of identifying the worst-case margin for a graph as a linear problem, which we solve using linear programming techniques. Given the discrete nature of graph data, we define a perturbation space that extends the data domain from discrete to continuous values. To improve the accuracy of the convex relaxation, we use a dual approximation algorithm to set bounds on the optimizable variables. Our method certifies the robustness of nodes against perturbations within a specified range and significantly improves verification accuracy compared to previous approaches. This method surpasses previous work in verification accuracy and is distinctively tailored to address the S-curve, an aspect less explored in prior research. Experimental results show that our method significantly refines the precision of robustness verification for GCNs. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Perfect sampling from spatial mixing

arXiv

引用

arXiv 2019年

作者： Feng, Weiming Guo, Heng Yin, Yitong State Key Laboratory for Novel Software Technology Nanjing University School of Informatics University of Edinburgh Simons Institute for the Theory of Computing UC Berkeley

We show that strong spatial mixing with a rate faster than the growth of neighborhood implies the existence of efficient perfect samplers for spin systems. Our new resampling based algorithm bypasses a major barrier of previous work along this line, namely that our algorithm works for general spin systems and does not require additional structures of the problem. In ad- dition, our framework naturally incorporates spatial mixing properties to obtain linear expected running time. Using this new technique, we give the currently best perfect sampling algorithms for colorings in bounded degree graphs and in graphs with sub-exponential neighborhood growth. Copyright © 2019, The Authors. All rights reserved.

关键词： Spin dynamics

来源：评论

学校读者我要写书评

暂无评论

Phase field simulations of coupled phase transformations in ferroelastic-ferroelastic nanocomposites

引用

Physical Review B 2009年第9期79卷 094110-094110页

作者： Mathieu Bouville Rajeev Ahluwalia []Institute of Materials Research and Engineering A*STAR (Agency for Science Technology and Research) Singapore 117602 Singapore and Materials Theory and Simulation Laboratory Institute of High Performance Computing A*STAR (Agency for Science Technology and Research) Singapore 138632 Singapore

We use phase field simulations to study composites made of two different ferroelastics (e.g., two types of martensite). The deformation of one material due to a phase transformation can elastically affect the other constituent and induce it to transform as well. We show that the phase transformation can then occur above its normal critical temperature and even higher above this temperature in nanocomposites than in bulk composites. Microstructures depend on temperature, on the thickness of the layers, and on the crystal structure of the two constituents—certain nanocomposites exhibit a great diversity of microstructures not found in bulk composites. Also, the periodicity of the martensite twins may vary over 1 order of magnitude based on geometry.

关键词： crystal microstructure deformation ferroelastic transitions martensitic transformations nanocomposites twin boundaries

来源：评论

学校读者我要写书评

暂无评论

Lightdet: A Lightweight and Accurate Object Detection Network

Lightdet: A Lightweight and Accurate Object Detection Networ...

引用

IEEE International Conference on Acoustics, Speech and Signal Processing

作者： Qiankun Tang Jie Li Zhiping Shi Yu Hu Research Center for Intelligent Computing Systems State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing Advanced Innovation Center for Imaging Theory and Technology Capital Normal University

ISBN: (数字)9781509066315

ISBN: (纸本)9781509066322

The extensive computational burden limits the usage of accurate but complex object detectors in resource-bounded scenarios. In this paper, we present a lightweight object detector, named LightDet, to address this dilemma. We design a lightweight backbone that is able to capture rich low-level features by the proposed Detail-Preserving Module. To effectively aggregate bottom and top-down features, we introduce an efficient Feature-Preserving and Refinement Module. A lightweight prediction head is employed to further reduce the entire network complexity. Experimental results show that our LightDet achieves 75.5% mAP on PASCAL VOC 2007 at the speed of 250 FPS and 24.0% mAP on MS COCO dataset.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Using Experience Classification for Training Non-Markovian Tasks

SSRN

引用

SSRN 2023年

作者： Miao, Ruixuan Lu, Xu Tian, Cong Yu, Bin Cui, Jin Duan, Zhenhua Institute of Computing Theory and Technology State Key Laboratory of Integrated Services Networks Xidian University China School of Computer Science Xi’an Shiyou University China

Unlike the standard Reinforcement Learning (RL) model, many real-world tasks are non-Markovian, whose rewards are predicated on state history rather than solely on the current state. Solving a non-Markovian task, frequently applied in practical applications such as autonomous driving, financial trading, and medical diagnosis, can be quite challenging. We propose a novel RL approach to achieve non-Markovian rewards expressed in temporal logic LTLf (Linear Temporal Logic over Finite Traces). To this end, an encoding of linear complexity from LTLf into MDPs (Markov Decision Processes) is introduced to take advantage of advanced RL algorithms. Then, a prioritized experience replay technique based on the automata structure (semantics equivalent to LTLf specification) is utilized to improve the training process. We empirically evaluate several benchmark problems augmented with non-Markovian tasks to demonstrate the feasibility and effectiveness of our approach. © 2023, The Authors. All rights reserved.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Critical size for phase separation in binary alloys: Role of elastic interactions and mechanical constraints

引用

Physical Review B 2008年第6期78卷 064204-064204页

作者： Justin C. W. Song Rajeev Ahluwalia Institute of Materials Research and Engineering A*STAR (Agency for Science Technology and Research) 3 Research Link Singapore 117602 Materials Theory and Simulation Laboratory Institute of High Performance Computing A*STAR (Agency for Science Technology and Research) Science Park II Singapore 117528

We study the effect of mechanical boundary conditions on the phase separation of elastically coupled binary alloys. Two distinct boundary conditions are considered; clamped boundaries in which there is no macroscopic shape change and traction free boundaries where a net shape change of the grains is possible. In particular, we are interested in system size effects and its relation to the boundary conditions. For clamped boundary conditions, we find that there exists a critical size below which no phase separation is possible. It is found that the miscibility gap depends on the system size for such cases. On the other hand, for traction free boundary conditions, no critical size is observed and the miscibility gap is independent of the system size. We also observe contrasting processes in the kinetics of phase separation for the two different boundary conditions. The stark contrast in behavior serves to underscore the sensitive dependence of elastic interactions on boundary conditions and geometry. These findings are relevant for polycrystalline alloys with nanosized grains where the clamped case serves as a simple model for a single grain, embedded deep in a polycrystal, constrained by its surrounding grains.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Testing a quantum error-correcting code on various platforms

引用

Science Bulletin 2021年第1期66卷 29-35,M0003页

作者： Qihao Guo Yuan-Yuan Zhao Markus Grassl Xinfang Nie Guo-Yong Xiang Tao Xing Zhang-Qi Yin Bei Zeng Institute for Quantum Computing Baidu ResearchBeijing 100193China Department of Applied Physics Xi’an Jiaotong UniversityXi’an 710049China Center for Quantum Computing Peng Cheng LaboratoryShenzhen 518055China CAS Key Laboratory of Quantum Information University of Science and Technology of ChinaHefei 230026China Max Planck Institute for the Science of Light 91058 ErlangenGermany International Centre for Theory of Quantum Technologies 80-308 GdańskPoland Shenzhen Institute for Quantum Science and Engineering and Department of Physics Southern University of Science and TechnologyShenzhen 518055China Guangdong Provincial Key Laboratory of Quantum Science and Engineering Southern University of Science and TechnologyShenzhen 518055China Center for Quantum Technology Research and Key Laboratory of Advanced Optoelectronic Quantum Architecture and Measurements(MOE) School of PhysicsBeijing Institute of TechnologyBeijing 100081China Department of Physics The Hong Kong University of Science and TechnologyHong KongChina.

Quantum error correction plays an important role in fault-tolerant quantum information *** is usually difficult to experimentally realize quantum error correction,as it requires multiple qubits and quantum gates with high *** we propose a simple quantum error-correcting code for the detected amplitude damping *** code requires only two *** implement the encoding,the channel,and the recovery on an optical platform,the IBM Q System,and a nuclear magnetic resonance *** all of these systems,the error correction advantage appears when the damping rate exceeds some *** compare the features of these quantum information processing systems used and demonstrate the advantage of quantum error correction on current quantum computing platforms.

关键词： Quantum error correction Quantum computation Superconducting circuit NMR system Optical platform

来源：评论

学校读者我要写书评

暂无评论

Analysis of the gluon distribution with next-to-leading order splitting function at small-x^(*)

引用

Chinese Physics C 2024年第6期48卷 38-44页

作者：陈京萱王晓鹏蔡燕兵陈旭荣王倩 Key Laboratory of Atomic and Subatomic Structure and Quantum Control(MOE) Guangdong Basic Research Center of Excellence for Structure and Fundamental Interactions of MatterInstitute of Quantum MatterSouth China Normal UniversityGuangzhou 510006China Guangdong-Hong Kong Joint Laboratory of Quantum Matter Guangdong Provincial Key Laboratory of Nuclear ScienceSouthern Nuclear Science Computing CenterSouth China Normal UniversityGuangzhou 510006China Institute of Modern Physics Chinese Academy of SciencesLanzhou 730000China University of Chinese Academy of Sciences Beijing 100049China Lanzhou University Lanzhou 730000China School of Nuclear Science and Technology University of Chinese Academy of SciencesBeijing 100049China Guizhou Key Laboratory in Physics and Related Areas Guizhou University of Finance and EconomicsGuiyang 550025China Southern Center for Nuclear-Science Theory(SCNT) Institute of Modern PhysicsChinese Academy of SciencesHuizhou 516000China

An approximated solution for the gluon distribution from DGLAP evolution equations with the NLO splitting function in the small-x limit is *** first obtain simplified forms of the LO and NLO splitting functions in the small-x *** these approximated splitting functions,we obtain the analytical gluon distribution using the Mellin *** free parameters in the boundary conditions are obtained by fitting the CJ15 gluon distribution *** find that the asymptotic behavior of the gluon distribution is consistent with the CJ15 data;however,the NLO results considering the"ladder"structure of gluon emission are slightly better than the LO *** results indicate that the corrections from NLO have a significant influence on the behavior of the gluon distribution in the small-x *** addition,we investigate the DGLAP evolution of the proton structure function using the analytical solution of the gluon *** differential structure function reveals that our results have a similar tendency to the CJ15 data at small-x.

关键词： DGLAP equation gluon distribution small-x structure function

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：