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

22nd International Conference on Business Information Systems (BIS)

作者： Veitaite, Ilona Lopata, Audrius Vilnius Univ Kaunas Fac Inst Social Sci & Appl Informat Muitines G 8 LT-44280 Kaunas Lithuania Kaunas Univ Technol Fac Informat Studentu G 50 LT-51368 Kaunas Lithuania

ISBN: (纸本)9783030366919;9783030366902

Transforming and generating models is a meaningful process in Model Driven Engineering (MDE). Theoretical and practical researches for MDE have remarkably progressed recently in managing with the increase of complexity within information systems (IS) during their development and support processes by growing the level of abstraction using different kinds of models as information storage - as knowledge storage of problem domain. As models expand in use for developing systems, the possible transformation among models grows in importance. The main scope of the article is to present transformation algorithm of Unified Modelling Language Use Case model generation from Enterprise Model (EM). The transformation algorithm is presented in details and depicted by steps. The presented generation process steps are illustrated by particular UML Use Case example following the transformation algorithm step by step.

关键词： Problem domain Enterprise modelling Knowledge-based UML IS engineering MDA MDE transformation algorithm

来源：评论

学校读者我要写书评

暂无评论

Improved transformation algorithms for generalized Galois NLFSRs

引用

CRYPTOGRAPHY AND COMMUNICATIONS-DISCRETE-STRUCTURES BOOLEAN FUNCTIONS AND SEQUENCES 2022年第2期14卷 229-258页

作者： Yao, Ge Parampalli, Udaya Univ Melbourne Sch Comp & Informat Syst Melbourne Vic Australia

The transformation algorithm for Nonlinear Feedback Shift Registers (NLFSRs) converts NLFSRs between Fibonacci and Galois configurations. Up to now, three types of Galois NLFSRs namely Type-I, Type-II and Type-III Galois NLFSRs have been discovered to be equivalent to Fibonacci NLFSRs in existing works. However, either no transformation algorithm has been proposed or the proposed algorithm has very high complexity for these Galois NLFSRs. More importantly, the common issue is that the output sequence is assumed to be generated by the first stage of the NLFSR. The sequences generated by other stages are not considered. In this paper, we develop a compensation method to address all these issues. Based on this unified method, we propose Fibonacci-to-Galois and Galois-to-Fibonacci transformation algorithms for the three types of Galois NLFSRs. Moreover, we discover a new type of Galois NLFSRs (Type-IV) that can be transformed to Fibonacci NLFSRs and propose transformation algorithms based on the same compensation method. No matter what the output function is, the output sequences are the same before and after being transformed by any of the proposed transformation algorithms.

关键词： transformation algorithm Galois NLFSR Fibonacci NLFSR Compensation method

来源：评论

学校读者我要写书评

暂无评论

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

引用

Computers, Materials & Continua 2024年第3期78卷 4129-4152页

作者： Xia Li Zhanyou Ma Zhibao Mian Ziyuan Liu Ruiqi Huang Nana He School of Computer Science and Engineering North Minzu UniversityYinchuan750000China School of Computer Science FoSEThe University of HullHullUK

Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property *** there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these *** uncertain environments,agents must make judicious decisions based on subjective *** verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted *** addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)***,we transform the FCTLK model checking problem into the FCTL model *** enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational ***,we present correctness proofs and complexity analyses of the proposed ***,we further illustrate the practical application of our approach through an example of a train control system.

关键词： Model checking multi-agent systems fuzzy epistemic interpreted systems fuzzy computation tree logic transformation algorithm

来源：评论

学校读者我要写书评

暂无评论

The transformation algorithm for Query Mechanisms of Hibernate Framework

The Transformation Algorithm for Query Mechanisms of Hiberna...

引用

Int’l Conference on Advanced Computational Technologies & Creative Media (ICACTCM’2014, Pattaya)

作者： Tisinee Surapunt Chartchai Doungsa-ard the Software Engineering College of Arts Media and TechnologyChiang Mai University

The collaboration work is an important key for working in software engineering *** a team should have developers whom have difference *** achieve goal on time and budget,they should select an appropriate tool which conform to their *** the time consumption for learning and understanding will be ***,some projects are depended on the legacy *** project manager cannot determine the favorite tools and ***,in the study propose a transformation algorithm which can help developers spend less time to get used to with the new *** experiment focused on the query mechanisms of Hibernate *** are variety of query mechanisms which are Criteria API,HQL and Native *** experiment is concerned only Criteria API and HQL which present the ability of conversion *** that,to measure the efficiency and validate of function,the back to back testing is *** retrieved data between both methods have to *** results showed the equivalence queried ***,the transformation algorithm can covert those statements correctly.

