Category: Uncategorized

“On Not Reinventing the Wheel” – Outline of an ad hoc Thesis – Mathematics in a Critical Perspective

  • A Perspective on Elementary Mathematics
    • “Shortcut Methods” not known to be supportive of any long-term learning
    • Theoretical foundations of mathematics by-in-large absent from contemporary teaching methods in elementary mathematics courses
  • Abstract Algebra not a Marketable Skill?
    • Macroeconomic trends and jobs data
    • Cultures and Mathematics
  • Novelty … from Theory?
    • Relevance of Analytic Geometry in Computer Graphics Applications
    • Relevance of Analytic Geometry in Geodessy – Navigational Methods, Survey Methods,  and Postcolonial Geography
    • Relevance of Algebraic Methods in Theory and Applications of Analytic Geometry
    • Relevance of procedural Logics and definitions of Set Theory, throughout Mathematical Disciplines
    • Abstract Algebra, Computational Models, and non-propietary Information Science
  • Novelty no End in Itself
    • Social-Political-Economic Theory – Consumerism as Modern Culture in Globalized Societies, Novelty as Material Device in Consumerist Marketing
    • Theoretical foundations of mathematical methods critical for understanding of qualities and limits of applications in Mathematics
    • Mathematical Philosophy – viz a viz Bertrand Russel – as an intuitive feature of mathematical knowledge, contrasted to technical features of Mathematical applications
    • This is not “Revenge of the Nerds” – Sensationalism, Sentiments, Cinema, and Technical Proficiency in Material Systems
  • Cultures of Mathematical Canon
    • Historic developments in mathematical canon
    • Narrative as cultural expression – Empires, Engineers, Metropolitan Socities, Artistans, Pirates, and the Limits of all that Glitters
    • Academia in a Global Geography
    • Mathematics not “All about Economics”
  • KM and Mathematics
    • Knowledge Models, Knowledge Representation, Knowledgebases, and Applications of Expert Systems
    • Historianship as a Scholastic Quality of Service – not all Histories are “Sunny,” not all Histories are Historically Accurate
    • Commodities, Projects, Narratives, and Needs of the Consumer
    • Social Macroeconomics, Narrative Trends, and the Modern Populism – a Critical Perspective
    • Material Agendas as Raison D’être in Material Projects Management
    • On Not Reinventing the Wheel

Canon and Form – Concerning the Mathematics Proper, and a Commentary of Functional Shapes

As a student of an online college program in mathematics – now studying in the first week of courses, so my perspective of the course programs may be, in some ways, naive – I may feel in many ways glad to begin to study about mathematics, formally, but I don’t usually begin to write about topics that I’m in any ways glad about, of late.

In short, I would not wish to resemble the glib Web, and neither to adopt any excess of naivete in developing my own small perspective of the world. Though it may be uncommon, thus, to write with a sense of seriousness,  in writing for any manner of publishing online – and it not to be in presenting a political argument, though serious of tone – and though I may as well imagine that my own writing will never be accepted into any manner of a popular “Online Winners Circle,” thus, but it is of a style that I feel I should keep, in writing for publishing online.

Thus, although I might wish I could write anything  of a style as may appeal to any of the latest of the Bold Experts of the Trendy Trends – though I may hope as if I could ever produce anything, in writing, that might ever singularly capture the attentions of any of the Political Expedients, the Narrative Keepers, or the Cheerleaders in so many Online Instant Celebrity Forums – and though I may wish, even moreso, as if there was any single market for a Grain of Salt in Pop Literature, but – realistically – I may only be able to keep my own style of writing, in writing. This style, as such, does not leave any opportunity for indulgence, it does not permit for any grand “Blue sky” thinking, and it does not leave any place for exploit by the inevitable “Drive-by sharp shooter” in Internet Commentary.

If it is any kind of an evolved style, the reader may wish to speculate about how this style has evolved? Forever and ever, the reader may wish to speculate.

Point of Contention

