基于规则推理的模糊Petri网误用入侵检测算法

FPN（Fuzzy Petri Nets）是模糊Petri网,它是Petri网与模糊理论结合的产物,目前不少学者将Petri网应用到入侵检测系统中,取得了不少成果,但是现在的推理计算法较复杂,算法时间复杂度也较高。为提高推理计算的性能,本文根据推理存在前后顺序的特点提出一种新的推理计算方法,并对该算法和现有的算法进行了分析比较,本算法提高了推理的通用性与计算速度。     

基于优度值评价的多机器人任务分配方法

提出了一种基于Petri网建模与优度值评价的足球机器人任务分配与协调的方法.用优度评价法解决了系统局部冲突并实现了动态角色分配策略,采用Petri网方法对协调机制进行了模型性质分析及模型仿真运行.从理论上证明了方法的可行性,给出了系统的程序实现框架并进行了实验验证,实验结果证明了本方法的有效性.     

一种基于数据处理的脚本语言设计与开发

在飞行试验型号任务中,通常采用各种数据处理软件进行数据采集、解码、单位转换、计算等。通过实践检验和积累,相关数据处理软件就会固定下来;随后发现很难再次高效运用它们。简述了脚本语言和试飞数据处理的结构和过程,提出利用脚本语言进行数据处理的自控模式。用户通过编写脚本代码,运行解释器就可控制数据处理软件进行自动、连续操作。模拟试验表明,该方法可有效提高型号试飞数据处理速度、降低出错率、保障质量安全。     

FPGA组合逻辑程序的Petri网建模方法

针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述FPGA组合逻辑系统运行过程.研究结果表明:该Petri网能够准确地描述变量间的逻辑关系,提出的方法可以为FPGA组合逻辑程序的形式化设计和验证提供建模依据.     

一种用于虚拟试验的双向可控知识引擎

提出了用XML描述作物生长模型脚本的方法，通过引入组件技术构建出知识引擎组件，组件的结构是基于Observer模式的，可用不同的功能类来处理脚本中不同功能节点的信息．针对脚本中自定义的3种变量，开发了类似于C＋＋的模板类并进行归一化处理，以减少代码的冗余．知识引擎组件对象把生长模型的XML脚本作为自身的一个属性对XML脚本进行实时解释，驱动虚拟作物器官组件对象生长，使生长模型中的农学知识从虚拟作物试验系统开发平台和虚拟作物器官组件中分离出来．在运行过程中使用多线程技术使知识引擎能够受外部控制，随时中断解释，以便于进行试验．通过一棵完整玉米的虚拟生长过程，验证了所提知识引擎能使作物形态的数学模型与作物形态显示模型完整地结合在一起，真实地再现作物的生长发育过程．     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

Petri网-VHDL编译程序的构造

Petri网适合于异步并发系统建模,将Petri网转换成硬件描述语言,就可以通过EDA工具来实现Petri网控制器．文中给出了Petri网-VHDL编译程序的构造方法．使用CONPAR语言对Petri网进行描述,获得Petri网的CONPAR格式文本文件;由编译软件FLEX生成的词法分析程序产生相应的单词,并将单词传给BYACC程序;再由BYACC程序识别出这些单词,并以自底向上的方式进行归约,形成一棵抽象语法树;最后,自顶向下遍历这棵抽象语法树,将Petri网的CONPAR格式文本转换为VHDL代码．文中给出了一个实例,将编译获得的VHDL代码,通过EDA软件工具MAX PLUSⅡ编译、仿真、综合并下载到系统可编程器件中,仿真波形和试验结果都证明了这个编译程序的正确性．     

ASP动态网页制作技巧

本文阐述了ASP使用VBScript脚本语言结合HTML代码及ODBC数据库完成网站交互应用程序的方法。将该ASP程序放在WEB服务器虚拟目录下（该目录必须有可执行权限），就可以通过WWW的方式访问ASP程序。ASP是一套微软开发的服务器脚本环境，一种使嵌在HTML页面中脚本程序得以运行的环境。     

有效协作控制的Petri网模型和分析

本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.     

一种基于AOcontPN的信息物理系统建模方法

信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,作为一个功能性的方面连续Petri网,织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题,也使得整个系统可以使用离散系统的形式化方法来验证。     

ON THE SUPPORTING ENVIRONMENT FOR CODE DEVELOPMENT OF RPC APPLICATION

分布式应用开发中要面临许多集中式应用开发中的各种不同问题,如体系结构模型、开发环境和分布式协同处理等,其中分布式计算环境是一个非常重要的问题．在ＲＰＣ和ＣＯＲＢＡ环境中,分布式代码开发模式与传统的应用开发模式完全不同,从而导致了开发费用的增加．本文中给出了一种旨在减轻ＲＰＣ应用开发工作的范型,并且通过在ＲＰＣ过程语言编译器中设计合理的预编译器来支持该开发范型。     

RPC应用开发环境探讨

分布式应用开发中要面临许多集中式应用开发中的各种没问题,如体系结构模型,开发环境和分布式协同处理等,其中分布式计算环境是一个非常重要的问题,在ＲＰＣ和ＣＯＲＢＡ环境中,分布式代码开发模式与传统的应用开发模式完全不同,从而导致了开发费用的增加,本文中给出了一种旨在减轻ＲＰＣ应用开发工作的范型,并且通过在ＲＰＣ过程语言编器中设计合理的预编译器来支持开发范型。     

基于Python和CORBA的分布式程序设计

提出一种使用Python和CORBA开发分布式软件系统的方法，以降低编写分布式应用程序的复杂度．充分利用了CORBA软件体系结构的特点和优势，能够在不同平台、不同语言之间实现对象通信．给出了一个使用Python语言并基于C／S模式的程序框架，实现分布式环境下的资源共享、代码重用、可移植和对象之间的互操作性．整个框架在分布式计算环境中可作为使用Python和CORBA开发实际软件系统的指导．     

