自控网系统建模工具的研究与开发

自控网系统是一类具有非线性关系和强大建模能力的Petri网。应用可视化编程平台Visual Studio.NET开发了自控网系统建模工具CyberNetTool。用户可在交互方式下建立自控网系统模型,并采用PNML格式文件来存储模型。构造了软件核心类,以实现界面控件管理和模型分析,详细描述了自控网系统各性质分析模块和动态仿真模块的实现算法。最后通过具体应用实例表明了该工具的正确性和实用性。     

线性定常系统的Petri网解耦控制

将Petri网与现代控制理论相结合,应用于连续系统的性能分析如可控性、可观性和稳定性等已日益普遍,但Petri网应用于系统的解耦控制研究很少.提出了广义连续自控网系统的形式化定义,描述了线性定常系统的广义连续自控网系统模型并分析了广义连续自控网系统模型与状态空间描述的等效性.基于状态反馈动态解耦的基本原理,探讨了利用Petri网模型结构实现线性定常系统解耦控制的新方法.该方法采用图的遍历算法,可有效的判断系统的可解耦性以及实现解耦控制律,避免了传统解耦控制方法中计算所需的大量矩阵运算.最后给出了两个具体的应用实例.     

基于Petri网的非线性多变量系统解耦控制

广义自控网系统是一类弧权值受库所控制的高级Petri网,能够简单有效地建模PID控制规律.借鉴单神经元PID控制原理,在广义自控网系统的基础上加入神经元网络的学习规则,设计基于广义自控网系统的PID控制器,并用于非线性多变量系统解耦控制.所提方法充分利用了自控网系统的特点,所设计的控制器模型能实现系统控制与参数学习的统一.结合双容水箱控制系统实例进行仿真分析,分析结果验证了所提方法的有效性.     

广义的m阶Fibonacci数列及其算法实现

本文通过对Fibonacci数列的原型进行分析，得到广义的m阶Fibonacci数列，并给出广义的m阶Fibonacci数列算法及性质，以及Fibonacci螺旋图。     

一类Petri网系统的活性

Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具，当用Petri网来模拟一个实际系统时，关心的问题之一就是要确定这个Petri网模型是否具有一些所期望的特生，如活性、有界性等，这些特性均是系统的重要动态行为，该文基于文献[1]给出了Petri网的一子类，即弱化非自控网（Weak Extended Non SelfControlling Nets,简称WENSeC网），该类网覆盖了扩展自由选择网和扩展非自控网，文中提出了并证明了WENSeC网系统活性的的充分必要条件满足死锁－陷阱性质，同时对WENSeC网的一子类，通过转化方法，证明了该类结构有界网的结构活判定算法可借用扩非自控网的有关结果也是多项式时间算法。     

基于自控网系统的混杂控制

混杂控制系统通常是复杂的非线性控制系统,难以用统一的模型进行建模. David和Alla提出的混杂Petri网,虽然可以解决一般混杂系统的建模问题,并得到了广泛的应用,但对于传统的如PID这类控制器,缺乏统一建模的能力.探讨了基于广义自控网系统的混杂控制方法,实现了对混杂控制器中监控器和数字控制器进行统一的Petri网建模.仿真实例设计了基于广义同步自控网系统的电加热炉控制系统,给出了可根据不同温度状态实施多种控制策略的变结构数字控制器模型,并详细分析了控制器的性能,证明了广义自控网系统具有十分强大的建模能力和广泛的应用前景.     

基于双混沌和延迟Fibonacci数列的加密算法

提出基于双混沌和延迟Fibonacci数列的手机加密算法,算法以一维Logistic映射作为混沌模型,采用双混沌系统增加控制参数,使混沌行为更加复杂;利用延迟Fibonacci数列对混沌进行扰动处理,使融合后的序列更具有随机的特征;将明文参与到加密算法中,给密文生成带来不确定性,使局部攻击更加困难,在密码不变的场合更能...     

基于Petri网的数字系统建模和VHDL实现

基于Petri网的数字系统的建模及其硬件实现方法已经得到了广泛的研究,然而现有的方法主要适用于同步电路,由此提出了一种基于Petri网的数字系统建模和VHDL实现的新方法。首先定义了一种广义同步自控网系统,解决了数字系统的Petri网建模问题。基于一种带优先级的多输入多时钟D触发器,设计了对应的软IP核,进而探讨了广义同步自控网系统模型到VHDL代码的具体转换方法。设计的CAD工具支持数字系统的建模、功能分析与代码转换功能。通过设计示例表明了所述方法和相关工具的有效性。     

用Java实现超大Fibonacci数的计算

Fibonacci数列的理论在初等数学、组合数学、运筹学以及最优化理论中已经被广泛应用,同时它在信息隐藏、密码学等方面中也有着重要的应用,在实际使用中,常常需要较大的Fibonacci数。本文讨论了几种Fibonacci数的实现算法,并用Java实现了超大Fibonacci数的计算。     

Petri网的PP型子网精细化操作性质分析及应用

针对工厂用车间中的若干台机器加工某些部件等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。定义了一种PP型子网,用这种子网分别对Petri网系统中的某些库所进行细化,得到更细致、更精确的Petri网系统。研究了Petri网精细化操作的动态性质保持问题,给出这种精细化操作保持活性、有界性、可回复性和公平性的充要条件;本文的结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和处理,具有一定的实用价值。     

基于XML的信息物理融合系统组件建模与仿真