Candidly, my main point of concern in beginning this article, this evening, is to address a matter of consideration with regards to some qualities of mathematics. However any qualities of mathematics may be represented in any single context – as whether in any expository regards, in any anecdotal regards, or in any context of programmed instruction program – but, as a student, I wish I could be more attentive about the qualities of mathematics, itself, as a discipline. Candidly, I do not wish to be too concerned about any qualities of the “Discussion Method,” except when that is the foremost topic that I find occurring to my own small attentions, in a course.

When a course is tedious, and when the content  of a course may seem a bit difficult to consider for any sense of relevance – though it may be to an unhappy situation, momentarily, yet it may not be altogether to a catastrophic phenomenon. If it may occur to any opportunity for a further consideration about the course – as in regards to the course’s content, as principally independent of any qualities of the presentation of the content – thus, it may not be so much as an academic catastrophe, let alone any kind of a personal emotional catastrophe. So, applying a simple manner of analytical sense about a course’s content, there may be a certain sense of resilience available to a student, even when the course itself is difficult to consider for its relevance.

Introducing the Mathematics Proper

Beyond any manner of the novelty of any individual mathematical forms, there is a by-in-large consistent body of literature establishing, in effect, the Mathematical Canon. Much as like with the – no doubt – fallible material sciences, the mathematical body of literature as such, it exists as that each work may expand on, refine, and/or refute the theses presented in any previous works. It is not, inasmuch, an anecdotal body of literature, though it may seem in ways philosophical – rather, that it is principally a technical literature, the literature of mathematics.

If it does not find a lot of coverage in any contemporary mathematics programs, perhaps that may be for that it may simply not appeal to any manner of a social ethic? The literary canon in which Mathematical Theory itself is developed, it may not offer a lot of a sense of novelty for presentation. Perhaps it may seem, in any ways, pedagogical to so much as discuss such a main body of work – as that it is not merely an object of whim, not any manner of a romantic folklore, and perhaps that it may not be in all ways exclusively represented in any single artistic expression. Perhaps the dry nature of the topic may be in any ways mitigated, however, with any singular commentary about the Great Celebrities of Mathematics and the environments in which they developed their works.

It being, as stated, not an anecdotal body of work, it may not seem apropos to present any manner of a singularly anecdotal reference to the body of work. Thus, this article itself is absent of any exact manner of bibliographical citation to the same. Perhaps it could seem as if that was only as to avoid any manner of an opinionated “Sharp Shooting,” online, as to whom is to be allowed to define the Canon of Mathematics, in any single Model of Narrative.

It is broadly as to avoid any speculations as may attend any anecdotal reference – the motive, in this instance, in avoiding any anecdotal reference to any singular work in the domain. As such, it might seem to subsume – in effect – the result: As that it may not permit for any manner of opinionated “Sharp shooting,” with regards to Mathematical Canon – as viz a viz when there is no singular object presented for the Opinionated Marksmen of the Internet, not in any anecdotal regards of Mathematics.

Thus, though this article may seem at risk of any excess of seriousness – such that, transitively, may not permit for this article to appeal to any excess of popularity – such that the author of this article has endeavored to address, previously in this article, as that such lack of populist appeal is not a lot of important, in this author’s own opinions – it is not without a sense of meaning to its lack of fun.

To Properly Regard a Question of Shapes of Functional Graphs

In regards to a Cartesian projection onto a Euclidean “Two Space”, a question of “How does a graph look?” it might seem in some ways naive, as a question.

For instance: Given a function of a single independent variable and a single dependent variable, both  represented in the Cartesian projection, then – from a manner of a sort of an analytical viewpoint –  perhaps it may in some ways benefit a student to have learned of a how a graph of the absolute value of the independent variable appears, visually – and it not be abandoned at any matter of the visual characteristics of the representation. If it may seem, in  any ways, an echo of any content that one may have studied in any manner of a public secondary school, perhaps it could seem fairly trivial – beyond any commentary, so.

If it may not seem so trivial, and yet not seeming very technically difficult, perhaps one might seem to run a risk of “Overthinking” about the matter, to even observe such  a concept in its occurrence: The shape of a mundane function of the absolute value of ‘x’ plotted as ‘f(x)’ – the geometric domain and range of such a function being fairly trivial to calculate, analytically – how could it be worth a whole article, in Internet Writing?

