Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 7771 - 7800 of 25622

Full-Text Articles in Computer Engineering

Research On Online Simulation Technology Of Intelligent Distribution Network Based On Distributed Component Service, Xueshun Ye, Wanxing Sheng, Xiaoli Meng, Keyan Liu, Yinglong Diao Aug 2020

Research On Online Simulation Technology Of Intelligent Distribution Network Based On Distributed Component Service, Xueshun Ye, Wanxing Sheng, Xiaoli Meng, Keyan Liu, Yinglong Diao

Journal of System Simulation

Abstract: Simulation architecture of intelligent distribution network was investigated based on component service, Service Oriented Architecture computing framework, modules coordination mechanism and component deployment and realization method were proposed. And data interactive interface, transmission and integration method with online data resources were proposed. Meanwhile, distribution network simulation model, including photovoltaic, wind power and other distributed generation was established, which designed online power flow, fault calculation, reliability, reactive power optimization, distributed generation locating and sizing function module. An online simulation system of intelligent distribution network was realized on basis of the architecture and method above. Through a 10 kV …

Go to article

Virtual Simulation System Of Cutter Suction Dredger Based On Unity3d, Pengfei Yao, Zhengming Chen, Tong Jing, Lina Qian Aug 2020

Virtual Simulation System Of Cutter Suction Dredger Based On Unity3d, Pengfei Yao, Zhengming Chen, Tong Jing, Lina Qian

Journal of System Simulation

Abstract: In order to solve some shortages for the traditional training of cutter suction dredger, a virtual simulation system was designed using Unity3D, which mainly targeted at operational procedures of construction and display of construction environment. Mesh deformation and texture changing were used to realize the simulation of the soil-cutting. The 2D path simulation which included the simulation of stone crushing and proportion of sand in the pipeline was realized by means of path-finding algorithm. 3D display and human-computer interaction were realized by virtual reality devices, which could improve the effect of the virtual simulation.

Go to article

On Simulating Marine Radar Echo Intensity Generated By 3d Graphic Rendering, Shilian Cao, Yicheng Jin, Yin Yong Aug 2020

On Simulating Marine Radar Echo Intensity Generated By 3d Graphic Rendering, Shilian Cao, Yicheng Jin, Yin Yong

Journal of System Simulation

Abstract: The echo image cannot show reliable occlusion between objects, and the echo intensity cannot represent physical characteristics of electromagnetic wave propagation in the existing marine radar simulator. To solve these problems, a new method of generating radar echo image was raised on the basis analyzing the method of ray tracing. 3D visual database was used as data source, the marine radar echo image was generated by the method scene graphic rendering. A model based on radar equation was raised to compute marine radar echo intensity. The model gave the method of computing path attenuation, rain attenuation and …

Go to article

Research On Mathematical Model Of Yacht In Yacht Simulator, Xiaofeng Sun, Yin Yong, Hongyu Zhou, Xiufeng Zhang Aug 2020

Research On Mathematical Model Of Yacht In Yacht Simulator, Xiaofeng Sun, Yin Yong, Hongyu Zhou, Xiufeng Zhang

Journal of System Simulation

Abstract: Mathematical model of yacht is one of the key technologies for the development of yacht simulator. According to the separate model of MMG (Maneuvering Model Group), a planar motion model of yacht was established. The hydrodynamic coefficients were obtained through ship model test by using PMM (Planar Motion Device). Hydrodynamic forces and moments acting on the hull and propeller and rudder were calculated respectively. Ship motion equations were solved by means of the fourth order Runge-Kutta method, and ship motion parameters were achieved. Simulated program was coded through Visual Studio 2013, and simulations of three yachts were …

Go to article

Modelling Of Boom Crane Loading System Of Marine Engineering Ship, Helong Shen, Yin Yong, Xiujie Wang Aug 2020

Modelling Of Boom Crane Loading System Of Marine Engineering Ship, Helong Shen, Yin Yong, Xiujie Wang

Journal of System Simulation

Abstract: Development of ocean resources has a high degree dependence on marine engineering equipment. Among them, marine engineering ship has been widely used in many areas. Cranes on ship play an important role on transferring cargoes. The boom crane which is the most common crane on marine engineering ship was chosen as researching object. According to its real motion law, the crane system’s motion model was built with Lagrange equation which was solved with Fourth-order Runge-Kutta. The dynamics characteristics of the crane in different forms of work were analyzed.

Go to article

