TEMPER-Data Fusion-modeling organic behavior in the virtual world for FSD

[Anti_Illuminati]

[Anti_Illuminati]

[Anti_Illuminati]

[Anti_Illuminati]

[Anti_Illuminati]

Sunday, January 21, 2007
Key military network operating system made by company with Ptech ties

Edited on Sun Jan-21-07 09:53 PM by ftr23532

Here's the gist of this post: the Pentagon is currently throwing billions of dollars into its visionary Future Combat Systems network (FCS). This is going to the the network that allows all of the military systems of the future to communicated and coordinate, including remotely controlled drones that will patrol the streets of tomorrow's urban warfare nightmare environments.

It appears that the company chosen to provide the embedded operating system for the vital "command, control, communications, computing, intelligence, surveillance and reconnaissance" (C4ISR) infrastructure used across all FCS platforms had (and possibly still has) Yaqcub Mirza on its board. And Yaqcub Mirza just happens to be the guy that set up the Saudi/Muslim Brotherhood's SAAR network that was raided in the Operation Greenquest raids of 2002 AND sat on the board of Ptech. Friggin' wonderful.

Here's an overview of the Future Combat Systems indicates how critical C4ISR is to the whole system:

    FCS Overview

    The Army's Future Combat Systems (FCS) network allows the FCS Family-of-Systems (FoS) to operate as a cohesive system-of-systems where the whole of its capabilities is greater than the sum of its parts. As the key to the Army's transformation, the network, and its logistics and Embedded Training (ET) systems, enable the Future Force to employ revolutionary operational and organizational concepts. The network enables Soldiers to perceive, comprehend, shape, and dominate the future battlefield at unprecedented levels as defined by the FCS Operational Requirements Document (ORD).

    The FCS network consists of four overarching building blocks: System-of-Systems Common Operating Environment (SOSCOE); Battle Command (BC) software; communications and computers (CC); and intelligence, reconnaissance and surveillance (ISR) systems. The four building blocks synergistically interact enabling the Future Force to see first, understand first, act first and finish decisively.

    ...

    Communications and Computers (CC) Systems

    The FCS Family-of-Systems (FoS) are connected to the command, control, communications, computers, intelligence, surveillance and reconnaissance (C4ISR) network by a multilayered Communications and Computers (CC) network with unprecedented range, capacity and dependability. The Communications and Computers (CC) network provides secure, reliable access to information sources over extended distances and complex terrain. The network will support advanced functionalities such as integrated network management, information assurance and information dissemination management to ensure dissemination of critical information among sensors, processors and warfighters both within, and external to the FCS-equipped organization.

    The Communications and Computers (CC) network does not rely on a large and separate infrastructure because it is primarily embedded in the mobile platforms and moves with the combat formations. This enables the command, control, communications, computers, intelligence, surveillance, and reconnaissance (C4ISR) network to provide superior Battle Command (BC) on the move to achieve offensive-oriented, high-tempo operations.

    ...

    Networked Logistics Systems

    The key to the success of the FCS is the Networked Logistics Systems integrated through the Family-of-Systems (FOS) to achieve the logistics goals of reducing the logistics footprint, enhancing deployability, increasing operational availability, and reducing total ownership costs. These critical program goals are included in the two logistics Key Performance Parameters (KPP), KPP 4 (Transportability/Deployability) and KPP 5 (Sustainability/Reliability). Inherent to meeting these KPPs is the integration of logistics in the command, control, communications, computers, intelligence, surveillance and reconnaissance (C4ISR) network primarily through the Platform-Soldier Mission Readiness System (PSMRS) and the Logistics Decision Support System (LDSS). These systems provide unprecedented logistics information and decision tools to the commanders and logisticians by enabling the distribution system to deliver the right stuff to the right place at the right time. The networked logistics is further enabled by the demand reduction technologies designed into the System of Systems. Increased Reliability Availability Maintainability - Test (RAM-T) goals and implementing a Performance Based Logistics (PBL) support concept through extensive up front systems engineering efforts will result in increased Operational Availability and significant decreases in both parts and maintenance personnel while generating increased combat power for the Soldiers.
    ...