Perhaps, some articles may be written not so much as to produce any desired effect to the reader, as much as to develop a matter of consideration – as that it may not be merely a mundane graph, not only a graphical artifact, and not exclusively a mathematical novelty, simply: A mathematical function represented on a Cartesian plane – whether a function of the absolute value of ‘x’, or otherwise.

Thus, to an analytical perspective, there are the qualities of the domain and the range of the function – beyond any plain, rote tedium such as for calculating the “Y intercepts” of the function, and calculating the geometric “Slope” of any single linear form, in the function – whether or not as to develop any manner of a calculation, moreover, of the numeric minimum of the function, along any single axis in the Cartesian plane. Such topics, one might wish to believe, could all fit into a single week in a college course.

Not to criticize the teaching method, one has one’s opinions.

Principles of Web Authoring – An Outline

Principles of Web Authoring – An Outline

Ed. Note: The author’s goal – in developing the following outline – is to arrive, ideally, at a comfortable definition of “Web Authoring”, with the comfortable definition being defined with – ideally – some qualities of philosophical abstraction, of perceived accuracy in an estimate of the author’s own previous experiences in online media, and of a manner of academic objectivity as with regards to any manners of broader social, commercial, political, and/or practical theories.

  • Concept: Arbitrary Readers
    • Audience may be Implicitly “Unknown”
      • Personal Identities
      • Social Agendas
      • Perceived roles of “Audience Member” as”Stakeholder,” “Participant,” and/or “Audience”
    • “Other Authors” may or may not be “Known,” to any extent of perceived social and/or personal identity
    • A naive premise of a goal in web authoring: “Appeal to existing knowledge”
      • Contrast: Knowledge, ideas,meanings, and perceptions
        • Of readers
        • Of authors
      • Contrast:
        • Scientific knowledge
        • Anecdotal ideas
        • Perception, Whims, and Wishing
        • “Creative license”
    • Game Theory as an Abstraction of Social Interactions, On- and Offline
  • Concept: Arbitrary Interactions
    • Concept: Web as “Dialogue Space”
    • Concept: Web as “Social Space”
      • Concept: Social aspects of Online Interactions as effectively subsumed by aspects of the Social Spaces of Individual Actors in Online Dialogues
  • Definition: Content
    • Content as expression of style
    • Content as expression of information
    • Content and media – archival/bibliographical classifications of media resources
  • Concept: Content in Context
    • Definition: Mathematics as Abstraction – Whitehead
    • Technical content – e.g technical software documentation
    • Commercial content – broadly, “Marketing”
    • Academic content – e.g scholarly articles
    • Creative content – broadly, “Arts”
    • Concept: Logical abstraction of “Presented Content”
  • Concept: Agenda as a Service
    • Ideological Assumptions and Expressions in Online Content
      • Social and Personal Perceptions
      • Knowledge and Information
      • Ideological Aims
      • Prosperity and Practice
    • “Thought Leadering” [Concept]
      • Synonym: “Preaching”
      • Ideological Preconceptions of Authors and of Readers
      • Moral Assumptions and Moral Goals in Content Creation and Publishing – towards an arbitrary definition and/or perception of sense of social and/or individual morality
      • Ye Olde Propagandisch
      • Perceptions and Definitions of Social Class
        • Social Class as Material State
        • Social Class as Creative Expression
        • Social Class as Non-Thing
      • Nation States, Social Tribes, Cultures, and Folklore – towards an arbitrary characterization of Thematic Agendas in Social Structures
  • Concept: Commodification of Online Content Information
    • Data Mining as Institutional Practice
      • Lexical Analysis – Structures of Langauges
      • Ontology – Structural Definitions of Concepts, Categories of Concepts, and Conceptual Relations of Concepts
      • Institutions as Actors – Commercial and Noncommercial Institutions – Methods and Goals
    • Commodity-Oriented Analytical Models in Online Data Analysis – Definitions and Semantics
      • Commercial Advertising
      • Social/Political Analysis
      • Information Search and Retrieval
  • Concept: Web as a Publishing Service
    • Contrast: Web as a Marketing Service
    • Contrast: Web as a Dialogue Service
    • Contrast: Web as a Commercial Service
    • Contrast: Online Gaming

