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

Abstraction and Empty Process in Process Algebra

Fundamenta Informaticae 1989年第2期12卷 221-241页

作者： Baeten, J.C.M. Van Glabbeek, R.J. Programming Research Group University of Amsterdam P.O. Box 41882 1009 DB Amsterdam The Netherlands Dept. of Software Technology Centre for Mathematics and Computer Science P.O. Box 4079 1009 AB Amsterdam The Netherlands

In this paper, we combine the hidden step η of the authors’ paper [2] with the empty process ε of VRANCKEN [12] and the authors’ [3]. We formulate a system ACPc, which is a conservative extension of the systems ACPη, ACP√, but also of ACPτ. This is a general system, in which most relevant issues can be discussed. Abstraction from internal steps can be achieved in two ways, in two stages: we can abstract to the hidden step η, and then from η to Milner’s silent step τ.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Parameters Extraction of Pseudo-Code PM Combined with SFM Signal Based on QMFBT Techniques

Parameters Extraction of Pseudo-Code PM Combined with SFM Si...

引用

International Conference on Multimedia technology

作者： Jing Liu Hui-chang Zhao Shu-ning Zhang Department of Electronic Engineering and Optoelectronic Technology Nanjing University of Science and Technology of PLA Nanjing China Institute for System Programming Russian Academy of Sciences Moscow Russia Computational Math and Cybernetics Dept. Moscow State University Moscow Russia

To extract feature parameters of Pseudo-code binary phase modulation combined with sine frequency modulation continuous wave(PRBC-SFMCW), the linear decomposition techniques using Quadrature Mirror Filter Bank Tree (QMFBT) is adopted. With this method, the intercepted signal is decomposed and analyzed by QMFBT. Then according to the feature of PRBC-SFMCW signal contained in different time-frequency layers the algorithm of feature parameter extraction on an appropriate time-frequency layer is presented. The analysis and simulation results show that the SNR of PRBC-SFMCW signal is improved after decomposition. At the same time, the across section disappear and parameters can be estimated accurately in a low SNR condition.

关键词： Frequency modulation Time frequency analysis Feature extraction Filter bank Signal resolution Signal to noise ratio Parameter extraction

来源：评论

学校读者我要写书评

暂无评论

Algebraic models of application of computer systems and information technologies

Algebraic models of application of computer systems and info...

引用

IEEE International Scientific Conference on Informatics

作者： Volodymyr Ovsyak Oleksandr Ovsyak Dmytro Bui Julia Petruszka Dept. Application of Informatics Kielce University of Technology Kielce Poland Dept. Kino and Arts National University of Culture and Arts L'viv Ukraine Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv Kyiv Ukraine Dept. Automatic and Information Technology Ukrainian University of Printing L'viv Ukraine

The mathematical models of diagrams of using cases of computer systems and information technologies (for Microsoft Visual *** platform) are built in the forms of Glushkov's algorithmic algebra systems, Zeitlin-Pogorilyi's modified algorithmic algebra systems, modified algorithmic algebras and primitive program algebras (PPA), which is an example of programing algebra class of composite type. Property of monotonicity and continuity is established for the branching operation of PPA as the corollary of the representation of branching operation in terms of set-theoretic constructions of function restriction over set using the properties of monotonicity and distributivity of function restriction and whole image of set with respect to binary relation.

关键词： Algebra Unified modeling language Computational modeling Computers Information technology Mathematical model Visualization

来源：评论

学校读者我要写书评

暂无评论

Developing Flexible Manufacture Cell in University industrial Park and its Modeling

Developing Flexible Manufacture Cell in University industria...

引用

International Russian Automation Conference (RusAutoCon)

作者： Javanshir Mammadov Khurban Abdullayev Ilgar Aliyev Tarana Safarova Dept. of Process Automation Sumgayit State University Sumgayit Azerbaijan Dept. of Metrology and Standardization Sumgayit State University Sumgayit Azerbaijan Dept. of Electromechanic Azerbaijan State Oil Industrial University Sumgayit Azerbaijan Dept. of Information Technology and Programming Sumgayit State University Sumgayit Azerbaijan

A scheme of a flexible manufacture cell (FMC) with the placement of mechanical equipment (by the example of Sumgayit State University) for manufacturing mechatronic elements of innovative projects in the industrial park of the university has been proposed. When creating a flexible manufacture cell in the university's industrial park, the authors carried out scientific research on the planning of technological processes and the kinematic analysis of a crane-manipulator in a flexible manufacture cell using an algorithm for modeling logical predicates. Based on the three-dimensional kinematic diagram of the crane-manipulator, its linear motion path with generalized coordinates for servicing 4 mechanical machines was determined. For functional modeling of FMC based on the graph theory of a Petri net, the actions of this object were studied and a graph-scheme of functional modeling of a lathe module in FMC was constructed. The authors determined the addressing parameters in the structure of FMC for the implementation of joint management of the network of the technological process under study.