So guess who got the contract to provide the C4ISR system:

    LynuxWorks Selected as Embedded Operating System Vendor for Army's Future Combat Systems Program
    04/11/2005

    SAN JOSÉ, Calif., April 11, 2005—LynuxWorks™ Inc. today announced it was chosen as the embedded operating system vendor by General Dynamics Advanced Information Systems for the U.S. Army's Future Combat Systems (FCS) program's Integrated Computer System (ICS). Under terms of the contract, LynuxWorks' Linux®-compatible LynxOS-178® safety-critical real-time operating system (RTOS) will be used to meet the performance and reliability needs of the FCS, a family of advanced, networked air- and ground-based military systems for use by the Army's Future Force.

    As the command, control, communications, computing, intelligence, surveillance and reconnaissance (C4ISR) infrastructure used across all FCS platforms, General Dynamics' ICS will provide computer processing, networking, information assurance, and data storage resources necessary to support the network-centric operations of FCS.
    ...

Now, looking at the LynuxWorks website there's no reference to Yuqub Mirza, although, on a side note, former GOP VA governor James Gilmore sits on its technical advisory board. But it turns out that one of the investors in Lynuxworks was the Herdon VA-based Sterling Management Group (SMG), and the President and CEO of the SMG is Yaqub Mirza. Here's an SEC filing from 2000 for LynuxWorks (formerly known as "Lynx Real Time Systems") that lists "Sterling Lynux Group" as one of the owners and Yuqub Mirza as a director. According to this site, Yacub Mirza might possibly still sit on LynuxWorks's board. And here's another company, PocketPass.com that has both Mirza and Lynux Chairman Inder Singh of its board of directors. The two apparently put financed the creation of PocketPass back in 1999, so the two appear to have more than just a casual business relationship.

And as mentioned above, Yacub Mirza also just happens to be both a financier of Ptech (along with accused al-Qaeda financier Yassin al-Qadi) and a Ptech board member. And for those interested, here is some info on Operation Greenquest, the SAAR network and its ties to Grover Norquist, here is some info on Yassin al-Qadi and obstruction of investigations into him (skip down the to the "Operation Vulgar Betrayal" stuff).

To make matters worse, it appears that Ptech was involved with the military's C4ISR system:

    ...

    Military Information Architecture Accelerator (MIAA)

    The Ptech FrameWork™ Military Information Architecture Accelerator enables military information architects and decision makers to create a comprehensive, concordant context for planning and managing change in the information-related capabilities that are critical to the success of military operations and enterprises. With domain-specific metamodels based on concepts and behavior rules adapted from the DoD C4ISR Architecture Framework, the CADM, and operational experience, the MIAA creates and automatically enforces a consistent taxonomy (artifacts, interrelationships and rules) throughout all operational, system, and technical view products. The MIAA also incorporates the ability to organize architecture data according to Zachman, Boer and other architecture frameworks, and provides file-based interfaces to the Joint C4ISR Architecture Planning System (JCAPS) and powerful discrete event simulation capability (Design/CPN).
    ...

Who knows what, if any, significance this all has, but considering the Ptech investigation just kind of died (along with the Operation Greenquest investigation) after being obstructed by the FBI in the first place and now it's apparently making money primarily by licensing its software to other companies, one wonders what involvement the Ptech software and/or Muslim Brotherhood-related individuals might have with this grand vision for the future of warfare.

[Anti_Illuminati]

http://myprofile.cos.com/szaidi


Dr. Abbas K. Zaidi
   
George Mason University
The Volgenau School of Information Technology and Engineering
Electrical and Computer Engineering
System Architectures Laboratory
Research Professor & Director ResearchAppointed: 2007

MSN 1G5, Science and Technology II
George Mason University
4400 University Drive
Fairfax, Virginia 22030
United States

Ph.D., George Mason University, Information Technology and Engineering, 1994.
M.S., George Mason University, Electrical and Computer Engineering, 1991.
B.E., N. E. D. University of Engineering and Technology, Electrical Engineering, 1989.

System Architectures
Discrete Event Systems
Validation and Verification of Systems
Model Checking Architectures
Temporal and Spatial Logics
Knowledge Management
Constraint Programming
Temporal Planning
Intelligent Agents
Colored Petri Nets

Other Expertise