Igbt Radiator Design And Simulation, Weijie Dong, Xiaoli Meng, Xiaohui Song, Li Wei Aug 2020

Igbt Radiator Design And Simulation, Weijie Dong, Xiaoli Meng, Xiaohui Song, Li Wei

Journal of System Simulation

Abstract: The power component IGBT is the main heat source in the current-transformer equipment, the heat affects safe operation seriously, so the radiator design is very important. Taking a certain kind of IGBT as an example, the operating power consumption was analyzed and calculated, the design method of the radiator was studied, and the modeling of radiator with software of SolidWorks was designed, which was exported into the finite element analysis software of Ansys, making the thermal simulation combining the reality of IGBT operating environment, and comparing the cooling effect of different radiator configuration. A theory method was provided …

Go to article

Data Visualization And Interactive System Facing Educational Practice, Jinpei Qiang, Dai Song Aug 2020

Data Visualization And Interactive System Facing Educational Practice, Jinpei Qiang, Dai Song

Journal of System Simulation

Abstract: The data-driven visualization interactive system was implemented. According to the data visualization models, five modules were designed, which were the input module, visualization template module, visual editing module and output module. It was implemented by calling the D3, jQuery and other JavaScript library and binding the events with browser DOM. The visualization system was applied to educational practice in different disciplines which realized the evaluation of data visualization technology. Practice shows that the platform can not only meet education demand of cross-disciplinary but also simulate students’ interest in learning through visualization and interactive technology.

Go to article

Research On Dynamic Construction Of Assembly Relation Of Transmission Device, Qinghua Zhang, Qingdong Yan, Shouwen Yao, Jilin Liu, Wang Yu Aug 2020

Research On Dynamic Construction Of Assembly Relation Of Transmission Device, Qinghua Zhang, Qingdong Yan, Shouwen Yao, Jilin Liu, Wang Yu

Journal of System Simulation

Abstract: Currently, virtual assembly research only focuses on the assembly relations of parts which are defined in cad software, and it is unable to dynamically construct or change parts’ assembly relations. Most of the research objects are simple geometry assembly, no complex structural assembly. To solve the problems efficiently, a dynamic assembly relation modeling method was proposed based on assembly feature. In the first part, the concepts of assembly feature and assembly feature plane were introduced. The assembly characteristic parameters and geometric elements were extracted from the typical assembly feature types which were defined based on the parts of the …

Go to article

Joint Dynamics Simulation Analysis And Optimization In Carrying Manipulator Of Sound-Absorbing Board Packing Device, Yanjun Xiao, Feng Hua, Wang Zhao, Yonggeng Wang Aug 2020

Joint Dynamics Simulation Analysis And Optimization In Carrying Manipulator Of Sound-Absorbing Board Packing Device, Yanjun Xiao, Feng Hua, Wang Zhao, Yonggeng Wang

Journal of System Simulation

Abstract: As an important part of the sound-absorbing board packing device, the efficiency and operational stability of carrying manipulator play a decisive role on packing. When the natural frequency of carrying manipulator is close to the excitation frequency of motor, the carrying manipulator will shake violently. In response to above problems, we put joint dynamic simulation analysis of ADAMS and ANSYS Workbench on the carrying manipulator which is in use. We got the important components’ stress situation with the acceleration time of 0.1 s and the low-order natural frequency of the traverse key displacement in return. And on this basis …

Go to article

Cooperative Task Assignment Simulation Of Multi-Uavs In Dynamic Environments, Tizhou Qiao, Xinping Guo, Yawei Li, Wenjun Zhang, Zhongyi Yin Aug 2020

Cooperative Task Assignment Simulation Of Multi-Uavs In Dynamic Environments, Tizhou Qiao, Xinping Guo, Yawei Li, Wenjun Zhang, Zhongyi Yin

Journal of System Simulation

Abstract: In order to address the problem of cooperative task assignment for multiple UAVs, a parallel simulation framework was proposed for cooperative task planning based on HLA/RTI simulation through UAV aerodynamic simulations and flight control simulation, which could be more real and effective algorithm validation. The paths were optimized to account for randomization and threats in the environment by modeling the probability of UAV loss. By coupling the failure probabilities of each UAV to the missions of the other UAVs, reality of cooperation was improved significantly. In order to achieve the desired objectives, the stochastic simulation models were used to …

Go to article

Real-Time Visualization Method For Log Data Stream, Li Hui, Hongqian Chen, Qianyu Yang, Chen Yi Aug 2020

