Temporal Petri nets are used for modeling Ada tasking to introduce temporal Ada nets.

This article utilizes the multi-person decision-making ADA method of Decision Theory to carry on the preliminary accuracy appraisement to several commonly used rock slope stability analysis methods.

The synchronous composition and decomposition of Ada net is studied, as a result, net language properties are obtained, and the safeness and liveness properties of Ada tasking by using the Ada net language are analyzed and verified, which provide a new and useful way for analyzing and verifying the complex Ada tasking.

Resolve Model of Tactical Missile Requirement for Combat Mission;

Multi-robot mission consistency maintenance based on trophallaxis behavior;

The Conditions, Means, and Missions of Political Civilizing Construction in Ethnic Autonomous Regions;

The situation and task for mineral resources reserves management of Jilin Province;

A reflection on the situation and tasks of China’s paper industry at present;

Comprehensive Harness of Mine Ecological Environment Is An Important Task of Mining;