基于网结构压缩技术的Petri网监控器综合

针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题，提出了控制目标（线性约束）等价的网结构压缩算法：（1）将不可控子网部分区域压缩为单个库所；（2）并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法，可以有效地压缩原不可控子网，从而指数级地减小不可控子网的状态空间，有效地降低监控问题的计算复杂性，甚至当不可控子网为状态机时，该方法能够彻底解决上述计算复杂性难题，获得高效最优的Petri网监控器，并用一个物料运输系统演示了该方法.     

我国湿地保护立法研究

湿地被称为“地球之肾”，是地球三大生态系统之一，在促进生态文明建设、构建和谐社会中具有重要作用．然而，近年来我国湿地破坏严重，其原因主要是我国湿地保护法律制度的不健全．我国湿地保护立法缺少中央立法、湿地内涵与外延不明确等，应借鉴发达国家经验提出相关完善建议．     

关于Sober拓扑的一个反例

拓扑空间的Sober性质是一种特殊的分离性．借助于有理数空间的通常拓扑构造了一个T1＋Sober空间而非T2空间的反例，进一步清晰了Sober拓扑与Z空间之间的关系．     

试析军队领导干部良好网络媒体素养的培育

培育军队领导干部良好的网络媒体素养是当前部队面临的一项重要课题。新时期军队领导干部良好的网络媒体素养表现为丰富的网络媒体知识、科学的网络媒体态度、熟练的网络媒体应用技能和一定的网络媒体传播策略。着眼培育良好的网络媒体素养，领导干部应增强使用网络媒体的自觉性，树立科学的网络媒体意识，不断加强学习和实践，提高网络媒体舆论引导能力。     

博弈视角下的旅游价值网合作机理研究

旅游业的价值创造模式不再是Porter的价值链,而是旅游价值网.作为一种中间型组织,旅游价值网具有稳定性的同时又具有一定的弹性,表现为内部成员具有搭便车的动机.从博弈角度可以对旅游价值网内部企业的合作策略进行分析,得出长期内旅游价值网是相对稳定的合作型组织,其稳定性来自于其内部约束机制.     

基于Web的网络硬盘的设计与实现

基于Web的网络硬盘具有广阔的应用。现有的网络硬盘多采用无组件或自定义组件上传,而ASP.NET提供了功能强大的上传组件和服务器类操作方法,可以开发出方便实用的网络硬盘。文章给出了网络硬盘的主要功能,并用ASP网络编程语言C#说明了关键技术实现方式及相关代码。     

连续和间断的探讨

讨论了一些流行的教科书中对连续和间断的定义和表述。通过讨论一些初等函数的例子,对连续和间断提出了自己的理解、表述和探讨。认为按照拓扑情形下的连续定义,任何初等函数在其定义域内连续,从而说明了两种定义的不同,并给出了建议。     

Capacitated stochastic coloured Petri net-based approach for computing two-terminal reliability of multi-state network

Classical network reliability problems assume both networks and components have only binary states,fully working or fully failed states.But many actual networks are multi-state,such as communication networks and transportation networks.The nodes and arcs in the networks may be in intermediate states which are not fully working either fully failed.A simulation approach for computing the two-terminal reliability of a multi-state network is described.Two-terminal reliability is defined as the probability that d units of demand can be supplied from the source to sink nodes under the time threshold T.The capacities of arcs may be in a stochastic state following any discrete or continuous distribution.The transmission time of each arc is also not a fixed number but stochastic according to its current capacity and demand.To solve this problem,a capacitated stochastic coloured Petri net is proposed for modelling the system behaviour.Places and transitions respectively stand for the nodes and arcs of a network.Capacitated transition and self-modified token colour with route information are defined to describe the multi-state network.By the simulation,the two-terminal reliability and node importance can be estimated and the optimal route whose reliability is highest can also be given.Finally,two examples of different kinds of multistate networks are given.     

基于同步网的虚拟拆卸过程建模方法研究

针对大型复杂装备虚拟拆卸过程建模问题,分析了其在拆卸作业的顺序关系、逻辑关系和语义表示等方面的需求。基于同步网给出了虚拟拆卸网(VDN)的定义和规则,其中变迁表示了维修作业中的拆卸动作,库所表示拆卸过程中部件的状态,同步器定义了拆卸序列的选择和并行关系。VDN能够确定拆卸序列、描述维修动作之间的逻辑关系,具有拆卸作业的具体语义,包含了维修知识信息。详细给出了VDN建模的步骤和简化规则,并通过一个VDN建模实例对方法和可行性进行了验证。     

电力系统故障的计算机新算法

本文提出了计算电力系统对称和不对称故障的一种新算法,其特点是数学模型非常简单,既可计算正常潮流又可计算故障潮流,把正常潮流和故障潮流统一在一个数学模型中.