标识T-网中同步距离的计算

同步距离是刻画事件之间同步关系的一个重要的定量分析手段。由于同步距离的求解不仅和网的结构特征有关系,而且和网的初始标识也存在关系,因此到目前为止还没有一个很简洁易行的算法来求解一般Petri网的同步距离。然而,一些特殊的Petri网子类,如标识T-图、标识S-图的同步距离的计算已经有了较简洁的求解方法。对另一个Petri网子类——标识T-网给出了其同步距离的计算方法。标识T-网也可以直接通过网的结构和初始标识分布情况来得到变迁之间的同步距离,不需要考察网系统的运行,这就使得同步距离的求解简单易行。文中给出了相应的求解定理。

股票市场波动性研究——基于ARMA-TGARCH-M模型的实证分析

通过构建ARMA-TGARCH-M模型,并同时利用上证综合指数和深圳成份指数的低频日收益率和5分钟高频收益率数据,对中国股票市场的波动性问题进行了实证研究。结果表明:中国股票市场存在着大幅度高频率波动,市场总体风险较大,而且收益率波动也存在着波动集群性、尖峰后尾性和非对称分布等特征,深圳股票市场在各方面的特征也都比上海股票市场突出。此外,低频日收益率序列和5分钟高频收益率序列都存在着显著的平稳性、自相关性和ARCH效应,中国股票市场还存在着较长的外部冲击波动持续期,且杠杆效应显著。GARCH族模型能够很好地拟合中国股票市场的波动性问题。

带标识加权T-图的化简

本文首先给出带标识加权T-图的几种化简运算,然后证明在一定条件下,这几种运算能保持网的活性不变,从而为带标识加权T-图的分析和综合提供了有效途径。

论奎因对塔尔斯基等值图式T的误解

众所周知,在塔尔斯基的语义真理论当中有这么一个等值图式T:X是真的,当且仅当P。对此,奎因一方面认为,图式T能够刻画我们关于非语言的"真"之前理论的"符合式"理解的旨意;但是另一方面,奎因等人也认为图式T确切地表达了语言上的"真"谓词的一种"取消力",即"去引号之方法"。其实,这是对塔尔斯基等值图式T的一种曲解,它实际上成了塔尔斯基等值图式T和关于"真的"表达的等值式M的合成品。

T-时延离散Petri网的运行原理及其性质

T-时延离散Petri网(TTDPN)常用来描述与时间有关的离散系统,因而研究其运行原理及性质是必要的。首先给出了变迁可激发的定义及激发规则,然后讨论了T-时延离散Petri网的运行原理和可达标识图的构造方法,最后给出了两个性质。

用T^(**)分数计算高考考生成绩

本文提出了把高考考生各科的原始分数转化为T^(**)分数,进而用T^(**)分数计算考生总分,用以衡量考生的成绩,以分优劣。

项链T-图和完全T-图中活的和安全的标识类个数的证明

本文证明了:有k个结点(变迁)的项链型T-图Nk和有n个结点(变迁)的完全T-图Kn这两种特定结构的T-图中活的和安全的标识类的个数分别为:k-1和(n-1)!个。

基于Petri网的数据库系统并发控制活性分析

从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图。通过分析可达标识图,可判断系统是否为死锁状态。若不是死锁状态,系统是否可能出现死锁,什么情况下系统肯定不会出现死锁。最后,给出了数据库系统中事务并发操作的死锁检测方法与避免措施。

基于Petri网的并发系统活性分析

本文从数据库系统在时刻 t的状态 N出发 ,构造出相应的 Petri网模型 ,进而构造出其可达标识图 .通过分析可达标识图 ,可判断系统是否为死锁状态 .若不是死锁状态 ,系统是否可能出现死锁 ,什么情况下系统肯定不会出现死锁 .最后 。

Mark-Houwink方程中系数的意义及应用探索——K值的意义及对高分子特性的评估

K值是Mark Houwink经验公式 ([η]=KMα)中的两个常数之一 .理解它的意义不仅有利于公式的应用 ,而且有可能有利于从不同的角度认识高分子材料的性质 .考虑到K是由高分子材料和使用的溶剂性质所决定的 ,因此引入溶剂的一些参数对Mark Houwink经验公式中的K的意义进行了初步探讨 .结果显示 ,高聚物的K和溶剂的极性参数 ,如Reichardt的Et(30 )及Kamlet Taft的π 之间有一定的线性关系 ,而根据这些关系外推发现所有这些被引用的高分子材料似乎可以由此被划分成两大类 ,并进一步推导出高分子材料的极性 .此简易方法得出的数据得到文献和近来的有关研究结论的认可 .

关于GB/T15834—1995中连接号应用问题之我见

