Production system shell for mobile Devices
The CLIPS shell extension was proposed to enable the creation of applied production systems which can be used on mobile devices. The innovation was substantiated in terms of saving money resources to purchase specialized equipment for using for the resource-intensive production systems. The followin...
Gespeichert in:
| Datum: | 2015 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2015
|
| Schriftenreihe: | Математичне та комп'ютерне моделювання. Серія: Технічні науки |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/133717 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Production system shell for mobile Devices / S.I. Shapovalova, O.O. Mazhara // Математичне та комп'ютерне моделювання. Серія: Технічні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2015. — Вип. 12. — С. 131-141. — Бібліогр.: 30 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-133717 |
|---|---|
| record_format |
dspace |
| spelling |
nasplib_isofts_kiev_ua-123456789-1337172025-02-23T19:45:56Z Production system shell for mobile Devices Shapovalova, S.I. Mazhara, O.O. The CLIPS shell extension was proposed to enable the creation of applied production systems which can be used on mobile devices. The innovation was substantiated in terms of saving money resources to purchase specialized equipment for using for the resource-intensive production systems. The following studies were conducted: market research tablet devices, the most widely represented in Ukraine; production systems shells that can be used on mobile devices; freely distributable production systems shells were considered, important characteristics were identified and compared. The basic classes of match algorithms were overviewed. The results of studies about Rete and Treat match algorithms advisability were described for the general case of the applied problems. The proposed modeling environment for production systems for mobile devices will reduce development time and increase system efficiency by choosing the optimal match algorithm for minimal memory usage. В роботі запропоновано розширення програмної оболонки CLIPS для забезпечення можливості створення прикладних продукційних систем, використовуваних на мобільних пристроях. Обґрунтована інновація с точки зору економії грошових ресурсів на придбання спеціалізованих пристроїв для використання ресурсоємних продукційних систем. Проведено наступні дослідження: ринку планшетних пристроїв, найширше представлених в Україні; оболонок продукційних систем, які можуть застосовуватися на мобільних пристроях; більш детально, з виділенням значимих характеристик, розглянуто вільно поширювані обгортки продукційних систем. Описано основні класи алгоритмів співставлення зі зразком. Представлені результати досліджень щодо доцільності застосування Rete та Treat для загальних випадків в прикладних задач. 2015 Article Production system shell for mobile Devices / S.I. Shapovalova, O.O. Mazhara // Математичне та комп'ютерне моделювання. Серія: Технічні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2015. — Вип. 12. — С. 131-141. — Бібліогр.: 30 назв. — англ. 2308-5916 https://nasplib.isofts.kiev.ua/handle/123456789/133717 004.832 en Математичне та комп'ютерне моделювання. Серія: Технічні науки application/pdf Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| description |
The CLIPS shell extension was proposed to enable the creation of applied production systems which can be used on mobile devices. The innovation was substantiated in terms of saving money resources to purchase specialized equipment for using for the resource-intensive production systems. The following studies were conducted: market research tablet devices, the most widely represented in Ukraine; production systems shells that can be used on mobile devices; freely distributable production systems shells were considered, important characteristics were identified and compared. The basic classes of match algorithms were overviewed. The results of studies about Rete and Treat match algorithms advisability were described for the general case of the applied problems. The proposed modeling environment for production systems for mobile devices will reduce development time and increase system efficiency by choosing the optimal match algorithm for minimal memory usage. |
| format |
Article |
| author |
Shapovalova, S.I. Mazhara, O.O. |
| spellingShingle |
Shapovalova, S.I. Mazhara, O.O. Production system shell for mobile Devices Математичне та комп'ютерне моделювання. Серія: Технічні науки |
| author_facet |
Shapovalova, S.I. Mazhara, O.O. |
| author_sort |
Shapovalova, S.I. |
| title |
Production system shell for mobile Devices |
| title_short |
Production system shell for mobile Devices |
| title_full |
Production system shell for mobile Devices |
| title_fullStr |
Production system shell for mobile Devices |
| title_full_unstemmed |
Production system shell for mobile Devices |
| title_sort |
production system shell for mobile devices |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2015 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/133717 |
| citation_txt |
Production system shell for mobile Devices / S.I. Shapovalova, O.O. Mazhara // Математичне та комп'ютерне моделювання. Серія: Технічні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2015. — Вип. 12. — С. 131-141. — Бібліогр.: 30 назв. — англ. |
| series |
Математичне та комп'ютерне моделювання. Серія: Технічні науки |
| work_keys_str_mv |
AT shapovalovasi productionsystemshellformobiledevices AT mazharaoo productionsystemshellformobiledevices |
| first_indexed |
2025-11-24T16:40:44Z |
| last_indexed |
2025-11-24T16:40:44Z |
| _version_ |
1849690627314286592 |
| fulltext |
Серія: Технічні науки. Випуск 12
131
UDC 004.832
S. I. Shapovalova, Ph. D.,
O. O. Mazhara, Post-graduate
National Technical University of Ukraine
«Kyiv Polytechnic Institute», Kyiv
PRODUCTION SYSTEM SHELL FOR MOBILE DEVICES
The CLIPS shell extension was proposed to enable the creation of
applied production systems which can be used on mobile devices. The
innovation was substantiated in terms of saving money resources to
purchase specialized equipment for using for the resource-intensive
production systems. The following studies were conducted: market re-
search tablet devices, the most widely represented in Ukraine; produc-
tion systems shells that can be used on mobile devices; freely distribut-
able production systems shells were considered, important characteris-
tics were identified and compared. The basic classes of match algo-
rithms were overviewed. The results of studies about Rete and Treat
match algorithms advisability were described for the general case of
the applied problems. The proposed modeling environment for produc-
tion systems for mobile devices will reduce development time and in-
crease system efficiency by choosing the optimal match algorithm for
minimal memory usage.
Key words: production systems; match algorithm; tablet com-
puter.
Introduction. One of the main approaches to solving intellectual
tasks is based on models of knowledge representation. The largest segment
of the knowledge-based systems is a production system (PS).
It is reasonable to use an existing productions systems tool for automat-
ing the solution of applied problems. Its compulsory components are empty
knowledge base with specified format for records representation and inference
engine. The production system developer`s task is filling the knowledge base
with the information that is needed for inference in a particular subject area.
Existing production systems development tools are widely used in
the software market for implementation of the technical and medical diag-
nostics, management and forecasting systems [1–3]. Production systems
which are developed on the basis of such tools are used in the education,
agriculture, financing activities, stock exchange [4–5].
Production systems operation requires significant computing resources.
Therefore, it is considered a priority that such systems are installed on desktop
computers. However, nowadays it is a common requirement for software to be
compatible with different mobile devices such as smartphones or tablets. It
© S. I. Shapovalova, O. О. Mazhara, 2015
Математичне та комп’ютерне моделювання
132
should be borne in mind that these devices may have different operating sys-
tems and a broad range of hardware implementation.
The amplification of the mobile devices contributed to the develop-
ment of specialized software for employees of different areas, like guards
and conductors of the railway transport, agronomists, sanctuary staff, and
rescuers. Expert systems in agriculture, medicine, education became avail-
able to the public through the integration with the mobile devices [6].The
development of such software puts rigorous requirements to memory us-
age and support of the interoperability between different platforms. This is
why, the problem of choosing of the basic algorithms for production sys-
tem inference, which will reduce memory usage, and developing software
for this task is the objective of the day.
Inference engine of production systems based on the two compo-
nents:
match algorithm (for selecting productions to the conflict set);
implementation of the inference strategy (conflict resolution).
The majority of modern development environments allow users to select
from the main strategies of conflict resolution (depth, breadth, simplicity,
complexity, novelty, LEX, MEA), and provide the implementation of auxil-
iary strategies for the effective inference (refraction, random selection, sorting
by priority). At the same time, only one match algorithm is previously built in
software tools. Moreover information about this algorithm is often not avail-
able for developer of the current production system. It is proved that the
matching is the most demanding task in the inference process [7].Therefore,
the choice of algorithm for implementation in the development environment of
production systems has a significant impact on its effectiveness.
This study aims to create additional development tools of production
systems that allow to select optimal solutions in terms of memory usage,
with the use of match algorithm for the current problem, to conduct appro-
bation of the chosen algorithm and to use it’s implementation for the sys-
tem which is developed.
Research Market Mobile. In order to identify software requirements
for mobile devices Ukraine market was analyzed and characteristics of the
represented products were identified.
The specificity of production systems is the first necessity of providing a
convenient interactive interface for the user, and secondly the need for direct
data entry. Therefore, tablets are a priority among mobile devices for the use
of production systems. Using data from the most popular sites for the sale of
mobile devices Ukrainian tablet market was analyzed on the basis of charac-
teristics such as price, random access memory (RAM) and read only memory
(ROM) [8], [9] . The results are presented in Table 1.
Серія: Технічні науки. Випуск 12
133
Table 1
Characteristics of the tablets on the Ukrainian market
Price ($) RAM) ROM
The market
share
<85 19% — 1 GB
78% — <=0.5 GB
4 GB 8%
85 — 165 76 % — 1 GB,
21% — <=0.5 GB
8 GB 32%
165 — 290 74 % — 1 GB
23% — 2 GB
16 GB — 65%
8 GB — 27 %
34%
290 — 415 50 % — 1 GB
42% — 2 GB
16 GB — 50%
32 GB — 30 %
10%
415 — 585 41% — 2 GB
33 % — 1 GB
19% — <=0.5 GB
16 GB — 37%
32 GB — 36 %
64 GB — 25 %
7%
> 585 42 % — 1 GB
27% — 2 GB
26% — >=3 GB
16 GB — 18%
32 GB — 25 %
64 GB –33 %
126 GB — 21 %
9%
According to the data, a mid-range (165 — 415 $) dominated the tab-
let with 1-2 GB of RAM and 16 GB of ROM. Based on this analysis it can
be concluded that the current amount of the internal memory is enough for
the use of the modern production systems. At the same time, RAM re-
sources of mobile devices are significantly inferior to desktop computers
nowadays. The developers of operating systems for mobile devices have to
create methods for efficient memory management. Better utilization of
memory on the tablet is complicated by the fact that a physical increase
the RAM for the existing devices impossible or financially impractical.
Currently, devices with Android operation system are the most com-
mon on the mobile market, far ahead of his closest rivals iOS and Win-
dows. It is predicted that this trend will not change by 2017, although it is
projected that market share of mobile devices that use the operation sys-
tem iOS will increase (Market share held by smartphone operating systems
worldwide in 2013 and 2017).
The specific feature of Android is the limit on memory available ap-
plication to ensure the execution of multiple programs simultaneously. In
Android, every application runs in a Linux Process. Each Linux Process
has a Virtual Machine (Dalvik Virtual Machine) running inside it. There is
a limit on the memory a process can demand. It is different for different
devices. For most of the early versions of the operating system, this limita-
tion was 16 Mb, for version 2.3-32 Mb, and from 4th version — the de-
fault is allocated 64 Mb. When some process demands a higher memory
than limit it causes a forcibly termination with different types of errors due
to lack of memory. The developer can change the size restrictions on the
Математичне та комп’ютерне моделювання
134
memory usage for the program, but this decision is the worst practice and
it is unacceptable to create cross-platform applications [10].
Android manages applications that are stored in memory automati-
cally: in case there is a shortage in memory, the system starts to terminate
applications and processes that have been inactive for some time, in re-
verse order, starting with one that has not been used for the longest time.
This process is designed to simplify the operation with the memory for
user who does not need to explicitly shutdown the application. So even
correctly implemented production system for desktop computers will work
perfectly and at the same time could prematurely shut down improperly on
mobile devices in case of lack of memory.
The effectiveness of the applied production systems on mobile de-
vices is primarily determined by the inference engine embedded in it. In
turn, the effectiveness of the inference defined by match algorithm.
Match algorithms. Basic approach of modern algorithms for pattern
matching is incremental matching [11]. The basis of this approach is keeping
from cycle to cycle some information about the state of the system, known as
a state support. In turn, incremental match algorithms are divided into 3
classes: lazy evaluation algorithms, binding space algorithms and eager eva-
luation algorithms. The latest is the most common in production system shells.
Lazy evaluation algorithms provide the integration of the match and
conflict resolution, which leads to a number of limitations in the process of
inference. A well-known example of such an algorithm is Leaps, that was
proposed by Miranker [12] to improve the performance of expert systems.
Binding space algorithms aimed at facilitating a parallel implementa-
tion to increase performance on modern hardware. The most known from
those algorithms are Matchbox [13], HAL [14], GridMach [15]. However,
despite the considerable amount of research work in this direction, the
suppliers of production systems tell nothing about their widespread use.
In view of the aforementioned, this work focused on the eager evaluation
algorithms, whose effectiveness has been proven by their use in the modern
production systems shells. The best known among these algorithms are Treat
[12], Rete [16], Gator [17], Rete* [18] and their modifications.
Rete algorithm is, historically, the most used in the production sys-
tems shells as first developed. It is characterized by significant speed and
has proven effective in many application problems [19]. At the same time,
many researchers based on experimental studies, prefer Treat algorithm as
one that requires less computational resources. Comparison of the Rete
and Treat algorithms and guidelines for selecting one of them are pre-
sented in the following works [20].
Research shows that the efficiency of the match algorithm depends
on how you present the information in the knowledge base. Therefore, it is
impossible to make generalized conclusions for choosing algorithmic base
of the production systems. However, the above recommendations allow a
Серія: Технічні науки. Випуск 12
135
high probability to choose an optimal algorithm in term of performance
memory usage. It is important to create an environment that will make
possible approbation of such a choice.
Rete and Treat match algorithms has been chosen for implementation on
mobile devices. Treat algorithm was chosen due to less memory costs com-
pared to Rete while it preserves considerable speed. An additional advantage
of the chosen algorithm is that it was created for computers with parallel proc-
essing, which allows using it for modern multi-core mobile devices.
Production systems shells. Since the common production systems
are developed by specialized production systems shells it is advisable to
choose one of them for use on tablets.
Production systems shell is a software package that facilitates the
construction of production systems by providing a scheme of knowledge
representation and inference mechanism. The developers have to add
knowledge related to the subject area; provide interconnection with exist-
ing software and information databases.
This study focused on the analysis of production systems shells that
can be used on mobile devices. Table 2 presents data about such environ-
ment, including examples of their use.
Table 2
Production systems shells
N
PS shell Application
Name Developer Name Purpose
1 Exsys Cor-
vid [21]
Exsys Inc Jet Aircraft Diag-
nostics
Aircraft Diagnostics
[22]
2 OPS [23] Charles Forgy
at Carnegie Mellon
University
XCON Determining the con-
figuration of a com-
puter system [24]
3 CLIPS [25] NASA's Johnson
Space Center, now
maintained independ-
ently from NASA as
public domain software
PI-in-a-Box Aid for astronauts to
perform science
experiments in space
[26]
4 Jess [27] Sandia National Labs Rice Plant Disease
Diagnosis
Diagnosis of rice
plants [28]
5 e2gLite [29] eXpertise2GO Expert system for
diagnosing tropical
infectious diseases
Diagnosing tropical
infectious diseases
[30]
These shells are widespread due to such characteristics as ease of
use, possibility of integration with external systems, supports multiple
paradigms of knowledge representation, cross-platform implementation
and height performance. In this study the shells which are distributed un-
der a free license were examined in more detail. These shells and their
formal characteristics are presented in Table 3.
Математичне та комп’ютерне моделювання
136
Table 3
Freely distributable production systems shells
Name
Knowl-
edge rep-
resenta-
tion
Cross-platform
Object-
oriented
ap-
proach
Proce-
dural
ap-
proach
Integration
with external
environ-
ments
CLIPS Rules,
objects
Compatible with most
Windows and Linux
operating systems, the
latest versions of Android
Support Support Possible inte-
gration with
C / C++, Java
languages
Jess Rules,
objects
Compatible with most
Windows and Linux
operating systems, the
latest versions of Android
Support Support Possible inte-
gration with
Java language
eXper-
tise2GO
Rules,
Decision
tables
Compatible with most
Windows and Linux
operating systems, the
latest versions of Android
Not sup-
port
Not sup-
port
Possible inte-
gration with
HTML lan-
guage
The shell eXpertise2GO is commonly used to create applications for
the Android operation system, but it has several disadvantages: restrictions
on the knowledge representation, focuses on web application, denied ac-
cess to the source code. Jess is development environment for production
systems, which was created on the basis of CLIPS for expert systems for
developing with the use of Java programming language. However, this
environment is distributed freely for non-commercial use, and requires an
additional license for usage in commercial purposes.
CLIPS was chosen for further study among the following shells as
best variant for applied tasks implementation. This is due to its features
such as multiple programming paradigms support: the rule based, proce-
dural, object-oriented; open source code; full supporting documentation;
the possibility of cooperation with the developers, availability of the ver-
sions for different operating systems. An additional advantage for choos-
ing the CLIPS environment was the possibility of its integration for IOS
operating systems and MacOS. CLIPS can be ported to any system where
C compiler compatible with ANSI is presented. CLIPS can be called as a
subprogram and integrated with other programming languages such as C,
C ++, Java, FORTRAN and Ada. In addition, the shell can be easily ex-
tended by using several well-defined documented protocols.
Extended production systems shell. In the CLIPS, development en-
vironment only Rete match algorithm was implemented. In this research
we extended the functionality of this environment with Treat algorithm.
CLIPS for Android which called CLIPS4Android are the Android li-
braries which are intended to be used by other Android applications. This
provides an additional advantage because there are no limits on memory
Серія: Технічні науки. Випуск 12
137
allocation in the native part of the program in Android OS. Modifications
have been made so that the user can compile a library with one of the
matching algorithm or with both. At the design stage of production system
it is advisable to use the latest version.
Both algorithms were formalized in same format to minimize depend-
ence from specific programing language. The both algorithms have compila-
tion and execution part. Building data flow network from rule base is meant by
compilation. Such data flow network represents data dependencies between
rule conditions. At run-time facts from working memory enter network and
are preceded depended on networks node type. Rete algorithm is formally
described in terms of first-order logic in research [31]. Based on this research
execution of Treat algorithm was formalized as follow.
Define in the token form fact f which has been added/remove from
working memory (WM) , f . For intra-elements test (conditions in
one single pattern) the transition rule ? !am ms from one Treat net-
work to another is formalized as follows:
{ }
, ? { , }!j jlm lm f
f f
( ),ifq f
{ }
, ? { , }!j jlm lm f
f f
( ),ifq f
| , ? 0!f ( ),if q f
where lm is subset of fact that have been matched already, ( )q f the con-
junction of all tests that have to be done for matching constant element.
For testing the inter-element conditions, conditions which involve
more than one single pattern transition rule is formalized as follows:
, ? { , };jf lm f f
{ } | ( )|
, ? 0!,j jtm tm f R PM p p R p f
jf lm f
( ) ^ ( );j jifq f r tm
{ } | ( )|
, ? { , }!,j jtm tm f R PM p p R p f
jf lm f tm
( ) ^ ( );j jifq f r tm
| , ? 0!,f lm f ( ).if q f
For conflict set CS:
{ }, ? { , },cm cm ff f
;
, ? { , }!jcm cm tm
j jtm tm
where R — production, — a substitution, p — pattern, which is de-
fined as term, p — positive pattern, jr — the conjunction of all inter-
element tests of rule jl PM ( Production memory), which have to be
Математичне та комп’ютерне моделювання
138
done for bind variables correctly, tm — subset of facts from WM with
already bound variables, cm — conflict set memory — subset of facts
from WM which match conflict set rules.
Given such formalization it is easier to compare algorithms regard-
less of the specific implementation.
Since Treat algorithm was developed on the basis of Rete, they have
a similar mechanism to handle productions. What’s more Rete and Treat
algorithm have the same input and output format. So same data structure
can be used for both algorithms. This allows the user correctly compare
the performance of these algorithms for solving applied problem as infor-
mation for them is presented in the same format.
It has been proved that Treat algorithm needs from 15 to 45% less mem-
ory than Rete [12]. In mobile devices such improvement can allow using of
expert systems for low-end tablets. While for High-Ram devices user can
make choose between memory usage and performance depending on the task.
For such cases, the recommendations based on the properties of knowledge
base are useful in selecting an algorithm. It was proved that an efficiency of
production system depends on the properties of the knowledge base. The con-
ducted experiments and previous researches allow forming the basic guide-
lines to select match algorithm which are presented in table 4.
Table 4
Recommendations for choosing match algorithm
Characteristics of the problem Optimality criterion Rete Treat
A large number of conditional elements
in the antecedent (> 6)
Number of comparisons
with conditional elements
+ –
average number of conditional elements
in antecedent does not exceed 6
Number of comparisons
with conditional elements
– +
High temporal redundancy Performance + –
A large number of negative conditional
elements
Performance – +
Memory usage – +
Conditional elements are added dy-
namically
Performance – +
Memory usage – +
Minimum number of complex variables
in antecedent
Performance + –
Thus, the proposed development environment for production systems for
mobile devices will reduce development time and increase system efficiency
by choosing the optimal match algorithm for minimal memory usage.
Conclusions. Modern production systems for solving tasks of technical
and medical diagnosis, management, forecasting, and education designed for
use on desktop computers. This causes difficulties when transferring such sys-
tems on mobile platforms due to the specificity of their memory management.
However, this problem can be solved by the use of optimal algorithms of pro-
duction systems inference for specific tasks. This study focused on match al-
gorithm for production systems for mobile devices.
Серія: Технічні науки. Випуск 12
139
As results of the study, the following conclusions can be made.
Mobile devices most suitable for the application of production systems
were explored. The expediency of using the tablet with Android OS
was determined.
The pattern match algorithms were investigated as a main component,
which affects the efficiency of production systems. The following al-
gorithms were chosen for the design of production systems on mobile
devices: Rete, Treat.
Production systems shells that can be used on mobile devices were
examined. The CLIPS usage was justified.
Highlight disadvantage CLIPS: implementation of only one match al-
gorithm. Due to the open source and free license shell extension was
created. Treat algorithm was proposed for that.
Recommendations for choosing an appropriate match algorithm for
applications were presented.
References:
1. Khan J. Prospector. (Scribd Inc). — Access mode: http://ru.scribd.com/-
doc/44131016/Prospector-Expert-System.
2. Moore R. Expert System Applications in Chemistry. In G2: Chemical Process Con-
trol / R. Moore. — Cambridge : ACS Symposium Series, 1989. — P. 169–179.
3. Kamau Gichah H. Rule-based Process Support for Enterprise Information Por-
tal / H. Kamau Gichah. — Hamburg-Harburg : Technische Universitдt Ham-
burg-Harburg, 2003 — 63 p.
4. D’Alessio R. An Expert System for Financial Accounting Teaching /
R. D’Alessio // System Dynamics Society. — 2002. — P. 1–18.
5. PUFF. AI Systems in Clinical Practice. — Access mode:
http://www.openclinical.org/aisp_puff.html.
6. Movafegh Ghadirli H. An Adaptive and intelligent Tutor by Expert Systems
for Mobile Device / H. Movafegh Ghadirli, M Rastgarpour // International
Journal of Managing Public Sector Information and Communication Tech-
nologies. — 2012. — № 3 (1). — P. 21-28.
7. McDermott, J. The efficiency of certain / J. McDermott, A. Newell, J. Moore //
Pattern-Directed Inference Systems — 1978. — P. 155–176.
8. Hotline. (2014). Retrieved from Hotline. — Access mode: http://hotline.ua/-
computer/planshety.
9. Price.ua. (2014). Price. — Access mode: http://price.ua/catc6399t1.html.
10. Dubroy P. Memory management for Android Apps. — Access mode:
https://www.youtube.com/watch?v=_CruQY55HOk.
11. Bergmann G. Graph and model transformations / G. Bergmann, G. Varrу // Incre-
mental Pattern Matching in the VIATRA Model Transformation System. — Buda-
pest : Department of Measurement and Information Systems, 2008. — P. 25–32.
12. Miranker D. Treat: A better match algorithm for ai production / D. Miranker //
National Conference on Artificial Intelligence. — 1987.
13. Perlin M. Match box: Fine-grained parallelism at the match level / M. Perlin //
Tools for Artificial Intelligence: IEEE International Workshop. Fairfax: IEEE
Computer Society Press. — 1989. — P. 428–434.
Математичне та комп’ютерне моделювання
140
14. Lee P. HAL: a faster match algorithm / P. Lee, M. Cheng // IEEE Transactions
on Knowledge and Data Engeneering — 2002 — P. 1047–1058.
15. Tan J. A basis for integrating production systems with relational databases / J. Tan,
M. Maheshwari, J. Srivastava // Tools for Artificial Intelligence: IEEE International
Workshop. — Herndon : IEEE Computer Society Press, 1990. — P. 400–407.
16. Nayak P. Comparison of rete and treat production matchers for soar / P. Nayak
// Artificial Intelligence: Seventh National Conference. — Cambridge : The
MIT Press, 1988 — P. 693–698.
17. Hanson E. Gator: An optimized discrimination network for active database rule
condition testing / E. Hanson. — Florida : CIS Departement, 1993.
18. Wright I. The execution kernel of rc++: Rete*, a faster rete with treat as special
case / I. Wright // International Journal of Intelligent Games and Simula-
tion. — 2003. — P. 36–48.
19. Laerhoven K. Comparison of the CLIPS and JESS expert system shells /
K. Laerhoven // Lancaster : School of Computing and Communications. — 1999.
20. Wang Y. A performance comparison of the rete and treat algorithms for testing
database rule conditions / Y. Wang, E. Hanson // Washington: IEEE Computer
Society Press. — 1992.
21. Exsys Corvid Expert System Development Tool. Retrieved from Exsys.
Knowlenge Automation Expert Systen Technology. — Access mode:
http://www.exsys.com/exsyscorvid.html.
22. Exsys Case Study. Jet Aircraft Diagnostics. Retrieved from Exsys. Knowledge
Automation Expert System Technology. — Access mode: http://www.exsys.com/-
winkPDFs/CessnaSelfServiceDiagnostics.pdf.
23. Forgy C. The 0PS83 Report / C. Forgy // Department of Computer Science
Carnegie-Mellon Univerrity. — Pittsburgh, 1984.
24. Barker V. Expert systems for configuration at Digital: XCON and beyond /
V. Barker, D. O'Connor, J. Bachant, E. Soloway // Communications of the
ACM. — 1989. — P. 298–318.
25. Riley G. CLIPS. A Tool for Building Expert Systems. Retrieved, from CLIPS
Documentation. — Access mode: http://clipsrules.sourceforge.net.
26. PI-in-a-Box : A Knowledge-Based System for Space Science Experimentation
/ Frainier, Richard, Groleau, Nicolas, Hazelton, Lyman, Colombano, Silvano,
Compton, Michael, Statler, Irving, Szolovits, Peter, Young, Laurence // IAAI
'93 Proceedings of the The Fifth Conference on Innovative Applications of Ar-
tificial Intelligence. — 1993. — P. 34–49.
27. JessRules. Retrieved, from Jess the Rule Engine for the JavaTM Platform. —
Access mode: http://www.jessrules.com.
28. Robindro K. JESS Based Expert System Architecture For Diagnosis Of Rice
Plant Diseases:Design And Prototype Development / K. Robindro, S. Sarma //
Intelligent Systems Modelling & Simulation. — 2013. — P. 674–676.
29. Expertise2Go Retrieved from Expertise2Go Web-Enabled Expert Systems. —
Access mode: http://expertise2go.com/webesie/e2gdoc.
30. Putral I. K. Fuzzy Expert System for Tropical Infectious Disease by Certainty Fac-
tor / I. K. Putral, P. M. Prihatini // TELKOMNIKA. — 2012. — P. 825–836.
В роботі запропоновано розширення програмної оболонки CLIPS для
забезпечення можливості створення прикладних продукційних систем,
використовуваних на мобільних пристроях. Обґрунтована інновація с то-
Серія: Технічні науки. Випуск 12
141
чки зору економії грошових ресурсів на придбання спеціалізованих при-
строїв для використання ресурсоємних продукційних систем. Проведено
наступні дослідження: ринку планшетних пристроїв, найширше предста-
влених в Україні; оболонок продукційних систем, які можуть застосову-
ватися на мобільних пристроях; більш детально, з виділенням значимих
характеристик, розглянуто вільно поширювані обгортки продукційних
систем. Описано основні класи алгоритмів співставлення зі зразком.
Представлені результати досліджень щодо доцільності застосування Rete
та Treat для загальних випадків в прикладних задач.
Ключові слова: продукційні системи, співставлення зі зразком,
портативні пристрої.
Отримано: 18.03.2015
УДК 519.6:539.3
М. Р. Петрик, д-р фіз.-мат. наук, професор
Тернопільський національний технічний університет
імені Івана Пулюя, м. Тернопіль
МОДЕЛЮВАННЯ ТА ІДЕНТИФІКАЦІЯ ПАРАМЕТРІВ
ЗАДАЧ ДИФУЗІЇ В НЕОДНОРІДНИХ
НАНОМУЛЬТИКОМПОЗИТАХ ГРАДІЄНТНИМИ
МЕТОДАМИ ТА ІНТЕГРАЛЬНИМИ ПЕРЕТВОРЕННЯМИ
Розроблена та обґрунтована на основі теорії оптимального ке-
рування станами багатокомпонентних систем, інтегральних пере-
творень Фур’є та Лапласа методика моделювання та функціона-
льної ідентифікації параметрів дифузії для неоднорідних наному-
льтикомпозитів, отримані аналітичні вирази градієнтів функціо-
налів нев’язок, компонентами яких є побудовані аналітичні
розв’язки прямої і сряженої вихідної неоднорідної крайової задачі
переносу та спряженої їй за Лагранжем задачі, виконано віднов-
лення коефіцієнтів дифузії для різних поверхонь спостережень.
Ключові слова: масоперенос, математична модель, фун-
кціональна ідентифікація, інтегральне перетворення, неодно-
рідні середовища, градієнт функціонала невязки.
Вступ. Дослідження дифузійних процесів в багатошарових нано-
композизитів і тонких наноплівок відкриває перспективи створення на
базі матеріалів з відомими властивостями матеріалів та середовищ з но-
вими властивостями (нові явища провідності, дифузійно-адсорбційні
ефекти тощо), виникнення яких головно пов’язано зі структурними змі-
нами середовищ при аґрегатуванні наношарів з різними властивостями
[1–4; 15]. В цій праці на прикладі задач дифузії в згущених (Fe/Dy) маг-
нітних багатошарових наноплівках, утворених агрегацією наношарів з
високопровідними і низькопровідними матеріалами (феромагнетики і
© М. Р. Петрик, 2015
<<
/ASCII85EncodePages false
/AllowTransparency false
/AutoPositionEPSFiles true
/AutoRotatePages /All
/Binding /Left
/CalGrayProfile (Gray Gamma 2.2)
/CalRGBProfile (sRGB IEC61966-2.1)
/CalCMYKProfile (Coated FOGRA27 \050ISO 12647-2:2004\051)
/sRGBProfile (sRGB IEC61966-2.1)
/CannotEmbedFontPolicy /Warning
/CompatibilityLevel 1.3
/CompressObjects /Tags
/CompressPages true
/ConvertImagesToIndexed true
/PassThroughJPEGImages true
/CreateJobTicket false
/DefaultRenderingIntent /Default
/DetectBlends true
/DetectCurves 0.1000
/ColorConversionStrategy /sRGB
/DoThumbnails false
/EmbedAllFonts true
/EmbedOpenType false
/ParseICCProfilesInComments true
/EmbedJobOptions true
/DSCReportingLevel 0
/EmitDSCWarnings false
/EndPage -1
/ImageMemory 1048576
/LockDistillerParams false
/MaxSubsetPct 100
/Optimize true
/OPM 1
/ParseDSCComments true
/ParseDSCCommentsForDocInfo true
/PreserveCopyPage true
/PreserveDICMYKValues true
/PreserveEPSInfo false
/PreserveFlatness false
/PreserveHalftoneInfo false
/PreserveOPIComments false
/PreserveOverprintSettings true
/StartPage 1
/SubsetFonts true
/TransferFunctionInfo /Apply
/UCRandBGInfo /Remove
/UsePrologue false
/ColorSettingsFile ()
/AlwaysEmbed [ true
]
/NeverEmbed [ true
/Arial-Black
/Arial-BlackItalic
/Arial-BoldItalicMT
/Arial-BoldMT
/Arial-ItalicMT
/ArialMT
/ArialNarrow
/ArialNarrow-Bold
/ArialNarrow-BoldItalic
/ArialNarrow-Italic
/ArialUnicodeMS
/CenturyGothic
/CenturyGothic-Bold
/CenturyGothic-BoldItalic
/CenturyGothic-Italic
/CourierNewPS-BoldItalicMT
/CourierNewPS-BoldMT
/CourierNewPS-ItalicMT
/CourierNewPSMT
/Georgia
/Georgia-Bold
/Georgia-BoldItalic
/Georgia-Italic
/Impact
/LucidaConsole
/Tahoma
/Tahoma-Bold
/TimesNewRomanMT-ExtraBold
/TimesNewRomanPS-BoldItalicMT
/TimesNewRomanPS-BoldMT
/TimesNewRomanPS-ItalicMT
/TimesNewRomanPSMT
/Trebuchet-BoldItalic
/TrebuchetMS
/TrebuchetMS-Bold
/TrebuchetMS-Italic
/Verdana
/Verdana-Bold
/Verdana-BoldItalic
/Verdana-Italic
]
/AntiAliasColorImages false
/CropColorImages false
/ColorImageMinResolution 150
/ColorImageMinResolutionPolicy /OK
/DownsampleColorImages true
/ColorImageDownsampleType /Bicubic
/ColorImageResolution 150
/ColorImageDepth -1
/ColorImageMinDownsampleDepth 1
/ColorImageDownsampleThreshold 1.50000
/EncodeColorImages true
/ColorImageFilter /DCTEncode
/AutoFilterColorImages true
/ColorImageAutoFilterStrategy /JPEG
/ColorACSImageDict <<
/QFactor 0.76
/HSamples [2 1 1 2] /VSamples [2 1 1 2]
>>
/ColorImageDict <<
/QFactor 0.76
/HSamples [2 1 1 2] /VSamples [2 1 1 2]
>>
/JPEG2000ColorACSImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 15
>>
/JPEG2000ColorImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 15
>>
/AntiAliasGrayImages false
/CropGrayImages false
/GrayImageMinResolution 150
/GrayImageMinResolutionPolicy /OK
/DownsampleGrayImages true
/GrayImageDownsampleType /Bicubic
/GrayImageResolution 150
/GrayImageDepth -1
/GrayImageMinDownsampleDepth 2
/GrayImageDownsampleThreshold 1.50000
/EncodeGrayImages true
/GrayImageFilter /DCTEncode
/AutoFilterGrayImages true
/GrayImageAutoFilterStrategy /JPEG
/GrayACSImageDict <<
/QFactor 0.76
/HSamples [2 1 1 2] /VSamples [2 1 1 2]
>>
/GrayImageDict <<
/QFactor 0.76
/HSamples [2 1 1 2] /VSamples [2 1 1 2]
>>
/JPEG2000GrayACSImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 15
>>
/JPEG2000GrayImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 15
>>
/AntiAliasMonoImages false
/CropMonoImages false
/MonoImageMinResolution 1200
/MonoImageMinResolutionPolicy /OK
/DownsampleMonoImages true
/MonoImageDownsampleType /Bicubic
/MonoImageResolution 1200
/MonoImageDepth -1
/MonoImageDownsampleThreshold 1.50000
/EncodeMonoImages true
/MonoImageFilter /CCITTFaxEncode
/MonoImageDict <<
/K -1
>>
/AllowPSXObjects true
/CheckCompliance [
/PDFX1a:2001
]
/PDFX1aCheck false
/PDFX3Check false
/PDFXCompliantPDFOnly false
/PDFXNoTrimBoxError true
/PDFXTrimBoxToMediaBoxOffset [
0.00000
0.00000
0.00000
0.00000
]
/PDFXSetBleedBoxToMediaBox true
/PDFXBleedBoxToTrimBoxOffset [
0.00000
0.00000
0.00000
0.00000
]
/PDFXOutputIntentProfile (None)
/PDFXOutputConditionIdentifier ()
/PDFXOutputCondition ()
/PDFXRegistryName ()
/PDFXTrapped /False
/CreateJDFFile false
/Description <<
/ARA <FEFF06270633062A062E062F0645002006470630064700200627064406250639062F0627062F0627062A002006440625064606340627062100200648062B062706260642002000410064006F00620065002000500044004600200645062A064806270641064206290020064506390020064506420627064A064A0633002006390631063600200648063706280627063906290020062706440648062B0627062606420020062706440645062A062F062706480644062900200641064A00200645062C062706440627062A002006270644062306390645062706440020062706440645062E062A064406410629061B0020064A06450643064600200641062A062D00200648062B0627062606420020005000440046002006270644064506460634062306290020062806270633062A062E062F062706450020004100630072006F0062006100740020064800410064006F006200650020005200650061006400650072002006250635062F0627063100200035002E0030002006480627064406250635062F062706310627062A0020062706440623062D062F062B002E>
/BGR <FEFF04180437043f043e043b043704320430043904420435002004420435043704380020043d0430044104420440043e0439043a0438002c00200437043000200434043000200441044a0437043404300432043004420435002000410064006f00620065002000500044004600200434043e043a0443043c0435043d04420438002c0020043f043e04340445043e0434044f044904380020043704300020043d043004340435043604340435043d0020043f044004350433043b04350434002004380020043f04350447043004420020043d04300020043104380437043d0435044100200434043e043a0443043c0435043d04420438002e002000200421044a04370434043004340435043d043804420435002000500044004600200434043e043a0443043c0435043d044204380020043c043e0433043004420020043404300020044104350020043e0442043204300440044f0442002004410020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200441043b0435043404320430044904380020043204350440044104380438002e>
/CHS <FEFF4f7f75288fd94e9b8bbe5b9a521b5efa7684002000410064006f006200650020005000440046002065876863900275284e8e55464e1a65876863768467e5770b548c62535370300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c676562535f00521b5efa768400200050004400460020658768633002>
/CHT <FEFF4f7f752890194e9b8a2d7f6e5efa7acb7684002000410064006f006200650020005000440046002065874ef69069752865bc666e901a554652d965874ef6768467e5770b548c52175370300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c4f86958b555f5df25efa7acb76840020005000440046002065874ef63002>
/CZE <FEFF005400610074006f0020006e006100730074006100760065006e00ed00200070006f0075017e0069006a007400650020006b0020007600790074007600e101590065006e00ed00200064006f006b0075006d0065006e0074016f002000410064006f006200650020005000440046002000760068006f0064006e00fd00630068002000700072006f002000730070006f006c00650068006c0069007600e90020007a006f006200720061007a006f007600e1006e00ed002000610020007400690073006b0020006f006200630068006f0064006e00ed0063006800200064006f006b0075006d0065006e0074016f002e002000200056007900740076006f01590065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f007400650076015900ed007400200076002000700072006f006700720061006d0065006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076011b006a016100ed00630068002e>
/DAN <FEFF004200720075006700200069006e0064007300740069006c006c0069006e006700650072006e0065002000740069006c0020006100740020006f007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400650072002c0020006400650072002000650067006e006500720020007300690067002000740069006c00200064006500740061006c006a006500720065007400200073006b00e60072006d007600690073006e0069006e00670020006f00670020007500640073006b007200690076006e0069006e006700200061006600200066006f0072007200650074006e0069006e006700730064006f006b0075006d0065006e007400650072002e0020004400650020006f007000720065007400740065006400650020005000440046002d0064006f006b0075006d0065006e0074006500720020006b0061006e002000e50062006e00650073002000690020004100630072006f00620061007400200065006c006c006500720020004100630072006f006200610074002000520065006100640065007200200035002e00300020006f00670020006e0079006500720065002e>
/DEU <FEFF00560065007200770065006e00640065006e0020005300690065002000640069006500730065002000450069006e007300740065006c006c0075006e00670065006e0020007a0075006d002000450072007300740065006c006c0065006e00200076006f006e002000410064006f006200650020005000440046002d0044006f006b0075006d0065006e00740065006e002c00200075006d002000650069006e00650020007a0075007600650072006c00e40073007300690067006500200041006e007a006500690067006500200075006e00640020004100750073006700610062006500200076006f006e00200047006500730063006800e40066007400730064006f006b0075006d0065006e00740065006e0020007a0075002000650072007a00690065006c0065006e002e00200044006900650020005000440046002d0044006f006b0075006d0065006e007400650020006b00f6006e006e0065006e0020006d006900740020004100630072006f00620061007400200075006e0064002000520065006100640065007200200035002e003000200075006e00640020006800f600680065007200200067006500f600660066006e00650074002000770065007200640065006e002e>
/ENU (Use these settings to create Adobe PDF documents suitable for reliable viewing and printing of business documents. Created PDF documents can be opened with Acrobat and Adobe Reader 5.0 and later.)
/ESP <FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f0073002000640065002000410064006f00620065002000500044004600200061006400650063007500610064006f007300200070006100720061002000760069007300750061006c0069007a00610063006900f3006e0020006500200069006d0070007200650073006900f3006e00200064006500200063006f006e006600690061006e007a006100200064006500200064006f00630075006d0065006e0074006f007300200063006f006d00650072006300690061006c00650073002e002000530065002000700075006500640065006e00200061006200720069007200200064006f00630075006d0065006e0074006f00730020005000440046002000630072006500610064006f007300200063006f006e0020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e003000200079002000760065007200730069006f006e0065007300200070006f00730074006500720069006f007200650073002e>
/ETI <FEFF004b00610073007500740061006700650020006e0065006900640020007300e400740074006500690064002000e4007200690064006f006b0075006d0065006e00740069006400650020007500730061006c006400750073007600e400e4007200730065006b0073002000760061006100740061006d006900730065006b00730020006a00610020007000720069006e00740069006d006900730065006b007300200073006f00620069006c0069006b0065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740069006400650020006c006f006f006d006900730065006b0073002e00200020004c006f006f0064007500640020005000440046002d0064006f006b0075006d0065006e00740065002000730061006100740065002000610076006100640061002000700072006f006700720061006d006d006900640065006700610020004100630072006f0062006100740020006e0069006e0067002000410064006f00620065002000520065006100640065007200200035002e00300020006a00610020007500750065006d006100740065002000760065007200730069006f006f006e00690064006500670061002e>
/FRA <FEFF005500740069006c006900730065007a00200063006500730020006f007000740069006f006e00730020006100660069006e00200064006500200063007200e900650072002000640065007300200064006f00630075006d0065006e00740073002000410064006f006200650020005000440046002000700072006f00660065007300730069006f006e006e0065006c007300200066006900610062006c0065007300200070006f007500720020006c0061002000760069007300750061006c00690073006100740069006f006e0020006500740020006c00270069006d007000720065007300730069006f006e002e0020004c0065007300200064006f00630075006d0065006e00740073002000500044004600200063007200e900e90073002000700065007500760065006e0074002000ea0074007200650020006f007500760065007200740073002000640061006e00730020004100630072006f006200610074002c002000610069006e00730069002000710075002700410064006f00620065002000520065006100640065007200200035002e0030002000650074002000760065007200730069006f006e007300200075006c007400e90072006900650075007200650073002e>
/GRE <FEFF03a703c103b703c303b903bc03bf03c003bf03b903ae03c303c403b5002003b103c503c403ad03c2002003c403b903c2002003c103c503b803bc03af03c303b503b903c2002003b303b903b1002003bd03b1002003b403b703bc03b903bf03c503c103b303ae03c303b503c403b5002003ad03b303b303c103b103c603b1002000410064006f006200650020005000440046002003ba03b103c403ac03bb03bb03b703bb03b1002003b303b903b1002003b103be03b903cc03c003b903c303c403b7002003c003c103bf03b203bf03bb03ae002003ba03b103b9002003b503ba03c403cd03c003c903c303b7002003b503c003b903c703b503b903c103b703bc03b103c403b903ba03ce03bd002003b503b303b303c103ac03c603c903bd002e0020002003a403b10020005000440046002003ad03b303b303c103b103c603b1002003c003bf03c5002003ad03c703b503c403b5002003b403b703bc03b903bf03c503c103b303ae03c303b503b9002003bc03c003bf03c103bf03cd03bd002003bd03b1002003b103bd03bf03b903c703c403bf03cd03bd002003bc03b5002003c403bf0020004100630072006f006200610074002c002003c403bf002000410064006f00620065002000520065006100640065007200200035002e0030002003ba03b103b9002003bc03b503c403b103b303b503bd03ad03c303c403b503c103b503c2002003b503ba03b403cc03c303b503b903c2002e>
/HEB <FEFF05d405e905ea05de05e905d5002005d105d405d205d305e805d505ea002005d005dc05d4002005db05d305d9002005dc05d905e605d505e8002005de05e105de05db05d9002000410064006f006200650020005000440046002005e205d105d505e8002005d405e605d205d4002005d505d405d305e405e105d4002005d005de05d905e005d4002005e905dc002005de05e105de05db05d905dd002005e205e105e705d905d905dd002e002005de05e105de05db05d90020005000440046002005e905e005d505e605e805d5002005e005d905ea05e005d905dd002005dc05e405ea05d905d705d4002005d105d005de05e605e205d505ea0020004100630072006f006200610074002005d5002d00410064006f00620065002000520065006100640065007200200035002e0030002005d505d205e805e105d005d505ea002005de05ea05e705d305de05d505ea002005d905d505ea05e8002e>
/HRV (Za stvaranje Adobe PDF dokumenata pogodnih za pouzdani prikaz i ispis poslovnih dokumenata koristite ove postavke. Stvoreni PDF dokumenti mogu se otvoriti Acrobat i Adobe Reader 5.0 i kasnijim verzijama.)
/HUN <FEFF00410020006800690076006100740061006c006f007300200064006f006b0075006d0065006e00740075006d006f006b0020006d00650067006200ed007a00680061007400f30020006d0065006700740065006b0069006e007400e9007300e900720065002000e900730020006e0079006f006d00740061007400e1007300e10072006100200073007a00e1006e0074002000410064006f00620065002000500044004600200064006f006b0075006d0065006e00740075006d006f006b0061007400200065007a0065006b006b0065006c0020006100200062006500e1006c006c00ed007400e10073006f006b006b0061006c00200068006f007a006800610074006a00610020006c00e9007400720065002e0020002000410020006c00e90074007200650068006f007a006f00740074002000500044004600200064006f006b0075006d0065006e00740075006d006f006b00200061007a0020004100630072006f006200610074002000e9007300200061007a002000410064006f00620065002000520065006100640065007200200035002e0030002c0020007600610067007900200061007a002000610074007400f3006c0020006b00e9007301510062006200690020007600650072007a006900f3006b006b0061006c0020006e00790069007400680061007400f3006b0020006d00650067002e>
/ITA (Utilizzare queste impostazioni per creare documenti Adobe PDF adatti per visualizzare e stampare documenti aziendali in modo affidabile. I documenti PDF creati possono essere aperti con Acrobat e Adobe Reader 5.0 e versioni successive.)
/JPN <FEFF30d330b830cd30b9658766f8306e8868793a304a3088307353705237306b90693057305f002000410064006f0062006500200050004400460020658766f8306e4f5c6210306b4f7f75283057307e305930023053306e8a2d5b9a30674f5c62103055308c305f0020005000440046002030d530a130a430eb306f3001004100630072006f0062006100740020304a30883073002000410064006f00620065002000520065006100640065007200200035002e003000204ee5964d3067958b304f30533068304c3067304d307e305930023053306e8a2d5b9a3067306f30d530a930f330c8306e57cb30818fbc307f3092884c3044307e30593002>
/KOR <FEFFc7740020c124c815c7440020c0acc6a9d558c5ec0020be44c988b2c8c2a40020bb38c11cb97c0020c548c815c801c73cb85c0020bcf4ace00020c778c1c4d558b2940020b3700020ac00c7a50020c801d569d55c002000410064006f0062006500200050004400460020bb38c11cb97c0020c791c131d569b2c8b2e4002e0020c774b807ac8c0020c791c131b41c00200050004400460020bb38c11cb2940020004100630072006f0062006100740020bc0f002000410064006f00620065002000520065006100640065007200200035002e00300020c774c0c1c5d0c11c0020c5f40020c2180020c788c2b5b2c8b2e4002e>
/LTH <FEFF004e006100750064006f006b0069007400650020016100690075006f007300200070006100720061006d006500740072007500730020006e006f0072011700640061006d00690020006b0075007200740069002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b0075007200690065002000740069006e006b006100200070006100740069006b0069006d006100690020007000650072017e0069016b007201170074006900200069007200200073007000610075007300640069006e0074006900200076006500720073006c006f00200064006f006b0075006d0065006e007400750073002e0020002000530075006b0075007200740069002000500044004600200064006f006b0075006d0065006e007400610069002000670061006c006900200062016b007400690020006100740069006400610072006f006d00690020004100630072006f006200610074002000690072002000410064006f00620065002000520065006100640065007200200035002e0030002000610072002000760117006c00650073006e0117006d00690073002000760065007200730069006a006f006d00690073002e>
/LVI <FEFF0049007a006d0061006e0074006f006a00690065007400200161006f00730020006900650073007400610074012b006a0075006d00750073002c0020006c0061006900200076006500690064006f00740075002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006100730020006900720020007000690065006d01130072006f00740069002000640072006f016100610069002000620069007a006e00650073006100200064006f006b0075006d0065006e007400750020006100700073006b006100740065006900200075006e0020006400720075006b010101610061006e00610069002e00200049007a0076006500690064006f006a006900650074002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006f002000760061007200200061007400760113007200740020006100720020004100630072006f00620061007400200075006e002000410064006f00620065002000520065006100640065007200200035002e0030002c0020006b0101002000610072012b00200074006f0020006a00610075006e0101006b0101006d002000760065007200730069006a0101006d002e>
/NLD (Gebruik deze instellingen om Adobe PDF-documenten te maken waarmee zakelijke documenten betrouwbaar kunnen worden weergegeven en afgedrukt. De gemaakte PDF-documenten kunnen worden geopend met Acrobat en Adobe Reader 5.0 en hoger.)
/NOR <FEFF004200720075006b00200064006900730073006500200069006e006e007300740069006c006c0069006e00670065006e0065002000740069006c002000e50020006f0070007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740065007200200073006f006d002000650072002000650067006e0065007400200066006f00720020007000e5006c006900740065006c006900670020007600690073006e0069006e00670020006f00670020007500740073006b007200690066007400200061007600200066006f0072007200650074006e0069006e006700730064006f006b0075006d0065006e007400650072002e0020005000440046002d0064006f006b0075006d0065006e00740065006e00650020006b0061006e002000e50070006e00650073002000690020004100630072006f00620061007400200065006c006c00650072002000410064006f00620065002000520065006100640065007200200035002e003000200065006c006c00650072002e>
/POL <FEFF0055007300740061007700690065006e0069006100200064006f002000740077006f0072007a0065006e0069006100200064006f006b0075006d0065006e007400f300770020005000440046002000700072007a0065007a006e00610063007a006f006e00790063006800200064006f0020006e00690065007a00610077006f0064006e00650067006f002000770079015b0077006900650074006c0061006e00690061002000690020006400720075006b006f00770061006e0069006100200064006f006b0075006d0065006e007400f300770020006600690072006d006f0077007900630068002e002000200044006f006b0075006d0065006e0074007900200050004400460020006d006f017c006e00610020006f007400770069006500720061010700200077002000700072006f006700720061006d006900650020004100630072006f00620061007400200069002000410064006f00620065002000520065006100640065007200200035002e0030002000690020006e006f00770073007a0079006d002e>
/PTB <FEFF005500740069006c0069007a006500200065007300730061007300200063006f006e00660069006700750072006100e700f50065007300200064006500200066006f0072006d00610020006100200063007200690061007200200064006f00630075006d0065006e0074006f0073002000410064006f00620065002000500044004600200061006400650071007500610064006f00730020007000610072006100200061002000760069007300750061006c0069007a006100e700e3006f002000650020006100200069006d0070007200650073007300e3006f00200063006f006e0066006900e1007600650069007300200064006500200064006f00630075006d0065006e0074006f007300200063006f006d0065007200630069006100690073002e0020004f007300200064006f00630075006d0065006e0074006f00730020005000440046002000630072006900610064006f007300200070006f00640065006d0020007300650072002000610062006500720074006f007300200063006f006d0020006f0020004100630072006f006200610074002000650020006f002000410064006f00620065002000520065006100640065007200200035002e0030002000650020007600650072007300f50065007300200070006f00730074006500720069006f007200650073002e>
/RUM <FEFF005500740069006c0069007a00610163006900200061006300650073007400650020007300650074010300720069002000700065006e007400720075002000610020006300720065006100200064006f00630075006d0065006e00740065002000410064006f006200650020005000440046002000610064006500630076006100740065002000700065006e007400720075002000760069007a00750061006c0069007a00610072006500610020015f006900200074006900700103007200690072006500610020006c0061002000630061006c006900740061007400650020007300750070006500720069006f0061007201030020006100200064006f00630075006d0065006e00740065006c006f007200200064006500200061006600610063006500720069002e002000200044006f00630075006d0065006e00740065006c00650020005000440046002000630072006500610074006500200070006f00740020006600690020006400650073006300680069007300650020006300750020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e00300020015f00690020007600650072007300690075006e0069006c006500200075006c0074006500720069006f006100720065002e>
/SKY <FEFF0054006900650074006f0020006e006100730074006100760065006e0069006100200070006f0075017e0069007400650020006e00610020007600790074007600e100720061006e0069006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002000760068006f0064006e00fd006300680020006e0061002000730070006f013e00610068006c0069007600e90020007a006f006200720061007a006f00760061006e006900650020006100200074006c0061010d0020006f006200630068006f0064006e00fd0063006800200064006f006b0075006d0065006e0074006f0076002e00200056007900740076006f00720065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f00740076006f00720069016500200076002000700072006f006700720061006d006f006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076016100ed00630068002e>
/SLV <FEFF005400650020006e006100730074006100760069007400760065002000750070006f0072006100620069007400650020007a00610020007500730074007600610072006a0061006e006a006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002c0020007000720069006d00650072006e006900680020007a00610020007a0061006e00650073006c006a00690076006f0020006f0067006c00650064006f00760061006e006a006500200069006e0020007400690073006b0061006e006a006500200070006f0073006c006f0076006e0069006800200064006f006b0075006d0065006e0074006f0076002e00200020005500730074007600610072006a0065006e006500200064006f006b0075006d0065006e0074006500200050004400460020006a00650020006d006f0067006f010d00650020006f0064007000720065007400690020007a0020004100630072006f00620061007400200069006e002000410064006f00620065002000520065006100640065007200200035002e003000200069006e0020006e006f00760065006a01610069006d002e>
/SUO <FEFF004b00e40079007400e40020006e00e40069007400e4002000610073006500740075006b007300690061002c0020006b0075006e0020006c0075006f0074002000410064006f0062006500200050004400460020002d0064006f006b0075006d0065006e007400740065006a0061002c0020006a006f0074006b006100200073006f0070006900760061007400200079007200690074007900730061007300690061006b00690072006a006f006a0065006e0020006c0075006f00740065007400740061007600610061006e0020006e00e400790074007400e4006d0069007300650065006e0020006a0061002000740075006c006f007300740061006d0069007300650065006e002e0020004c0075006f0064007500740020005000440046002d0064006f006b0075006d0065006e00740069007400200076006f0069006400610061006e0020006100760061007400610020004100630072006f0062006100740069006c006c00610020006a0061002000410064006f00620065002000520065006100640065007200200035002e0030003a006c006c00610020006a006100200075007500640065006d006d0069006c006c0061002e>
/SVE <FEFF0041006e007600e4006e00640020006400650020006800e4007200200069006e0073007400e4006c006c006e0069006e006700610072006e00610020006f006d002000640075002000760069006c006c00200073006b006100700061002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400200073006f006d00200070006100730073006100720020006600f60072002000740069006c006c006600f60072006c00690074006c006900670020007600690073006e0069006e00670020006f006300680020007500740073006b007200690066007400650072002000610076002000610066006600e4007200730064006f006b0075006d0065006e0074002e002000200053006b006100700061006400650020005000440046002d0064006f006b0075006d0065006e00740020006b0061006e002000f600700070006e00610073002000690020004100630072006f0062006100740020006f00630068002000410064006f00620065002000520065006100640065007200200035002e00300020006f00630068002000730065006e006100720065002e>
/TUR <FEFF005400690063006100720069002000620065006c00670065006c006500720069006e0020006700fc00760065006e0069006c0069007200200062006900720020015f0065006b0069006c006400650020006700f6007200fc006e007400fc006c0065006e006d006500730069002000760065002000790061007a0064013100720131006c006d006100730131006e006100200075007900670075006e002000410064006f006200650020005000440046002000620065006c00670065006c0065007200690020006f006c0075015f007400750072006d0061006b0020006900e70069006e00200062007500200061007900610072006c0061007201310020006b0075006c006c0061006e0131006e002e00200020004f006c0075015f0074007500720075006c0061006e0020005000440046002000620065006c00670065006c0065007200690020004100630072006f006200610074002000760065002000410064006f00620065002000520065006100640065007200200035002e003000200076006500200073006f006e0072006100730131006e00640061006b00690020007300fc007200fc006d006c00650072006c00650020006100e70131006c006100620069006c00690072002e>
/UKR <FEFF04120438043a043e0440043804410442043e043204430439044204350020044604560020043f043004400430043c043504420440043800200434043b044f0020044104420432043e04400435043d043d044f00200434043e043a0443043c0435043d044204560432002000410064006f006200650020005000440046002c0020044f043a04560020043d04300439043a04400430044904350020043f045604340445043e0434044f0442044c00200434043b044f0020043d0430043404560439043d043e0433043e0020043f0435044004350433043b044f043404430020044204300020043404400443043a0443002004340456043b043e04320438044500200434043e043a0443043c0435043d044204560432002e00200020042104420432043e04400435043d045600200434043e043a0443043c0435043d0442043800200050004400460020043c043e0436043d04300020043204560434043a0440043804420438002004430020004100630072006f006200610074002004420430002000410064006f00620065002000520065006100640065007200200035002e0030002004300431043e0020043f04560437043d04560448043e04570020043204350440044104560457002e>
/RUS <FEFF04180441043f043e043b044c04370443043904420435002004340430043d043d044b04350020043d0430044104420440043e0439043a043800200434043b044f00200441043e043704340430043d0438044f00200434043e043a0443043c0435043d0442043e0432002000410064006f006200650020005000440046002c0020043f043e04340445043e0434044f04490438044500200434043b044f0020043d0430043404350436043d043e0433043e0020043f0440043e0441043c043e044204400430002004380020043f04350447043004420438002004340435043b043e0432044b044500200434043e043a0443043c0435043d0442043e0432002e002000200421043e043704340430043d043d044b04350020005000440046002d0434043e043a0443043c0435043d0442044b0020043c043e0436043d043e0020043e0442043a0440044b043204300442044c002004410020043f043e043c043e0449044c044e0020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200431043e043b043504350020043f043e04370434043d043804450020043204350440044104380439002e>
>>
/Namespace [
(Adobe)
(Common)
(1.0)
]
/OtherNamespaces [
<<
/AsReaderSpreads false
/CropImagesToFrames true
/ErrorControl /WarnAndContinue
/FlattenerIgnoreSpreadOverrides false
/IncludeGuidesGrids false
/IncludeNonPrinting false
/IncludeSlug false
/Namespace [
(Adobe)
(InDesign)
(4.0)
]
/OmitPlacedBitmaps false
/OmitPlacedEPS false
/OmitPlacedPDF false
/SimulateOverprint /Legacy
>>
<<
/AllowImageBreaks true
/AllowTableBreaks true
/ExpandPage false
/HonorBaseURL true
/HonorRolloverEffect false
/IgnoreHTMLPageBreaks false
/IncludeHeaderFooter false
/MarginOffset [
0
0
0
0
]
/MetadataAuthor ()
/MetadataKeywords ()
/MetadataSubject ()
/MetadataTitle ()
/MetricPageSize [
0
0
]
/MetricUnit /inch
/MobileCompatible 0
/Namespace [
(Adobe)
(GoLive)
(8.0)
]
/OpenZoomToHTMLFontSize false
/PageOrientation /Portrait
/RemoveBackground false
/ShrinkContent true
/TreatColorsAs /MainMonitorColors
/UseEmbeddedProfiles false
/UseHTMLTitleAsMetadata true
>>
<<
/AddBleedMarks false
/AddColorBars false
/AddCropMarks false
/AddPageInfo false
/AddRegMarks false
/BleedOffset [
0
0
0
0
]
/ConvertColors /ConvertToRGB
/DestinationProfileName (sRGB IEC61966-2.1)
/DestinationProfileSelector /UseName
/Downsample16BitImages true
/FlattenerPreset <<
/PresetSelector /MediumResolution
>>
/FormElements true
/GenerateStructure false
/IncludeBookmarks false
/IncludeHyperlinks false
/IncludeInteractive false
/IncludeLayers false
/IncludeProfiles true
/MarksOffset 6
/MarksWeight 0.250000
/MultimediaHandling /UseObjectSettings
/Namespace [
(Adobe)
(CreativeSuite)
(2.0)
]
/PDFXOutputIntentProfileSelector /DocumentCMYK
/PageMarksFile /RomanDefault
/PreserveEditing true
/UntaggedCMYKHandling /UseDocumentProfile
/UntaggedRGBHandling /LeaveUntagged
/UseDocumentBleed false
>>
]
>> setdistillerparams
<<
/HWResolution [600 600]
/PageSize [419.528 595.276]
>> setpagedevice
|