信息物理融合系统（CPS）涉及多种计算模型的集成和协同工作，针对CPS设计方法不统一、重塑性差、复杂度高、难以协同建模验证等问题，提出一种结构化、可描述行为的异元组件模型。首先，用统一组件建模方法进行建模，解决模型不开放问题；然后，用可扩展标记语言（XML）规范描述各类组件，解决不同计算模型描述语言不一致和不可扩展问题；最后，用多级开放组件模型的协同仿真验证方式进行仿真验证，解决验证的不可协同问题。通过通用组件建模方法、XML组件规范描述语言以及验证工具平台XModel对医用恒温箱进行了建模、描述和仿真。医用恒温箱的案例表明，这种模型驱动建立可重塑异元组件并确认其设计正确性的过程，支持信息物理协同设计和边构建边纠正，可避免在系统实现过程中发现问题时再进行反复修改。     

The use of Petri Nets for Occam programming for transputers

There is undoubtedly a need for software-design tools for parallel programming. A main problem with design tools for parallel programming is their inability to check for liveness (no deadlock) and safeness. In this paper, the use of Ordinary Petri net as a software design tool for Occam Petri Net and Occam constructs are discussed. The similarities between Ordinary Petri Net and Occam constructs are highlighted, and an Occam Petri Net model is proposed as a design tool to aid in writing Occam codes. The Occam Petri Net model is graphical. It is capable of modelling deterministic concurrent and choice systems. As a top-down design, the net is similar to Occam ‘folds’, and, in its use in bottom-up implementation, it is similar to unfolding. This unfolding using the Occam Petri Net model makes writing Occam source codes easier. The availability of Petri Net CASE tools will make it more attractive for designing Occam programs.     

类斐波纳契算法的智能化研究

首先从斐波纳契数列定义引出类斐波纳契数列的定义,然后分析求斐波纳契数的算法。提出了类斐波纳契智能化算法及科学计算软件引用类斐波纳契智能化算法的解决方案及其实现。类斐波纳契数智能化算法新思想引入科学计算软件将极大提高计算性能,节省运算时间。     

下一代互联网的信息物理融合发展综述

CPS（Cyber Physical System,信息物理融合）被普遍认为是下一代互联网的发展趋势。该系统不仅保留现有互联网的设备和系统,还将极大地拓展各种计算的应用范畴,彻底整合物理世界与信息系统,实现真正的互联互通与信息共享。本文主要介绍信息物理系统的概念、研究热点和应用。     

银行网络设备管理系统设计与实现

介绍了某银行目标网络现状、需求分析、系统设计和实现中的相关技术。详细地阐述了一个基于SNMP、Telnet、Ping、FTP等多种采集手段的网管应用系统的整体实施过程。最后提出了该系统的展望。     

基于演化算法的客户关系管理系统研究

演化算法是一种模拟生物进化过程的自适应算法.客户关系管理系统是顺应企业改革发展需要的产物,在企业与客户之间建立起友好的桥梁,增进相互的了解和合作.本文通过对演化算法基本概念的描述,初步阐述了如何将其用于客户关系管理系统中,使系统更具有智能性、自适应性和可扩展性.     

Cyber IDS——新一代的入侵检测系统

该文介绍了当前入侵检测系统(IDS)的分类及其局限性,针对大型异构网络提出了基于Internet的IDS即CyberIDS的概念,给出了CyberIDS的结构分析和一种框架模型,并提出了用于实现CyberIDS的数据融合技术及其结构模型,揭示了新一代IDS的发展趋势和特点。     

一种基于可信计算技术的源代码安全审查模型

在现阶段的大规模软件工程开发中,源代码数量已经变得越来越庞大,动辄就是数百万,甚至是数千万行以上.随着源代码数量的激增,代码的逻辑越来越复杂,相互之间的调用关系越来越繁复,代码的安全漏洞也越来越容易出现.常规的人工检查和调试已经完全不能满足庞大的系统软件的审查需求.此时,常在源代码正式发布之前,使用安全代码审查机制来快速找出系统中绝大多数的安全漏洞.针对这一问题,文章结合传统的代码安全审查原理和当前流行的可信计算技术,提出了一种基于可信计算技术的源代码安全审查模型.在代码的安全审查过程中,利用可信计算的可信度量原理的审查方法,结合运用安全操作系统的访问控制机制,检测出源代码中可能不符合可信计算理论的系统资源访问,防止主体触发来源不可信或已被篡改的代码,从而实现对各种已知和未知恶意代码的防御,让最终的代码在运行时符合可信计算标准.该模型通过将不同的软件进行类型分级,从而确定不同软件对系统资源的不同使用权限.使用文中规范开发的代码遵循可信计算标准,可以杜绝恶意代码对系统资源的不安全访问.     

分布式入侵检测与信息融合方法

该文将入侵检测技术和信息融合技术相结合,针对大型异构网络提出了基于Internet的IDS即CyberIDS的概念,给出了CyberIDS的体系结构和相关融合问题,并提出了分布式检测的信息融合方法,以及设计和实现CyberIDS的相关融合算法,从而为新一代IDS的设计和开发奠定了基础。     

基于GIS的机场噪声评价系统

为适应现代机场噪声评价与管理的需求,综合利用地理信息系统、数据库及面向对象编程等信息技术,并集成机场噪声评价和分析模型,研究开发了一套机场噪声评价系统。该系统通过方便快捷的界面操作,实现数据的采集、存储、计算、分析、表达与查询等功能。实验结果表明,该系统的应用能有效提高机场噪声评价与管理工作的效率和质量,为机场规划与噪声环境优化提供及时、准确的决策辅助信息。