基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述

形式化语言Object-Z的实时扩展Real-Time Object-Z可以对实时系统进行形式化描述.以铁路交叉道口系统的应用证明了这一点.

基于Real-Time Object-Z语言的实时系统形式化描述

实时系统是一类需要考虑时间约束条件的反应系统,确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的开发方法,采用形式化方法对实时系统进行描述与验证,可以借助严密的数学证明提高实时系统的安全性和可靠性。本文讨论Object-Z的一种实时扩展语言Real-Time Object-Z,它可以对实时系统进行形式化描述;文中以室温控制系统为例,详细说明了Real-Time Object-Z语言在实时系统形式化描述中的应用方法。

Locating the position of objects in non-line-of-sight based on time delay estimation

Non-line-of-sight imaging detection is to detect hidden objects by indirect light and intermediary surface（diffuser）.It has very important significance in indirect access to an object or dangerous object detection, such as medical treatment and rescue. An approach to locating the positions of hidden objects is proposed based on time delay estimation. The time delays between the received signals and the source signal can be obtained by correlation analysis, and then the positions of hidden objects will be located. Compared with earlier systems and methods, the proposed approach has some modifications and provides significant improvements, such as quick data acquisition, simple system structure and low cost, and can locate the positions of hidden objects as well： this technology lays a good foundation for developing a practical system that can be used in real applications.

A Genetic Algorithm for Single Machine Scheduling with Fuzzy Processing Time and Multiple Objectives

In this paper, by considering the fuzzy nature of the data in real-life problems, single machine scheduling problems with fuzzy processing time and multiple objectives are formulated and an efficient genetic algorithm which is suitable for solving these problems is proposed. As illustrative numerical examples, twenty jobs processing on a machine is considered. The feasibility and effectiveness of the proposed method have been demonstrated in the simulation.

Conformal Multi-resolution Time-Domain Method for Scattering Curved Dielectric Objects

A conformal multi-resolution time-domain( CMRTD) method is presented for modeling curved objects. The effective dielectric constant and area weighting are used to derive the update equations of CMRTD. The backward scattering bistatic radar cross sections( RCS) of the dielectric cylinder and ellipsoid are used to validate the proposed method. The results show that the proposed conformal method is more accurate to deal with the complex curved objects in electromagnetic simulations.

A Multi-objective QoS Optimization with Fuzzy Based Parameter Setting for Real-Time Multicasting

We propose a multi-objective Pareto-optimal technique using Genetic Algorithm (GA) for group communication, which determines a min-cost multicast tree satisfying end-to-end delay, jitter, packet loss rate and blocking probability constraints. The model incorporates a fuzzy-based selection technique for initialization of QoS parameter values at each instance of multicasting. The simulation results show that the proposed algorithm satisfies on-demand QoS requirements (like high availability, good load balancing and fault-tolerance) made by the hosts in varying topology and bursty data traffic in multimedia communication networks.

多项目环境下time-cost置换问题建模与求解

针对多项目环境下的time-cost置换问题,以活动资源为决策变量,建立了以各项目总延迟最小与总成本最小的双目标time-cost置换模型。在总结前人对于多目标优化求解方法的基础上,针对多项目的特点,提出了基于NSGA-II非劣排序的局部直接搜索改进遗传算法,并考虑资源为连续与离散两种情况进行求解。与NSGA-II相比,算法可以较快地收敛到最优解,并且具有较好的离散变量搜索能力,与ZDT系列测试函数的比较也体现了算法的优越性。

用带时钟变量的线性时态逻辑扩充Object-Z

Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。线性时态逻辑能够描述实时系统,但不能很好地处理连续时间关系,也不能很好地模块化描述形式规格说明。首先用时钟变量扩充线性时态逻辑,接着提出了一个方法——用带时钟变量的时态逻辑(LTLC)来扩充Object-Z。用LTLC扩充的Object-Z是一个模块化规格说明语言,是Object-Z语法和语义的最小扩充,其最大优点在于它能方便地描述和验证复杂的实时软件规格说明。

EFFECT OF TIME AND ENVIRONMENT ON THE DIMENSION PRECISION AND MASS OF LOM PROTOTYPES

The effect of time and environment on the dimension precision and mass of LOM prototypes was experimentally investigated.It is to identify the stability of the dimension of LOM prototypes after forming.The results show that the dimension and the mass tendency to grow,which is mainly caused by elastic recovery and moisture absorption and is characterized principally by the growth of Z dimension.Self restraint can be a significant factor to influence Z growth of LOM prototypes.

概念转喻视角下的TIME-away构式研究

一般认为,TIME-away构式是动结构式下的一个子范畴,与动结构式有相似的特征。但实际上该构式和动结构式存在本质上的差异性。文章从句法和语义的角度探讨了TIME-away构式中论元限制条件,进一步得出了构式在转喻识解下的语义值以及准入构式的动词的转喻模式。

Cell structure of microcellular combustible object foamed by supercritical carbon dioxide

