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

software trustworthiness evaluation using structural equation modeling

International Journal of Performability Engineering 2019年第10期15卷 2628-2635页

作者： Deng, Rumei Chen, Yixiang Wu, Hengyang Tao, Hongwei MoE Engineering Center for Software Hardware Co-Design Technology and Application East China Normal University Shanghai200062 China Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai200062 China School of Computer and Communication Engineering Zhengzhou University of Light Industry Zhengzhou450002 China

software trustworthiness evaluation results can provide guidance for existing software development. Therefore, it is of great significance to study software trustworthiness evaluation. Weights and the relationship of trustworthy attributes have a huge effect on the results of software trustworthiness evaluation. However, few studies have considered weights and the quantitative relationship among trustworthy attributes at the same time. Structural equation modeling (SEM) provides a more scientific and reasonable method to obtain weights, where the objectification of subjective weights is guaranteed. In this paper, we propose a SEM-based method to evaluate software trustworthiness. Firstly, we establish the trustworthy evaluation indicator system for software. Based on the survey data, we construct the SEM for software trustworthiness evaluation to obtain the weights of trustworthy attributes and the relationship among them. Lastly, we apply the trustworthy measurement model to calculate the trustworthiness value of software to be surveyed. These trustworthiness values demonstrate the reasonability of our method. © 2019 Totem Publisher, Inc. All rights reserved.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

Fault diagnosis design based on qualitative simulation

Fault diagnosis design based on qualitative simulation

引用

International Conference on Intelligent Control and Information Processing (ICICIP)

作者： Chenxi Shao Zhenzhong Shao Juntao Zhang Fanzhou Bai College of Computer Science & Technology University of Science and Technology of China Anhui Province Key Laboratory of Software in Computing and Communication Hefei Anhui China Jianghuai Automobile Co. Ltd. Hefei China College of Computer Science & Technology University of Science and Technology of China Hefei

Based on the QSIM reasoning of Kuipers, comparative constraint is presented to reduce the diagnosis space. The transfer regulation of qualitative constrain is used in the simulation and reasoning of system diagnosis. This arithmetic takes observed faulty state as the beginning, to diagnosis the discrepancy of variable and location of the causation according to the transfer regulation of qualitative constraint, reasons from faulty diagnosed to examine the result and delete the redundancy of diagnosis result. In the example of Condensation refrigeration system, the constraint relation is built according to qualitative difference equation. Aim at the bad efficiency of refrigeration, the mixture of air or Freon superfluously is diagnosed as the result faulty source, is consistent with the factual system.

关键词： Circuit faults Mathematical model Differential equations Algebra Valves Cognition Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Dynamic protocol conformance test method based on local error diagnostic information

引用

Beijing Youdian Daxue Xuebao/Journal of Beijing University of Posts and Telecommunications 2007年第1期30卷 140-144页

作者： Lin, Hua-Hui Zhou, Hao Pan, Quan-Ke Zhao, Bao-Hua Department of Computer Science and Technology University of Science and Technology of China Hefei 230027 China Anhui Province Key Laboratory of Software in Computing and Communication Hefei 230027 China

To enhance the reliability and the fault coverage of the test results, a local error diagnostic mechanism was introduced into dynamic protocol conformance test, a new dynamic test method was proposed, whose principle and correctness was analyzed on determinate FSM model. The new method took full advantage of the dynamic information generated during test to avoid the incorrect locating of local error. Also a local error diagnostic method was presented on error sub-sequence, which was not restricted to single error assumption and more practical. The experimental results showed that the method can effectively avoid the descending of the test reliability and give better fault coverage.

关键词： Transmission control protocol

来源：评论

学校读者我要写书评

暂无评论

Exploring the Role of Large Language Models in Cybersecurity: A Systematic Survey

arXiv

引用

arXiv 2025年

作者： Tian, Shuang Zhang, Tao Liu, Jiqiang Wang, Jiacheng Wu, Xuangou Zhu, Xiaoqiang Zhang, Ruichen Zhang, Weiting Yuan, Zhenhui Mao, Shiwen Kim, Dong In School of Software Engineering Beijing Jiaotong University Beijing100044 China School of Cyberspace Science and Technology Beijing Jiaotong University Beijing100044 China School of Computer Science and Engineering Nanyang Technological University Singapore639798 Singapore School of Computer Science and Technology An hui Province Key Laboratory of Digital Twin Technology in Metallurgical Industry Anhui University of Technology Anhui243002 China College of Computing and Data Science Nanyang Technological University Singapore School of Electronic and Information Engineering Beijing Jiaotong University Beijing100044 China School of Engineering University of Warwick CoventryCV4 7AL United Kingdom Department of Electrical and Computer Engineering Auburn University AuburnAL36849-5201 United States Department of Electrical and Computer Engineering College of Information and Communication Engineering Sungkyunkwan University Suwon16419 Korea Republic of

