最大速度恒定的连续Petri网(CCPN)的性质及判定方法

最大速度恒定的连续Ｐｅｔｒｉ网是由Ｄａｖｉｄ等最早提出的一类时延连续Ｐｅｔｒｉ网模型,但并未对其性质给出确切的定义及相应的判定方法。文「１」中给出了ＣＣＰＮ的演变图及其构造算法,本文在给出ＣＣＰＮ以对扬系统进行性能分析。     

Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

欧美关于数字图书馆的纷争与启示

近年来欧美国家关于数字图书馆的一系列纷争,从一贯的知识产权焦点深化至本国文化地位等多层视角,给中国的数字图书馆建设带来诸多启示与借鉴。     

基于区域叠合有限元技术预测三维编织复合材料弹性性能

本文基于区域叠合有限元技术预测三维四向编织复合材料弹性性能。在该方法中,分别建立相互独立的纤维增强相有限元模型和复合材料整体区域(包括所有增强相和基体相所占几何空间)有限元模型,两相模型在空间叠合组成复合材料模型,运用节点自由度耦合技术使两相模型满足变形协调关系,通过对两相模型赋予适当的材料属性以使所建复合材料模型具有与实际复合材料等效的力学特性。该方法较传统方法显著缩短了建模时间,降低了建模难度。区域叠合法的数值模拟结果与传统方法预测结果一致。本文的研究为进一步研究编织复合材料非线性宏观力学特性和渐进损伤过程模拟奠定基础。     

对国有资产拍卖问题的探讨

结合水利部山西水利水电勘测设计研究院的实际情况,对国有资产拍卖的法律依据、具体程序、重大意义、法律责任及存在问题进行了探讨.     

国企中职务侵占犯罪认定初探

本文从职务侵占犯罪的概念入手，分析其基本特征与该犯罪行为的主观，客观，主体，客体等四大要素。阐述了此类犯罪的构成，通过与其他相关犯罪的比较，使读者能正确把握此类犯罪。     

Spiritual Enlightenment From Language on English Learners

Language could be performed well with people who are familiar with the background and other factors of this language. As foreign language learners, performing well depends on knowledge of the attribute property of language and the post-natal education which plays a major role in language learning. Compared with the former one, post-natal education could be concerned by more and more learners. It is also an approach for English learners to know more about English and some relevant points.     

论物权法平等保护原则的内涵

物权法作为民法典的一部分，其基本要求便是对权利人的权利进行平等保护。物权法首次将平等保护原则写入其中，是对《民法通则》第七十五条的深刻反思。必须改变传统民法对国家财产实行特殊保护的观念。公民合法取得的财产应当受到与对国家财产和集体财产同等的法律保护．使人民群众积累的财产能够受到切实的保障．这也是物权法引进这一原则的重要意义所在。鉴于此，有必要对这一原则的基本内容和科学内涵及应注意的问题作一些概括的分析。     

黎曼可积的周期函数的若干性质

本文给出黎曼可积的周期函数的定义,并给出黎曼可积的周期函数的5条性质及其详细证明.