计算无回路Petri网位置不变量的几何方法

基于路增益概念，证明了无回路加权事件图位置不变量的存在性，并给出了其位置不变量集合的表达形式和最小位置不变量的计算方法。讨论了两个Petri网基于位置并的位置不变量，通过把无回路Petri网分解成一些加权事件图基于位置的并，给出了无回路Petri网位置不变量的存在性判别及确定的几何方法。     

搭接网络计划模型分析

对搭接网络计划的计算模型和图示模型进行了较系统的分析,引入了延迟工序和增广网络计划的概念,基于这些概念,讨论了搭接网络计划时间参数的计算模型和双代号搭接时标网络图的生成与判读方法.     

用蒙特卡罗和Petri网方法估计随机流网络的可靠性

提出一种估计随机流网络可靠性的基于蒙特卡罗抽样和Petri网建模仿真的MCPN方法.该算法以蒙特卡罗方法为基本框架,通过蒙特卡罗抽样来模拟网络系统的随机性.对于随机抽取的网络状态,通过Petri网仿真计算相应加权图的最大流量,判断其是否为有效状态.仿真结果表明,Petri网方法是一种有效的计算加权图最大流量的方法.     

基于不变量综合离散事件系统Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件动态系统中实现一组不等式约束控制规范的Petri网控制器的存在性及其综合问题.利用系统的关联矩阵,把Petri网控制器的参数阵与受控系统的一个P-不变量用线性方程组联系起来.提出了Petri网控制器存在的代数判据.通过以此方程组为约束条件的一个整数线性规划问题的解,给出了Petri网控制器的结构参数（弧权值）和控制位置的初始标记数.给出的控制器的结构具有极小性.在结构一定的条件下,它是极大允许的.     

通信网中窗口流量控制的随机Petri网分析

本文将随机Petri网与排队论相结合,对分组交换网中的窗式流量控制机理进行了描述与分析,建立了窗式流量控制机理的随机Petri网模型,并给出了随机Petri网模型的可达图及状态转移方程.     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

基于广义随机Petri网的MVB网络吞吐性能分析

基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采用了随机Petri网计算机辅助分析软件TimeNET建立模型和仿真.给出了MVB网络单纯过程数据的报文吞吐量,有效数据传输能力和带宽利用率等性能参数.结论指出广义随机Petri网是对网络协议进行分析的有效工具.     

基于PPTL的着色Petri网的模型检测方法

为了提高着色Petri网的描述及验证能力,提出了一种基于投影命题时序逻辑的着色Petri网的模型检测方法。通过构建投影命题时序逻辑公式的否定形式等价的Buchi自动机,将它与着色Petri网的可达图相积,通过检测检测乘积图的可接受语言是否为空,从而判断用时序逻辑公式描述的系统性质是否满足。利用投影命题时序逻辑公式具有更强的表达力,可以有效地提高着色Petri网系统的描述及验证能力。     

温控系统的时序Petri网建模与验证

基于时序Petri网对温控系统进行建模和性质描述.利用可达图、Büchi自动机和ω-正则表达式理论三者相结合的方法分析得到温控系统时序Petri网模型变迁引发序列集合的ω-正则表达式,进一步分析证明该ω-正则表达式满足温控系统的功能性需求说明,从形式上验证了温控系统时序Petri网模型与需求说明一致.结果表明,时序Petri网可用来描述和验证具有时序关系和因果关系的并发系统模型,是一种并发系统形式化描述和分析的有效工具.     

基于Petri网的保密性策略建模与验证

为了对实施了具体保密性策略的系统、进程或工作流的保密性进行严格有效的分析与验证,提出了一种基于Petri网的保密性策略建模与验证方法.首先给出保密性策略基于Petri网的形式化描述,为系统建立Petri网模型;然后在此模型下利用保密性策略基于Petri网的形式化描述以及覆盖图对系统的保密性进行分析与验证,以判断系统是否符合保密性策略的要求.由于给定的系统Petri网模型覆盖图可以自动生成,因此可以利用其对系统的保密性进行自动分析与验证.通过一个进程实例阐述了该方法的原理和实施过程.     

