The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
AADL along with its Behavior Annex is an architecture and behavior description language for safety-critical domains, e.g. avionics, aerospace, and defence. In order to formally analyze behavior properties of AADL models, it is necessary to transform the AADL language into formal languages supported by formal verification tools. Moreover, comprehensive formal verification of AADL models highly requires...
The aircraft target in the airport and its ground background are significant in military applications. In order to employthe algorithms for the detection, identification and dynamic monitoring, a software which can complete infrared radiation simulation of aircraft/ground object in airports under conditions of different seasons, different meteorological conditions, different periods and different...
Nowadays, the big data analysis is more and more widely used in information and telecommunication domain. Benefits from the big data analysis, both the telecommunication operators and Internet service providers could analyze user's interests more effective and predict user's expectation more accurate thus significant improve and add value of their services. Identity management in big data analysis...
There is a big difference between the IDS alerts from the network backbone and those from the lab. But there is little work has been done to mine attack models in IDS alerts from the network backbone. The contributions of this paper are three-fold. First, we propose an alert reduction method based on statistical redundancy (RMSR) to reduce the alert redundancy. Second, we propose a two-stage clustering...
Scheduling has a great influence in improving computer system performance. Many recent system designs use policies which give priority to short jobs as it is often the case that the majority of the jobs are short. SRPT (Shortest Remaining Processing Time First), which servers the jobs that needs the least amount of service to complete, is known to produce optimum mean response time. However SRPT requires...
Most of text association pattern mining techniques transform texts into flat bags of words representation, which does not preserve sufficient semantics for the purpose of knowledge discovery. So the depth and accuracy of mining are not satisfying. In order to solve this problem, a novel ontology-based semantic association pattern mining model is proposed. The suggested model applies semantic role...
The equilibrium threshold balking strategies are investigated for the fully observable and partially single-server queues with server breakdowns and delayed repairs. Upon arriving, the customers observe the queue length and status of the server and decide whether to join or balk the queue based on these information, along with the waiting cost and the reward after finishing their service. By using...
Evaporative cooling power transformers with perfluoro-carbon as coolant and dielectric is a new kind of power transmission and distribution equipment. To lay the foundation for safety operation and maintenance, as well as fault diagnosis, an overheating experimental model of perfluorocarbon in the two-phase flow was designed, the decomposition products were analyzed by means of gas chromatography/mass...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.