关键词： Automation Manipulators Petri nets Kinematics Trajectory Education Automata

来源：评论

学校读者我要写书评

暂无评论

Method for rules set forming of cyber incidents extrapolation in network-centric monitoring

Method for rules set forming of cyber incidents extrapolatio...

引用

International Scientific-Practical Conference Problems of Infocommunications Science and technology

作者： Zhengbing Hu Andrii Gizun Viktor Gnatyuk Vitalii Kotelianets Tetiana Zhyrova School of Educational Information Technology Central China Normal University Wuhan China IT-Security Academic Dept National Aviation University Kyiv Ukraine Kyiv College of Communication Cycle Commission of Mathematics Modeling and Programming Kyiv Ukraine

ISBN: (纸本)9781538609842

Cyber incidents can disrupt regular mode of information and telecommunication systems functioning and to cause the substantial material and image losses for the company. One of the approaches in incident management is the use of the theory of network-centric management for cyber incidents monitoring, but is not formalized stage of forming basic rules set. In this regard, in this work developed the method for rules set forming of cyber incidents extrapolation in network-centric monitoring, which allows to automate and increase accuracy operation of network-centric systems for information and telecommunication systems monitoring by determining possible types of cyber attacks and cyber incidents categories, forming vector-matrix of cyber incidents probability, cyber incidents ranging by their importance and determining limit values of probability, forming cyber incidents possibility indicators, and also development and establishment of cyber incidents extrapolation rules.

关键词： Computer security Information technology Computer networks Conferences

来源：评论

学校读者我要写书评

暂无评论

Turbo coded signals over wireless local loop environment

AEU-Archiv fur Elektronik und Ubertragungstechnik

引用

AEU-Archiv fur Elektronik und Ubertragungstechnik 2002年第3期56卷 163-168页

作者： Uan, Osman Nuri Osman, Onur Paker, Seluk Istanbul University Fac. of Eng. Elec. and Electronics Eng. Dept. 34850 Avcilar Istanbul Turkey Yeditepe University Vocational School ForHigher Education Computer Technology and Programming Dept. 81110 Kayisdag Istanbul Turkey Istanbul Technical University Electronicsand Communication Dept. Maslak Istanbul Turkey

In this paper, the performance of turbo coded signals are investigated over Wireless Local Loop (WLL) environment with no side information on the phase noise and no channel state information (CSI). We assume that the transmitter and the receiver are point-to-point microwave links, separated by WLL which is modelled as 1+Dn/Partial Response Microwave Channel (PMRC) with realizable and practical medium parameters. Here, the combined effects of the nonideal coherent receiver on the phase of the received amplitude and of a noisy carrier reference are considered, each modelled by the Rayleigh and Tikhonov distributions respectively. As an example, the jitter performance of turbo coded signals are evaluated over 1+D/PRMC with effective signal-to-noise ratio in the carrier tracking loop, fading parameter, iteration number and frame data block size. The numerical results clearly demonstrate the error performance degradation due to both amplitude fading and phase noise process.

关键词： Turbo codes

来源：评论

学校读者我要写书评

暂无评论

Foundations of Intelligent Systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Troels Andreasen Henning Christiansen Juan-Carlos Cubero Zbigniew W. Raś

ISBN: (数字)9783319083261

ISBN: (纸本)9783319083254

This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on complex networks and data stream mining; data mining methods; intelligent systems applications; knowledge representation in databases and systems; textual data analysis and mining; special session: challenges in text mining and semantic information retrieval; special session: warehousing and OLAPing complex, spatial and spatio-temporal data; ISMIS posters.

关键词： Artificial Intelligence Data Mining and Knowledge Discovery Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction

来源：评论

学校读者我要写书评

暂无评论

Managed Software Evolution 1

引用

1000年

作者： Ralf Reussner Jan Keim Michael Goedicke Wilhelm Hasselbring Birgit Vogel-Heuser Lukas Märtin

ISBN: (数字)9783030134990

ISBN: (纸本)9783030134983;9783030135010

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process.;Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.;The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a c

关键词： Software Engineering Software Management Management of Computing and Information Systems Theory of Computation

来源：评论

学校读者我要写书评

暂无评论

Collaborative Filtering Method with the use of Production Rules

