Domain-specific modeling and verification for C4ISR capability requirements

An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defined according to the meta-model of DoD Architecture Framework.The meta-ontology is used for extending UML Profile so that the domain experts can model the C4ISR domains using the C4ISR capability meta-concepts to define a domain-specific modeling language.The domain models can be then checked to guarantee the consistency and completeness through converting the UML models into the Description Logic ontology and making use of inference engine Pellet to verify the ontology.

Multimodel-based flight control system reconfiguration control in the presence of input constraints

In this paper,an active fault accommodate strategy is proposed for the plant in the presence of actuator fault and input constraints,which is a combination of a direct adaptive control algorithm with multiple model switching.The μ-modification is introduced in the model reference architecture to construct the adaptive controller.The proof of stability is based on the candidate Lyapunov function,while appropriate switching of multiple models guarantees asymptotic tracking of the system states and the boundedness of all signals.Simulation results illustrate the efficiency of the proposed method.

Multi-objective planning model for simultaneous reconfiguration of power distribution network and allocation of renewable energy resources and capacitors with considering uncertainties

This research develops a comprehensive method to solve a combinatorial problem consisting of distribution system reconfiguration, capacitor allocation, and renewable energy resources sizing and siting simultaneously and to improve power system's accountability and system performance parameters. Due to finding solution which is closer to realistic characteristics, load forecasting, market price errors and the uncertainties related to the variable output power of wind based DG units are put in consideration. This work employs NSGA-II accompanied by the fuzzy set theory to solve the aforementioned multi-objective problem. The proposed scheme finally leads to a solution with a minimum voltage deviation, a maximum voltage stability, lower amount of pollutant and lower cost. The cost includes the installation costs of new equipment, reconfiguration costs, power loss cost, reliability cost, cost of energy purchased from power market, upgrade costs of lines and operation and maintenance costs of DGs. Therefore, the proposed methodology improves power quality, reliability and security in lower costs besides its preserve, with the operational indices of power distribution networks in acceptable level. To validate the proposed methodology's usefulness, it was applied on the IEEE 33-bus distribution system then the outcomes were compared with initial configuration.

Fixed-Time Sliding Mode Control With Varying Exponent Coefficient for Modular Reconfigurable Flight Arrays

The modular system can change its physical structure by self-assembly and self-disassembly between modules to dynamically adapt to task and environmental requirements. Recognizing the adaptive capability of modular systems, we introduce a modular reconfigurable flight array(MRFA) to pursue a multifunction aircraft fitting for diverse tasks and requirements,and investigate the attitude control and the control allocation problem by using the modular reconfigurable flight array as a platform. First, considering the variable and irregular topological configuration of the modular array, a center-of-mass-independent flight array dynamics model is proposed to allow control allocation under over-actuated situations. Secondly, in order to meet the stable, fast and accurate attitude tracking performance of the MRFA, a fixed-time convergent sliding mode controller with state-dependent variable exponent coefficients is proposed to ensure fast convergence rate both away from and near the system equilibrium point without encountering the singularity. It is shown that the controller also has fixed-time convergent characteristics even in the presence of external disturbances. Finally,simulation results are provided to demonstrate the effectiveness of the proposed modeling and control strategies.

Energy-efficient joint UAV secure communication and 3D trajectory optimization assisted by reconfigurable intelligent surfaces in the presence of eavesdroppers

We consider a scenario where an unmanned aerial vehicle(UAV),a typical unmanned aerial system(UAS),transmits confidential data to a moving ground target in the presence of multiple eavesdroppers.Multiple friendly reconfigurable intelligent surfaces(RISs) help to secure the UAV-target communication and improve the energy efficiency of the UAV.We formulate an optimization problem to minimize the energy consumption of the UAV,subject to the mobility constraint of the UAV and that the achievable secrecy rate at the target is over a given threshold.We present an online planning method following the framework of model predictive control(MPC) to jointly optimize the motion of the UAV and the configurations of the RISs.The effectiveness of the proposed method is validated via computer simulations.

Influence of Software Modeling and Design on Domain-Specific Abstract Thinking: Student’s Perspective