Business – a Thesis Outline

Thesis in Outline – for “the ultimate” in literal brevity

  • Business as Commercial Enterprise
    • Contrast: Academic Enterprise (including Arts)
    • Contrast: Government Enterprise
    • Context: Bureaucratic Categories
  • Academia at Intersection with Computing and Information Security
    • ARPANET – Participants Included
      • Ivy League Academia (Principal Participants)
      • BBN (Principal Participants)
      • MITRE (Principal Participants)
      • Computer manufacturers, circa [Event] The arrival of the “Traitorous Eight” to Silicon Valley
    • CHAOSNET (MIT) – Contrasted to emerging TCP/IP stack and corresponding standardization by commercial computer manufacturers.
      • Orthogonal Discussion: Distinguishable definitions of Schools of Philosophy in computer systems design – cf. Microprogramming, models of a Microprocessor as a Stack Machine, and broader mathematics (Linear Temporal Logic, Computational Tree Logic, other modal models of logic in theory and applications)
    • Emergence of standards agencies as corresponding to works of material stakeholders in Information Security practices – IETF, NIST, ITU-T
    • BBN subsequently acquired by Ratheon
    • MITRE a not-for-profit enterprise
  • Business as Market Phenomenon
    • Market Effects as ends, means, or incidental trends of partially observable economic systems
    • When Political Image Management and Commercial Image Management collude – Material Statism, juxtaposed to philosophies of Political Governance
    • P.T. Barnum’s Economic Studies – not as a misquote, neither as a matter of a competition about the presentation of a Cardiff Giant
    • Tribalism, Folklore, and Economic Theory – “When Social meets Business,” in a context of Perceived Prosperity
    • Sustainable Development – not a gilded goal, a principled premise for development of sustainable economic capacity, material commerce, and economic wellness
    • Alter-Concept: Statism of compulsively exploitative capital institutions – analogy to Thoreau’s Gold-Digger on a Horse
  • Capital Resources and Social Morality
  • Conclusion: Developing “DIY Success” in and/or Beyond an Exploitative State

The Novelty: Canonic Mathematics and Mobile Computing Platforms – an Observation

In looking at one of the many mathematically focused games on the Android platform  – King of Math, namely – I was running through a couple of the pop-quiz questions that the game presents under a label of Statistics, but in such that at least some of the quiz questions are rather focused about concepts of mathematical ratios as expressed in decimal percentage expressions. As previously a student of “High School Math,” circa the 1990’s at one public school, I had hoped that the quiz game might present any manner of quiz questions as with regards to statistical permutations, combinatorics, and mathematical probability calculations – perhaps anything like as such that myself and my fellow students had studied, during the “High School Math” course that we had attended, circa the 1990s in public school systems.  The course, at least, had addressed such concepts – explaining such concepts as for any manner of a mathematical mechanics of calculations onto concepts of mathematical permutations, combinatorics, and mathematical probability, such that we the students were to learn how to “Do,” ourselves. Of course, the course was conducted in a standard format – the teacher illustrating how to do the math, and we as the students likewise watching the lecture and participating in the teacher’s question sessions, then subsequently doing each our own homework and completing the canonic quizzes of the course.

Of course, to those of us who may not have thought that the mathematical content of the course was too deeply involving, our conversations during the subsequent class activity sessions may’ve included conversations – albeit, naively in regards – questions such as: What would it be like to hold a volume of matter as dense as the sun or of a density approaching the theoretical density of a black hole, but to hold such a mass as on a surface of an object as small as a teaspoon? We also did the homework and the quizzes, and continued – each of us individually, after high school – continuing on to nothing whatsoever like any careers in theoretical physics.