—With the rapid development of technology and the acceleration of digitalisation, the frequency and complexity of cyber security threats are increasing. Traditional cybersecurity approaches, often based on static rules and predefined scenarios, are struggling to adapt to the rapidly evolving nature of modern cyberattacks. There is an urgent need for more adaptive and intelligent defence strategies. The emergence of Large Language Model (LLM) provides an innovative solution to cope with the increasingly severe cyber threats, and its potential in analysing complex attack patterns, predicting threats and assisting real-time response has attracted a lot of attention in the field of cybersecurity, and exploring how to effectively use LLM to defend against cyberattacks has become a hot topic in the current research field. This survey examines the applications of LLM from the perspective of the cyber attack lifecycle, focusing on the three phases of defense reconnaissance, foothold establishment, and lateral movement, and it analyzes the potential of LLMs in Cyber Threat Intelligence (CTI) tasks. Meanwhile, we investigate how LLM-based security solutions are deployed and applied in different network scenarios. It also summarizes the internal and external risk issues faced by LLM during its application. Finally, this survey also points out the facing risk issues and possible future research directions in this domain. Copyright © 2025, The Authors. All rights reserved.

关键词： Cyber attacks

来源：评论

学校读者我要写书评

暂无评论

Search Based Combinatorial Testing

Search Based Combinatorial Testing

引用

Asia-Pacific Conference on software Engineering

作者： Changhai Nie Huayao Wu Yalan Liang Hareton Leung Fei-Ching Kuo Zheng Li State Key Laboratory for Novel Software Technology Nanjing University Nanjing China Faculty of Information and Communication Technologies Swinburne University of Technology VIC Australia Department of Computing Hong Kong Polytechnic University Hong Kong China Department of Computer Science Beijing University of chemical Technology Beijing China

Search techniques can dramatically change our ability to solve a host of problems in applied science and engineering, many search techniques have been developed and applied successfully in many fields, including search based software engineering (SBSE). As a key problem of combinatorial testing, covering array generation has been widely studied and many search techniques have been applied which can be named as search based combinatorial testing (SBCT). SBCT is a branch of search based software testing (SBST) within SBSE. In this paper, to explore the applicability and effectiveness of SBCT, we design six variants from existing search algorithms: Genetic Algorithm, Particle Swarm Optimization and Ant Colony Algorithm by reversing and randomizing their mechanisms. We study their effectiveness in terms of generating a covering array and compare their performance. Experiments show that these search techniques can work well with distinct performance in covering array generation. We believe that these search techniques can be further improved by fine-tuning their configuration and used in broad ranges of area.

关键词： Arrays Testing Algorithm design and analysis Search problems software engineering software algorithms

来源：评论

学校读者我要写书评

暂无评论

A Proposed Radio Environment Monitoring System of Ali Observatory 35

A Proposed Radio Environment Monitoring System of Ali Observ...

引用

35th General Assembly and Scientific Symposium of the International Union of Radio Science, URSI GASS 2023

作者： Zhang, Haiyan Wang, Yu Huang, Shijie Hu, Hao Zhao, Chuanjiang Wu, Guifang National Astronomical Observatories Chinese Academy of Sciences 20A Datun Road Chaoyang District Beijing100101 China Hebei Key Laboratory of Radio Astronomy Technology Hebei Shijiazhuang050081 China Research Center for Intelligent Computing Platforms Zhejiang Laboratory Zhongtai Street Yuhang District Zhejiang Hangzhou311100 China Beijing Boer Communication Technology Co. Ltd Zhongguancun Software Park No. 8 Dongbei Wangxi Road Haidian District Beijing100089 China China Electric Power Research Institute Co. Ltd 15 Qinghe Xiaoying East Road Haidian District Beijing100192 China

ISBN: (纸本)9789463968096

With its extremely dry air and high altitude above 5000 meters, the Ail Observatory located in the Tibet plateau has been a promising site for several astronomical instruments working in the optical or millimeter wave bands. In addition to protect the dark sky around the Ali Observatory, the measures to protect local radio environment have also been discussed. Based on the requirements of radio astronomical instruments, a radio environment monitoring system has been proposed. This paper describes the preliminary design of the system, including the technical specification and the system composition. In the near future, this system will be put into use. © 2023 International Union of Radio Science.

关键词： Observatories

来源：评论

学校读者我要写书评

暂无评论

Self-adaptive method dealing with the end issue of EMD

引用

Tien Tzu Hsueh Pao/Acta Electronica Sinica 2007年第10期35卷 1944-1948页

作者： Shao, Chen-Xi Wang, Jian Fan, Jin-Feng Yang, Ming Wang, Zi-Cai MOE-Microsoft Key Laboratory of Multimedia Computing and Communication University of Science and Technology of China Hefei 230026 China Department of Computer Science and Technology University of Science and Technology of China Hefei 230026 China Control and Simulation Center Harbin Institute of Technology Harbin 150001 China Anhui Province Key Laboratory of Software in Computing and Communication Hefei 230027 China

