关于三网合一技术

介绍了我国现阶段并存的三网(电信网、有线电视网和计算机互联网)的特点与现状，分析了三网在融合过程中需要解决的一些不可避免的问题，以及三网合一的技术基础和促进三网合一的有利因素，提出了三网合一是现代通信和计算机网络发展的必然趋势，以及在三网融合的过程中还将有一个相互渗透交叉、相互竞争、共存发展过程的观点。     

Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

多线程Java程序的Petri网模型

Ｊａｖａ的多线程特性能有效地提高各种计算机资源的利用率．但是,多线程并行运行所造成的非确定性使得程序中潜在错误的定位和再现十分困难,这严重阻碍了Ｊａｖａ多线程机制的使用．提出了从Ｊａｖａ程序到Ｐｅｔｒｉ网的转化规则,利用所得的Ｐｅｔｒｉ网模型能有效地支持并行和分布式软件的分析．该模型在应用中取得了很好的效果．     

喷网锚在加筋土挡土墙加固中的应用

根据山东省淄博市梧台立交桥加筋土挡土墙加固的工程实际,结合理论计算,讨论了高压注浆提高锚固力的原理,提出了局部采用双层钢筋网的喷浆支护方法.结果表明,该加固方法有效地限制了墙体的侧向位移,加固效果良好,适用于失稳挡土墙加固.     

一种基于属性抽取与整合的Petri网模型

将感觉神经检测机制融合于Petri网中，提出了一种新的基于属性抽取与整合的感觉神经检测Petri网模型，使得Petri网更加适合于对神经思维的描述，提高了系统的智能行为。     

对偶网的一些性质

给出了Petri网与其对偶网性质的一组充要条件或充分条件，这些条件对Petri网的描述与分析是非常有用的．     

彩色热镀 Zn-Ti-Ni 和 Zn-Mn-Cu 合金镀层的研究

研究了彩色热镀锌工艺及彩色涂层的成色原理，进行了一系列镀浴成分和彩色热镀工艺的试验，筛选出Ｚｎ＿Ｔｉ＿Ｎｉ和Ｚｎ＿Ｍｎ＿Ｃｕ两种镀液成分，在一定的浸镀温度和冷却方式下，可以获得表面光滑、成色均匀鲜艳的彩虹、金黄、紫、蓝色镀件。通过理论分析和俄歇电子能谱、Ｘｒａｙ衍射分析，发现Ｚｎ＿Ｔｉ＿Ｎｉ彩色热镀锌层表面形成均匀的Ｔｉ的氧化物膜，Ｔｉ与Ｏ的化学计量比接近Ｔｉ２Ｏ３；ＺｎＭｎＣｕ彩色热镀锌层表面形成含ＭｎＯ和ＺｎＭｎ２Ｏ４的氧化物膜；Ｚｎ＿Ｔｉ＿Ｎｉ彩色热镀锌镀层表面产生颜色是由于氧化膜使光发生干涉而产生，表面颜色取决于氧化膜厚度；Ｚｎ＿Ｍｎ＿Ｃｕ彩色热镀锌层表面成色是由于配位场中过渡金属锰离子产生的。     

基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .     

超空间上的弱连续对应

本文在超空间上定义了弱连续对应。以拓扑空间中的开(闭)集和θ—开(闭)集为基础得到了这种对应的若干等价条件。并给出了子集网与收敛网的应用。