So, I am at least topically familiar with some topics of statistical mathematics. As my being – informally – a student of some of the perhaps more philosophical schools of thought, in contemporary academia, I am also personally familiar with some concepts of Definitions of concepts – broadly, epistemology, however represented in systems of knowledge representation, ontologies, taxonomies, description logics, first order logics, predicate logics, propositional logics, and any number of programming langauges’ own structurally unique syntaxes. In a manner of a short synopsis about such epistemic systems: That a definition of Concept is a concept, itself – but, of course, there must be any manner of a resource that would define a Concept, as in order for a Concept to be defined, if not known as a concept in any manner of a context.

Thus, though it may not seem to be deeply addressed of the contemporary academia, a concept: Canonical Knowledge occurs – as in regards to any manner of episetmic systems comprised principally of definitions of concepts.

So, in that regards, I began to wonder: Where is one to define a canonic sense of mathematical concepts, to an extent inasmuch as that one may understand such concepts oneself and may be able to refer bibliographically to any manner of a canonical reference about such concepts? Where is one to “Glue together” so many mathematical concepts as may be presented in so many, many mathematical textbooks, and it include a bibliography too? Would it be suitable to a format of a Wiki? Could it instead be addressed onto the Darwin Information Typing Architecture (DITA) and thus published centrally of any “known” authors? and but, how much of a veritable firestorm may it create of Academia, to presume to develop any manner of a canonic reference about mathematics and it not hearken from any single, canonical school of mathematics? Might one at least begin at an unpresumptuous beginning: To define a concept of how a Concept may be denoted as canonical to any single resource? and it not be to “Yet another ontology,” alone?

For instance, my own perspective about simple mathematical procedures of addition, subtraction, multiplication, and division is canonical to the Elementary School course where we were literally drilled about small applications of such mathematical concepts, weekly – as was in completing such topically simple mathematical expressions at magnitudes of integers lesser than or equal to 12, in repeated successions of intervals of time-limited durations, similarly in completing the assignments presented to us in an individual manner in the course, of each timed math quiz session. Thus, personally, I don’t find a lot of joy about such simple mathematical procedures, per se.
Of course, that I don’t personally regard a numeric ratio as it being principally a topic of statistics – returning to the matter of a cute math game, this week – candidly, I was then much annoyed in my own “User Experience” of an  otherwise novel and very well illustrated math quiz game, King of Math. 

Having ventured, more recently, to search for any more of kinds of mathematics games on the Android platform, I’ve found a few more of mathematical games for Android, but – candidly – I am not all sure if it may appeal to the common readership, even in any context of science, engineering, finance, or other contemporarily canonical technical field. let alone to actually find it to be an entertaining exercise to do the math, in all of a capitally competitive and whatsoever capitally endowed world.

 

So, but there are some fun maths games on Android – the novelty?

Towards a Meaning of Science

Across so any number of models of mathematics and of engineering, and any number of kinds of institutions and of definitions of culture, there may be a diversity of views discovered about any single topical domain. In a context of electrical engineering – as of the design and analysis of physical systems applying properties of electrodynamic systems, viz a viz models of atomic electron structure and electromagnetic properties of materials, if not also properties of light at varying frequencies in electromagnetic spectra, such as may be reified with reproducible calculations and with measurments of electrical current and voltage, electromagnetic field density, and luminosity – thus, broadly in a context of electrical engineering, perhaps the number of views about material of the domain may be at least as diverse as the number of theories and proofs comprising a presentation of the domain, as in any single presentation principally of the material sciences and corresponding mathematics as yet defined in the state of the art. Philosophically, it may seem that the student of the electrical sciences may thus be hard pressed – if not all to a metaphor of a grape or an olive, perhaps then to a metaphor of a school of geology – hard pressed, as though, to develop any singular, cogent, and consistently reproducible view of any number of principal theories comprising the state of the art.