In order to solve the issue that the combustible objects for cased telescoped ammunition (CTA) didn't burn completely during the combustion process, the microcellular combustible objects were foamed with numerous cells in the micron order to improve the combustion performance by the supercritical carbon dioxide (SCeCO2) foaming technology. As the cell structure determined the combustion properties of microcellular combustible objects, the solubility of SCeCO2 dissolved into the combustible objects was obtained from the gravimetric method, and scanning electron microscope (SEM) was applied to characterize the cell structure under various process conditions of solubility, foaming temperature and foaming time. SEM images indicate that the cell diameter of microcellular combustible objects is in the level of 1 mm and the cell density is about 1011 cell,cm^-3. The microcellular combustible objects fabricated by the SCeCO2 foaming technology are smooth and uniform, and the high specific surface area of cell structure can lead to the significant combustion performance of microcellular combustible object for CTA in the future.

Key techniques for predicting the uncertain trajectories of moving objects with dynamic environment awareness

Emerging technologies of wireless and mobile communication enable people to accumulate a large volume of time-stamped locations,which appear in the form of a continuous moving object trajectory.How to accurately predict the uncertain mobility of objects becomes an important and challenging problem.Existing algorithms for trajectory prediction in moving objects databases mainly focus on identifying frequent trajectory patterns,and do not take account of the effect of essential dynamic environmental factors.In this study,a general schema for predicting uncertain trajectories of moving objects with dynamic environment awareness is presented,and the key techniques in trajectory prediction arc addressed in detail.In order to accurately predict the trajectories,a trajectory prediction algorithm based on continuous time Bayesian networks（CTBNs） is improved and applied,which takes dynamic environmental factors into full consideration.Experiments conducted on synthetic trajectory data verify the effectiveness of the improved algorithm,which also guarantees the time performance as well.

Accelerate Single Image Super-Resolution Using Object Detection Process

Image Super-Resolution(SR)research has achieved great success with powerful neural networks.The deeper networks with more parameters improve the restoration quality but add the computation complexity,which means more inference time would be cost,hindering image SR from practical usage.Noting the spatial distribution of the objects or things in images,a twostage local objects SR system is proposed,which consists of two modules,the object detection module and the SR module.Firstly,You Only Look Once(YOLO),which is efficient in generic object detection tasks,is selected to detect the input images for obtaining objects of interest,then put them into the SR module and output corresponding High-Resolution(HR)subimages.The computational power consumption of image SR is optimized by reducing the resolution of input images.In addition,we establish a dataset,TrafficSign500,for our experiment.Finally,the performance of the proposed system is evaluated under several State-Of-The-Art(SOTA)YOLOv5 and SISR models.Results show that our system can achieve a tremendous computation improvement in image SR.

The Design of I/O Subsystem in Satellite Real-Time Microkernel Operating System

One of the most important features of modern minor satellites is to realize autonomous moving. The performance of the satellite autonomous computer operating system acting as the control center is utmost important. The recent trend in operating system development is adopting microkernel architecture which holds such advantages as microminiaturization, modularity, portability and extendibility. The performance of I/O subsystem is currently receiving considerable research attention. Object-orientation offers an approach to application development in which software system can be constructed by composing and refining the pre-designed plug-compatible software components.It also starts with some basic notions fairly well accepted in computer science, namely encapsulation and reuse. In this paper, a new object-oriented real-time I/O subsystem model has been designed.In this model, the traditional I/O subsystem framework is discarded and a stream mechanism based on the object-oriented concept is introduced. In addition, the I/O requests are classified according to their time emergency to obtain real-time performance. So, this model meets such satelliteperformance requirements as reliability, flexibility, portability and real-time performance.

A Scheme for Mining State Association Rules of Process Object Based on Big Data

This paper devises a scheme which can discover the state association rules of process object. The scheme aims to dig the hidden close relationships of different links in process object. We adopt a method based on difference and extremum to compute the timing. Clustering is used to classifying the adjusted data, and the next is associating the clusters. Based on the rules of clusters, we produce the rules of links. Association degrees between each two links can be determined. It is easy to get association chains according to the degree. The state association rules that can be obtained in accordance with association rules are the final results. Some industry guidance can be directly summarized from the state association rules, and we can apply the guidance to improve the efficiency of production and operational in allied industries.

Object-Oriented Design for FDTD Visual Scientific Computing

A scheme for general purposed FDTD visual scientific computing software is introduced in this paper using object-oriented design (OOD) method. By abstracting the parameters of FDTD grids to an individual class and separating from the iteration procedure, the visual software can be adapted to more comprehensive computing problems. Real-time gray degree graphic and wave curve of the results can be achieved using DirectX technique. The special difference equation and data structure in dispersive medium are considered, and the peculiarity of parameters in perfectly matched layer are also discussed.

3D Localization and Tracking of Objects Using Miniature Microphones

Asystemfor accurate localization and trackingof remote objects is introduced, which employs a reference frame of four coplanar ultrasound sources as transmitters and miniature microphones that equip the remote objects as receivers. The transmitters are forced to emit pulses in the 17 - 40 kHz band. A central processing unit, knowing the positions of the transmitters and the time of flight of the ultrasound signals until they reach the microphones, computes the positions of the microphones, identifying and discarding possible false signals due to echoes and environmental noise. Once the microphones are localized, the position of the object is computed by finding the placement of the geometrical reconstructed object that fitsbest with the calculated microphones positions. The operating principle of the localization system is based on successive frames. The data are processed in parallel for all the microphones that equip the remote objects, leading to a high repetition rate of localization frames. In the proposed prototype, all the computation, including signal filtering, time of flight detection, localization and results display, is carried out about 25 times per second on a notebook PC.