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

International Conference on Information Management, Innovation Management and Industrial Engineering, ICIII

作者： Li, Xufeng Peng, Huatao Department of Development Programming Wuhan University of Technology Wuhan China Management School Wuhan University of Technology Wuhan China

ISBN: (纸本)9780769542799

The construction and development of "two-oriented society" in Wuhan city circle should be combined with the development of colleges and universities in the region. It's necessary to update the concept and evaluate the development status and problems existing in the interaction between urban communities and universities. It's recommended that the winwin situation, interactive and common development concept and strategies should be established to ensure the healthy and sustainable development of both sides. On the basis of investigation, the following suggestions are derived: 1) direct and coordinate the development of both sides based on the principle of interaction and win-win situation 2) strengthen the cultural interaction and focus on building the harmonious culture of city circle;3) establish the "two-oriented society" subjects and cultivate the innovative talents;4) reform and explore the forms and approaches of social service for universities;5)establish the appropriate management mechanisms, including interaction base, resource-sharing mechanism, and so on. © 2010 IEEE.

关键词： Planning

来源：评论

学校读者我要写书评

暂无评论

Bi-level programming for Stackelberg Game with Intuitionistic Fuzzy Number: a Ranking Approach

引用

Journal of the Operations Research Society of China 2021年第1期9卷 131-149页

作者： Sumit Kumar Maiti Sankar Kumar Roy School of Applied Sciences and Humanities Haldia Institute of TechnologyPurba MidnaporeWB 721657India Department of Applied Mathematics with Oceanology and Computer ProgrammingVidyasagar UniversityMidnaporeWB 721102India

This paper introduces a ranking function procedure on a bi-level programming for Stackelberg game involving intuitionistic fuzzy *** fuzzy num-ber is considered in many real-life situations,so it makes perfect sense to address decision-making problem by using some specified intuitionistic fuzzy *** this paper,intuitionistic fuzziness is characterized by a normal generalized triangular intuitionistic fuzzy number.A defuzzification method is introduced based on the pro-portional probability density function associated with the corresponding membership function,as well as the complement of non-membership *** the proposed ranking technique,a methodology is presented for solving bi-level programming for Stackelberg *** application example is provided to demonstrate the applica-bility of the proposed methodology,and the achieved results are compared with the existing methods.

关键词： Bi-levelprogramming Triangular intuitionistic fuzz ynumber Ranking function Nonlinear programming Optimal solution

来源：评论

学校读者我要写书评

暂无评论

Cyclic Quasi-Orthogonal Matrices in Image and Signal Encoding

Cyclic Quasi-Orthogonal Matrices in Image and Signal Encodin...

引用

2022 International Conference on Information Science and Communications Technologies, ICISCT 2022

作者： Alexandr, Sergeev Saint Petersburg State University of Aerospace Instrumentation Department of Computer Technology and Programming Saint Petersburg Russia

ISBN: (纸本)9781665472296

orthogonal and quasi-orthogonal matrices with a limited number of element values and structured in some way are of considerable interest for many technical applications related to image processing and signal coding. The paper classifies and considers cyclic matrices and matrices with cyclic blocks. Descriptions of noise-resistant encoding methods of images and their protective masking using such matrices are given. Based on the analysis of the autocorrelation functions of new code sequences obtained from strings of modified cyclic quasi-orthogonal matrices and the simulation performed, numerical values of the quality parameters of the new code sequences are given. It is shown that their application makes it possible to reduce the maximum level of the side lobe of the aperiodic autocorrelation function, which allows us to conclude that their application is promising and that signal coding algorithms can be revised. © 2022 IEEE.

关键词： Signal encoding

来源：评论

学校读者我要写书评

暂无评论

On optimising shape-generic array programs using symbolic structural information

引用

18th International Symposium on Implementation and Application of Functional Languages, IFL 2006

作者： Trojahner, Kai Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages University of Hertfordshire Department of Computer Science

ISBN: (纸本)9783540741299

Shape-generic programming and high run time performance do match if generic source code is systematically specialised into nongeneric executable code. However, as soon as we drop the assumption of whole-world knowledge or refrain from specialisation for other reasons, compiled generic code is substantially less efficient. Limited effectiveness of code optimisation techniques due to the inherent lack of knowledge about the structural properties of arrays can be identified as the single most important source of inefficiency. However, in many cases partial structural information or structural relationships between arrays would actually suffice for optimisation. We propose symbolic array attributes as a uniform scheme to infer and to represent partial and relational structural information in shape-generic array code. By reusing the regular language to express structural properties in intermediate code, existing optimisations benefit from symbolic array attributes with little or no alteration. In fact, program optimisation and identification of structural properties cross-fertilise each other. We outline our approach in the context of the functional array language SAC and demonstrate its effectiveness by a small case study. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Information analysis

来源：评论

学校读者我要写书评

暂无评论

Ensuring the reliability of remote online monitoring systems

Ensuring the reliability of remote online monitoring systems

引用

2022 International Conference on Information Science and Communications Technologies, ICISCT 2022

作者： Alexandr, Sergeev Mikhail, Sergeev Saint Petersburg State University of Aerospace Instrumentation Department of Computer Technology and Programming Saint Petersburg Russia