If one is to depart from the corpus of materially proven theory, whether to disembark as to a foggy domain of the branding of commercial products or towards any perhaps more imaginative ends, one may then be pressed with the ironic task of proving a conjectural thesis about a materially well proven body of work – as though to depart from the body of scientific literature so far as extends of well-proven theory, if as though a conjectural thesis of identity would be sufficient as a premise for material work. Perhaps it may be conjectured, thence, as though the very essence of scientific theory was itself a manifestation of any manner of a shadowy agenda of an unknown agency, and the whole of scientific practice relegated thence to a principally superstitous, if not crude misappropriation of its material nature. If a statement of conjecture, then, would be mistaken for a scientific thesis, itself, and the conjecture depart from material proof, it may be much to the consternation of anyone endeavoring to apply the conjecture – if not all to the loss of the works developed and extended of the material sciences. If, moreover, the conjecture would become an insitutionally propgated thing, then the instituion of its propgation would itself begin acting – whether wittingly or not – as contrary to the very nature of the material sciences.

Perhaps, philosphical conjecture may find a role somewhere in a process of material proof, but surely such a role may not be located in or among the “End products” of any scientific procedure. Conjecture – however much a product of any manner of knowledge, but in any ways as a result of imagination, of a sense of philosophical creativity – conjecture may find a role as procedurally before hypothesis, thence to the more of a scientific method. If abandoned before hypothesis, however it may be to a sense of novelty, a conjecture may be of as much use as the echo of a tin pan tossed around in the winds of an incidental phenomenology. By contrast, a well proven scientific knowledge may be given to a metaphor of a carefully engineered structure, none overmuch subjected to any shocking insult of its principal foundations.

Departing from such a metaphor of material structures and incidental conjectures, thence again to address the principal foundations of scientific theory, a question may be developed as to how any manner of scientific theory may be most effectively presented, once thoroughly developed. In a short survey of the historic foundations of conetmporary academia, it may be observed: That every scientific theory that has ever occurred and been subsequently adopted as a contribution to the development of the state of the art has been accompanied, correspondingly, with a narrative description of the discovery – such that the description may serve as to present the discovery, as in a manner of a frame of the state of the art at the time of the discovery, and such as may serve to describe the discovery in itself. Broadly, the cynical assertion that, “There is nothing new under the sun,” it makes an odd shadow to the very nature of scientific provenance, whereof every “New” discovery must extend, completely, extending principally of previous discoveries, if it does not only extend of an accidental conjecture.

If for an absence of notable theatre, science might be mistaken as though it was of no great importance – as science being developed materially beside any of the many novelties produced of contempoary commerce – again, the principal foundations of science would remain unchanged, despite such unfair misapprehension.

Thus, but if science may be misapprehended as though it was not all of the resolute foundation of knowledge that knowledge develops, perhaps it may be thought instead to represent merely an object competing for popular attention in all of a material world as may be principally divorced from its material foundations? Perhaps there may be any manner of ideology to which, science may be only superficially observed as if it was no more meaningful than a box of rocks on a shelf? The conjectural adventures of a material cosmos may be many, but it is not without a material compass that human society has developed so far as to the present day.

Who, then, shall define what is the meaning of science? Shall it be relegated, as if, merely to the set of intellectual properties of any chiefly commercial institution? Shall it be, either, marginalized as if exclusively to the material displays of a museum of natural history? Shall it not be understood as it being of the foundations of knowledge, itself, in a principally real cosmos?

Configuring .. WLAN Access Point …

Ed. Note: The following represents an “Early,” if not fairly ad hoc outline

This configuration … the [mfgr] [model] Wifi adapter … run(…)

Modify loader.conf to ensure the if_run and runfw modules are loaded by the kernel, during kernel bootstrapping

sysrc -f /boot/loader.conf  if_run_load="YES"
sysrc -f /boot/loader.conf  runfw_load="YES"

Annotations to the previous shell script:

  • runfw depends on if_run. Thus, to ensure that both kernel modules are loaded, it may be feasible to simply load runfw. However, in specifying the configuration such that both modules are expressly loaded from the configuration, it may serve to presents an unambiguous meaning of the configuration, itself
  • See also: sysrc manual page; rc.conf manual page; loader.conf manual page; FreeBSD handbook; …

Configure the Network Interface Manually