Real-Time Visualization Method For Log Data Stream, Li Hui, Hongqian Chen, Qianyu Yang, Chen Yi

Journal of System Simulation

Abstract: To discover the network cheating behavior in the online examination room in real time, a log data flow visualization method was proposed. The monitoring log data flow was used as the data source of the method. The candidates, the examination machine and other information were extracted according to the rules of the log. The correct candidate/machine corresponding relationship was established according to the first related log record information. The main information elements were mapped to the visual elements for each log data. All students' status and behavior were presented in the same visual result. A clear reminder …

Go to article

Improved Itti Visual Saliency Detection Based On Multi-Scale Tensor Space, Shimin Wang, Jihua Ye, Bailiang Cheng, Mingwen Wang Aug 2020

Improved Itti Visual Saliency Detection Based On Multi-Scale Tensor Space, Shimin Wang, Jihua Ye, Bailiang Cheng, Mingwen Wang

Journal of System Simulation

Abstract: In view of internal dense uniform and clear borders image, through the saliency detection the target boundary is vague, so that the target object is not connected. In order to solve this problem, an improved Itti visual saliency detection method based on multi-scale tensor space was proposed. The method introduced the tensor space features, which preserved the original image spatial structure and correlation features, that could extract internal dense uniform image features, which made the target object connect, combining with saliency detection algorithm to finish feature extraction and target detection. Experimental results show that the proposed method can …

Go to article

Point Cloud Modeling Based On Compactly Supported Radial Basis Function Under Kd Tree Index Strategy, Li Jia, Duan Ping, Yehua Sheng, Haiyang Lü, Siyang Zhang Aug 2020

Point Cloud Modeling Based On Compactly Supported Radial Basis Function Under Kd Tree Index Strategy, Li Jia, Duan Ping, Yehua Sheng, Haiyang Lü, Siyang Zhang

Journal of System Simulation

Abstract: Modeling constructed by Compactly Supported Radial Basis Function (CSRBF) and visualization will fail. The main reason is that exhaustive search results in out of memory. KD tree can void exhaustive search due to the advantage of quickly searching. CSRBF combined KD tree was used to construct point cloud model. Modeling approach of CSRBF based on KD tree was proposed. KD tree index of the point cloud was constructed. CSRBF interpolation method was used to construct implicit function model of point cloud. Marching Cubes algorithm was to display model in 3D manner. The experimental results with rabbit point cloud show …

Go to article

Image Resizing Method Based On Gradient And Visual Saliency, Xingquan Cai, Buni Honghao, Yuqing Qiao, Jinghua Liu, Fengxia Li Aug 2020

Image Resizing Method Based On Gradient And Visual Saliency, Xingquan Cai, Buni Honghao, Yuqing Qiao, Jinghua Liu, Fengxia Li

Journal of System Simulation

Abstract: In order to delete the image region without obvious features, and not damage the main features of the target for mobile applications, the image resizing method was provided based on gradient and visual saliency. The original image was grayed, and the gradient energy matrix from the gradient of neighborhood pixels was obtained. The complex energy matrix was obtained by weighted sum of visual saliency energy and image gradient energy matrix. The cumulative energy matrix and minimal energy trajectory matrix were calculated, and the minimal energy seam of image was got. The image resizing was completed by deleting the minimal …

Go to article

Color-Texture Image Segmentation Approach Designed By Integrating Geodesic Active Contour Model And Multilayer Graph Cut Model, Yang Yong, Liangren Zheng, Guo Ling, Yangdong Ye Aug 2020

Color-Texture Image Segmentation Approach Designed By Integrating Geodesic Active Contour Model And Multilayer Graph Cut Model, Yang Yong, Liangren Zheng, Guo Ling, Yangdong Ye

Journal of System Simulation

Abstract: An approach of color-texture image segmentation was proposed based on geodesic active contour model and multilayer graph cut model. As the clustering centers were commonly descripted with constant densities, the two phase Chan-vese model was extended to multiphase geodesic active contour model by using the Gaussian distribution to describe the changing density for each phase, and meanwhile the geodesic active contour was added into the proposed model, so that the presented approach could capture out the concave edge. For the minimization of the proposed energy function, a corresponded multilayer graph cut model was designed for resolving global approximated …

Go to article

Self-Adaptive Simplification Algorithm For Suggestive-Contours Preserving, Zhou Wen, Jinyuan Jia Aug 2020