ISBN: (纸本)9781665472296

the issue of ensuring the reliability of the functioning of global systems of remote online monitoring of the condition of patients is considered. Remote monitoring is in demand when supervision the health status of disabled people with cardiovascular diseases, pregnant women and children. It is especially in demand in the context of a pandemic and the accompanying restrictions on movement. Monitoring is carried out 'transparently' for the patient, without involving him in the subtleties of the process of interaction with a medical institution, ensuring the preservation of his mobility due to the proposed concept of implementing a wearable online monitor device. The procedures of the online monitor initialization and distribution of functions in it are considered. Threats to the normal functioning of distributed systems with online monitors are presented, including existing problems of a general nature related mainly to global communications. Solutions are offered to ensure reliable operation of wearable devices as part of online monitors. © 2022 IEEE.

关键词： Reliability

来源：评论

学校读者我要写书评

暂无评论

Boolean differential calculus

Boolean differential calculus

引用

作者： Steinbach, Bernd Posthoff, Christian Department of Computer Science Software Engineering and Programming Freiberg University of Mining and Technology Germany

ISBN: (纸本)9781608451821

Boolean Differential Calculus (BDC) extends Boolean *** Boolean algebra is focused on values of logic functions,BDC allows the evaluation of changes of the function values. Such changes can be investigated between certain pairs of function values as well as regarding whole subspaces. Due to the same basic data structures, BDC can be applied to any task described by logic functions and equations together with the Boolean *** used is BDC in analysis, synthesis, and testing of digital circuits. In this chapter, we introduce basic definitions of BDC together with some typical applications.

关键词： Differentiation (calculus)

来源：评论

学校读者我要写书评

暂无评论

Reliable Code Generation and Test Environment demonstrated on a PI-Controller Design

引用

IFAC-PapersOnLine 2016年第3期49卷 465-470页

作者： Schwarz, M.H. Sheng, H. Üstoglu, I. Chabaan, W. Börcsök, J. Safety Computer Technology University of Kassel Germany Control and Automation Engineering Department Yildiz Technical University Istanbul Turkey Computer Architecture and System Programming University of Kassel Germany

This paper focuses on the latest version of a tool developed within the department to guide developer through the various steps of requirements, test-procedures and documentations to finally download the derived algorithm on a safety programmable logic controller (PLC). Requirements on how to develop and how to test software are steadily increasing due to international standards, which have to be obeyed in industries in general, and in the process- and automation industries in particular. A simple model is derived to be used to develop a PI controller that has to pass several steps to be qualified for execution on a PLC. The paper explains the different steps and describes the various problems that might occur. © 2016

关键词： Controllers Accident prevention Reliability Software testing Automated code generation Automation industry International standards P i controller designs PI control Programmable Logic Controller (PLC) Simple modeling Test Environment

来源：评论

学校读者我要写书评

暂无评论

Embeddable framework for syntax-safe source code generation

Embeddable framework for syntax-safe source code generation

引用

Joint International Conference on Human-Centered Computer Environments, HCCE 2012

作者： Kotelnikov, Evgenii Department of Programming Technology Faculty of Applied Mathematics and Control Processes St. Petersburg State University Russia

ISBN: (纸本)9781450311915

Source code generation is an essential part of wide range of applications, including transcompilers, parser generators and preprocessors. The common technology based on code templates is often cumbersome and error-prone. This paper introduces syngen1, an automatic tool, written in Scheme, designed to produce frameworks for building syntactically correct fragments of source code. Copyright 2012 ACM.

关键词： Context free grammars

来源：评论

学校读者我要写书评

暂无评论

A proof dedicated meta-language

A proof dedicated meta-language

引用

LFM 2002 International Workshop on Logical Frameworks and Meta-Languages (FLoC Satellite Event)

作者： Delahaye, David Programming Logic Group Department of Computing Science Chalmers University of Technology S-412 96 Gothenburg Sweden

We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local automations. Ltac, is essentially a small functional core with recursors and powerful pattern-matching operators for Coq terms but also for proof contexts. As Ltac, is not complete, we describe an interface between Ltac, and the full programmable meta-language of the system (Objective CAML), which is also the implementation language. This interface is based on a quotation system where we can use Ltac,'s syntax in ML files, and where it is possible to insert ML code in Ltac, scripts by means of antiquotations. In that way, the two meta-languages are not opposed and we give an example where they fairly cooperate. Thus, this shows that a LCF-like system with a two-level meta-language is completely realistic. © 2002 Published by Elsevier Science B. V.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Lambda lifting: Transforming programs to recursive equations 2nd

引用

2nd International Conference on Functional programming Languages and Computer Architecture, 1985

作者： Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden

ISBN: (纸本)9783540159759

Lambda lifting is a technique for transforming a functional program with local function definitions, possibly with free variables in the function definitions, into a program consisting only of global function (combinator) definitions which will be used as rewrite rules. Different ways of doing lambda lifting are presented, as well as reasons for rejecting or selecting the method used in our Lazy ML compiler. A functional program implementing the chosen algorithm is given. © 1985, Springer-Verlag.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：