The empirical mode decomposition (EMD) developed by Huang etc. of NASA is an advanced method for signal analysis. But there is an involved end issue in the course of getting two envelops of the data using spline interpolation. A self-adaptive method to dealing with the end issue is proposed. Generally, it extends the externa sequence near the ends of the data by the most suited sequence in the inner data. For the chosen inner sequence has the most similarity of tendency with the ends, the data extension is reasonable. After the extension, the spline does not swing at both ends of the data. The result of experiment proved that the method can be used to solve the end issue effectively.

关键词： Signal analysis

来源：评论

学校读者我要写书评

暂无评论

Spectroscopy-Based Food Internal Quality Evaluation with XGBoost Algorithm

引用

Asia Pacific Web (APWeb) and Web-Age Information Management (WAIM) Joint Conference on Web and Big Data, APWeb-WAIM 2018

作者： Li, Lingling Li, Caihong Wu, Yuan Yang, Yi Zhang, Yixuan Zhang, Hairui Wu, Bin Liu, Li Xie, Rong School of Information Science and Engineering Lanzhou University Lanzhou730000 China Silk Road Economic Belt Research Center Lanzhou University Lanzhou730000 China Division of Biological Science University of California at San Diego La Jolla United States Communication and Network Center Lanzhou University Lanzhou730000 China Key Laboratory of Dependable Service Computing in Cyber Physical Society Ministry of Education Chongqing400044 China School of Software Engineering Chongqing University Chongqing400044 China School of Computer Science Wuhan University Wuhan430072 China

ISBN: (纸本)9783030012977

In this paper, the combination of Near-Infrared (NIR) spectroscopy and a novel forecasting algorithm called XGBoost was proposed for food internal quality evaluation. First, the original NIR spectral data was preprocessed by Savitzky-Golay smoothing method to reduce the influence of noises. Secondly, the preprocessed spectra was submitted to PCA to extract essential information. Finally, the model was established by using the XGBoost algorithm. The performance of the proposed model was examined by comparing with different models including back propagation neural network (BPNN) and support vector regression (SVR). The results showed that the new proposed model outperformed other two models and this XGBoost-based tool was suitable for food internal quality control. © 2018, Springer Nature Switzerland AG.

关键词： Near infrared spectroscopy

来源：评论

学校读者我要写书评

暂无评论

Improving Complex Reasoning over Knowledge Graph with Logic-Aware Curriculum Tuning

arXiv

引用

arXiv 2024年

作者： Xia, Tianle Ding, Liang Wan, Guojia Zhan, Yibing Du, Bo Tao, Dacheng School of Computer Science National Engineering Research Center for Multimedia Software Institute of Artificial Intelligence Hubei Key Laboratory of Multimedia and Network Communication Engineering Wuhan University China The University of Sydney Australia JD Explore Academy China College of Computing and Data Science Nanyang Technological University Singapore639798 Singapore

Answering complex queries over incomplete knowledge graphs (KGs) is a challenging task. Most previous works have focused on learning entity/relation embeddings and simulating first-order logic operators with various neural networks. However, they are bottlenecked by the inability to share world knowledge to improve logical reasoning, thus resulting in suboptimal performance. In this paper, we propose a complex reasoning schema over KG upon large language models (LLMs), containing a curriculum-based logical-aware instruction tuning framework, named LACT. Specifically, we augment the arbitrary first-order logical queries via binary tree decomposition, to stimulate the reasoning capability of LLMs. To address the difficulty gap among different types of complex queries, we design a simple and flexible logic-aware curriculum learning framework. Experiments across widely used datasets demonstrate that LACT has substantial improvements (brings an average +5.5% MRR score) over advanced methods, achieving the new state-of-the-art. Copyright © 2024, The Authors. All rights reserved.

关键词： Binary trees

来源：评论

学校读者我要写书评

暂无评论

Revisiting Token Dropping Strategy in Efficient BERT Pretraining

arXiv

引用

arXiv 2023年

作者： Zhong, Qihuang Ding, Liang Liu, Juhua Liu, Xuebo Zhang, Min Du, Bo Tao, Dacheng National Engineering Research Center for Multimedia Software Institute of Artificial Intelligence School of Computer Science Hubei Key Laboratory of Multimedia and Network Communication Engineering Wuhan University China JD Explore Academy China Research Center for Graphic Communication Printing and Packaging Institute of Artificial Intelligence Wuhan University China Institute of Computing and Intelligence Harbin Institute of Technology China University of Sydney Australia

Token dropping is a recently-proposed strategy to speed up the pretraining of masked language models, such as BERT, by skipping the computation of a subset of the input tokens at several middle layers. It can effectively reduce the training time without degrading much performance on downstream tasks. However, we empirically find that token dropping is prone to a semantic loss problem and falls short in handling semantic-intense tasks (§2). Motivated by this, we propose a simple yet effective semantic-consistent learning method (SCTD) to improve the token dropping. SCTD aims to encourage the model to learn how to preserve the semantic information in the representation space. Extensive experiments on 12 tasks show that, with the help of our SCTD, token dropping can achieve consistent and significant performance gains across all task types and model sizes. More encouragingly, SCTD saves up to 57% of pretraining time and brings up to +1.56% average improvement over the vanilla token dropping. Copyright © 2023, The Authors. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：