PScript: 基于J2ME平台的高效可扩展脚本语言

针对现在手机程序设计语言存在编程效率低,可扩展性差等缺点,提出了一种高效的可扩展脚本语言——PScript。PScript语言以Python语言为原形,建立在J2M E(Java 2 m icro ed ition)平台上,具备开发效率高、支持动态链接、代码可释放、执行的二进制代码小、可读性好、代码清晰、节省运行空间等优点。详细分析了PScript语言的语法与类库,编译器与虚拟机等部分,并阐述了动态载入实现细节。通过和M IDP(m ob ile in form ation dev ice profile),M ob ileB as ic进行常规性能测试,网络动态载入性能测试以及语言特性的对比测试,充分体现出PScript语言编写及运行效率高,可扩展性强的特点。     

基于关系数据模型代码生成器的设计与实现

在以多层架构实现的数据库应用系统中,大量程序代码与其关系数据模型直接相关,采用一种以关系数据模型为输入的自动代码生成工具,可以大幅度地降低编程工作量,提高软件质量.现有基于模板的代码生成工具具有良好的设计框架,但其脚本语言由于与关系数据模型关联不紧密,导致代码模板编写和维护比较困难,难以快速应用.文中设计一种与关系数据模型紧密结合的迭代式代码脚本语言RDM CodeMark,保留基于模板的代码生成技术通用性的同时,简化代码模板编写难度.结果表明:基于RDM CodeMark语言的代码生成工具在针对J2EE平台和.Net平台的软件项目开发实践中能取得较为理想的效果.     

基于SiPESC平台的通用脚本语言表示代理模型构架

基于面向服务的开放式软件平台SiPESC,引进流行的用于描述数学符号结构和内容的MathML语言,实现了一种通用脚本语言表示代理模型构架.该构架的核心思想是使用MathML描述各种代理模型(如径向基函数、响应面、Kriging等)函数表达式结果,方便以文本形式表示和保存,并使用工厂设计模式管理各种脚本(如JavaScript、Python、Matlab等)的转换工具,实现MathML数据到脚本的灵活转换.采用MathML可以提高代理模型结果表达的通用性,而工厂设计模式可以提高转换工具的灵活性,使其能适用于不同工程和研究.实践表明,该构架可提高代理模型结果表示、查看和使用的效率,为工程中的优化、近似模拟、快速显示提供便利.     

A Survey of Language-Based Approaches to Cyber-Physical and Embedded System Development

As computers continue to advance, they are becoming more capable of sensing, interacting, and communicating with the physical and cyber world. Medical devices, electronic braking systems in automotive applications, and industrial control systems are examples of the many Cyber-Physical Systems(CPS) that utilize these computing capabilities. Given the potential consequences of software related failures in such systems, a high degree of safety, security, and reliability is often required. Programming languages are important tools used by programmers to develop CPS. They provide a programmer with the ability to transform designs into machine code. Of equal importance is their ability to detect and avoid programming mistakes. The development of CPS has predominantly been accomplished using the C programming language. Although C is a powerful language, it lacks features present in other languages that facilitate the development of reliable systems. This has prompted research into language-based alternatives for improving program quality through the use of programming languages. This paper presents an overview of the characteristics of embedded and cyber-physical systems and the associated requirements imposed on programming languages. This is followed by a survey of relevant research into languagebased methods for creating safe, reliable, and robust software for CPS.     

PCC技术的应用和改进

随着基于Ｉｎｔｅｒｎｅｔ的分布式计算的兴起,如何在确保系统安全的情况下有效地使用网络上的各种计算资源已成为计算机科学的研究热点之一．由Ｎｅｃｕｌａ和Ｌｅｅ提出的自带证明代码（ＰＣＣ）概念被认为是一种可行的技术,文中研究ＰＣＣ技术所涉及的技术问题,分析比较了ＰＣＣ和其他安全技术的适应性,指出了该技术的优点和限制,提出了相应的改进措施,探讨了其在远程高性能并行计算及可移动代码迁移系统中应用的可能性．     

基于语义分析的恶意JavaScript代码检测方法

JavaScript是一种动态脚本语言,被用于提高网页的交互能力.然而攻击者利用它的动态性在网页中执行恶意代码,构成了巨大威胁.传统的基于静态特征的检测方式难以检测经过混淆后的恶意代码,而基于动态分析检测的方式存在效率低等问题.本文提出了一种基于语义分析的静态检测模型,通过提取抽象语法树的词法单元序列特征,使用word2vec训练词向量模型,将生成的序列向量特征输入到LSTM网络中检测恶意JavaScript脚本.实验结果表明,该模型能够高效检测混淆的恶意JavaScript代码,模型的精确率达99.94%,召回率为98.33%.     

VBScript和Active Server Pages在Internet上的应用

通过美国Ｍｉｃｒｏｓｏｆｔ公司的ＡｃｔｉｖｅＸ技术,可以将现有的开发工具和开发方案直接运用到Ｉｎｔｅｒｎｅｔ和Ｉｎｔｒａｎｅｔ的开发中。ＶＢＳｃｒｉｐｔ是Ｖｉｓｕａｌ Ｂａｓｉｃ语言家族中的最新成员,使用它可以在多种Ｉｎｔｅｒｎｅｔ环境下进行编程,包括在客户端ＩＥ有脚本编程和在服务器ＩＩＳ或ＰＷＳ中的脚本编程。而Ａｃｔｉｖｅ Ｓｅｒｖｅｒ Ｐａｇｅｓ是一种服务器端的脚本编程环境,可以用它来创建和运