Helped develop a temporal reasoning and planning tool, called TEMPER, that implements Point Interval Logic and accompanying algorithms for solving verification, satisfiability, and inference mechanisms.

Helped develop a modeling software using Influence Nets. The software is used as an aid to decision maker in selecting a particular Course of Action (CoA).

Helped develop a software for modeling the temporal aspects of a system using Timed Influence Nets. The software, called Situational Assessment Modeling Tool (SAMT), helps the decision maker in identifying the time intervals critical for a particular Course of Action (CoA) besides figuring out the most important actions/events by performing Sensitivity Analysis. The software is also capable of assessing the state of the system and the associated uncertainty at any particular time slice.

Developed a dynamic model of a complex large-scale decision making organization. Model involved detection of inputs through organic/inorganic sensors, fusion of sensory data to identify the nature and intent of the input, and execution of doctrine to select a response. The effort resulted in the first ever colored Petri net model of a C2 system.

Helped develop the executable model of Copernicus Architecture. Model involved building an interactional structure of all the physical assets of the organization together with the information flow-paths and their capacities. The operational structure of the organization was tested for potential scenarios, and used for running simulations for different communication protocols and information fusion algorithms.

Helped develop tools for performance evaluation and effectiveness evaluation of information systems, and man-machine organizations. Effort involved formulating techniques to evaluate system performance for certain performance measures, i.e., timeliness, accuracy, etc.

Developed a verification tool, called RULER, for organizational decision making procedures. The tool models the rules and regulations of an organization, and evaluates the analytical structure of the rule-base for logical inconsistencies and errors. The project and its application was supported by the grants provided by ONR, Science Applications International Corporation (SAIC), and MITRE Corporation, USA.

Involved in an effort to model time-sensitive aspects of an event-driven system. The system, called TEMPER, has capabilities to model the time aspects of a system, and to plan a mission, provided temporal requirements of the mission are given to it. The effort shall result in an automated planner/scheduler for timecritical missions.

Future Research

Combining Qualitative and Quantitative Reasoning
Situation Assesment using Domain Ontologies
Keywords

COS Keywords:

Computer and Information Sciences, Computer Engineering, Distributed System, Electrical Engineering or Electronics, Information Technology, Intelligent Agents or Systems.

Additional Terms:

Discrete Event System, Distributed Intelligence Systems, Intelligent Agents, Reasoning Under Uncertainty, Spatial Logic, Temporal Logic, V & V of Knowledge Bases.

Languages

(Reading, Writing, Speaking)
English: (Fluent, Fluent, Fluent)
Urdu: (Fluent, Fluent, Fluent)
Hindi: (None, None, Fluent)
Farsi (Persian): (Functional, Basic, Functional)

Memberships

Association for Computing Machinery
IEEE - Systems, Man, and Cybernetics Society
IEEE Computer Society
IEEE Education Society
International Council on Systems Engineering
Pakistan Engineering Council
Sigma Xi, The Scientific Research Society
Honors and Awards
1995-1996, Graduate Fellowship, School of Information Technology and Engineering, George Mason University
1986-1988, Merit Scholarship, NED University of Engineering and Technology
1980-1982, Merit Scholarship, Board of Secondary School Education, Karachi, Pakistan
Previous Positions
2003-2007, Research Associate Professor, George Mason University, School of Information Technology and Engineering, Electrical and Computer Engineering, System Architectures Lab
1999-2002, Dean of the Faculty, Mohammad Ali Jinnah University, Electrical Engineering and Computer Science
1998-2003, Associate Professor, Mohammad Ali Jinnah University, Electrical Engineering and Computer Science
1998-2007, Affiliate Associate Professor, George Mason University, School of Information Technology and Engineering, Center of Excellence in C3I, System Architectures Lab
1996-1998, Assistant Professor, University of Karachi, Faculty of Science, Computer Science
1995-1996, Assistant Professor, FAST Institute of Computer Science
1995-1995, Research Assistant Professor, George Mason University, School of Information Technology & Engineering, Center of Excellence in Command, Control, Communication, and Intelligence
1991-1994, Graduate Research Assistant, George Mason University, School of Information Technology and Engineering, Center of Excellence in Command, Control, Communication, and Intelligence
1990-1991, Graduate Research Assistant, George Mason University, School of Information Technology and Engineering, Electrical and Computer Engineering, Center of Excellence in Command, Control, Communication, and Intelligence
1989-1990, Lecturer, N. E. D. University of Engineering and Technology, Electrical and Computer Systems Engineering

