检索结果-南通市图书馆

Lower and Upper Fuzzy Topological Subhypergroups

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2013年第2期29卷 315-330页

作者： Irina CRISTEA Jian Ming ZHAN center for systems and information technologies University of Nova Gorica Department of Mathematics Hubei University for Nationalities

This paper provides a new connection between algebraic hyperstructures and fuzzy sets. More specifically, using both properties of fuzzy topological spaces and those of fuzzy subhypergroups, we define the notions of lower （upper） fuzzy topological subhypergroups of a hypergroup endowed with a fuzzy topology. Some results concerning the image and the inverse image of a lower （upper） topological subhypergroup under a very good homomorphism of hypergroups （endowed with fuzzy topologies） are pointed out.

关键词： Hypergroup fuzzy topological space (relatively) fuzzy continuity lower (upper) fuzzytopological subhypergroup

Do Rules and Patterns Affect Design Maintainability?

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2009年第2期24卷 262-272页

作者： Javier Garzás Félix García Mario Piattini Kybele Consulting Madrid Spain Department of Information Technologies and Systems-Escuela Superior de Informáica University of Castilla-La Mancha Alarcos Research Group-Institute of information technologies and systems Department of information technologies and systems-Escuela Superior de Informáica University of Castilla-La Mancha

At the present time, best rules and patterns have reached a zenith in popularity and diffusion, thanks to the software community＇s efforts to discover, classify and spread knowledge concerning all types of rules and patterns. Rules and patterns are useful elements, but many features remain to be studied if we wish to apply them in a rational manner. The improvement in quality that rules and patterns can inject into design is a key issue to be analyzed, so a complete body of empirical knowledge dealing with this is therefore necessary. This paper tackles the question of whether design rules and patterns can help to improve the extent to which designs are easy to understand and modify. An empirical study, composed of one experiment and a replica, was conducted with the aim of validating our conjecture. The results suggest that the use of rules and patterns affect the understandability and modifiability of the design, as the diagrams with rules and patterns are more difficult to understand than non-rule/pattern versions and more effort is required to carry out modifications to designs with rules and patterns.

关键词： design patterns and rules maintainability software quality object-oriented design

Architecture of the Graphics System for Embedded Real-Time Operating systems

在线全文

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2023年第3期28卷 541-551页

作者： Alexander Giatsintov Kirill Mamrosenko Pavel Bazhenov center of Visualization and Sattelite information technologies SRISA RASMoscow 117218Russia

This paper presents a new architecture of a graphics system for microkernel operating systems,including real-time operating *** following major parts of the architecture are presented:a user-level subsystem responsible for interaction with user applications;a bottom-level subsystem providing the functionality for graphics drivers,such as managing graphics output,video memory management,etc.;a kernel-level subsystem providing interaction with the kernel,and performing low-level operations,such as working with physical memory,processes,*** mechanisms of interaction of user applications with the user level of the graphics system,as well as interaction of the different levels of the graphics subsystem are *** paper pays much attention to various approaches to testing:the use of unit testing,testing using hardware and software *** important characteristic of a graphics system is its performance,in particular the performance of low-level operations such as memory allocation:the developed architecture suggests using a separate memory allocator which is faster than standard memory allocation *** of the performances of graphics system implementation for microkernel real-time operating system and graphics server Xorg is presented,showing significant superiority of the proposed architecture in a number of work scenarios.

关键词： operating system graphics system visualization system programming real-time operating system(RTOS) real-time

Safety-Critical Optimal Control for Autonomous systems

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of systems Science & Complexity 2021年第5期34卷 1723-1742页

作者： XIAO Wei CASSANDRAS G.Christos BELTA Calin Division of systems Engineering and center for information and systems Engineering Boston UniversityBrooklineMA 02446USA

This paper presents an overview of the state of the art for safety-critical optimal control of autonomous *** control methods are well studied,but become computationally infeasible for real-time applications when there are multiple hard safety constraints *** guarantee such safety constraints,it has been shown that optimizing quadratic costs while stabilizing affine control systems to desired(sets of)states subject to state and control constraints can be reduced to a sequence of Quadratic Programs(QPs)by using Control Barrier Functions(CBFs)and Control Lyapunov Functions(CLFs).The CBF method is computationally efficient,and can easily guarantee the satisfaction of nonlinear constraints for nonlinear systems,but its wide applicability still faces several ***,safety is hard to guarantee for systems with high relative degree,and the above mentioned QPs can easily be infeasible if tight or time-varying control bounds are *** resulting solution is also sub-optimal due to its myopic solving ***,this method works conditioned on the system dynamics being accurately *** authors discuss recent solutions to these issues and then present a framework that combines Optimal Control with CBFs,hence termed OCBF,to obtain near-optimal solutions while guaranteeing safety constraints even in the presence of noisy *** application of the OCBF approach is included for autonomous vehicles in traffic networks.

关键词： Control barrier function optimal control safety

Improved algorithms to plan missions for agile earth observation satellites

在线全文

学校读者我要写书评

暂无评论

Journal of systems Engineering and Electronics 2014年第5期25卷 811-821页

作者： Huicheng Hao Wei Jiang Yijun Li Research center of information Management and information systems Harbin Institute of Technology School of Engineering Northeast Agricultural University

This study concentrates of the new generation of the agile （AEOS）. AEOS is a key study object on management problems earth observation satellite in many countries because of its many advantages over non-agile satellites. Hence, the mission planning and scheduling of AEOS is a popular research problem. This research investigates AEOS characteristics and establishes a mission planning model based on the working principle and constraints of AEOS as per analysis. To solve the scheduling issue of AEOS, several improved algorithms are developed. Simulation results suggest that these algorithms are effective.