Software engineering has been taught at many institutions as individual course for many years. Recently, many higher education institutions offer a BSc degree in Software Engineering. Software engineers are required, especially at the small enterprises, to play many roles, and sometimes simultaneously. Beside the technical and managerial skills, software engineers should have additional intellectual skills such as domain-specific abstract thinking. Therefore, software engineering curriculum should help the students to build and improve their skills to meet the labor market needs. This study aims to explore the perceptions of software engineering students on the influence of learning software modeling and design on their domain-specific abstract thinking. Also, we explore the role of the course project in improving their domain-specific abstract thinking. The study results have shown that, most of the surveyed students believe that learning and practicing modeling and design concepts contribute to their ability to think abstractly on specific domain. However, this finding is influenced by the students’ lack of the comprehension of some modeling and design aspects (e.g., generalization). We believe that, such aspects should be introduced to the students at early levels of software engineering curriculum, which certainly will improve their ability to think abstractly on specific domain.

A Relation-Based Modeling Method for Workshop Reconfiguration

To respond to the changes in the m arket rapidly, the workshop has become an ever-changing dynamic environment in regard to personnel change and organization alternation, etc. Therefore it is ne cessary to reconfigure the workshop system. In this paper, we present the point of view that the closer the relations are among elements in the system, the clos er they should be connected with each other when they are integrated in designin g and structural modeling of the workshop system. At first, this paper discusses the relationship among elements in the workshop system and events describing th e relationship, and provides a technical overview of the expression, definition and classification of relationship. This paper focuses on the steps and algorith m to evaluate the degree of closeness of relations among elements in systems, an d emphasizes the modeling methods for workshop reconfiguration by use of a fuzzy cluster. In light of the above steps and methods, types and contents of basic r elationships among elements should be determined, and a standard relation tree s hould be set up. Then, correlation coefficients are calculated by the standard r elation tree, and a fuzzy relation matrix is built up. After that, the structure modeling of the workshop equipment system can be completed through a fuzzy clus ter. The paper ends with an application of a FMS(Flexible Manufactuing System) f unction system modeling. Results of the modeling and calculations are presented.

Optimization method for evacuation zone with network reconfiguration based on dynamic simulation

Abstract： With a determinate danger zone and evacuation demand caused by an emergency, an optimization method for the evacuation zone with network reconfiguration based on dynamic simulation is proposed. The method contains three modules. First, the network in the evacuation zone is optimized by a model with the integrated strategy of lane reversal and intersection conflict elimination. Secondly, the dynamic evacuation simulation model based on the cell transmission model is applied to simulate the dynamic propagation process of evacuated vehicles in the network in the evacuation zone. The evacuation time for all evacuated vehicles leaving the danger zone is obtained and the setting of the current evacuation zone is fed back. Thirdly, the arrival distributions of evacuated vehicles at critical intersections of the evacuation zone are also obtained to estimate the delay at critical intersection to determine whether the intersection should be taken as the critical intersection in the next iteration. The evacuation zone is expanded gradually through iteration, and the reasonable evacuation zone and the optimal evacuation network is confirmed. Based on the survey of the parking lot and urban street network around Nanjing Olympic Sports Center, the models and the iterative algorithm were applied to obtain the optimal plan of the evacuation zone with network reconfiguration in an evacuation situation to verify the validity of the proposed method.

Image processing algorithm acceleration using reconfigurable macro processor model

The concept and advantage of reconfigurable technology is introduced. A kind of processor architecture of re configurable macro processor (RMP) model based on FPGA array and DSP is put forward and has been implemented. Two image algorithms are developed: template-based automatic target recognition and zone labeling. One is estimating for motion direction in the infrared image background, another is line picking-up algorithm based on image zone labeling and phase grouping technique. It is a kind of 'hardware' function that can be called by the DSP in high-level algorithm. It is also a kind of hardware algorithm of the DSP. The results of experiments show the reconfigurable computing technology based on RMP is an ideal accelerating means to deal with the high-speed image processing tasks. High real time performance is obtained in our two applications on RMP.

RECONFIGURABLE PRODUCTION LINE MODELING AND SCHEDULING USING PETRI NETS AND GENETIC ALGORITHM