通过对GB/T 15834—1995《标点符号用法》中关于连接号应用标准的制定及在实际应用中存在问题的分析,提出有关连接号应用的分类原则,进而对其应用类型和应用标准提出修改意见,以达到易学易用、表意明确、避免误用混用的目的。

基于Petri网的电梯群控系统设计

众多的电梯群控系统设计解决方案仅仅基于某一具体功能模块,少有整体系统设计.为此,本文使用Petri网建模工具给出了电梯群控系统的有效模型.该模型除了整体设计外,包括程序设计流程概要建模和局部功能细化,以及电梯低高速的切换和根据交通模式切换不同停留模式的实现细节.最后用S-不变技术、可达标识图等对模型进行了验证.

美国四分制标准与GB/T406-93棉本色布国家标准的比较研究

分析了GB/T406-93棉本色布国家标准与美国四分制标准之间的差异,介绍了美国四分制标准的特点和应用情况。

铝及铝合金铸锭标识

首次发布的GB/T 42916-2023《铝及铝合金产品标识》,规定了铝及铝合金产品标识的标识分类、一般要求、铸锭标识、板材标识、带材标识、箔材标识、管材标识、棒材标识、型材标识、线材标识和锻件标识。文章依据GB/T 42916,介绍了铸锭标识的一般要求、铸锭标识信息、铸锭刻痕标识、喷码标识、标签标识、信息化标识以及航空航天用铝合金铸锭标识,供贯彻新标准时参考。

大型竞赛的一种评卷模型

针对大型竞赛评卷过程中存在的不公平性问题,提出一种有效控制误差的评卷模型,并用该模型对2006年全国大学生数模竞赛广西赛区的阅卷实例进行验证.结果显示,新模型比传统的评分模型可以更好地消除误差,更合理地反映出参赛队伍的实际水平,具有较强的适应性.

在高等院校课程考试中采用标准分的探讨

分析了原始分计分的弊端,提出了一种适合于高等院校课程考试的标准分的计算方法:T=75+BZ,得出了不同的情况下B值是可以浮动的和当T>100时可以强行截断的结论,并阐述了在高等院校课程考试中大力推广标准分的意义。

无冲突可重复网极小活标识的配置

首先给出无冲突可重复网的定义,并证明无冲突可重复网是结构活的。然后将无冲突可重复网的极小活标识的配置化为强连通-T图极小活标识的配置。文[2]虽然给出-T图极小活标识的判断方法,但是对于一个比较复杂的-T图的极小活标识的配置是无法实现的。本文通过求解强连通-T图的1+-nm个线性无关的极小-S不变量的支集,找出1+-nm个线性无关的有向回路组,然后给出构造强连通-T图以任一变迁为根的有向生成树,最后给出配置强连通-T图极小活标识的有效算法。

世纪之交的中国教育改革走向:教育与市场的关系问题

20世纪 90年代以来 ,依靠非政府的各种社会力量提供的教育服务逐步成为教育发展的一个重要方面 ,反映在教育领域中 ,市场的自愿交易关系和新的教育消费群体正在形成。中国的公共教育体制正在经受市场的挑战。它迫使学校教育机构这一相对保守的领域直面市场 ,从而促成一种新的教育资源分配方式和人才培养模式的产生。当前学校领域已经形成了一些不同的市场化运作形式 ,根据市场介入的程度不同 ,这种学校市场化运作可分为九种不同的类型。由此中国教育正面临一系列新的问题 ,这些问题集中地反映了市场介入教育所产生的教育公益性与营利性之间的矛盾。中国教育改革的未来走向及其基本面貌 ,将取决于如何认识和解决这对矛盾 ,以及如何建立一种有效的协调和制约机制。

国内贸易的市场化

中国确立以市场经济作为改革的目标以来,国内贸易中市场经济体制已经初步建成,并日趋完善,具体表现为:国内贸易主体自主性、独立性增强;以市场调节为主的价格机制基本形成;城镇居民住房的商品化率明显提高;城镇居民医疗卫生保健和教育支出的增加;一些重要商品和服务的市场化改革更加深入。作为整个市场经济的重要组成部分,中国的国内贸易市场化进程也随着经济的发展、改革的深化和对外开放程度的扩大而不断向前推进,贸易主体、价格、特殊商品将进一步市场化,政府管理将进一步法制化。

浅析酒体设计与市场需求

酒体设计是一门艺术,也是稳定产品质量的重要手段。由于不同地区的消费习惯,酒体设计具有明显的区域性特征;因消费层的多元化,决定了酒体设计的多层次;根据饮食文化、风土人情的差异,酒体设计必须多样化;还必须适应时代发展、消费心理的变化,设计出适销对路的产品,酒体设计的原则:适应消费群体,具有明显的产品个性,捕捉市场变化规律,打破传统,大胆创新,并进行产品论证。(晓)