WLAN_IF=wlan0
WLAN_DEV_IF=run0
WLAN_GW_ADDR=192.168.150.1
WLAN_GW_BITS=24
WLAN_SSID=MyWLAN
WLAN_MODE=11g
WLAN_CHAN=1
ifconfig ${WLAN_IF} create wlandev ${WLAN_DEV_IF} wlanmode hostap
ifconfig ${WLAN_IF} inet ${WLAN_GW_ADDR}/${WLAN_GW_BITS} ssid ${WLAN_SSID} mode ${WLAN_MODE} channel ${WLAN_CHAN}

Annotations to the previous shell script:

  • For the automatic network interface configuration described in the following, the script may be added to /etc/start_if.wlan0

Disable the Network Interface Manually

ifconfig wlan0 destroy

Annotations to the previous shell script:

  • For the automatic network interface configuration described in the following, the script may be added to /etc/stop_if.wlan0

Select a Wireless Security Method

  • WEP … (not recommended) … discussion
    • RC4 in WEP … discussion
  • WPA, WPA2 … discussion
  • TKIP in WPA, WPA2 … discussion
  • … discussion …
    • WPA-PSK
      • FreeBSD Platforms: hostapd
    • WPA-EAP
      • FreeBSD Platforms: Details may vary by site
  • Resources
    • WPA HOWTO – FreeRadius Wiki (cf. WPA-EAP)

Firewall

…. discussion … PF, IPFW, …

Proxies and Caching

  • DNS Cache
  • NTP …
  • HTTP Proxy
  • QoS Routing …

Putting it All Together

  • Automatic network interface service configuration
  • Automatic packet filter service configuration
  • Automatic NTP service init
  • Automatic DNS cache service init
  • Automatic HTTP proxy service configuration
  • Network performance statistics
  • Troubleshooting

About Modeling of Software Components and Software Systems

Component architectures abound, in and among computing systems – whether as fine-grained as of individual component models defined in any single hardware definition language (HDL) such as VHDL, Verilog, and SystemC, or as abstract as any single logical platform model such that may be defined with MARTE or AADL, or as broad as any single software component model – such as of any single software component model defined in a single programming language, as in reference to Maven Artifacts, Ruby Gems, and PERL Modules, or defined in any single software distribution framework such as with Debian packages, the Redhat Package Manager (RPM), FreeBSD ports, or pkgsrc ports.

Theoretically, a single logical model can be developed as for applications in modeling of component architectures in a context of computing, such that the logical model would be applicable across those domains of application – respectively, (1) hardware definition languages and correspondingly, design verification tools, (2) logical computer platform models, and (3) software component models. In a practical sense, a logical  model already exists, such that may be applied in such a context – as in reference to the Metaobject Framework (MOF) as MOF comprising a meta-metamodel, terminologically, and the Unified Modeling Language (UML) metamodel, as well as the Systems Modeling Language (SysML) metamodel, and other formal, normative metamodels principally defined as applications of MOF in individual domains of application. Specifically, the metamodel comprising SysML – including, as it happens to be, including components that are defined of the UML metamodel, and applied in SysML – the SysML metamodel may be extended with UML model profiles, alternate to defining any single “New” metamodel in extension to MOF. Such definition may be developed as proceeding to an application with regards to documentation of component architectures, and presentation of component architectures within platform design tools.

In a manner of semantic sense, as UML and SyML both representing applications of MOF, the relation of the respective UML and SysML metamodels as being orthogonal to the MOF meta-metamodel may be explained – with analogy – as in regards to definitions of classes as objects in a Common Lisp software program. Such explanation may make reference to the Metobject Protocol (MOP) as defined as an extension of ANSI Common Lisp (ANSI CL) – sometimes referred to as Common Lisp the Language, 2nd Edition (CLtL2) as with regards to set of data types, functions, procedures, and portable conventions defined of the numerous items of documentation comprising the effective ANSI Common Lisp standard. In a practical sense: A Common Lisp Standard Class may be defined as an instance of a Common Lisp metaclass, such that the respective metaclass is defined as a Common Lisp Standard Class, in itself. Effectively, if a Common Lisp standard class ‘B’ is defined as the definition of ‘B’ having  a metaclass ‘A’, then the class ‘B’ – in a sense of a class definition – represents an instance of a class definition ‘A’. Effectively, this extends of the logical model in Common Lisp, in which class definitions themselves are represented as first class objects.