In response to the production capacity and functionality variations, a genetic algorithm （GA） embedded with deterministic timed Petri nets（DTPN） for reconfigurable production line（RPL） is proposed to solve its scheduling problem. The basic DTPN modules are presented to model the corresponding variable structures in RPL, and then the scheduling model of the whole RPL is constructed. And in the scheduling algorithm, firing sequences of the Petri nets model are used as chromosomes, thus the selection, crossover, and mutation operator do not deal with the elements in the problem space, but the elements of Petri nets model. Accordingly, all the algorithms for GA operations embedded with Petri nets model are proposed. Moreover, the new weighted single-objective optimization based on reconfiguration cost and E/T is used. The results of a DC motor RPL scheduling suggest that the presented DTPN-GA scheduling algorithm has a significant impact on RPL scheduling, and provide obvious improvements over the conventional scheduling method in practice that meets duedate, minimizes reconfiguration cost, and enhances cost effectivity.

Mathematical Modeling and Design of RIS Deployment in a RIS-Assisted Metal Cuboid for WAIC Systems

Wireless avionics intra-communications(WAIC)is an emergent research topic,since it can improve fuel efficiency and enhance aircraft safety significantly.However,there are numerous baffles in an aircraft,e.g.,seats and cabin bulkheads,resulting in serious blockage and even destroying wireless communications.Thus,this paper focuses on the reconfigurable intelligent surface(RIS)deployment issue of RIS-assisted WAIC systems,to solve the blockage problem caused by baffles.We first propose the mirror-symmetric imaging principle for mathematically analyzing electromagnetic(EM)wave propagation in a metal cuboid,which is a typical structure of WAIC systems.Based on the mirror-symmetric imaging principle,the mathematical channel model in a metal cuboid is deduced in detail.In addition,we develop an objective function of RIS's location and deduce the optimal RIS deployment location based on the geometric center optimization lemma.A two-dimensional gravity center search algorithm is then presented.Simulation results show that the designed RIS deployment can greatly increase the received power and efficiently solve the blockage problem in the aircraft.

Software/Hardware Integrating Model of Embedded Reconfigurable Computing System for Digital Signal Processing

The system model of embedded reconfigurable system is discussed firstly, followed by the construction of the soft- ware and hardware platform. Based on the platform, the function trait and control models of digital signal processing tasks are described. According the functional unit model and control model, a software/hardware integrating model with dataflow control infrastructure is constructed. The software/hardware partition is carded out in the experiments of ultrasonic signal processing, and the results show that the system model is practicable.

Optimal Intelligent Reconfiguration of Distribution Network in the Presence of Distributed Generation and Storage System

In the present paper,the distribution feeder reconfiguration in the presence of distributed generation resources(DGR)and energy storage systems(ESS)is solved in the dynamic form.Since studies on the reconfiguration problem have ignored the grid security and reliability,the non-distributed energy index along with the energy loss and voltage stability indices has been assumed as the objective functions of the given problem.To achieve the mentioned benefits,there are several practical plans in the distribution network.One of these applications is the network rearrangement plan,which is the simplest and least expensive way to add equipment to the network.Besides,by adding the DGRs to the distribution grid,the radial mode of the grid and the one-sided passage of power are eliminated,and the ordinary and simple grid is replaced with a complex grid.In this paper,an improved particle clustering algorithm is used to solve the distribution network rearrangement problem with the presence of distributed generation sources.The PQ model and the PV model are both considered,and for this purpose,a model based on the compensation technique is used to model the PV busbars.The proposed developed model has particularly improved the local and global search of this algorithm.The reconfiguration problem is discussed and investigated considering different scenarios in a standard 33-bus grid as a well-known power system in different scenarios in the presence and absence of the DGRs.Then,the obtained results are compared.

Cyclic Reconfigurable Flow Shop under Different Configurations Modeling and Optimization Based on Timed Event Graph

Based on the idea that modules are independent of machines, different combinations of modules and machines result in different configurations and the system performances differ under different configurations, a kind of cyclic reconfigurable flow shops are proposed for the new manufacturing paradigm-reconfigurable manufacturing system. The cyclic reconfigurable flow shop is modeled as a timed event graph. The optimal configuration is defined as the one under which the cyclic reconfigurable flow shop functions with the minimum cycle time and the minimum number of pallets. The optimal configuration, the minimum cycle time and the minimum number of pallets can be obtained in two steps.