Self-Adaptive Simplification Algorithm For Suggestive-Contours Preserving, Zhou Wen, Jinyuan Jia

Journal of System Simulation

Abstract: It is important that features quickly extract in large-scale model retrieval. The preprocessing of 3D model simplified the mesh, not changed the contours. Based on the data structure of the cross linked list, a framework for self-adaptive algorithm was proposed, according to mesh structure, it automatically selected the rate to simplify. Besides, by computing the related mesh principal curvatures, the edge that some condition was met, were put in the structure of heap for simplification operating. In the experiment, the models were divided into the complex model and the common model. The program could simplify the operation …

Go to article

Survey On Pedestrian Detection Based On Statistical Classification, Li Wei, Pengjie Wang, Haiyu Song Aug 2020

Survey On Pedestrian Detection Based On Statistical Classification, Li Wei, Pengjie Wang, Haiyu Song

Journal of System Simulation

Abstract: As one of the most important areas of research in the domain of computer vision and intelligent tranffic, pedestrian detection has attacted extensive interest from the research community in recent years. Because the detection based on statistical classification method is efficient, it has been widely applied. Pedestrian detection method was focused based on statistical classification. Standard dataset for evaluation of human detection was reviewed, studying the statistics about these dataset. Extracted features and the improvement on them were summarized. The main classifier for pedestrian detection was summarized. The present problems and future research trends in pedestrian detection were proposed.

Go to article

Private Face Detection Based On Random Sub-Images In Cloud, Yuan Peng, Jin Xin, Xiaodong Li, Zhao Geng, Yaming Wu, Mingxin Ma, Yulu Tian, Yingya Chen Aug 2020

Private Face Detection Based On Random Sub-Images In Cloud, Yuan Peng, Jin Xin, Xiaodong Li, Zhao Geng, Yaming Wu, Mingxin Ma, Yulu Tian, Yingya Chen

Journal of System Simulation

Abstract: In order to detect faces of terminal face image in the cloud at the same time protect both privacy of data,a method of face images privacy detection based on random sub-Images representation was proposed. Terminal divided original image into 2 value sub-images weighted sum based on random sub-images generation algorithm and randomly arranges weights of sub-images. Terminal sent sub-images according to the weights of random sequence to the cloud server. Cloud server detected sub-images with its face detection algorithm. Terminal merges test results based on random sub were exploded. Two random vectors were leveraged to protect the parameters …

Go to article

New Evaluating Algorithm Of The Single Ship Track When Inward/Outward Port Based On Ship-Handling Simulator Training, Fang Cheng, Hongxiang Ren, Yicheng Jin Aug 2020

New Evaluating Algorithm Of The Single Ship Track When Inward/Outward Port Based On Ship-Handling Simulator Training, Fang Cheng, Hongxiang Ren, Yicheng Jin

Journal of System Simulation

Abstract: The simulating navigation evaluation of the single ship when inward/outward port was a basic kind of examination type in maritime safety administration’s ship maneuvering ability test question system. In order to evaluate the track of the single ship when inward/outward port based on ship-handling simulator training. Constructed the track of evaluation index system by the investigation and analysis, established a comprehensive evaluation model of the single ship’s track when inward/outward port. In order to quantitative evaluate the score of unevaluated track by compared with the evaluated track score, a new evaluating cloud similarity algorithm of the single ship …

Go to article

Algorithm Of Simulation Of Cutting Mouse’S Ovary Based On Leap Motion, Li Hao, Yang Meng, Hu Jie, Jiao Hao, Zhai Ying, Qie Wei, Yang Gang Aug 2020

Algorithm Of Simulation Of Cutting Mouse’S Ovary Based On Leap Motion, Li Hao, Yang Meng, Hu Jie, Jiao Hao, Zhai Ying, Qie Wei, Yang Gang

Journal of System Simulation

Abstract: A cutting algorithm was proposed for Mouse’s ovary model based Leap Motion. The realistic data of the main mouse organs were collected. These data were deeply analyzed. The models of mouse and organs were imported into Unity3D to create a virtual environment and an interface between Leap Motion and Unity3D. It realized the cutting on mouse’s ovary model through a cutting algorithm which created a plane formed by the collision points and the camera, and it realized the deformation of the mouse’s ovary model through a deformation algorithm based kinematic formula. The results show that the cutting algorithm can …

Go to article

