മരിയ - ക്ലൗഡിൽ ഓൺലൈനിൽ

പട്ടിക:

NAME

മരിയ - ഉയർന്ന തലത്തിലുള്ള പെട്രി വലകൾക്കുള്ള മോഡുലാർ റീച്ചബിലിറ്റി അനലൈസർ

സിനോപ്സിസ്

മരിയ [ഓപ്ഷനുകൾ] ഫയലുകൾ...

വിവരണം

ഈ മാനുവൽ പേജ് ചുരുക്കത്തിൽ രേഖപ്പെടുത്തുന്നു മരിയ കമാൻഡ്. കൂടുതൽ പൂർണ്ണമായ ഡോക്യുമെന്റേഷൻ ആണ്
GNU ഇൻഫോ ഫോർമാറ്റിൽ ലഭ്യമാണ്; താഴെ നോക്കുക.

മരിയ കൺകറന്റ് സിസ്റ്റങ്ങളുടെ മാതൃകകൾ വിശകലനം ചെയ്യുന്ന ഒരു പ്രോഗ്രാമാണ്, അതിന്റെ ഇൻപുട്ടിൽ വിവരിച്ചിരിക്കുന്നു
ബീജഗണിത സിസ്റ്റം നെറ്റ്സിനെ അടിസ്ഥാനമാക്കിയുള്ള ഭാഷ. എക്കാർട്ടാണ് ഔപചാരികത അവതരിപ്പിച്ചത്
ICATPN'98-ൽ കിൻഡ്‌ലറും ഹേഗൻ വോൾസറും, സൌകര്യം in ബീജഗണിതം നെറ്റ്സ്.
ബീജഗണിത സിസ്റ്റം നെറ്റ്‌സ് എന്നത് ഡാറ്റാ തരങ്ങളോ ബീജഗണിതമോ നിർവചിക്കാത്ത ഒരു ചട്ടക്കൂടാണ്
പ്രവർത്തനങ്ങൾ. ഡാറ്റാ ടൈപ്പ് സിസ്റ്റവും മരിയയിലെ പ്രവർത്തനങ്ങളും ഉയർന്ന തലത്തിലാണ് രൂപകൽപ്പന ചെയ്തിരിക്കുന്നത്
പ്രോഗ്രാമിംഗും സ്പെസിഫിക്കേഷൻ ഭാഷകളും മനസ്സിൽ. എന്നിരുന്നാലും, ഓരോ മരിയ മോഡലിനും എ
പരിമിതമായ അനാവരണം.
താഴ്ന്ന നിലയിലുള്ള പെട്രി നെറ്റ് ടൂളുകളുമായുള്ള പരസ്പര പ്രവർത്തനക്ഷമത ഉറപ്പാക്കാൻ, മരിയ ഐഡന്റിഫയറുകൾ വിവർത്തനം ചെയ്യുന്നു
ആൽഫ-സംഖ്യാ പ്രതീകങ്ങളുടെയും അടിവരകളുടെയും സ്ട്രിംഗുകളിലേക്ക് വലകൾ തുറന്നു. ഫിൽട്ടർ
മടക്കനാമം.pl ഐഡന്റിഫയറുകളുടെ വായനാക്ഷമത മെച്ചപ്പെടുത്തുന്നതിന് ഉപയോഗിക്കാനോ പൊരുത്തപ്പെടുത്താനോ കഴിയും.

ഓപ്ഷനുകൾ