关键词： transformation algorithm Hibernate Framework Criteria API HQL

来源：评论

学校读者我要写书评

暂无评论

Problem Domain Example of Knowledge-Based Enterprise Model Usage for Different UML Behavioral Models Generation 24th

Problem Domain Example of Knowledge-Based Enterprise Model U...

引用

24th International Conference on Business Information Systems (BIS)

作者： Veitaite, Ilona Lopata, Audrius Vilnius Univ Kaunas Fac Inst Social Sci & Appl Informat Muitines St 8 LT-44280 Kaunas Lithuania Kaunas Univ Technol Fac Informat Student St 50 LT-51368 Kaunas Lithuania

ISBN: (纸本)9783031042164;9783031042157

The main purpose of this paper is to represent how knowledge-based Enterprise Model (EM) as problem domain data storage may be used in Information Systems (IS) engineering process. Enterprise Meta-Model (EMM) presented more than two decades ago justifies EM structure. EM stores problem domain data gathered by analyst and this EM structure can be used for project models creation in IS design phase. Unified Modeling Language (UML) models are one of the possible models, which can be generated from EM. These models can be generated through transformation algorithms. To present possibility of UML models generation from EM particular problem domain example is defined in this paper. Presented example demonstrates that data stored in EM is enough for different UML models generation and this paper presents that different UML behavioral models can be generated from EM and can illustrate same problem domain from different perspectives.

关键词： IS engineering transformation algorithm Enterprise modeling Knowledge-based UML

来源：评论

学校读者我要写书评

暂无评论

Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems

引用

FUZZY SETS AND SYSTEMS 2024年 485卷

作者： Ma, Zhanyou Li, Xia Liu, Ziyuan Huang, Ruiqi He, Nana North Minzu Univ Sch Comp Sci & Engn Yinchuan 750000 Peoples R China

Effective communication among autonomous agents is crucial for coordination and solving complex tasks within multi-agent systems. To formalize interactions between agents, social accessibility relations are often utilized. Current research employs model checking algorithms to verificate social commitment properties in multi-agent systems. In fuzzy multi-agent systems, direct quantification and computation of commitment attributes pose challenges. This paper introduces an indirect fuzzy model checking algorithm designed to convert social commitments in uncertain scenarios into quantifiable attributes for verification. Firstly, we propose a fuzzy communicative interpreted system model to represent multi-agent systems with uncertain communication. We then improve fuzzy computation tree logic by adding modalities for commitments and fulfillment, resulting in a fuzzy computation tree logic with commitments for describing system properties related to commitments. A fuzzy model checking algorithm is subsequently presented. This algorithm converts the task of model checking fuzzy computation tree logic with commitments based on fuzzy interpreted systems into model checking fuzzy computation tree logic based on fuzzy Kripke structures. We conclude by providing proofs of correctness and complexity analysis of our algorithm. Furthermore, we demonstrate the effectiveness of our approach for model checking social commitments under fuzzy conditions through simulation experiments on an online shopping system.

关键词： Model checking Multi-agent systems Fuzzy communicative interpreted systems Fuzzy computation tree logic transformation algorithm

来源：评论

学校读者我要写书评

暂无评论

Cryptanalysis of the class of maximum period galois NLFSR-based stream ciphers

引用

CRYPTOGRAPHY AND COMMUNICATIONS-DISCRETE-STRUCTURES BOOLEAN FUNCTIONS AND SEQUENCES 2021年第5期13卷 847-864页

作者： Yao, Ge Parampalli, Udaya Univ Melbourne Melbourne Vic Australia China Unicom Res Inst Network & Informat Secur Res Lab Beijing Peoples R China

Espresso cipher is designed targeting 5G wireless communication systems. To achieve high efficiency, a maximum period Galois NLFSR is used as the only building block. The Galois NLFSR is constructed by a scalable method which converts a maximum LFSR to a Galois NLFSR. Based on this method, a new class of stream ciphers, namely maximum period Galois NLFSR-based stream ciphers can be designed. However, we identify a conditional equivalence problem in the design method and adopt the Type-II-to-Fibonacci transformation algorithm. We apply the algorithm to the Espresso cipher and successfully transform the Galois NLFSR to a Fibonacci LFSR with a nonlinear output function. The Espresso cipher is transformed to an LFSR filter generator. We break it by the fast algebraic attack and the Ronjom-Helleseth attack with complexity of 2(68.50) and 2(48.59) logical operations respectively. Moreover, we show that the entire class of maximum period Galois NLFSR-based stream ciphers can be transformed to LFSRs. Therefore, this kind of cipher is always equivalent to an LFSR filter generator. We discuss other related attacks and give suggestions for future design.