关键词： mission planning immune clone algorithm hybrid genetic algorithm (EA) improved ant colony algorithm general particle swarm optimization (PSO) agile earth observation satellite (AEOS).

Development of A Three-Dimensional Guidance System for Long-Range Maneuvering of A Miniature Autonomous Underwater Vehicle

在线全文

学校读者我要写书评

暂无评论

China Ocean Engineering 2014年第6期28卷 843-856页

作者： Mansour ATAEI Aghil YOUSEFI-KOMA center of Advanced systems & technologies Faculty of Mechanical EngineeringCollege of Engineering University of Tehran

The present paper introduces a three-dimensional guidance system developed for a miniature Autonomous Underwater Vehicle（AUV）. The guidance system determines the best trajectory for the vehicle based on target behavior and vehicle capabilities. The dynamic model of this novel AUV is derived based on its special characteristics such as the horizontal posture and the independent diving mechanism. To design the guidance strategy, the main idea is to select the desired depth, presumed proportional to the horizontal distance of the AUV and the target. By connecting the two with a straight line, this strategy helps the AUV move in a trajectory sufficiently close to this line. The adjacency of the trajectory to the line leads to reasonably short travelling distances and avoids unsafe areas. Autopilots are designed using sliding mode controller. Two different engagement geometries are considered to evaluate the strategy＇s performance： stationary target and moving target. The simulation results show that the strategy can provide sufficiently fast and smooth trajectories in both target situations.

关键词： Autonomous Underwater Vehicle(AUV) Three-Dimensional(3D) guidance system Line-of-Sight(LOS) strategy autopilot sliding mode controller

Controlled mutual quantum entity authentication using entanglement swapping

在线全文

学校读者我要写书评

暂无评论

Chinese Physics B 2015年第9期24卷 116-124页

作者： Min-Sung Kang Chang-Ho Hong Jino Heo Jong-In Lim Hyung-Jin Yang center for information Security technologies (CIST) Korea University Graduate School of information Security Korea University Department of Physics Korea University

In this paper, we suggest a controlled mutual quantum entity authentication protocol by which two users mutually certify each other on a quantum network using a sequence of Greenberger–Horne–Zeilinger（GHZ）-like states. Unlike existing unidirectional quantum entity authentication, our protocol enables mutual quantum entity authentication utilizing entanglement swapping; moreover, it allows the managing trusted center（TC） or trusted third party（TTP） to effectively control the certification of two users using the nature of the GHZ-like state. We will also analyze the security of the protocol and quantum channel.

关键词： quantum authentication quantum cryptography quantum communication GHZ-like state

Bidirectional quantum teleportation of unknown photons using path-polarization intra-particle hybrid entanglement and controlled-unitary gates via cross-Kerr nonlinearity

在线全文

学校读者我要写书评

暂无评论

Chinese Physics B 2015年第5期24卷 210-222页

作者： Jino Heo Chang-Ho Hong Jong-In Lim Hyung-Jin Yang Graduate School of information Security (GSIS) Korea University center for information Security technologies (CIST) Korea University Department of Physics Korea University

We propose an arbitrary controlled-unitary （CU） gate and a bidirectional quantum teleportation （BQTP） scheme. The proposed CU gate utilizes photonic qubits （photons） with cross-Kerr nonlinearities （XKNLs）, X-homodyne detectors, and linear optical elements, and consists of the consecutive operation of a controlled-path （C-path） gate and a gathering-path （G- path） gate. It is almost deterministic and feasible with current technology when a strong coherent state and weak XKNLs are employed. Based on the CU gate, we present a BQTP scheme that simultaneously teleports two unknown photons between distant users by transmitting only one photon in a path-polarization intra-particle hybrid entangled state. Consequently, it is possible to experimentally implement BQTP with a certain success probability using the proposed CU gate.

关键词： cross-Kerr nonlinearity bidirectional quantum teleportation intra-particle hybrid entanglement

Bidirectional transfer of quantum information for unknown photons via cross-Kerr nonlinearity and photon-number-resolving measurement

在线全文

学校读者我要写书评

暂无评论

Chinese Physics B 2016年第2期25卷 82-92页

作者： Jino Heo Chang-Ho Hong Dong-Hoon Lee Hyung-Jin Yang Graduate School of information Security (GSIS) Korea University center for information Security technologies (CIST) Korea University Department of Physics Korea University

We propose an arbitrary controlled-unitary （CU） gate and a bidirectional transfer scheme of quantum information （BTQI） for unknown photons. The proposed CU gate utilizes quantum non-demolition photon-number-resolving measure- ment based on the weak cross-Kerr nonlinearities （XKNLs） and two quantum bus beams; the proposed CU gate consists of consecutive operations of a controlled-path gate and a gathering-path gate. It is almost deterministic and is feasible with current technology when a strong amplitude of the coherent state and weak XKNLs are employed. Compared with the existing optical multi-qubit or controlled gates, which utilize XKNLs and homodyne detectors, the proposed CU gate can increase experimental realization feasibility and enhance robustness against decoherence. According to the CU gate, we present a BTQI scheme in which the two unknown states of photons between two parties （Alice and Bob） are mutually swapped by transferring only a single photon. Consequently, by using the proposed CU gate, it is possible to experimentally implement the BTQI scheme with a certain probability of success.

关键词： cross-Kerr nonlinearity quantum non-demolition photon-number-resolving measurement bidirec-tional transfer of quantum information