ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    facet.materialart.
    Unknown
    Research on Coal Exploration Technology Based on Satellite Remote Sensing (2016)
    Hindawi
    Details
    Publication Date: 2016-06-02
    Description: Coal is the main source of energy. In China and Vietnam, coal resources are very rich, but the exploration level is relatively low. This is mainly caused by the complicated geological structure, the low efficiency, the related damage, and other bad situations. To this end, we need to make use of some advanced technologies to guarantee the resource exploration is implemented smoothly and orderly. Numerous studies show that remote sensing technology is an effective way in coal exploration and measurement. In this paper, we try to measure the distribution and reserves of open-air coal area through satellite imagery. The satellite picture of open-air coal mining region in Quang Ninh Province of Vietnam was collected as the experimental data. Firstly, the ENVI software is used to eliminate satellite imagery spectral interference. Then, the image classification model is established by the improved ELM algorithm. Finally, the effectiveness of the improved ELM algorithm is verified by using MATLAB simulations. The results show that the accuracies of the testing set reach 96.5%. And it reaches 83% of the image discernment precision compared with the same image from Google.
    Print ISSN: 1687-725X
    Electronic ISSN: 1687-7268
    Topics: Electrical Engineering, Measurement and Control Technology
    Published by Hindawi
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 2
    facet.materialart.
    Unknown
    Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding (2013)
    Hindawi
    Details
    Publication Date: 2013-06-20
    Description: Business process models are required to be in line with frequently changing regulations, policies, and environments. In the field of intelligent modeling, organisations concern automated business process compliance checking as the manual verification is a time-consuming and inefficient work. There exist two key issues for business process compliance checking. One is the definition of a business process retrieval language that can be employed to capture the compliance rules, the other concerns efficient evaluation of these rules. Traditional syntax-based retrieval approaches cannot deal with various important requirements of compliance checking in practice. Although a retrieval language that is based on semantics can overcome the drawback of syntax-based ones, it suffers from the well-known state space explosion. In this paper, we define a semantics-based process model query language through simplifying a property specification pattern system without affecting its expressiveness. We use this language to capture semantics-based compliance rules and constraints. We also propose a feasible approach in such a way that the compliance checking will not suffer from the state space explosion as much as possible. A tool is implemented to evaluate the efficiency. An experiment conducted on three model collections illustrates that our technology is very efficient.
    Print ISSN: 1110-757X
    Electronic ISSN: 1687-0042
    Topics: Mathematics
    Published by Hindawi
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...