Funding Received

    * AFOSR: Capability Driven Interactive Planning, 2005 to 2008.
    * AFOSR: Time Sensitive Control of Aerospace Operations, 2000 to 2004.
    * AFOSR: Temporal Reasoning, 1998 to 2000.
    * AFOSR: Temporal Reasoning, 1995 to 1998.
    * MITRE Corporation, Grant Provided Through the Center of Excellence in C3I, GMU, Farifax, VA: , 1992 to 1994.
    * ONR, Grant Provided Through the Center of Excellence in C3I, GMU, Farifax, VA: , 1992 to 1994.
    * Basic Research Group, Joint Directors of Laboratories (JDL), Grant Provided Through the Center of Excellence in C3I, GMU, Farifax, VA: , 1990 to 1991.
    * Science Applications International Corporation (SAIC), Grant Provided Through the Center of Excellence in C3I, GMU, Farifax, VA: , 1990 to 1991.
    * ONR, Grant Provided Through the Center of Excellence in C3I, GMU, Farifax, VA: , 1990 to 1991.

Publications

    * Mashhood Ishaque, Abbas K. Zaidi (2009) Project Management Using Point Graphs, Journal of Systems Engineering, 12 (1), In Press
    * Titsa Papantoni-Kazakos, Abbas K. Zaidi, Muhammad F. Rafi (2008) An Algorithm for Activation Timed Influence Nets, The 2008 IEEE International Conference on Information Reuse and Integration, IEEE SMC, Las Vegas, 8 pages
    * Mashhood Ishaque, Faisal Mansoor, Abbas K. Zaidi (2008) An Inference Mechanism for Point-Interval Logic, The 21st International FLAIRS Conference, Association for the Advancement of Artificial Intelligence, Coconut Grove, FL
    * Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis (2008) Identification of Best Sets of Actions in Influence Nets, Journal of Heuristics, In Press
    * Abbas K. Zaidi, Faisal Mansoor, P. Papantoni-Kazakos (2007) Modeling with Influence Networks Using Influence Constants: A New Approach, 2007 IEEE International Conference on Systems, Man, and Cybernetics, IEEE Systems, Man, and Cybernetics, Montreal, Canada, 6 pages
    * Abbas K. Zaidi, Mashhood Ishaque, Alexander H. Levis (2007) Project Management Using Point Graphs, Conference on Systems Engineering Research (CSER), INCOSE, 10 pages
    * Ashraf AbuSharekh, Smriti Kansal, Abbas K. Zaidi, Alexander H. Levis (2007) Modeling Time in DoDAF Compliant Executable Architectures, Conference on Systems Engineering Research (CSER), INCOSE, 10 pages
    * Abbas K. Zaidi, Faisal Mansoor, P. Papantoni-Kazakos (2007) Theory of Influence Networks, IEEE Transactions on SMC, Part A: Systems and Humans, Submitted
    * Abbas K. Zaidi, Mashhood Ishaque, Alexander H. Levis (2007) Using Temporal Reasoning for Criminal Forensics against Terrorists, Newton Howard and Ammar Qusaibaty (Eds.), Mathematical Models for Counterterrorism, Springer Series, In Press
    * Abbas K. Zaidi, Alexander H. Levis (2007) Computational Verification of System Architectures, IEEE Symposium Series on Computational Intelligence 2007, IEEE, Submitted
    * Abbas K. Zaidi, Alexander H. Levis (2006) Using Temporal Reasoning for Criminal Forensics against Terrorists, Descartes Conference on Mathematical Models in Counterterrorism, Center for Advanced Defense Studies, Unpublished
    * Mashhood Ishaque, Abbas K. Zaidi, Alexander H. Levis (June 2006) On Applying Point-Interval Logic to Criminal Forensics, 2006 Command and Control Research and Technology Symposium (CCRTS), CCRP Press
    * Abbas K. Zaidi, Lee W. Wagenhals (2006) Planning Temporal Events Using Point Interval Logic, Special Issue, Mathematical and Computer Modeling (43), 1229-1253
    * Abbas K. Zaidi, Alexander H. Levis (2006) Verification of System Architectures Using Modal Logics and Formal Model Checking Techniques, Conference on Systems Engineering Research (CSER)
    * Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis (2006) On Converting Dynamic Influence Nets into Dynamic Bayesian Networks, International Journal of Approximate Reasoning, Submitted
    * Abbas K. Zaidi, Mashhood Ishaque (2005) Time-Sensitive Planning Using Point-Interval Logic, 10th International Command and Control Research and Technology Symposium
    * Abbas K. Zaidi, Lee W. Wagenhals, Sajjad Haider (2005) Assessment of Effects Based Operations Using Temporal Logic, 10th International Command and Control Research and Technology Symposium
    * Sajjad Haider,, Abbas K. Zaidi (2005) On Temporal Analysis of Timed Influence Nets using Point Graphs, 18th International FLAIRS Conference, FL
    * Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis (2004) A Heuristic Approach for Best Set of Actions Determination in Influence Nets, IEEE International Conference on Information Reuse and Integration
    * Sajjad Haider, Abbas K. Zaidi (2004) Transforming Timed Influence Nets into Time Sliced Bayesian Networks, Command and Control Research and Technology Symposium
    * Abbas K. Zaidi, Kazim H. Rizvi, S. Sajjad Hussain (2003) On Spatial Modeling of Discrete Event Systems Using Point-interval Logic, Proc. of IEEE International Conference on System, Man, and Cybernetics, Washington D.C
    * Daesik Kim, Abbas K. Zaidi (2003) Transforming Event Graphs to Colored Petri Nets, Proc. of IEEE International Conference on System, Man, and Cybernetics, Washington D.C
    * Abbas K. Zaidi (2003) Qualitative and Quantitative Spatiotemporal Knowledge Representation and Reasoning Using Point Graphs, Workshop on Spatial and Temporal Reasoning, 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico
    * Abbas K. Zaidi, Imran Rauf (2002) A Temporal Programmer for Revising Temporal Models of Discrete-Event Systems, 2002 International Conference on Systems, Man, and Cybernetics, Hemmamat, Tunisia
    * S. Sajjad Hussain, Abbas K. Zaidi (2002) On Spatial Reasoning Using Point Interval Logic, One Day National Conference on Computer Science Trends in Pakistan, University of Sindh, Jamshoro
    * Mushhood Ishaq, Abbas K. Zaidi (2002) On Designing and Evaluating Computer Science Curricula in Pakistan, One Day International Conference on Computer Science Trends in Pakistan, University of Sindh, Jamshoro, Unpublished
    * Abbas K. Zaidi (2002) On Solutions to Timeliness and Accuracy Requirements in Man-Machine Organizations--Rightsizing an Organization, One Day International Conference on Computer Science Trends in Pakistan, University of Sindh, Jamshoro
    * Abbas K. Zaidi, Alexander H. Levis (2001) TEMPER: A Temporal Programmer For Time-Sensitive Control Of Discrete Event Systems, Systems, Man and Cybernetics, Part A, IEEE Transactions on, 31 (6), 485-496
    * Shahid Jabbar, Abbas K. Zaidi (2001) A Generalized Methodology and Framework for the Validation and Verification of Multi-agent Systems, IEEE SMC Conference, Tuscon, AZ
    * Abbas K. Zaidi, Shahid Jabbar, Khalid J. Siddiqui (2000) On a Utility for the Validation and Verification of Knowledge Bases of Intelligent Agents, Photonics East, Boston, MA
    * Abbas K. Zaidi (2000) A Temporal Programmer for Time-sensitive Modeling of Discrete-event Systems, IEEE SMC Society Conference 2000
    * Muhammad Zubairuddin, Abbas K. Zaidi (2000) On a Methodology for Designing Adaptive Local Area Networks, IEEE SMC Society Conference 2000
    * Sajjad Haider, Ahmad Abbas, Abbas K. Zaidi (2000) A multi-technique Approach for User Identification Through Keytroke Dynamics, Proc. IEEE SMC Society Conference 2000
    * Abbas K. Zaidi, Alexander H. Levis (1999) On Generating Variable Structure Organizations Using Genetic Algorithm In Gupta M. M., Sinha N. K. (eds), Soft Computing and Intelligent Systems, Gupta M. M. and Sinha N. K. (eds.), IEEE Press (bookchapter)
    * Abbas K. Zaidi (1999) On Temporal Programming Using Petri Nets, IEEE Transaction on SMC, Part A: Systems and Humans, 29 (3), 245-254
    * Abbas K. Zaidi, Alexander H. Levis (1998) On Generating DIS Architectures Using Genetic Algorithms, IEEE Transactions on Systems, Man and Cybernetics-Part C: Applications And Reviews, 28 (3), 453-459
    * Abbas K. Zaidi, Shabbir T. Ali, Alexander H. Levis (1998) A Genetic Algorithm Based Tool For Generating Organizational Architectures, IEEE International Conference on Systems, Man, and Cybernetics
    * Abbas K. Zaidi, Alexander H. Levis (1997) Validation and Verification of Decision Making Rules, Automatica, 33 (2), 155-169
    * Abbas K. Zaidi, Alexander H. Levis (1996) On Generating DIS Architectures Using Genetic Algorithms, International Symposium on Command and Control Research and Technology, Monterey, California
    * Abbas K. Zaidi, Alexander H. Levis (1995) Rule Decomposition and Validation for Distributed Decision Making, 1995 First International Symposium on Command and Control Research and Technology, National Defense University, Washington, DC, 210-217 pages
    * Zheny Jin, Abbas K. Zaidi, Alexander H. Levis (1995) Deadlock and Trap Analysis in Petri Nets Representing C2 Systems, First International Symposium on Command and Control Research and Technology, National Defense University, Washington, DC, 218-226 pages
    * Abbas K. Zaidi, Alexander H. Levis (1995) On Verifying Inferences in an Influence Diagram, First International Symposium on Command and Control Research and Technology, National Defense University, Washington, DC, 443-451 pages
    * Abbas K. Zaidi, Alexander H. Levis (1995) Validation and Verification of Decision Making Rules, 6th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design and Evaluation of Man-Machine Systems, MIT, Cambridge, MA, 53-60 pages
    * Abbas K. Zaidi, Alexander H. Levis (1995) Object Oriented Design of a Multilevel Hierarchical Organization Structure, US/Portugal Workshop On Underwater Vehicles and Intelligent Control, Lisbon, Portugal University of So. Louisiana Press
    * Abbas K. Zaidi, A. H. Levis (1994) Algorithmic Design of Distributed Intelligence System Architectures, Intelligent Control Systems: Theory and Practice, IEEE Press, IEEE Press (bookchapter)
    * Didier Perdu, Abbas K. Zaidi, Azar Sadigh, Paul Lehner, Alexander H. Levis (1993) On a Methodology for Team Design Using Influence Diagrams, Symposium on Command and Control Research, 77-84 pages
    * Abbas K. Zaidi, Alexander H. Levis, A Mathematical Description of Team Design and Indirect Coordination, Symposium on Command and Control Research, National Defense University, Washington DC, 1993
    * Abbas K. Zaidi, Alexander H. Levis (1992) Algorithmic Design of Multilevel Organizational Structures, IEEE International Conference on Systems, Man, and Cybernetics, Chicago, 668-673 pages
    * Abbas K. Zaidi, Alexander H. Levis (1992) Accuracy and Timeliness in Developing a Tactical Picture, International Conference on Information Decision - Action Systems in Complex Organizations, 186-190 pages
    * Gaylord, R. F, Abbas K. Zaidi, S. L. Hearold, A. H. Levis (1991) Developing the Battle Group Tactical Picture: A Petri Net Model, Symposium on Command and Control Research, 104-114 pages

[kermitthefrayer]

Like no pun intended or anything... 

Here comes SKYNET...

[Anti_Illuminati]

The Current State of Human-Level Artificial intelligence in Computer Simulations and Wargames

This document is huge, and would require an entire day to extract properly, which I don't have the time to do at the moment.  So here is the link to download it for yourselves.

http://www.gilgameshcontrite.com/Research/ReadingsForResearch.pdf