数字平台生态嵌入对商业模式创新的影响研究——基于资源编排理论的视角

数字平台生态系统是缓解企业资源与能力约束进而推动企业实现商业模式创新的重要载体,但数字平台生态嵌入如何影响商业模式创新尚未被充分揭示。基于资源编排理论,构建并检验了数字平台生态嵌入通过能力进化式重构与能力替代式重构作用于商业模式创新的双中介模型,并探讨了组织敏捷性的调节作用。研究发现:数字平台生态嵌入正向影响商业模式创新;能力进化式重构与能力替代式重构在数字平台生态嵌入与商业模式创新的关系中起双中介作用;组织敏捷性不仅会强化数字平台生态嵌入与能力进化式重构和能力替代式重构之间的正向关系,还会正向强化数字平台生态嵌入通过能力进化式重构与替代式重构影响商业模式创新的中介路径。研究结论丰富了商业模式创新的前因研究,并为企业嵌入数字平台生态系统进行商业模式创新提供了实践启示。

智能超表面辅助的OAM通信信道建模及容量分析

现有智能超表面(reconfigurable intelligent surface,RIS)辅助的轨道角动量(orbital angular momentum,OAM)通信系统的相关研究大都采用自由空间传播信道,针对该信道无法准确描述OAM信号传播特性的问题,研究了OAM信号在自由空间场景下的传播特性。结合莱斯衰落信道建立了一种RIS辅助的OAM信道模型。RIS辅助的OAM通信系统采用RIS产生具有不同模态的OAM信号,通过联合优化算法优化功率分配系数和RIS无源波束成形来提高信道容量,分析了信噪比和传输功率等因素对信道容量的影响。仿真结果表明:所提出的衰落信道模型能够描述OAM信号在RIS辅助信道中的传播特性,实现更高的信道容量。

可重构低熵智能车间布局建模与优化

针对智能车间布局,采用单元布局的方式分别对单元间布局和单元内布局进行建模,设计涵盖物料搬运成本、时间损失成本、单元重构成本、设备成本、车间面积利用率和布局柔性等面向低熵化车间布局的多目标函数,给出包括边界约束、间距约束和固定位置约束等符合车间实际情况的定量约束条件。针对车间布局模型多变量、多约束和非线性的特点,设计一种基于精英策略和自适应交叉、变异算子的双层遗传元胞算法进行求解。通过典型企业作业车间布局改造实例分析,验证模型和算法的可行性和有效性。

多因素联动对企业商业模式创新的影响——基于fsQCA方法

运用模糊集定性比较分析(fsQCA)方法,剖析组织惯例(利用式惯例与探索式惯例)、资源重构(资源重组与资源重置)、创新柔性和技术动荡性多因素联动对企业商业模式创新的影响。结果表明,单个因素均不是高/非高商业模式创新产生的必要条件;高商业模式创新产生的组态有3个,即惯例+资源保障的自我适应型、惯例弥补资源的内外协同驱动型和惯例+资源稳定的内外协同驱动型;非高商业模式创新产生的组态有3个,且与高商业模式创新产生的组态呈现非对称性关系。此外,创新柔性在高/非高商业模式创新产生过程中的作用突出,高利用式惯例是高商业模式创新产生的重要条件,非高资源重置是非高商业模式创新产生的重要条件。

面向6G无线网络的全息多输入多输出技术综述

未来的第6代(6G)无线通信系统需要支持超大规模的用户需求,且对频谱效率和能源效率的要求越来越高。在此背景下,全息多输入多输出(MIMO)技术由于其具有智能可重构、电磁可调控、高方向性增益、成本低廉和部署灵活等潜力而愈发受到关注。在全息MIMO系统中,大量微小而廉价的天线单元被紧密集成,使其在低硬件成本的情况下能够实现高方向性增益,同时其可以对电磁波进行灵活的调控,从而有效提升了无线通信性能。该文从全息MIMO技术出发,首先简要介绍了全息MIMO的发展过程、技术现状、分类和特点,然后对全息MIMO在视距场景和空间平稳散射的非视距场景的信道模型进行了介绍,最后阐述了全息MIMO面对的挑战和未来趋势,并进行了总结。