മരിയ സാധാരണ ഗ്നു കമാൻഡ് ലൈൻ സിന്റാക്സ് പിന്തുടരുന്നു, രണ്ടിൽ ആരംഭിക്കുന്ന ദൈർഘ്യമേറിയ ഓപ്ഷനുകൾ
ഡാഷുകൾ (`-'). ഓപ്ഷനുകളുടെ ഒരു സംഗ്രഹം ചുവടെ ഉൾപ്പെടുത്തിയിട്ടുണ്ട്. പൂർണ്ണമായ വിവരണത്തിന്, കാണുക
വിവര ഫയലുകൾ.

-a പരിധി, --array-limit=പരിധി
അറേ ഇൻഡക്സ് തരങ്ങളുടെ വലുപ്പം പരിമിതപ്പെടുത്തുക പരിധി സാധ്യമായ മൂല്യങ്ങൾ. ഒരു പരിധി 0
ചെക്കുകൾ പ്രവർത്തനരഹിതമാക്കുന്നു.

-b മാതൃക, --breadth-first-search=മാതൃക
എന്നതിന്റെ എത്തിച്ചേരാവുന്ന ഗ്രാഫ് സൃഷ്ടിക്കുക മാതൃക വീതി-ആദ്യ തിരയൽ ഉപയോഗിച്ച്.

-C ഡയറക്ടറി, --compile=ഡയറക്ടറി
സി കോഡ് സൃഷ്ടിക്കുക ഡയറക്ടറി പദപ്രയോഗങ്ങൾ വിലയിരുത്തുന്നതിനും താഴ്ന്ന നിലയ്ക്കും
ട്രാൻസിഷൻ ഇൻസ്‌റ്റൻസ് അനാലിസിസ് അൽഗോരിതത്തിന്റെ ദിനചര്യകൾ. ഈ ഓപ്ഷൻ ഉപയോഗിക്കുമ്പോൾ,
മൂല്യനിർണ്ണയ പിശകുകൾ അല്പം വ്യത്യസ്തമായ രീതിയിൽ റിപ്പോർട്ട് ചെയ്യപ്പെടുന്നു. വ്യാഖ്യാതാവ്
ഒരു സംസ്ഥാനത്ത് ആദ്യ പിശകിന് കാരണമായ മൂല്യനിർണ്ണയവും പദപ്രയോഗവും പ്രദർശിപ്പിക്കുന്നു; ദി
കംപൈൽ ചെയ്ത കോഡ് പിശകുകളുടെ എണ്ണം കാണിക്കുന്നു. പ്രകടന കാരണങ്ങളാൽ, ദി
മൾട്ടി-സെറ്റുകളിലേക്ക് ഇനങ്ങൾ ചേർക്കുമ്പോൾ ജനറേറ്റഡ് കോഡ് ഓവർഫ്ലോ പിശകുകൾ പരിശോധിക്കുന്നില്ല.

-സി, --നോ-കംപൈൽ
വിപരീതം -C. ബിൽറ്റ്-ഇൻ ഇന്റർപ്രെറ്ററിലെ എല്ലാ പദപ്രയോഗങ്ങളും വിലയിരുത്തുക. ഇതാണ്
സ്ഥിര സ്വഭാവം.

-D ചിഹ്നം, --define=ചിഹ്നം
പ്രീപ്രോസസർ ചിഹ്നം നിർവചിക്കുക ചിഹ്നം.

-d മാതൃക, --depth-first-search=മാതൃക
എന്നതിന്റെ എത്തിച്ചേരാവുന്ന ഗ്രാഫ് സൃഷ്ടിക്കുക മാതൃക ആഴത്തിലുള്ള ആദ്യ തിരയൽ ഉപയോഗിച്ച്.

-E ഇടവേള, --അറ്റങ്ങൾ=ഇടവേള
എത്തിച്ചേരാവുന്ന ഗ്രാഫ് സൃഷ്ടിക്കുമ്പോൾ, ഓരോന്നിനും ശേഷം ഗ്രാഫിന്റെ വലുപ്പം റിപ്പോർട്ടുചെയ്യുക
ഇടവേള സൃഷ്ടിച്ച അറ്റങ്ങൾ.

-e സ്ട്രിംഗ്, --എക്സിക്യൂട്ട്=സ്ട്രിംഗ്
നിർവ്വഹിക്കുക സ്ട്രിംഗ്.

-g ഗ്രാഫ് ഫയൽ, --graph=ഗ്രാഫ് ഫയൽ
ഇതിൽ നിന്ന് മുമ്പ് ജനറേറ്റ് ചെയ്‌ത എത്തിച്ചേരാവുന്ന ഗ്രാഫ് ലോഡുചെയ്യുക ഗ്രാഫ് ഫയൽ.rgh.

-H h[,f[,t]], --hashes=h[,f[,t]]
പ്രോബബിലിസ്റ്റിക് സ്ഥിരീകരണത്തിനായി പരാമീറ്ററുകൾ കോൺഫിഗർ ചെയ്യുക (-P). നീക്കിവയ്ക്കുക t സാർവത്രിക
ന്റെ ഹാഷ് ഫംഗ്ഷനുകൾ f മൂലകങ്ങളും അനുബന്ധ ഹാഷ് പട്ടികകളും h ബിറ്റുകൾ ഓരോന്നും. രണ്ടും h
ഒപ്പം f അടുത്ത അനുയോജ്യമായ മൂല്യങ്ങളിലേക്ക് റൗണ്ട് അപ്പ് ചെയ്യും.

-?, -h, --സഹായിക്കൂ
മരിയയിലേക്കുള്ള കമാൻഡ്-ലൈൻ ഓപ്ഷനുകളുടെ ഒരു സംഗ്രഹം അച്ചടിച്ച് പുറത്തുകടക്കുക.

-I ഡയറക്ടറി, --ഉൾപ്പെടുത്തുക=ഡയറക്ടറി
കൂട്ടിച്ചേർക്കുക ഡയറക്ടറി ഫയലുകൾ ഉൾപ്പെടുത്തുന്നതിനായി തിരഞ്ഞ ഡയറക്ടറികളുടെ പട്ടികയിലേക്ക്.

-i നിരകൾ, --വീതി=നിരകൾ
ഔട്ട്പുട്ടിന്റെ വലത് മാർജിൻ സജ്ജമാക്കുക നിരകൾ. സ്ഥിരസ്ഥിതി 80 ആണ്.

-j പ്രക്രിയകൾ, --ജോലികൾ=പ്രക്രിയകൾ
സുരക്ഷാ പ്രോപ്പർട്ടികൾ പരിശോധിക്കുമ്പോൾ (ഓപ്ഷനുകൾ -L, -M ഒപ്പം -P), ഇത്രയും തൊഴിലാളികളെ ഉപയോഗിക്കുക
ഒരു മൾട്ടിപ്രൊസസർ കമ്പ്യൂട്ടറിൽ വിശകലനം വേഗത്തിലാക്കുന്നതിനുള്ള പ്രക്രിയകൾ. ഇതും കാണുക -k ഒപ്പം
-Z.

-k തുറമുഖം[/ഹോസ്റ്റ്], --കണക്ട്=തുറമുഖം[/ഹോസ്റ്റ്]
സുരക്ഷാ മോഡൽ പരിശോധന വിതരണം ചെയ്യുക (ഓപ്ഷനുകൾ -L, -M ഒപ്പം -P) ഒരു TCP/IP നെറ്റ്‌വർക്കിൽ. വേണ്ടി
സെർവർ, മാത്രം തുറമുഖം 16-ബിറ്റ് ഒപ്പിടാത്ത പൂർണ്ണസംഖ്യയായി വ്യക്തമാക്കിയിരിക്കുന്നു, സാധാരണയായി ഇവയ്ക്കിടയിലാണ്
1024, 65535. തൊഴിലാളി പ്രക്രിയകൾക്കായി, തുറമുഖം/ഹോസ്റ്റ് തുറമുഖവും വ്യക്തമാക്കുന്നു
സെർവറിന്റെ വിലാസം. ഇതും കാണുക -j.

-L മാതൃക, --നഷ്ടമില്ലാത്ത=മാതൃക
ഭാരം മാതൃക എത്തിച്ചേരാവുന്ന സംസ്ഥാനങ്ങളുടെ ഒരു കൂട്ടം നിർമ്മിച്ചുകൊണ്ട് അത് വിശകലനം ചെയ്യാൻ തയ്യാറെടുക്കുക
ഡിസ്ക് ഫയലുകളിൽ. ഇതും കാണുക -M, -P, -j ഒപ്പം -k.

-m മാതൃക, --മോഡൽ=മാതൃക
ഭാരം മാതൃക ഒപ്പം അതിന്റെ എത്തിച്ചേരാവുന്ന ഗ്രാഫ് മായ്‌ക്കുക.

-M മാതൃക, --md5-compacted=മാതൃക
ഭാരം മാതൃക കൂടാതെ ഒരു ഓവർ-ഏകദേശം നിർമ്മിച്ചുകൊണ്ട് അതിനെ വിശകലനം ചെയ്യാൻ തയ്യാറാകുക
പ്രധാന മെമ്മറിയിൽ എത്തിച്ചേരാവുന്ന അവസ്ഥകളുടെ ഒരു കൂട്ടം. ഇതും കാണുക -P, -L, -j ഒപ്പം -k.

-N cregexp, --പേര്=cregexp
സന്ദർഭത്തിൽ അനുവദനീയമായ പേരുകൾ വ്യക്തമാക്കുക c വിപുലമായ പതിവ് പദപ്രയോഗം പോലെ regexp.
പാരാമീറ്റർ സ്ട്രിംഗിന്റെ ആദ്യ പ്രതീകം ഉപയോഗിച്ചാണ് സന്ദർഭം തിരിച്ചറിയുന്നത്; ദി
പേരുകൾ നിർബന്ധമായും അനുവദിക്കുന്ന പതിവ് പദപ്രയോഗം തുടർന്നുള്ള പ്രതീകങ്ങൾ ഉൾക്കൊള്ളുന്നു
മത്സരം.

-n cregexp, --no-name=cregexp
സന്ദർഭത്തിൽ അനുവദനീയമല്ലാത്ത പേരുകൾ വ്യക്തമാക്കുക c വിപുലമായ പതിവ് പദപ്രയോഗം പോലെ
regexp.
രണ്ടും എങ്കിൽ -N ഒപ്പം -n ഒരു സന്ദർഭത്തിനായി വ്യക്തമാക്കിയിരിക്കുന്നു c, അപ്പോൾ അനുവദിക്കുന്ന പൊരുത്തം എടുക്കും
മുൻഗണന. ഉദാഹരണത്തിന്, എല്ലാ ഉപയോക്തൃ നിർവചിച്ച തരം പേരുകളും ആവശ്യപ്പെടുന്നതിന്
ഉപയോഗിച്ച് അവസാനിപ്പിച്ചു _t, വ്യക്തമാക്കുക -nt -Nt'_t$'. പിന്നീടുള്ള പരാമീറ്ററിലെ ഉദ്ധരണികൾ
എന്നതിൽ നിന്ന് പ്രത്യേക അർത്ഥം നീക്കം ചെയ്യേണ്ടതുണ്ട് $ കമാൻഡ് ലൈൻ ഷെല്ലിൽ നിങ്ങളാണ്
ഒരുപക്ഷേ മരിയയെ വിളിക്കാൻ ഉപയോഗിച്ചിരിക്കാം.

-P മാതൃക, --probabilistic=മാതൃക
ഭാരം മാതൃക എത്തിച്ചേരാവുന്ന സംസ്ഥാനങ്ങളുടെ ഒരു കൂട്ടം നിർമ്മിച്ചുകൊണ്ട് അത് വിശകലനം ചെയ്യാൻ തയ്യാറെടുക്കുക
എന്ന് വിളിക്കപ്പെടുന്ന ഒരു സാങ്കേതികത ഉപയോഗിച്ച് പ്രധാന മെമ്മറിയിൽ ബിറ്റ്സ്റ്റേറ്റ് ഹാഷിംഗ്.

-p കമാൻഡ്, --property-translator=കമാൻഡ്
പ്രോപ്പർട്ടി ഓട്ടോമാറ്റ വിവർത്തനം ചെയ്യുന്നതിന് ഉപയോഗിക്കേണ്ട കമാൻഡ് വ്യക്തമാക്കുക. കമാൻഡ് ചെയ്യണം
സ്റ്റാൻഡേർഡ് ഇൻപുട്ടിൽ നിന്ന് ഒരു ഫോർമുല വായിച്ച് അനുബന്ധ ഓട്ടോമാറ്റൺ എഴുതുക
സ്റ്റാൻഡേർഡ് ഔട്ട്പുട്ടിലേക്കുള്ള വിവരണം. വിവർത്തകൻ lbt ഇതുമായി പൊരുത്തപ്പെടുന്നു
ഓപ്ഷൻ.

-q പരിധി, --quantification-limit=പരിധി
കൂടുതൽ ഉള്ള തരങ്ങളുടെ അളവ് (മൾട്ടി സെറ്റ് സം) തടയുക പരിധി സാധ്യത
മൂല്യങ്ങൾ. 0 എന്ന പരിധി ചെക്കുകൾ പ്രവർത്തനരഹിതമാക്കുന്നു.

-U ചിഹ്നം, --define=ചിഹ്നം
പ്രീപ്രോസസർ ചിഹ്നം നിർവചിക്കാതിരിക്കുക ചിഹ്നം.

-u [a][f[ഔട്ട്ഫിൽ]], --unfold=[a][f[ഔട്ട്ഫിൽ]]
അൽഗോരിതം ഉപയോഗിച്ച് നെറ്റ് തുറക്കുക a അത് ഫോർമാറ്റിൽ എഴുതുകയും ചെയ്യുക f ലേക്ക് ഔട്ട്ഫിൽ. എങ്കിൽ ഔട്ട്ഫിൽ
എന്ന് വ്യക്തമാക്കിയിട്ടില്ല, മടക്കിയ വല സാധാരണ ഔട്ട്പുട്ടിലേക്ക് ഇടുക. സാധ്യമായ ഫോർമാറ്റുകൾ
ആകുന്നു m (മരിയ (മനുഷ്യ-വായന), ഡിഫോൾട്ട്), l (ലോല), p (PEP), കൂടാതെ r (PROD). അവിടെ
രണ്ട് അൽഗോരിതങ്ങളാണ്: പരമ്പരാഗത (സ്ഥിരസ്ഥിതി) കൂടാതെ a നിർമ്മിക്കുന്നതിലൂടെ കുറയ്ക്കുന്നു കവർ ചെയ്യാവുന്ന
അടയാളപ്പെടുത്തുന്നു (M).

-വി, --പതിപ്പ്
മരിയയുടെ പതിപ്പ് നമ്പർ പ്രിന്റ് ചെയ്ത് പുറത്തുകടക്കുക.

-വി, --വാക്കുകൾ
വിശകലനത്തിന്റെ വിവിധ ഘട്ടങ്ങളിൽ വാചാലമായ വിവരങ്ങൾ പ്രദർശിപ്പിക്കുക.

-ഡബ്ല്യു, --മുന്നറിയിപ്പുകൾ
സംശയാസ്പദമായ നെറ്റ് നിർമ്മാണങ്ങളെക്കുറിച്ചുള്ള മുന്നറിയിപ്പുകൾ പ്രവർത്തനക്ഷമമാക്കുക. ഇതാണ് സ്ഥിരസ്ഥിതി സ്വഭാവം.

-w, --മുന്നറിയിപ്പുകളില്ല
വിപരീതം -W. എല്ലാ മുന്നറിയിപ്പുകളും പ്രവർത്തനരഹിതമാക്കുക.

-x നമ്പർബേസ്, --radix=നമ്പർബേസ്
ഡയഗ്നോസ്റ്റിക് ഔട്ട്പുട്ടിനുള്ള നമ്പർ ബേസ് വ്യക്തമാക്കുക. ഇതിനായി അനുവദിച്ച മൂല്യങ്ങൾ നമ്പർബേസ് ആകുന്നു
ഒക്ടോബർ, ഒക്ടൽ, 8, ഹെക്സ്, ഹെക്സാഡെസിമൽ, 16, ഡിസംബർ, ദശാംശ ഒപ്പം 10. സ്ഥിരസ്ഥിതി ഉപയോഗിക്കുക എന്നതാണ്
ദശാംശ സംഖ്യകൾ.

-Y, --കംപ്രസ്-മറച്ചിരിക്കുന്നു
പിൻഗാമി സംസ്ഥാനങ്ങൾ സംഭരിക്കാതെ എത്തിച്ചേരാവുന്ന സംസ്ഥാനങ്ങളുടെ കൂട്ടം കുറയ്ക്കുക
സംക്രമണ സന്ദർഭങ്ങൾ അതിനായി a മറയ്ക്കുക അവസ്ഥ നിലനിർത്തുന്നു. മറഞ്ഞിരിക്കുന്ന പിൻഗാമികൾ
ഒരു പ്രത്യേക സംസ്ഥാന സെറ്റിലേക്ക് സംഭരിച്ചു. ഈ ഓപ്ഷൻ മെമ്മറി ലാഭിച്ചേക്കാം (-L or -m) അല്ലെങ്കിൽ കുറയ്ക്കുക
സംസ്ഥാനങ്ങൾ ഒഴിവാക്കപ്പെടാനുള്ള സാധ്യത (-M or -P), അത് മെച്ചപ്പെടുത്തിയേക്കാം
സമാന്തര വിശകലനത്തിന്റെ കാര്യക്ഷമത (-j or -k), എന്നാൽ ഇത് ഗണ്യമായി വർദ്ധിച്ചേക്കാം
പ്രോസസ്സർ സമയ ആവശ്യകത. ഓപ്‌ഷൻ ലൈവ്‌നെസ് മോഡലിലും പ്രവർത്തിക്കുന്നു
പരിശോധിക്കുന്നു, എന്നാൽ ജീവനുള്ള ഗുണങ്ങളുടെ സത്യ മൂല്യങ്ങൾ ഉറപ്പുനൽകുന്നില്ല
മാറ്റമില്ലാതെ തുടരുക. ഈ ഓപ്ഷൻ സംയോജിപ്പിക്കാം -Z.

-y, --no-compress-hidden
വിപരീതം -Y. ഇതാണ് സ്ഥിരസ്ഥിതി സ്വഭാവം.

-Z, --കംപ്രസ്-പാഥുകൾ
ൽ ഉള്ള ഇന്റർമീഡിയറ്റ് സ്റ്റേറ്റുകൾ സംഭരിക്കാതെ എത്തിച്ചേരാവുന്ന സംസ്ഥാനങ്ങളുടെ കൂട്ടം കുറയ്ക്കുക
ഏറ്റവും ഒരു പിൻഗാമി. ഈ ഓപ്ഷൻ മെമ്മറി ലാഭിച്ചേക്കാം (-L or -m) അല്ലെങ്കിൽ കുറയ്ക്കുക
സംസ്ഥാനങ്ങൾ ഒഴിവാക്കപ്പെടാനുള്ള സാധ്യത (-M or -P), അത് കാര്യക്ഷമത മെച്ചപ്പെടുത്തും
സമാന്തര വിശകലനം (-j or -k), എന്നാൽ ഇത് ഗണ്യമായി വർദ്ധിപ്പിച്ചേക്കാം
പ്രോസസ്സർ സമയ ആവശ്യകത. ലൈവ്‌നെസ് മോഡൽ പരിശോധനയ്‌ക്കൊപ്പം ഈ ഓപ്ഷൻ പ്രവർത്തിക്കുന്നു,
എന്നാൽ ലൈവ്‌നെസ് പ്രോപ്പർട്ടികളുടെ സത്യമൂല്യങ്ങൾ നിലനിൽക്കുന്നുവെന്നതിന് യാതൊരു ഉറപ്പുമില്ല
മാറ്റമില്ല. ഈ ഓപ്ഷൻ സംയോജിപ്പിക്കാം -Y.

-z, --No-compress-paths
വിപരീതം -Z. ഇതാണ് സ്ഥിരസ്ഥിതി സ്വഭാവം.

onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് മരിയ ഓൺലൈനായി ഉപയോഗിക്കുക