MBEKHTA''''S子空间与CI算子

利用两个子空间H0(A)和K(A)取代了传统的N(A)和R(A),给出一个有界线性算子A是CI算子的两个充分条件和三个判定条件,同时借助于这些结果及CI算子的定义来判断一些常见的有界线性算子是不是CI算子。     

N-异丙基丙烯酰胺共聚和互穿聚合物网络温敏凝胶的溶胀与释药性能

制备了不同配比的P(NIPAm-co-AAm)共聚水凝胶和PAAc/P(NIPAm-co-AAm)互穿聚合物网络(IPN)水凝胶,研究了其溶胀与释药性能.结果表明:该共聚水凝胶具有热缩温敏性,而该IPN水凝胶具有热胀温敏性.随AAm含量的增加,该共聚水凝胶溶胀比减小,温敏性减弱,释药率减小;与此相反,随AAm含量的增加,该IPN水凝胶溶胀比增大,温敏性增强,释药率增大.     

论南宋发展的三种新式筒形火器

火药和火器均发明于中国,然而10世纪中国所制早期火药硝石含量低,且制成膏状,不能成为发射剂,因此早期火器借手动机械力发射。11-12世纪南宋成功制成高硝固体火药,并首次用于制造小型烟火。宋金交战时,固体火药和烟火用于改进老式火器,结果南宋初出现某些新型火器,如1128年制造的铳炮、1138年制出的火枪或喷火枪,是后来一切筒形火器的祖先。作为铳炮和火枪的杂交产物,1259年突火枪出现。这三种武器的出现引起南宋以来火器史中的第二次技术革命,具有重大意义和深远影响。     

增强型全速率语音编码的原理及实现

在无线通信系统中，语音压缩编码起着非常重要的作用，因为它在很大程度上决定着合成话音的质量和系统容量。为了提高话音质量，GSM提出了增强型全速率（EFR）语音编码方案。它在LPC声码器的基础上，采用了A－B，S和VQ等技术，编码信息中既包含若干语音特征参量又包括部分波形编码信息。因此，能提供高质量的编码，且比特速率压缩到12.2kbps,为TD－SCDMA移动通令系统提供了一咎可行的语音编码方式。笔者从语音编码的基本概念出发，详细地介绍了EFR语音编码的原理及代数码本搜索实现技术。     

软件危机现象与面向对象方法分析

论述了软件危机现象和面向对象方法的基本概念，阐明了面向对象方法是解决软件危机的一种有效途径和应以积极的态度去对待软件危机现象的观点，同时对软件设计方法的未来发展进行了探讨。     

浅析遗传算法与进化策略

介绍了遗传算法和进化策略的算法模型，着重讨论了遗传算法和进化策略的特点以及各自的局限性，并分析了遗传算法和进化策略的区别与联系，最后指出遗传算法和进化策略有待解决的问题和二者可以联合发展的趋势。     

5S技术与测绘的结合

介绍了全球定位系统(GPS)、数字摄影测量系统(DPS)、遥感技术(RS)、地理信息系统(GIS)和专家系统(ES)5大现代技术(简称5S)的内容及特点，简述了5S技术的相互结合给遥感到给学科带来的技术革命及发展前景。     

多数据通道高速互连背板平台的设计和实现

为了给软件无线电的研究提供一个测试平台，设计实现了一个多数据通道高速互连背板平台．背板平台包括传输母板、时钟分配板和数据通道交换板，并提供ADC，DDC，DSP，DUC和DAC单板接口．通过采用高性能芯片和合理的高速设计方法，实现了背板平台良好的传输误码率和时钟晃动性能以及多个数据通道的自定义总线形式．     

钢渣-钒钛矿渣基坑回填料的制备及机理

为了推动钢铁冶金废弃物的综合利用,以钢渣、钒钛矿渣为原料替代水泥制备了全固废预拌固化剂,再与黏土制成基坑回填料,采用力学性能测试法、X射线衍射(X-ray diffraction, XRD)、扫描电镜(scanning electronic microscopy, SEM)和能谱分析(energy dispersive spectrometry, EDS)等测试手段,研究了钢渣细度、钢渣掺量及固化剂掺入比对基坑回填料性能的影响,并测试预拌固化剂的稳定性及水化机理。结果表明：当钢渣比表面积为457 m²/kg,料浆浓度(质量分数)为80%,固化剂掺入比(质量分数)为20%,固化剂配比(质量比)为钢渣∶脱硫石膏∶钒钛矿渣=44∶10∶46时,用其制备的基坑回填料力学性能较好,此时固化剂净浆流动度为136 mm且安定性合格,稳定性优于P·O 42.5普通硅酸盐水泥;在固化剂掺入比为7%～25%,掺入占胶结剂总量0.4%PC型聚羧酸型高效减水剂(polycarboxylic acid, PC),基坑回填料28 d抗压强度均大于0.4MPa,最大为4.7 MPa,回填料坍落...     

半胱胺对鹅生长内分泌的影响

探讨了半胱胺(CS)对成年鹅血浆中生长抑素(SS)、生长激素(GH)和胰岛素样生长因子-I(IGF-I)的影响和调节机理.14只装有翅静脉瘘管的成年杂交鹅(川白×太湖),自身对照.试验期于日粮中一次性添喂半胱胺(100mg/kg,按体重计),自由采食和饮水.采取对照期和处理后第1、3、5、7d的血样,用RIA双抗法测定其中激素的含量.结果表明,试验期SS较对照期(1.89±0.10)μg/L分别降低了41.18%(P<0.01)、26.74%(P<0.01)、37.43%(P<0.01)和17.11%(P<0.05);试验期第1、3、5和7d的GH较对照期(0.55±0.15)μg/L显著(P<0.01)升高,分别为34.55%、78.18%、65.45%和54.55%;试验期的IGF-I较对照期(25.29±4.91)μg/L分别升高了7.28%、59.07%(P<0.01)、22.41%(P<0.05)和1.38%.因此,CS能够降低成年鹅血液中SS含量,使GH和IGF-I水平升高,从而调节鹅的神经内分泌,促进生长.