Embedded Face Recognition Combined Mutual Information With Log-Gabor Feature, Jihua Ye, Qingping Lan, Changhong Liu, Shimin Wang Aug 2020

Embedded Face Recognition Combined Mutual Information With Log-Gabor Feature, Jihua Ye, Qingping Lan, Changhong Liu, Shimin Wang

Journal of System Simulation

Abstract: Log-Gabor functions have extended tails at the high frequency end, can effectively improve the shortcoming of ordinary Gabor functions which would over-represent the low frequency components and under-represent the high frequency components, and Log-Gabor filter has no DC components, the bandwidth is not limited, so Log-Gabor filter is more suitable than Gabor filter to extract the face feature. After extracting features of a face image by a Log-Gabor filter bank which is composition of four scales and six orientations, the amount of data is 24 times of the original, but the embedded equipment resources are limited, it is difficult …

Go to article

Layered Electro-Magnetic Refreshablebraille Display With Haptic Rendering, Xinli Wu, Panfei Zhu, Wenzhen Yang, Zhongzheng Jin, Jianqiang Xuan, Xu Yan, Zhichao Zhu Aug 2020

Layered Electro-Magnetic Refreshablebraille Display With Haptic Rendering, Xinli Wu, Panfei Zhu, Wenzhen Yang, Zhongzheng Jin, Jianqiang Xuan, Xu Yan, Zhichao Zhu

Journal of System Simulation

Abstract: Refreshable braille display is an important application of haptic rendering in virtual reality.Aprototype of a layered electro-magnetic refreshablebraille displaywas developed, which has complex mechanical structures and a control system, and coulddynamical display of20braille words. By designing the layered and dislocatedbraille driving mechanism, this refreshablebraille displayrealizedthe arrangement of 120 braille points. By switchingthe current of the electromagnetic coils, the control system of this refreshablebraille displayrealizedthe movement control of these braille points. This prototype has the advantages of small volume, low cost, high refresh rate, and can generate enough supporting forcefor fingertip haptic reading braille.

Go to article

Stereo Matching Based On Pyramid Transform Cross-Scale Cost Aggregation, Yao Li, Zhukui Liu, Bingfeng Wang Aug 2020

Stereo Matching Based On Pyramid Transform Cross-Scale Cost Aggregation, Yao Li, Zhukui Liu, Bingfeng Wang

Journal of System Simulation

Abstract: Human visual system processes the received visual signals on different scales, however, the traditional stereo matching algorithms get the disparity map from the original image in the biggest scale, which will lead to high stereo matching error rate in the area of low-texture, texture-less area. Simulation of the human visual system in stereo matching on multiple scales can reduce error rate. A stereo matching method based on the Gaussian pyramid cross-scale transform was improved, by adding the Laplace Pyramid Transform to the original cross-scale framework and adding the weighted joint bilateral filter in the disparity refinement stage. The …

Go to article

Model And Method Of Space Objects Multi-Scale Expression, Qunshan Shi, Chaozhen Lan, Liang Jing, Wanjie Lu, Wang Dong Aug 2020

Model And Method Of Space Objects Multi-Scale Expression, Qunshan Shi, Chaozhen Lan, Liang Jing, Wanjie Lu, Wang Dong

Journal of System Simulation

Abstract: To allow users to acquire accurately and efficiently information, which they need, from vast amounts of space situational information, the thought of multi-scale expression was used, on the basis of analysis of various factors, which influenced space objects expression, multi-scale expression models were established, space objects multi-scale expression was achieved combined with the construction of the voronoi diagram. The experiments were done to verify the validity of the model and methods, the results show that: this method can largely control the amount and level of detail of information, can meet the requirements of clarity and legibility of space situational …

Go to article

Research On Autonomous Intercept Method For Ucav Based On Lead Attack Aiming, Huaxing Wu, Huang Wei, Fengju Kang, Hongbao Mao Aug 2020

Research On Autonomous Intercept Method For Ucav Based On Lead Attack Aiming, Huaxing Wu, Huang Wei, Fengju Kang, Hongbao Mao

Journal of System Simulation

Abstract: For the problem of autonomous intercepting moving target with air-to-air missiles for an unmanned combat air vehicle, autonomous guiding method based on lead attack aiming errors was studied. The aiming errors were computed by building the motion model of UCAV and the model of lead attack aiming. Then to meet the goal of decreasing the aiming errors during flight control, two maneuver strategies based on model predictive control approach were presented: one used proportional navigation method and the other employed simulated annealing particle swarm optimization algorithm. The simulation result shows that both strategies can implement autonomous intercept for targets …

