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

Direct Model Checking matrix algorithm

Journal of Computer Science & Technology 2006年第6期21卷 944-949页

作者：陶志红 Hans Kleine Buening 王立福 Department of Computer Science and Technology Peking University Beijing 100871 P.R. China Department of Computer Science Paderborn University D-33095 Germany

During the last decade, Model Checking has proven its efficacy and power in circuit design, network protocol analysis and bug hunting. Recent research on automatic verification has shown that no single model-checking technique has the edge over all others in all application areas. So, it is very difficult to determine which technique is the most suitable for a given model. It is thus sensible to apply different techniques to the same model. However, this is a very tedious and time-consuming task, for each algorithm uses its own description language. Applying Model Checking in software design and verification has been proved very difficult. Software architectures （SA） are engineering artifacts that provide high-level and abstract descriptions of complex software systems. In this paper a Direct Model Checking （DMC） method based on Kripke Structure and matrix algorithm is provided. Combined and integrated with domain specific software architecture description languages （ADLs）, DMC can be used for computing consistency and other critical properties.

关键词： direct model checking (DMC) Kripke semantics structure CTL logic matrix algorithm

来源：评论

学校读者我要写书评

暂无评论

matrix algorithm for Distribution Reduction in Inconsistent Ordered Information Systems

Matrix Algorithm for Distribution Reduction in Inconsistent ...

引用

International Joint Conference on Rough Sets (IJCRS)

作者： Zhang, Xiaoyan Wei, Ling Northwest Univ Sch Math Xian 710127 Peoples R China Chongqing Univ Technol Sch Math & Stat Chongqing 400054 Peoples R China

ISBN: (纸本)9783319471600;9783319471594

As one part of some work in ordered information systems, distribution reduction is studied in inconsistent ordered information systems. The dominance matrix is restated for reduction acquisition in dominance relations based on information systems. matrix algorithm is stepped for distribution reduction acquisition. And program is implemented by the algorithm. The approach provides an effective tool to the theoretical research and applications for ordered information systems in practices. Cases about detailed and valid illustrations are employed to explain and verify the algorithm and the program which shows the effectiveness of the algorithm in complicated information systems.

关键词： Dominance matrix Distribution reduction matrix algorithm Ordered information systems Rough set

来源：评论

学校读者我要写书评

暂无评论

Innovative method for creating fitted brassiere wire prototype based on transformation matrix algorithm

引用

JOURNAL OF THE TEXTILE INSTITUTE 2018年第1期109卷 73-78页

作者： Liu, Yu Istook, Cynthia L. Liu, Kaixuan Wang, Jianping Donghua Univ Coll Fash & Design Shanghai Peoples R China Donghua Univ Key Lab Clothing Design & Technol Minist Educ Shanghai Peoples R China North Carolina State Univ Coll Text Raleigh NC USA

It has been difficult to obtain the fitted bra wire shape for women's breasts, since the under breast root shape extracted from 3D bodyscan breast images is three dimensional. A detailed matrix algorithm for the geometric relation is firstly introduced and presented for transferring the 3D bra wire shape to one that is 2D to create a fitted bra underwire shape prototype. In this paper, the under breast root shape was extracted from a medium average avatar, then the curve line was exported as a point format. Points were taken as research subject, then the transformation matrix algorithm was applied to the spatial coordinates of the points to fulfill the transformation. Thereby a detailed program was operated in MATLAB for obtaining the coordinates of points to create the contour for the 2D wire shape. The matrix algorithm method was a useful, simple and straightforward method to implement. In addition, it works well for various kinds of breast shapes.

关键词： Bra wire prototype fitted matrix algorithm transformation

来源：评论

学校读者我要写书评

暂无评论

A FORTRAN PROGRAM FOR DECONVOLUTION ANALYSIS USING THE matrix algorithm METHOD WITH SPECIAL REFERENCE TO RENOGRAPHY

引用

COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE 1987年第2期24卷 107-116页

作者： KEMPI, V SJUKHUSET DEPT RADIOPHYS S-83183 OSTERSUND SWEDEN

A FORTRAN IV program is presented for deconvolution analysis using the matrix algorithm method. With the deconvolution technique retention functions are calculated from time-activity curve data representing both kidneys and blood background. The program computes for each kidney the minimum and maximum time of the retention function. It also calculates the initial amplitudes, absolute, absolute as well as relative, and the mean transit time of the retention functions. The design of the program allows for optional reviews of intermediate outputs at important stages. It also allows for the plotting of conventional time-activity curves of both kidney corrected for blood background. Finally, the program plots the retention functions and some of their characteristics.

