DOCSLIB.ORG

United States Patent (1O) Patent No.: US 7,979,848 B2 Hinchey Et Al

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
United States Patent (1O) Patent No.: US 7,979,848 B2 Hinchey Et Al mu uuuu ui iiui iiui mu uui mu uui uui mii uuii uu uii mi (12) United States Patent (1o) Patent No.: US 7,979,848 B2 Hinchey et al. (45) Date of Patent: Jul. 129 2011 (54) SYSTEMS, METHODS AND APPARATUS FOR (58) Field of Classification Search ........................ None PATTERN MATCHING IN PROCEDURE See application file for complete search history. DEVELOPMENT AND VERIFICATION (56) References Cited (75) Inventors: Michael G. Hinchey, Bowie, MD (US); U.S. PATENT DOCUMENTS James L. Rash, Davidsonville, MD (US); Christopher A. Rouff, Beltsville, 5,247,651 A * 9/1993 Clarisse .......................... 703/13 6,898,791 131* 5/2005 Chandy et al ................. 719/314 MD (US) * cited by examiner (73) Assignee: The United States of America as Primary Examiner Chuck O Kendall represented by the Administrator of (74) Attorney, Agent, or Firm Heather Goo the National Aeronautics and Space Administration, Washington, DC (US) (57) ABSTRACT (*) Notice: Subject to any disclaimer, the term of this Systems, methods and apparatus are provided through which, patent is extended or adjusted under 35 in some embodiments, a formal specification is pattern- U.S.C. 154(b) by 1329 days. matched from scenarios, the formal specification is analyzed, and flaws in the formal specification are corrected. The sys- (21) Appl. No.: 11/533,837 tems, methods and apparatus may include pattern-matching an equivalent formal model from an informal specification. (22) Filed: Sep. 21, 2006 Such a model can be analyzed for contradictions, conflicts, use of resources before the resources are available, competi- (65) Prior Publication Data tion for resources, and so forth. From such a formal model, an implementation can be automatically generated in a variety of US 2007/0067755 Al Mar. 22, 2007 notations. The approach can improve the resulting implemen- tation, which, in some embodiments, is provably equivalent Related U.S. Application Data to the procedures described at the outset, which in turn can improve confidence that the system reflects the requirements, (63) Continuation-in-part of application No. 11/461,669, and in turn reduces system development time and reduces the filed on Aug. 1, 2006, which is a continuation-in-part amount of testing required of a new system. Moreover, in of application No. 11/203,590, filed onAug. 12, 2005, some embodiments, two or more implementations can be now Pat. No. 7,739,671, which is a "reversed" to appropriate formal models, the models can be continuation-in-part of application No. 10/533,376, combined, and the resulting combination checked for con- filed on Apr. 29, 2005, now Pat. No. 7,484,688. flicts. Then, the combined, error-free model can be used to generate a new (single) implementation that combines the (51) Int. Cl. functionality of the original separate implementations, and G06F 9144 (2006.01) may be more likely to be correct. G06F 9145 (2006.01) (52) U.S. Cl. ......... 717/127; 717/128; 717/131; 717/141 27 Claims, 25 Drawing Sheets 1102 PATTERN-MATCHING SCENARIOS INTO PROCESS-BASED SPECIFICATION SEGMENTS 1104 AGGREGATE THE PROCESS-BASED SPECIFICATION SEGMENTS INTO A SINGLE PROCESS-BASED SPECIFICATION 1106 TRANSLATE THE SINGLE PROCESS-BASED SPECIFICATION INTO HIGH LEVEL LANGUAGE INSTRUCTIONS 1108 COMPILE THE HIGH LEVEL LANGUAGE INSTRUCTIONS INTO EXECUTABLE CODE 1100 U.S. Patent Jul. 129 2011 Sheet 1 of 25 US 7,979,848 B2 102 104 INFORMAL LAWS OF SPECIFICATION CONCURRENCY 106 TRANSLATOR 108 PROCESS- BASED SPECIFICATION 110 112 CODE ANALYZER TRANSLATOR 114 COMPUTER LANGUAGE PROGRAM FIG. 1 1ao U.S. Patent Jul. 129 2011 Sheet 2 of 25 US 7,979,848 B2 202 210 FIG. 2 Ix,-- 200 U.S. Patent Jul. 129 2011 Sheet 3 of 25 US 7,979,848 B2 102 104 INFORMAL LAWS OF SPECIFICATION CONCURRENCY 302 PATTERN MATCHER 108 PROCESS- BASED SPECIFICATION 110 112 CODE ANALYZER TRANSLATOR 114 COMPUTER LANGUAGE PROGRAM FIG. 3 I\,— 300 U.S. Patent Jul. 129 2011 Sheet 4 of 25 US 7,979,848 B2 202 406 FIG. 4 1^11-- 400 U.S. Patent Jul. 129 2011 Sheet 5 of 25 US 7,979,848 B2 502 TRANSLATE INFORMAL SPECIFICATION INTO PROCESS-BASED SPECIFICATION SEGMENTS 504 AGGREGATE THE PROCESS-BASED SPECIFICATION SEGMENTS INTO A SINGLE PROCESS-BASED SPECIFICATION 506 TRANSLATE THE SINGLE PROCESS-BASED SPECIFICATION INTO HIGH LEVEL LANGUAGE INSTRUCTIONS 508 COMPILE THE HIGH LEVEL LANGUAGE INSTRUCTIONS INTO EXECUTABLE CODE FIG. 5 500 U.S. Patent Jul. 129 2011 Sheet 6 of 25 US 7,979,848 B2 602 VERIFY SYNTAX 604 MAP TO PROCESS-BASED SPECIFICATION 502 606 CONSISTENCY WITH OTHER PROCESS-BASED SPECIFICATIONS 608 VERIFY LACK OF OTHER PROBLEMS FIG. 6 111^_ 600 U.S. Patent Jul. 129 2011 Sheet 7 of 25 US 7,979,848 B2 702 ANALYZE A SCRIPT DERIVED FROM RULES 704 NO FLAW IN SCRIPT p YES 706 CORRECT THE FLAW IN THE RULES FIG. 7 I\"— 700 U.S. Patent Jul. 129 2011 Sheet 8 of 25 US 7,979,848 B2 802 TRANSLATE SCENARIOS INTO A FORMAL SPECIFICATION 804 ANALYZE THE FORMAL SPECIFICATION 806 TRANSLATE THE FORMAL SPECIFICATION INTO SCRIPT FIG. 8 800 U.S. Patent Jul. 129 2011 Sheet 9 of 25 US 7,979,848 B2 902 MECHANICALLY TRANSLATE DOMAIN KNOWLEDGE INTO FORMAL SPECIFICATION SEGMENTS 904 AGGREGATE THE FORMAL SPECIFICATION SEGMENTS INTO A SINGLE FORMAL SPECIFICATION 906 TRANSLATE THE SINGLE FORMAL SPECIFICATION INTO SCRIPT(S) 908 GENERATE A SCRIPT FROM THE SCRIPT(S) FIG. 9 1\1'-- 900 U.S. Patent Jul. 129 2011 Sheet 10 of 25 US 7,979,848 B2 1002 VERIFY SYNTAX 1004 MAP TO FORMAL SPECIFICATION 902 1006 VERIFY CONSISTENCY OF FORMAL SPECIFICATION 1008 VERIFY LACK OF OTHER PROBLEMS FIG. 10 ^\-- 1000 U.S. Patent Jul. 129 2011 Sheet 11 of 25 US 7,979,848 B2 1102 PATTERN-MATCHING SCENARIOS INTO PROCESS-BASED SPECIFICATION SEGMENTS 1104 AGGREGATE THE PROCESS-BASED SPECIFICATION SEGMENTS INTO A SINGLE PROCESS-BASED SPECIFICATION 1106 TRANSLATE THE SINGLE PROCESS-BASED SPECIFICATION INTO HIGH LEVEL LANGUAGE INSTRUCTIONS 1108 COMPILE THE HIGH LEVEL LANGUAGE INSTRUCTIONS INTO EXECUTABLE CODE FIG. 11 I\,-- 1100 U.S. Patent Jul. 129 2011 Sheet 12 of 25 US 7,979,848 B2 1202 VERIFY SYNTAX OF INFORMAL REQUIREMENTS 1204 MAP INFORMAL REQUIREMENTS TO PROCESS- BASED SPECIFICATION 1102 1206 PROCESS-BASED SPECIFICATION WITH OTHER PROCESS-BASED SPECIFICATIONS 1208 VERIFY LACK OF OTHER PROBLEMS IN THE PROCESS- BASED SPECIFICATION FIG. 12 I\"-- 1200 U.S. Patent Jul. 129 2011 Sheet 13 of 25 US 7,979,848 B2 1302 ANALYZE A SPECIFICATION DERIVED FROM SCENARIOS 1304 NO FLAW IN SPECIFICATION --^ YES 1306 CORRECT THE FLAW IN THE SCENARIOS FIG. 13 ^ 1300 U.S. Patent Jul. 129 2011 Sheet 14 of 25 US 7,979,848 B2 1402 PATTERN-MATCHING SCENARIOS INTO A FORMAL SPECIFICATION 1404 ANALYZE THE FORMAL SPECIFICATION 1406 TRANSLATE THE FORMAL SPECIFICATION INTO AN IMPLMENTATION FIG. 14 1400 U.S. Patent Jul. 129 2011 Sheet 15 of 25 US 7,979,848 B2 1502 MECHANICALLY PATTERN-MATCH DOMAIN KNOWLEDGE INTO FORMAL SPECIFICATION SEGMENTS 1504 AGGREGATE THE FORMAL SPECIFICATION SEGMENTS INTO A SINGLE FORMAL SPECIFICATION FIG. 15 "Il'- 1500 U.S. Patent Jul. 129 2011 Sheet 16 of 25 US 7,979,848 B2 1602-,,VERIFY SYNTAX OF DOMAIN KNOWLEDGE MAP DOMAIN 1604 KNOWLEDGE TO A FORMAL SPECIFICATION SEGMENT 1502 1606 CONSISTENCY OF THE FORMAL SPECIFICATION SEGMENT VERIFY LACK OF 1608 OTHER PROBLEMS IN THE FORMAL SPECIFICATION SEGMENT FIG. 16 I\\-- 1600 U.S. Patent Jul. 129 2011 Sheet 17 of 25 US 7,979,848 B2 1722 1724 1726 1702 DISPLAY SPEAKER I I SPEAKER 1728 1730 1704 NIC LAN NIC CPU 1706 POWER 1734 1732 1736 REMOTE RAM WAN COMPUTER 1708--, ROM 1710 MASS STORAGE 1712 1716 COMM 1700 1718 POINTING FIG. 17 1714INTER C NE>T JKEYBOARD J^ ­ DEVICE 1720 U.S. Patent Jul. 129 2011 Sheet 18 of 25 US 7,979,848 B2 102 104 INFORMAL LAWS OF SPECIFICATION CONCURRENCY 1802 CSP TRANSLATOR 1804 CSP SPECIFICATION 1806 1808 1810 VISUALIZATION TOOL ANALYZER CSP TOOL 1804 MODIFIED CSP SPECIFICATION 112 CODE TRANSLATOR 114 COMPUTER FIG. 18 LANGUAGE PROGRAM 1800 U.S. Patent Jul. 129 2011 Sheet 19 of 25 US 7,979,848 B2 1722 1724 1726 1702 DISPLAY SPEAKER SPEAKER 1728 1730 1704 NIC LAN NIC CPU 1706 POWER 1734 1732 1736 REMOTE R AM 1738 WAN COMPUTER 1708 1802 CSP ROM TRANSLATOR 1710 1806 MASS ANALYZER STORAGE 1712 1716 112 CODE COMM TRANSLATOR 1900 POINTING FIG. 19 17141718INTERNET KEYBOARD DEVICE 1720 U.S. Patent Jul. 129 2011 Sheet 20 of 25 US 7,979,848 B2 202 104 204 INFERENCE LAWS OF SCENARIOS CONCURRENCY ENGINE 206 TRANSLATOR 208 210 FORMAL SPECIFICATION P ANALYZER 212 2002 REVERSE SCRIPT SCRIPT TRANSLATOR TRANSLATOR 214 SCRIPT FIG. 20 2000 U.S. Patent Jul. 129 2011 Sheet 21 of 25 US 7,979,848 B2 1722 1724 1726 1702 DISPLAY SPEAKER SPEAKER 1728 1730 1704 NIC LAN NIC CPU 1706 1734 1732 1736 POWER REMOTE RAM 1738 [WAN COMPUTER 1708 212 _ SCRIPT ROM -' TRANSLATOR 1710 210 MASS SCRIPT STORAGE ANALYZER 1712 1716 REVERSE 2002 COMM SCRIPT TRANSLATOR 1500 1714 1718 POINTING FIG. 21 INTERNET KEYBOARD DEVICE 1720 U.S. Patent Jul. 129 2011 Sheet 22 of 25 US 7,979,848 B2 102 ^ / ) -104 INFORMAL LAWS OF SPECIFICATION CONCURRENCY 2202 IMPLEMENTATION PATTERN MATCHER 2204 IMPLEMENTATION 2206 2208 2210 VISUALIZATION TOOL ANALYZER TOOL 2212--, MODIFIED IMPLEMENTATION 112 CODE TRANSLATOR 114 COMPUTER FIG. 22 LANGUAGE PROGRAM 2200 U.S. Patent Jul. 12 9 2011 Sheet 23 of 25 US 7,979,848 B2 1722 1724 1726 1702 DISPLAY SPEAKER I I SPEAKER 1728 1730 1704 NIC LAN NIC CPU 1706 1734 1732 1736 POWER REMOTE RAM 1738 [WAN COMPUTER 1708 IMPLEMENTATION 2202 ROM PATTERN MATCHER 1710 2206 MASS - ANALYZER STORAGE ► 1712 1716 112 CODE COMM TRANSLATOR 2300 POINTING FIG.
Load more

Recommended publications
  • Desktop Automation with Autohotkey
    Unplug Your Mouse Workflow Automation with AutoHotKey Andrew Weidner Robert Wilson Mice make simple things easy and complex things impossible. Mice make simple things easy and complex things impossible. Mice are useful and fun, but they tend to slow down repetitive file management tasks. Do things faster with your keyboard. Keyboard Optimization: why type fifty-two keys when you can do the same thing with two? (Ctrl + 4) Overview • Keyboard Shortcuts • AutoHotkey Scripts • Tools & References • Demonstration Keyboard Shortcuts Windows Explorer Tab = cycle fields (add Shift to reverse) Alt + Tab = application switcher Enter = open selected file/folder Backspace = return to parent folder Alt + F + M = rename selected file/folder (also F2) Alt + F + W + F = create a new folder Home/End = go to first/last file Keyboard Shortcuts ACDSee Viewer Page Down = next image Page Up = previous image (NumPad) * = fit image to window (NumPad) + = zoom in (NumPad) - = zoom out Arrow Keys = move around the image Home/End = go to first/last image Keyboard Shortcuts Mozilla Firefox Ctrl + T = open new tab Ctrl + Tab = cycle tabs (add Shift to reverse) Alt + Left = go to previous page (also Backspace) Ctrl + L = focus on address bar Tab = cycle links (add Shift to reverse) Arrow Keys = scroll through the page Ctrl + B = show/hide bookmarks sidebar AutoHotkey Scripts Simple: another Enter key ; plain text file with .AHK extension ; comments begin with a semicolon ; define the hotkey: Alt + a !a:: ; define the action Send, {Enter} AutoHotkey Scripts Simple: type
    [Show full text]
  • New Elevation Powertoys for Windows Vista
    Security At a glance: Run as Administrator for third-party scripting tools Run as Another User Prompt Here as System for CMD and Windows PowerShell Drag-and-drop Elevation Gadget New Elevation PowerToys for Windows Vista Michael Murgolo of my favourite third-party scripting tools, Welcome to another demonstrate how you can replace a nice edition of the Elevation Windows XP feature that was removed from Windows Vista, and look at some of the han- PowerToys for dy tools that are included in Elevation Pow- erToys. Windows Vista. I took Run as Administrator for additional a close look at this in scripting tools One topic I discussed in the previous article the June 2007 issue (available at http://technet.microsoft.com/ magazine/cc162321.aspx) was enabling the of TechNet Magazine. Run as Administrator option for the native Windows scripting tools. For this article, I’ve Here we are a year created Run as Administrator PowerToys for some third-party scripting tools: later. This time around, • AutoIt v3 (www.hiddensoft.com) • AutoHotkey (www.autohotkey.com) I want to show you • ActivePerl (www.activestate.com) how I expanded the • KiXtart 2010 (www.kixtart.org) The code for each of these is included in Run as Administrator the download for this article, which you can find at http://technetmagazine.com. The ac- functionality to some tual files are named ElevateAutoIt3.inf, El- 58 To get your FREE copy of TechNet Magazine subscribe at: www.microsoft.com/uk/technetmagazine 58_62_Elevatio_des7.indd 58 13/8/08 16:05:49 evateAutoHotKey.inf, ElevatePerlScript.inf, domain he is on.
    [Show full text]
  • Easily Automate Any Application Simple, Free Tool Yields 2× Productivity Increase
    Easily Automate Any Application Simple, Free Tool Yields 2× Productivity Increase First There is a Mountain – A client recently tasked me with consolidating and formatting eleven PowerPoint decks into a single, 700+ slide master deck. The decks were created by several authors having varied familiarity with the application. My job was to provide an attractive, uniform look—using a new design template—that would enhance readability and my client’s professional image. All the while I had to keep an eye on the clock to help minimize my client’s costs. It was estimated to take six minutes per slide based on data I included with the first few completed decks. But partway through the project I conjured a way to cut that time in half—in addition to being able to share my simple‐to‐use, no‐cost productivity enhancement process with the client (who is not familiar with computer coding). Mac OS users can look to Keyboard Maestro and the native Automator to provide similar functionality. But what I’m about to describe can be used anywhere in Windows 7 or later, and in any Microsoft or third‐party application that follows long‐established Windows user interface conventions. “Oh, the Tedium” – Bullet use was a mishmash throughout the client’s disparate slide decks. There was no consensus as to when an en‐ or em dash should be used—never mind corresponding spacing considerations. Adding to my budding carpel tunnel fear, not all Microsoft Office apps are created equal. Referencing the numeric keypad while using Word, why can you press [Ctrl]+[‐] to insert an en dash and [Ctrl]+[Alt]+[‐] for an em dash, but the same hotkey combos don’t work in PowerPoint? (Scratches head.) Yet pressing [F4], which repeats the last action, is common to both applications.
    [Show full text]
  • Online Appendices to WFH Productivity in Open-Source Projects
    Online Appendices ”WFH Productivity in Open-Source Projects” Lucas Shen (March 2021) Figure A1: Largest countries in sample Notes. Sample size by country, in descending order. Panel (a) sorts countries by number of commits per user-repository. Panel (b) sorts countries by number of user-repository. 1 Figure A2: US states (by Commits) Notes. US sample size by states, in descending order. States sorted by number of commits per user-repository. Figure A3: US states (by Users & Repositories) Notes. US sample size by states, in descending order. States sorted by number user-repository. 2 (a) Staggered Timing in County-level Business Closures (b) County-level Variation in Sample Sizes Figure A4: Geographical Variation in US sample Notes—Panel (a) plots the county-level variation in business closures from the US-state level records and crowdsourced county-level records. Blue indicates earlier closures, while red indicates later closures. South Dakota is (still) the sole state without closure at the time of writing. Panel (b) plots the geographic variation of commits from geocoded U.S. users—larger markers indicate larger activity in the sample period. 3 (a) Early response (by 15 Feb) (b) Intermediate response (by 17 Mar) (c) Late response (by 30 Apr) Figure A5: Country variation in WFH enforcement Notes. Figure plots the variation in government-enforced WFH levels during the COVID-19 pandemic. WFH indicators come from the OxCGRT (?). 4 (a) Early response (by 15 Feb) (b) Intermediate response (by 17 Mar) (c) Late response (by 30 Apr) Figure A6: U.S. states variation in WFH enforcement Notes. Figure plots the U.S.
    [Show full text]
  • The Unit Tutorials Are from WEEK 2. a Few Key Points for Start-Up. 1
    The unit tutorials are from WEEK 2. A few key points for start-up. 1. Blended learning approach Blended learning has been implemented for this unit, which refers to a strategic and systematic approach to combining times and modes of learning, integrating the best aspects of face-to-face and online interactions, using appropriate ICTs. So the relevant technique and skills involved in this unit will be presented/delivered in different ways, for instance, lecture notes, extra notes, practical exercises, in-class discussion, as well as emails etc. As there are no face-to-face lectures, some extra notes are provided to reinforce understanding. A few sets of extra notes have been posted in vUWS; new extra notes may be added in vUWS. In addition to the unit contents in vUWS, I may use emails to further clarify administrative policies, provide hints to practical activities, present extra/supplementary materials for your information. So please check your UWS emails regularly. For example, we are not able to cover VBS features in details during tutorial classes. I may use emails to give some hints on necessary VBS features used for the practical exercises. I consider this way even more flexible and handy. 2. Consultation via emails For personal enquiries, you can also email me directly - making sure you start the subject line with '300165 SAP' and then include a relevant subject. A staff member is typically teaching multiple units, if you don't tell him/her which unit is about in your email, the staff member is not able to answer your question clearly.
    [Show full text]
  • Rapid Application Mobilization and Delivery for Smartphones
    RAPID APPLICATION MOBILIZATION AND DELIVERY FOR SMARTPHONES A Dissertation Presented to The Academic Faculty by Cheng-Lin Tsao In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the School of Electrical and Computer Engineering Georgia Institute of Technology August 2012 Copyright c 2012 by Cheng-Lin Tsao RAPID APPLICATION MOBILIZATION AND DELIVERY FOR SMARTPHONES Approved by: Professor Raghupathy Sivakumar, Professor Douglas M. Blough Advisor School of Electrical and Computer School of Electrical and Computer Engineering Engineering Georgia Institute of Technology Georgia Institute of Technology Professor Nikil S. Jayant Professor Umakishore Ramachandran School of Electrical and Computer College of Computing Engineering Georgia Institute of Technology Georgia Institute of Technology Professor Ghassan AlRegib Date Approved: June 2012 School of Electrical and Computer Engineering Georgia Institute of Technology DEDICATION To my parents Min-Chia Tsao and Chin-Chu Tu, my wife Hsun-Han Yu and my daughter Sophia Y. Tsao. iii ACKNOWLEDGEMENTS First and foremost, I would like to express my sincere gratitude to my advisor, Prof. Raghupathy Sivakumar, for his unflagging guidance and support. This dissertation would not have been possible without all the insightful discussion with him. He has given me great freedom in making my own decisions and coming up with research ideas. During my dissertation study, he has acted as an excellent role model of a researcher with intense enthusiasm and drive. His high standards for clear thinking and effective communication are inspiring to me will continue to guide me in my future endeavors. I would like to thank Profs. Nikil S. Jayant, Douglas M.
    [Show full text]
  • Scite4autohotkey Help
    Version v3.0.06.01 SciTE distribution designed for AutoHotkey - made by fincs - Original SciTE made by Neil Hodgson Quick Reference Usage: Opening AutoHotkey scripts Working with AutoHotkey scripts Debugging AutoHotkey scripts The toolbar Using macros Changing settings AutoHotkey v2 Support Editing features: Syntax highlighting Code folding Context menu Calltips and Autocomplete Extending the editor: Extensions COM interface Tool documentation: SmartGUI Creator 4.0 MsgBox Creator GenDocs 3.0 Scriptlet Utility TillaGoto Changelog v3.0.06.01 - October 12, 2014 Changes and new features: Upgraded to SciTE/Scintilla 3.5.1. AutoHotkey v1.1.16 syntax definition updates. AutoHotkey v2.0-a056 syntax definition updates. Added 'Run selection' context menu command (requires AutoHotkey v1.1.17) Bug-fixes: AutoHotkey v2 syntax highlighting: BIFs in command syntax (broken by v3.0.06) v3.0.06 - August 18, 2014 Changes and new features: Upgraded to SciTE/Scintilla 3.5.0. Added new program icon [designed by kon]. Added support for auto-completion of built-in object methods/properties as well as CallTips. Debugger: The current line marker color is now translucid instead of opaque cyan. AutoHotkey v2: added object command syntax support. AutoHotkey v2: introduced new syntax highlighting styles for object properties, methods, built-in properties and built-in methods. Bug-fixes: Minor debugger refactoring. Toolbar startup stability and reliability fixes. v3.0.05.01 - April 5, 2014 Changes and new features: Upgraded to SciTE/Scintilla 3.4.1. Incremental search and replace were disabled, this makes the 'Find/Replace Next' button useful again. An 'Unmark All' button was added to the Find command.
    [Show full text]
  • Formatting Syntax Formatting Syntax
    2021/09/27 23:09 1/15 Formatting Syntax Formatting Syntax DokuWiki supports some simple markup language, which tries to make the datafiles to be as readable as possible. This page contains all possible syntax you may use when editing the pages. Simply have a look at the source of this page by pressing “Edit this page”. If you want to try something, just use the playground page. The simpler markup is easily accessible via quickbuttons, too. Basic Text Formatting DokuWiki supports bold, italic, underlined and monospaced texts. Of course you can combine all these. DokuWiki supports **bold**, //italic//, __underlined__ and ''monospaced'' texts. Of course you can **__//''combine''//__** all these. superscript You can use subscript and , too. You can use <sub>subscript</sub> and <sup>superscript</sup>, too. You can mark something as deleted as well. You can mark something as <del>deleted</del> as well. Paragraphs are created from blank lines. If you want to force a newline without a paragraph, you can use two backslashes followed by a whitespace or the end of line. This is some text with some linebreaks Note that the two backslashes are only recognized at the end of a line or followed by a whitespace \\this happens without it. This is some text with some linebreaks\\ Note that the two backslashes are only recognized at the end of a line\\ or followed by\\ a whitespace \\this happens without it. You should use forced newlines only if really needed. Links DokuWiki supports multiple ways of creating links. Gender Equality Network in Physics in the European Research Area - http://www.genera-network.eu/ Last update: 2020/06/18 19:36 wiki:syntax http://www.genera-network.eu/wiki:syntax External External links are recognized automagically: http://www.google.com or simply www.google.com - You can set the link text as well: This Link points to google.
    [Show full text]
  • Autohotkey Again Direct Urls
    Direct_URLs Combined_Search_Strings Combined_Titles https://autohotkey.com/board/topic/110507-google-advanced-search-terms-cheat- autohotkey cheat sheet "Google advanced search terms - cheat sheet ... - AutoHotkey" sheet-and-web-page/ https://autohotkey.com/board/topic/113149-simple-macro-script-with-delay/ How to use Autohotkey Macros "Simple Macro Script with Delay - Gaming ... - AutoHotkey" and Scripts https://autohotkey.com/board/topic/113783-hand-friendly-text-navigation-help/ autohotkey lifehacker "Hand Friendly Text Navigation Help - AutoHotkey" https://autohotkey.com/board/topic/114063-need-help-making-a-hotkey-for-the- autohotkey reddit "Need help making a hotkey for the random ... - AutoHotkey" random-subreddit-button-on-reddit/ https://autohotkey.com/board/topic/118442-on-screen-numpad/ autohotkey numpad scripts "On-screen NumPad - Scripts and Functions - AutoHotkey ..." https://autohotkey.com/board/topic/121900-lifehackerautohotkeyers-hive- autohotkey lifehacker "Lifehacker/AutoHotkeyers Hive Collaboration Idea... - Ask for ..." collaboration-idea/ https://autohotkey.com/board/topic/123127-script-isnt-downloading-all-images- autohotkey reddit "Script isn&#39;t downloading all images from reddit. - from-reddit/ AutoHotkey" https://autohotkey.com/board/topic/14926-ahk-scriptwriter/page-2 autohotkey script writer "AHK ScriptWriter - Page 2 - Scripts and ... - AutoHotkey" https://autohotkey.com/board/topic/16795-post-your-couldnt-live-without-script- autohotkey productivity scripts "Post your &quot;couldn&#39;t live without&quot;
    [Show full text]
  • Remapping Du Clavier
    Remapping du clavier http://fspsa.free.fr/clavier.htm Sommaire Introduction L'accessibilité Mise en garde Les raccourcis de Windows XP Les raccourcis ASCII du clavier numérique Le cas particulier de l'accent aigu Charmap.exe : la Table des caractères Scancode Map, la variable du Registre pour le remapping SharpKeys, freeware d'aide à la création de la variable Scancode Map Modification du Layout : MSKLC, The Microsoft Keyboard Layout Creator Les claviers français modifiés Le remapping logiciel avec AutoHotkey Le remapping logiciel avec Clavier+ Conclusions, comparaison des méthodes de remapping Introduction Nous avons parfois besoin de modifier le clavier. Telle touche nous paraît mal placée, telle autre demande un appui sur MAJ alors quelle est souvent utilisée, nous appuyons par mégarde en plein jeu sur une touche Windows, quand ce n'est pas sur le bouton de mise en veille. Les utilisateurs de portables sont les plus concernés. Quelques exemples : Présentation des touches du clavier On tape plus souvent un point qu'un point-virgule, hors il faut utiliser la touche MAJ pour faire le point. Peut-on intervertir ? Le point du clavier numérique serait mieux en virgule La touche ² dont je ne me sers jamais pourrait me servir à autre chose Mon clavier externe pose des problèmes avec mon PC portable J'aimerais un raccourci-clavier exécutant plusieurs actions d'un coup dans un programme J'ai besoin de modifier des touches et des boutons pour jouer plus vite Mon vieux joystick peux-t-il me servir à ouvrir le lecteur de CD ? Il n'y a pas l'accent
    [Show full text]
  • Advierten Sobre Ataques Continuos De Malware Basados En Autohotkey Autor: I
    Advierten sobre ataques continuos de malware basados en AutoHotKey Autor: I. Stepanenko Fecha: Sunday 26th of September 2021 11:02:11 AM Investigadores de seguridad cibernética descubrieron una campaña de malware en curso que depende en gran medida del lenguaje de scripting AutoHotkey (AHK) para entregar múltiples troyanos de acceso remoto (RAT) como Revenge RAT, LimeRAT, AsyncRAT, Houdini y Vjw0rm en sistemas Windows de destino. Se han detectado al menos 4 versiones distintas de la campaña a partir de febrero de 2021, según los investigadores de Morphisec Labs. «La campaña de entrega de RAT comienza con un script compilado de AutoHotKey (AHK). Este es un ejecutable independiente que contiene lo siguiente: el intérprete AHK, el script AHK y cualquier archivo que haya incorporado mediante el comando FileInstall. En esta campaña, los atacantes incorporan scripts/ejecutables maliciosos junto con una aplicación legítima para disfrazar sus intenciones», dijeron los Artículo descargado de www.masterhacks.net | 1 Advierten sobre ataques continuos de malware basados en AutoHotKey Autor: I. Stepanenko Fecha: Sunday 26th of September 2021 11:02:11 AM investigadores. AutoHotKey es un lenguaje de scripting personalizado de código abierto para Microsoft Windows que está destinado a proporcionar teclas de acceso rápido fáciles para la creación de macros y la automatización de software, lo que permite a los usuarios automatizar tareas repetitivas en cualquier aplicación de Windows. Independientemente de la cadena de ataque, la infección comienza con un ejecutable AHK que procede a soltar y ejecutar distintos VBScripts que eventualmente cargan el RAT en la máquina comprometida. En una variante del ataque detectado por primera vez el 31 de marzo, el adversario detrás de la campaña encapsuló la RAT eliminada con un ejecutable AHK, además de deshabilitar Microsoft Defender mediante la implementación de un script por lotes y un archivo de acceso directo que apunta a dicho script.
    [Show full text]
  • Citation File Format (CFF)
    Citation File Format (CFF) Stephan Druskat ([email protected]) 06 October 2017 Abstract The Citation File Format (CFF) is a human- and machine-readable format for CITATION files. These files provide citation metadata for (research and scientific) software. The format aims to support all use cases for software citation described in [1]. CFF is serialized in YAML 1.2, and is therefore Unicode-based and cross- language (in terms of both natural language scripts and programming languages). This specification, together with the Unicode standard for characters, aims to provide all the information necessary to understand CFF, and to use (i.e., write) and re-use (i.e., read, validate, convert from) it. These specifications are maintained openly at https://github.com/sdruskat/citation-file-format. Contents Introduction 2 Status of this document .............................................. 2 Rationale ...................................................... 2 Goals ........................................................ 3 Concepts ...................................................... 3 Format 3 File structure .................................................... 3 Reference structure .............................................. 4 Notable reference keys ............................................ 4 Formatting ..................................................... 5 Reference keys ................................................... 5 Exemplary uses ................................................ 8 Reference types ..................................................
    [Show full text]