关键词： transformation algorithm Espresso cipher LFSR Galois NLFSR Fibonacci NLFSR Algebraic attack

来源：评论

学校读者我要写书评

暂无评论

Nonlinear interdependence of the results of measuring anti-SARS-CoV-2 IgG levels using Abbott and Euroimmun test systems

引用

JOURNAL OF CLINICAL VIROLOGY 2023年第1期164卷 105448-105448页

作者： Ivanov, Andrei Kryshen, Evgeni Semenova, Elena St Petersburg State Univ Hosp 154Fontanka River Embankment St Petersburg 198103 Russia Almazov Natl Med Res Ctr 2 Akkuratova str St Petersburg 197341 Russia North West Ctr Evidence Based Med JSC 28A Pulkovskoe shosse St Petersburg 196247 Russia Kurchatov Inst Petersburg Nucl Phys Inst Konstantinov Natl Res Ctr Gatchina 188300 Russia

Background: There are significant number of tests used to determine the level of antibodies to SARS-CoV-2 which differ both in the methods underlying testing and in the antigenic targets used and classes of measured immunoglobulins. Comparison of the results obtained using various tests reveals their significant discrepancy when converted to the WHO recommended standard unit for measuring the level of specific immunoglobulins BAU/mL. The aim of this study is a comparison of anty-SARS-CoV-2 IgG levels, measured using test systems based on different methodological platforms - EuroImmun assay and Abbott assay. Method: Abbott uses the immunochemiluminescence method CLIA, EuroImmun uses the enzyme immunoassay method ELISA. The dependences of the measurement error on the level of antibodies for the two test systems were approximated by power functions using the least squares method. The nonlinear relation of antibody levels values measured by Abbott assay and Euroimmun assay was approximated by an asymptotic function. Results: The study involved 112 people. Our results confirm the fallacy of using a single conversion coefficient in BAU/mL for anti-SARS-CoV-2 IgG levels measured by Abbott and EuroImmun. To describe the interdependence of anti-SARS-CoV-2 IgG Abbott and EuroImmun levels, we offer the function y = 18/pi arctan(0.0009x) and a calculator that allows to easily recalculate the results obtained using these tests. Conclusion: The non-linear nature of the interdependence of the measured anti-SARS-CoV-2 antibodies levels on the levels magnitude is one of the main reasons for the discrepancy between the tests results when converted to BAU/mL using a single conversion coefficient.

关键词： Abbott assay Anty-SARS-CoV-2 IgG EuroImmun assay transformation algorithm

来源：评论

学校读者我要写书评

暂无评论

Nonlinear Partial Differential Equations in Marine Dynamics

引用

JOURNAL OF COASTAL RESEARCH 2020年第Sup1期112卷 356-358页

作者： Yang, Cuiping Taiyuan Univ Dept Appl Math Taiyuan 030012 Peoples R China

In the development of ocean dynamics, nonlinear partial differential equations have important applications. Dynamic equation can be divided into continuous equation and pulse equation, the general dynamic equation including the form's equation, form equation flushing, jagged periodic impulsive equation, step frequency pulse equation, linear frequency modulation equation, nonlinear frequency modulation, phase coded equation, etc., here introduces commonly used equation of linear frequency modulation, nonlinear frequency modulation, phase coded equation, etc. In order to further improve the processing capacity of the dynamic equation, on the basis of the detailed analysis of the nonlinear partial differential model algorithm, the Mat lab tool was used to realize the simulation verification of the algorithm model. The principles of pulse pressure, MTI, MTD, CFAR, ranging, velocity measurement and Angle measurement were analyzed and elaborated.

关键词： Ocean power transformation algorithm nonlinear partial differential

来源：评论

学校读者我要写书评

暂无评论

Problem Domain Knowledge Driven Generation of UML Models 24th

Problem Domain Knowledge Driven Generation of UML Models

引用

24th International Conference on Information and Software Technologies (ICIST)

作者： Veitaite, Ilona Lopata, Audrius Vilnius Univ Inst Appl Informat Kaunas Fac Kaunas Lithuania

ISBN: (纸本)9783319999722;9783319999715

The main scope of the article is to present how the quality of stored problem domain information in Enterprise model (EM) is significant and important in Unified Modelling Language (UML) models generation process from Enterprise model. The generation process is explained by top-level transformation algorithm, which is presented in details and depicted by using algorithm's step by step description. The importance of information quality and fullness is represented by the example of Business Rule element's, which is stored in Enterprise model, significance for different UML models.

关键词： UML Unified Modelling Language Enterprise model transformation algorithm Knowledge-based IS engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：