关键词： Deconvolution matrix algorithm Radiopharmaceutical Renography

来源：评论

学校读者我要写书评

暂无评论

study of project duration risk in the network diagram based on matrix algorithm

study of project duration risk in the network diagram based ...

引用

2nd International Conference on Civil, Architectural and Hydraulic Engineering (ICCAHE 2013)

作者： Li, Tao Qiu, Wenge Wang, Lichuan Man, Shuai Southwest Jiaotong Univ MOE Key Lab Transportat Tunnel Engn Chengdu 610082 Peoples R China Chengdu Railway Bur Chengdu 610082 Peoples R China

ISBN: (纸本)9783037858578

The probable route sets in the network diagram were calculated by adjacency matrix method, and based on the assumption that activity becoming the key obeyed 0-1 distribution, a probable route matrix was established. A random variable matrix was structed by monte carlo simulation under condition of activity time independent distribution. A matrix algorithm model was built by isolating activity time's impact on activity becoming the key for the first time. This model with a simple and optimal algorithm avoided the computation complexity of network planning time parameter, to evaluate project duration risk rapidly and statistical analyze the probability of activity becoming the key and the influence degree of activity time fluctuation impacting on project duration, providing theoretical and data support for decisions. Empirical research on a tunnel engineering project verified its practicability and feasibility, providing a new powerful tool for assessing project duration risk in the network diagram quickly.

关键词： adjacency matrix method matrix algorithm network diagram monte carlo simulation key activity critical path duration risk assessment

来源：评论

学校读者我要写书评

暂无评论

An improved FTU-based matrix algorithm for fault locating in distribution network

引用

3rd International Conference on Machinery Electronics and Control Engineering (ICMECE 2013)

作者： Shi, Tingting Sun, Ming Wang, Lei Hefei Univ Technol Sch Elect Engn Hefei 230009 Peoples R China

ISBN: (纸本)9783037859032

An improved FTU-based matrix algorithm is presented for faults locating in complex distribution networks with multiple source multiple and faults. Firstly, the paper supposes the only power source and the positive direction according to the structural characteristics of the distribution system, and build the description matrix D which is based on the positive direction and the relevancy between different feeders. Based on the fault current's direction sent from the feeder terminal unit(FTU), we can set up the fault information vector F. Secondly, combined with the description matrix D, by searching the nonzero elements in the fault information vector F, we can establish the fault location vector L according to the fault locating criterion. Finally, by observing the elements in fault location vector L, we can find out the fault area location quickly. This algorithm can solve the problems of feeder terminal fault, circle net fault and multiple source multiple fault, all of which cannot be solved by other algorithm completely. And this method needs not matrix multiply or standardization. It's easy to build the description matrix D, which is very sparse and has good real-time and practicality. The criterion of this algorithm is proved to be effective by simulation in MATLAB environment.

关键词： distribution network feeder terminal unit (FTU) matrix algorithm fault location

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of matrix algorithm for Fault Location in Transmission and Distribution Network

Design and Implementation of Matrix Algorithm for Fault Loca...

引用

2024 International Conference on Telecommunications and Power Electronics, TELEPE 2024

作者： Sun, Yin Xu, Junhan Zhang, Xiang Zhenjiang Power Supply Branch of State Grid Jiangsu Electric Power Co. Ltd Jiangsu Zhenjiang212000 China

ISBN: (纸本)9798350369212

The purpose of this study is to discuss the design and implementation of matrix algorithm for transmission and distribution network (TDN) fault location. Traditional fault location methods have some problems, such as low positioning accuracy, slow speed and sensitivity to noise and interference, which limit the safe and stable operation of TDN. In order to solve these problems, a fault location method based on matrix decomposition and pattern recognition is proposed. Firstly, the paper introduces the basic principles and advantages of matrix decomposition and pattern recognition technology in fault location. Then, a fault location algorithm based on matrix decomposition and pattern recognition is designed, and it is implemented and optimized in detail. Then, a simulation experiment is carried out to simulate different types and locations of faults, and the performance of the algorithm in positioning accuracy, speed, robustness and real-time performance is analyzed. The experimental results show that the fault location method based on matrix decomposition and pattern recognition is superior to the traditional method in positioning accuracy and speed, and has good robustness and practicability. This study provides effective technical support for the safe operation of TDN, and has certain theoretical and practical value. © 2024 IEEE.