Collaborative Filtering Method with the use of Production Ru...

引用

International Conference on Computational Intelligence and Knowledge Economy (ICCIKE)

作者： Amin Salih Mohammed Yelyzaveta Meleshko Saravana Balaji B Semenov Serhii Dept of Computer Engineering Lebanese French University Salahaddin University Erbil KR-Iraq Dept of Cyber Security & Software Central Ukrainian National Technical University Kropyvnytskyi Ukraine Dept of Information Technology Lebanese French University Erbil KR-Iraq Dept of Computer Science and Programming National Technical University (Kharkiv Polytechnic Institute) Ukraine

ISBN: (数字)9781728137780

ISBN: (纸本)9781728137797

this paper proposes a new collaborative filtering method with the calculation of unknown similarity coefficients between users via the application of production rules, which aims to improve the work quality of recommendation systems, to develop of production rules for the developed system. The methods used are: graph theory, the theory of algorithms, mathematical statistics, object-oriented programming, and fuzzy logic. The developed systems are new collaborative filtering method with the definition of unknown similarity coefficients between users through the application of production rules was developed, software for the implementation and testing of this method was developed, experiments on the developed software was conducted. The production rules to determine unknown similarity coefficients in recommendation systems was proposed. The new method of collaborative filtering with the application of production rules has been developed to find unknown similarity coefficients between users that may be possibly used to improve the work quality of the recommendation system. The conducted experiments showed that the developed method enhances the quality indicators of the recommendation system, such as item space coverage and the total number of predicted preferences of users.

关键词： Collaboration Production Information filters Computational intelligence Software

来源：评论

学校读者我要写书评

暂无评论

Quality of life during the Pandemic: A cross sectional study about Attitude, Individual perspective and behavior change affecting general population in daily life 6

Quality of life during the Pandemic: A cross sectional study...

引用

6th Smart Cities Symposium, SCS 2022

作者： Khatoon, Fahmida Kumar, Manish Khalid, Ayesha Akbar Alshammari, Amal Daher Khan, Farida Alshammari, Rashid D. Balouch, Zahid Verma, Deepmala Mishra, Pradeep Abotaleb, Mostafa Makarovskikh, Tatiana El-Kenawy, El-Sayed M. Dutta, P.K. Marques, Joao Alexandre Biochemistry Department College of Medicine University of Hail Saudi Arabia Department of Zoology Narain College Shikohabad India Queen Elizabeth the Queen Mother Hospital East Kent NHS Foundation Trust Margate United Kingdom Dept. of Public Health Community Medicine in College of Medicine Princess Nourah Bint Abdul Rahman University Saudi Arabia Sulaiman Al-Rajhi University Saudi Arabia Department of Community Medicine Community Medicine Hail University Saudi Arabia United Medical College Jinnah University Pakistan Department of Zoology SS Jain Subodh Autonomous College Raj Jaipur India J.N.K.V.V. College of Agriculture M.P. Powarkheda India Department of System Programming South Ural State University Chelyabinsk454080 Russia Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Mansoura Egypt School of Engineering and Technology Amity University West Bengal Kolkata India Laboratory of Applied Neurosciences - LAN/USJ University of Saint Joseph China

ISBN: (纸本)9781839538544

Quality of life in general population before and during pandemic is topic need to be address by researcher in terms of mobility, self-care, usual activities, pain/discomfort and anxiety/depression. The study was carried out among Saudi population. Data were collected from general population using questionnaire during the period from 22 August 2021 to 10th January 2022. As a result, total 214 participants have included in this study. Among them prevalent age group include 40 years (n= 63, 29.4%) shadowed by the age group 25-35 (n= 61, 28.5%) while above 60 years group were least frequent (n= 1, 0.5%). On questioning the applicants whether they were satisfied with their health and how would they rate their quality of life, their answers were as follows: yes, or satisfied (n= 86, 40.2%), very Satisfied (n= 102, 47.7%) Dissatisfied (n= 11, 5.1%) and neither satisfied nor dissatisfied (n= 15, 7%). Due to pandemic, they were rate quality of life very good (n= 94, 43.9%), good (n= 63, 29.4 %) poor (n= 5, 2.3 %) and neither good and nor poor (n= 52, 24.3 %). During pandemic 96 participants feel no change in their weight but 110 participants respond that there is increase in coffee intake during the pandemic. Similarly increased in smoking habits and decrease rate in social activities (n=119,41.4%). The psychosomatic well-being of people has been interrupted by disturbing their social activities during pandemic. © 2022 IET Conference Proceedings. All rights reserved.

关键词： SARS

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：