In a practical manner, the Class-Metaclass relation in ANSI Common Lisp may be denoted as representing a manner of a logical relation, such that provides a manner of consistency – if not portability, moreover – to Common Lisp applications defined in a context of the Common Lisp Object System (CLOS).

The logical relation of the Class-Metaclass relation in ANSI Common Lisp – often denoted as a metacircular relation – it may be addressed to applications, often, in applying a formal extension to the ANSI Common Lisp specification – most often,  in application of the extension comprising the Metobject Protocol (MOP). The Common Lisp MOP was described originally in a commercially published text, the Art of the Metaobject Protocol (AMOP). The formal reference sections of the AMOP text have been published by the original authors, and are available as published by the Association of Lisp Users (ALU) in the text, The Common Lisp Object System MetaObject Protocol.

Of course, in a manner logically orthogonal to CLOS and MOP, some alternate object systems have been defined in Common Lisp programming systems – such with a reference to the Knowledge Representation (KR) schema object system developed in Garnet – technically, KR being defined at a “low level” in an application of Common Lisp ‘struct’ classes – and the object system effectively defined of the STELLA language, the latter as representing a manner of a language for Knowledge Interchange Format (KIF) developed in PowerLoom. STELLA, itself, may be transformed to source code in C++, Java, and Common Lisp, the respective source forms compiled in any single , standard toolchain to the respective programming language. The STELLA transformation engine, itself, is developed in Common Lisp.

As a manner of a technical sidebar: the PowerLoom open source codebase has been forked by the author of this article, in a project that may be denoted unambiguously as GraniteLoom.  The GraniteLoom fork has begun with developing a manner of a portable system definition for PowerLoom, in application of the ASDF system definition facility as defined also in Common Lisp.

With regards to definitions of logical modeling languages, the MOF meta-metamodel – including, as it does, some “Low level” features of UML – MOF represents essentially a logical baseline for domain-specific metamodels. Each respective metamodel, likewise, represents a manner of a domain-specific logical vocabulary for modeling. Each metamodel may be applied, in turn, in developing any single, essentially application-specific model. Each application-specific model, furthermore, may be applied to an effect of “Instance data.”

In a practical manner, the MOF meta-metamodel in itself is encoded formally in an application of the XML Model Interchange format (XMI). XMI extends logically of the XML Schema Document (XSD) specification, applying some conventions developed in the XSD specification, furthermore logically extending of the set of data types defined in the XSD specification.

XMI likewise is typically applied as an encoding format for models developed in the Eclipse Modeling Framework (EMF) ECore metamodel.

For all of the diversity of kinds of modelling language, simply in applications of system modeling tools – beside the diversity of kinds of object system, as defined in individual software programming languages – certainly it may serve to recall the popular “Turing Completeness” theory. In a logical manner, it may hold true that any single “Turing complete” logical model expressed in a single syntax M may be transformed to a model of a syntax N, if M and N, both, are “Turing Complete” modeling languages. Of course, insofar as that a concept of “Turing Completeness” is defined typically in a context of logical estimates of “Computability,” it might seem like a “Bit of a stretch,” to suggest that the concept could be applied also about concepts of “Computer systems modeling.”

Principally,  the question of whether a software program represents simply a model of computing will be left as an exercise for some later application – not to suggest as though it would be an arbitrary thesis, simply that it may seem be more of a philosophical question than a practical matter, in some regards. If a concept of “Turing Completeness” may be denoted, logically, as it being a concept applicable about any single modeling language – likewise, perhaps more of a philosophical concept than a practical thesis, per se.

Inasmuch as that the set of MOF and UML data type definitions, regarded together, may represent a manner of a comprehensive modeling framework, it is not necessarily to say whether MOF and UML are or are not “Turing Complete,” as modeling languages. Certainly, neither of MOF nor UML is expressly a functional language – rather more like a description language, in each.

In a broadest sense: If a software definition model may be defined as for an application in modeling of software ports, it may or may not be defined, simultaneously, for a purpose of marketing – whether socially or commercially.