关键词： fault location matrix algorithm transmission and distribution network

来源：评论

学校读者我要写书评

暂无评论

The Transient Performance- Evaluation Model for Desalination of Seawater Based on matrix algorithm - a Requirement for a Ported Arabic Smart City

引用

JOURNAL OF TESTING AND EVALUATION 2022年第3期51卷 1830-1838页

作者： Liu, Jingrui Pan, Dongyang Xinyang Vocat & Tech Coll 48 24th St Yangshan New Area Xinyang 464000 Peoples R China

Based on the transient performance model for desalination of seawater based on the matrix algorithm, the desalination device is designed according to the evaporation condensation mechanism of falling film in horizontal tube, and its structure operation and operation principle are analyzed. Then, the differential equation of the transient heat-conduction problem of the seawater desalination device is constructed. On the basis of experimental data or numerical calculation results, the temperature field of structure at some time is selected to form the snapshots matrix, and a set of optimal eigenorthogonal decomposition bases is obtained by eigenorthogonal decomposition of the snapshots matrix. Finally, the finite-element discrete scheme of the nonlinear transient heat-conduction problem is reduced by using eigenorthogonal decomposition bases of the linear problem, and the lower-order ordinary differential equations of the reduced-order model for the nonlinear transient heat-conduction problem of the seawater desalination device are obtained. The ordinary differential equations of the reduced-order model are solved by solving the ordinary differential equations of the reduced-order model. The distribution of the temperature field at each time of the structure is obtained. The performance of the model is verified by numerical examples under the conditions of two-stage temperature-difference heating and only the top-level heating. The results show that the model has good accuracy and efficiency.

关键词： matrix algorithm seawater desalination transient performance heat conduction eigenorthogonal decomposition

来源：评论

学校读者我要写书评

暂无评论

Island Partition of Distribution Network with Distributed Generations Based on matrix algorithm 2

Island Partition of Distribution Network with Distributed Ge...

引用

2nd IEEE Conference on Energy Internet and Energy System Integration (EI2)

作者： Yao Yuhai Wang Wenshan Qi Weiqiang Ren Zhigang State Grid Beijing Elect Res Inst Beijing 100075 Peoples R China

ISBN: (纸本)9781538685495

To improve the distribution network reliability with distributed generation (DG) under fault conditions, Islanding operation has become an important operation mode. This paper proposes a matrix algorithm for island partition of distribution network. Aiming at characteristics of distribution network and demand of island partition, this paper presents two objective functions which are the average number of layer and the average number of degree. This paper expounds in detail determination methods of node and branch priority level. Base on all above, the matrix algorithm can take tie switch, load importance, load controllability, node layer, node degree and load capacity into account. Finally the analysis case shows that the proposed method can effectively solve the issue of power island partition of distribution network and has practical value.

关键词： matrix algorithm the average number of layer the average number of degree node priority level branch priority level

来源：评论

学校读者我要写书评

暂无评论

Fault Localization in Digital Power Distribution Networks Using a Chaotic Binary Particle Swarm Optimization-Enhanced matrix algorithm

引用

JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING 2024年第1期2024卷

作者： Wan, Li Cheng, Wenzhi Hunan Univ Sci & Engn Sch Informat Engn Yongzhou 425199 Peoples R China

As digital distribution networks grow in complexity, ensuring efficient fault localization has become critical for reliable power delivery. This paper introduces a novel fault localization method that synergistically combines a matrix algorithm with a chaotic binary particle swarm optimization (CBPSO) algorithm. The matrix algorithm initially identifies faulty network segments and verifies alarm data integrity using a causal correlation matrix. To address instances where alarm data distortion prevents accurate localization, the CBPSO algorithm is employed to refine fault identification, leveraging its chaotic mapping to enhance global search capabilities and prevent premature convergence. Simulation tests conducted on IEEE33 and IEEE123 node systems under various fault scenarios demonstrate the proposed method's effectiveness. The results highlight a 100% fault localization accuracy, significant dimensionality reduction in the solution space, and faster computation compared to existing methods. This work contributes a robust and efficient solution for fault localization in digital distribution networks, advancing smart grid fault management technologies.

关键词： chaotic binary particle swarm optimization chaotic mapping digital distribution network fault location matrix algorithm

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：