NiO/AC非对称超级电容器的研究

通过热处理球形Ni（OH）2得到NiO粉末,将其作为正极与活性炭（AC）负极组装成非对称超级电容器,用恒流充放电测试分析了超级电容器的电容特性。讨论了正负极活性物质比例、充放电电流和热处理时间对超级电容器比电容量、内阻的影响。结果表明：正负极活性物质比为1：3,工作电流密度为200mA／g,当Ni（OH）2的热处理时间为2h,充电电压为1．3V时,超级电容器的双电极比电容量可达71．5F／g。     

ART网在地图彩色分类中的应用

该文根据ＡＲＴ网的特点和功能及地图彩色分类的要求，提出了用于地图彩色分类的扩展ＡＲＴ网（简称ＥＡＲＴ网）。文中介绍了该网的模型、算法、参数选择，并给出了实验结果。     

某类解析函数的一些性质

引入了一个新的解析函数子类B（λ,α,A,B）,应用微分从属方法讨论了它的从属关系、包含关系、偏差关系和不等式的性质,所得的结果推广了一些作者的相关工作．     

基于自控网系统的批处理建模及分析

自控网系统是Petri网系统的一个子类,与P／T系统以及基本网系统相比较,具有更强的描述能力和建模能力。文章以自控网系统为基础,定义了相应的规则,并对一个成品自动化加工批处理过程进行建模,得到自控网模型,运用可达图分析技术对该模型进行了动态行为的分析,得出该模型是结构活性的。     

荷载非对称分布对单层柱央网壳稳定性的影响

通过结构非线性分析程序ＳＮＡＰ，对不同长度的单层柱面网壳结构进行了非对称荷载作用下的全过程稳定分析，通过变化不同的参数，考察荷载非对称分布的单层柱面网南稳定性能的影响规律，得到了对工程设计有指导意义的结论。     

主动网络的安全技术探讨

介绍了主动网和网络安全的概念,引入了安全主动网环境的模型,对主动网的安全问题进行了分析和讨论。通过对主动网安全环境的阐述,以及对目前主动网安全方面的研究情况的介绍,论证了安全性在主动网系统中的重要性。说明了对主动网安全性问题的研究及解决,是主动网技术进入大规模实用化的一个先决条件。     

赋时Petri网的一种符号分析算法

有序二叉决策图（0rdered Binary Decision Disgram-OBDD）是布尔函数表示的规范型，布尔函数的复杂运算可以基于OBDD得到极大地简化实现。在讨论基于OBDD的有界Petri网符号分析算法的基础上，对赋时位置Petri网的符号分析进行了研究，构造了一种扩展标识向量，给出了赋时Petri网分析的一种符号OBDD算法，实现了赋时Petri网的隐式描述与分析。实验表明，符号算法能处理较大规模赋时Petri网问题。     

一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题，在时间Petri网和着色Petri网的基础上，提出了一种新的扩展Petri网（EPN）模型，并在EPN中定义了条件矩阵Q，给出了Petri网与遗传算法相结合的优化方法和具体算法，使用本优化方法，对一个车间作业（Job-shop）调度问题进行了求解，建立了该Job-shop调度的EPN模型，并采用单个体遗传算法对Petri网模型进行优化，结果证明了该建模和优化方法的有效性和正确性。     

荷载非对称分布对单层柱面网壳稳定性的影响

通过结构非线性分析程序ＳＮＡＰ,对不同长度的单层柱面网壳结构进行了非对称荷载作用下的全过程稳定分析,通过变化不同的参数,考察荷载非对称分布对单层柱面网壳稳定性能的影响规律,得到了对工程设计有指导意义的结论。     

Petri网的重写逻辑模型及其属性验证

为了对大规模或复杂结构的系统进行规格,人们在经典的库所/迁移Petri网基础上加入层次、时间等来扩展它.为此,提出使用重写逻辑表达Petri网的新方法来探索对Petri网的替代.通过把异步并发系统的Petri网图形表达转化为重写逻辑理论,可以更容易和更直接地验证原系统的安全性、活性和可达性等行为属性,而不需要建立标识图...     

基于工作流的安全库所替换网特性研究

基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性.     

单臂集束型装备随机Petri网模型与性能分析

针对因集束型装备配置非常灵活,运行模式多样造成的对装备性能分析困难的问题,提出一种用随机Petri网对集束型装备的运行过程进行建模,分析模型,计算装备性能的方法.利用工具Visual Object Net＋＋验证模型的可达性,活性,有界性.采用马尔可夫过程方法分析模型和计算性能.结果表明：该模型不仅可表现集束型装备的并发性,而且能表示出装备运转活动持续的随机的时间特性.与赋时Petri网模型相比,该方法更能反映装备实际加工过程.     

基于Petri网的航空产品设计过程模型

通过分析航空产品设计过程的动态分解特性,提出任务驱动的产品设计过程建模.分析了IDEF0和Petri网在建模方面的优点和存在的问题,论述了设计过程的IDEF0模型向Petri网转换的原则和方法.并重点论述了设计功能单元任务流Petri网模型和设计功能单元内任务流时间Petri网模型.     

CFD-Based Optimal Design of Duct Nets in Hydraulic Manifold Block

This paper introduces a CFD-aided optimal design method for duct nets.Based on the structured frame,this method can help to improve the dynamic performance in the inner flow field of hydraulic manifold blocks (HMB).With the grid from geometry model of structured duct nets and the initial and boundary conditions from testing,the transient inner flow field of HMB duct nets is simulated.Basic flow characteristics in duct nets are obtained.Important factors involved are discussed and the procedures are illustrated.     

周期控制点列Bernstein—Bezier曲线拟合的特性

研究具有周期性的控制点列的Ｂｅｒｎｓｔｅｉｎ－Ｂｅｚｉｅｒ（Ｂ－Ｂ）曲线的极限性质，给定周期控制点列，其Ｂ－Ｂ曲线的中点输出极限是控制点的重心；     

大跨索网结构动力特性

大跨索网结构广泛应用于工程实际,该结构的动力特性研究是结构抗风设计的重要基础。以椭圆型双曲抛物面索网为研究对象,考虑温度变化及几何非线性影响,采用连续化理论导出其非线性振动方程。通过Galerkin方法,将偏微分程转化为常微分方程,并采用L-P法及KBM法对常微分方程进行了求解。结合算例讨论分析了温度变化、振幅、外激励等因素对椭圆型双曲抛物面索网非线性振动的影响。算例表明,索网固有频率随着温度的升高而减小,振幅的增大而增大,其非线性自振频率高于线性振动频率。     

智能网业务中的Petri网建模及验证方法

在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述，将其中涉及并发、同步等的描述转化为Petri网模型，探讨了在该模型上的验证方法，并给出了一个应用该规范和模型的例子．     

连续系统的受控连续Petri网模型

对于连续系统提出了一种受控连续Petri网模型．该模型充分考虑了系统状态的时变性质,在普通连续Petri网的基础上,对连续变迁的激发速度及触发规则进行了重新定义,从而能直观地、充分地描述受控连续系统的演变,从而为混杂系统统一的Petri网模型框架的建立提供了理论基础．利用模型详细讨论了连续系统的时间最优控制问题的连续Petri网描述．     

Petri网理论及其应用

Petri网是一种适于系统描述、分析和综合的图形数学工具,它的研究已引起了人们的普遍关注。本文着重讨论了一般Petri网理论,并对计时、随机和高级Petri网以及Petri网理论的应用进行了简要的介绍。