一类扩展Petri网的建模与仿真分析

本文定义了一类禁止弧／容许弧基本Ｐｅｔｒｉ网及其变迁的引发规则，构造了它的三个标志矩阵（禁止弧、容许弧、自环），给出了它的关联矩阵和状态方程；基于此，形式化分析了该网模型，并由此构造出适于计算机仿真分析的启发式算法；最后给出了仿真算例     

论商事信用的民法保护

随着商品经济的发展,信用由人格信用演变为商事信用,并在市场经济中起着非常重要的作用。权利的设定、权利的救济以及权利的行使是民法的关键内容之一。因此,对商事信用的民法保护主要是确立信用权,以完善时信用权利的救济;明确禁止权利滥用原则,以完善对信用权行使的原则指引。     

基于增广Petri网带封锁机制的数据库并发控制模型

用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段锁协议所引起的死锁和活锁问题。最后,利用S-不变给出此模型的验证。     

非线性流水线调度的一个性质的证明

非线性流水线若能被一个恒定启动循环(l)调度,则l不小于流水线通过次数最高的功能段的通过次数.     

椰子国的发明大赛

椰子国的人都喜欢喝椰汁,大街上随处可见捧着椰子喝椰汁的人。喝椰汁少不了吸管,椰子国因此成为全球吸管用量最大的国家。最近,椰子国国王深受困扰--很多人请求他下令禁止使用塑料吸管。     

广义禁止模式

从对经典禁止模式的探讨出发,定义了广义禁止模式这个新概念,证明了广义有禁排列在代数运算Γ下的不变性.进一步讨论了广义禁止模式中的一类特殊模式——231模式,并对231广义有禁排列进行了分类和组合计算.最后,提出了一个猜想.关于广义禁止模式的讨论可为有禁排列问题的研究发展提供更加广阔的空间.     

基于带禁止弧的CTPN的维修资源管理模型研究

根据维修资源管理方式,结合时间有色Petri网理论,提出了带禁止弧的时间有色Petri网,并利用带禁止弧的时间有色Petri网建立了维修资源管理模型,结合CPN Tools进行了仿真,仿真结果表明带禁止弧的时间有色Petri网能得到更好模拟实际的资源管理过程,并能得到维修过程的总体情况,资源的利用率等参数.     

简析美国刑事再审程序——以辛普森杀妻案为例

依照美国法律,“辛普森杀妻案”以宣判辛普森无罪告终后,即使有朝一日发现了证明辛普森杀妻的新证据,或者发现审判存在严重法律错误,该案也无机会进入刑事再审程序。这是因为美国刑事程序,尤其是刑事再审程序贯穿着禁止双重危险原则,完善了对被告人人权保障措施。     

做最好的自己——专访金日全球营运总裁赵永甲

正赵永甲是个感性的韩国人,有自己的特殊情怀。但这并不妨碍他做一个理性的中国直销管理者,在浪漫与务实之间自由游走。韩国人能管理好中国的直销企业吗?2014年初,赵永甲出任金日全球背运总裁时,市场上不乏质疑之声。不过,这样的声音很快便归于沉寂,取而代之的是肯定与赞誉。在金日,赵永甲的勤奋与博学有目共睹,他热爱学习,在时间的管理和利用上,有很强的计划性。作为一名外籍人士,对《孙子兵法》以及