Go to article

Face Recognition Algorithm Based On Mixed Multiple Distance Image And Linear Discriminant Analysis, Yaling Cheng, Aiping Tan, Zhang Min Aug 2020

Face Recognition Algorithm Based On Mixed Multiple Distance Image And Linear Discriminant Analysis, Yaling Cheng, Aiping Tan, Zhang Min

Journal of System Simulation

Abstract: The existing face recognition algorithms used in intelligent monitoring system are mainly applied to short distance images, which still have the problem of low face recognition rate when being applied to long distance images because the image quality decreases as the distance grows. To improve the face recognition accuracy in long distance images, a novel face recognition algorithm was proposed based on using mixed multiple different distance images and Linear Discriminant Analysis (LDA). The proposed algorithm used mixed images extracted from multiple different distances to train images, and used bilinear interpolation method to normalize the image set, and then …

Go to article

Object Detection In Rgb-D Image Based On Annet, Cai Qiang, Liwei Wei, Haisheng Li, Cao Jian Aug 2020

Object Detection In Rgb-D Image Based On Annet, Cai Qiang, Liwei Wei, Haisheng Li, Cao Jian

Journal of System Simulation

Abstract: The wide spread of depth images acquisition devices makes object detection in RGB-D images a hotspot in the field of computer vision. In order to make the features extracted by CNN more robust and to improve the detection accuracy, an improved CNN called ANNet was designed. To enhance the model discriminability of local patches within the receptive field, some linear convolutional layers in the AlexNet with nonlinear convolutional layers were replaced which contained multilayer perceptron against the linear feature between convolution filter and underlying data patch. The experiment result shows that the detection accuracy is improved by 3% in …

Go to article

Kinematic Calibration Of Stewart Platform Based On Relative Visual Pose, Ma Jin, Guofeng Zhang, Shuling Dai, Zeng Rui Aug 2020

Kinematic Calibration Of Stewart Platform Based On Relative Visual Pose, Ma Jin, Guofeng Zhang, Shuling Dai, Zeng Rui

Journal of System Simulation

Abstract: To improve the control accuracy of flight simulator motion system, a kinematic error analysis and calibration based on relative visual pose measurement of electric Six-DOF Stewart platform were proposed. Considering the structural characteristic of Stewart platform, a rotary compensation algorithm was concerned firstly to raise the control accuracy. Then kinematic error model and optimal calibration algorithm were established, according to kinematic equations and vector closed-loop characteristic. Latterly, pose data was achieved using Basler industrial camera and ID marker featured by CRC (Cyclic Redundancy Check) and FEC (Forward Error Correction). Finally, measurements and experiment results supported the validity of the …

Go to article

Research Of Display Accuracy Improvement In Multi-Scale 3d Scene, Pengfei Li, Zhou Yang, Jiwei Xu, Xiaofei Hu, Xianguang Xue Aug 2020

Research Of Display Accuracy Improvement In Multi-Scale 3d Scene, Pengfei Li, Zhou Yang, Jiwei Xu, Xiaofei Hu, Xianguang Xue

Journal of System Simulation

Abstract: In the multi-scale 3D scene, the single reference coordinate system has much application limitation due to the large spatial scale change, so the target will appear wobble phenomenon when the camera observes the target in a large distance from the reference coordinate. Due to the fact that the position and attitude of a spatial object change all the time under the unified time datum, the target will appear wobble phenomenon when the camera following a target observes a certain area near the target. A setting method of reference coordinate system based on the observation of the inertial coordinate system …

Go to article

Smt Bounded Constrained Non Centralized Automaton Web Service Model Checking, Wei Rong, Xibing Shen, Yang Yi Aug 2020

Smt Bounded Constrained Non Centralized Automaton Web Service Model Checking, Wei Rong, Xibing Shen, Yang Yi

Journal of System Simulation

Abstract: In model checking for web services applications, the combination of traditional finite state machine cannot guarantee the correctness of web service composition, a method of non centralized automaton model for web service detection algorithm was put forward,based on which could meet of mode theory (satisfiability modulo of the nanocomposite, SMT). The SMT was used to detect the bounded model of timed automata, and the time automaton was directly converted into SMT identifiable logic formula and was solved; using the SMT timed automata theory, implementation of employee travel arrangements for composite web service was modeled and verified. Through …

Go to article

First Prev Next Last