基于P/T系统化简方法的工作流过程模型验证

目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一个比较现实的问题.因此,对过程模型进行分析和优化成为工作流技术的研究方向之一.首先,根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突.最后,结合一个业务过程实例,根据转换规则把它映射为过程网,应用规则进行化简并得到验证结果.

贵州紫云剖面P/T界面附近碳氧同位素的变化及生物绝灭事件

:贵州南部紫云剖面由上二叠统长兴组的碳酸盐台地边缘沉积体系、下三叠统罗楼组的碳酸盐浅海陆棚沉积体系、以及下三叠统紫云组的半深海深海沉积体系组成。在前两种沉积体系中选取 18块样品进行碳、氧同位素测试。测试的结果表明 :上二叠统长兴组δ13 C平均值为 2 4 8‰ ,保持了较高的正值 ,δ18O平均值为 - 4 19‰ ;在P/T界面附近 ,δ13 C ,δ18O值都有显著的降低 ,δ13 C值由 2 71‰陡降至 - 0 90‰ ,变化幅度达 3 6 1‰ ,δ18O值由 - 5 0 3‰降为- 9 4 6‰ ,变化幅度可达 4 4 3‰ ;下三叠统罗楼组下部 ,δ13 C值为负值及低正值 ,出现明显的δ13 C值低异常 ,而δ18O值则比较稳定 ,介于 - 4 6 6‰和 - 5 6 2‰之间 ,平均值为 - 5 2 8‰。罗楼组上部 ,δ13 C值有回升的趋势。由于生物对轻碳具有重要的分馏作用 ,因此 ,P/T界面附近δ13 C值的显著变化反映了一次生物大量绝灭的过程。由δ18O值的变化反映出的生物绝灭的外因主要有温度和盐度两方面。从δ18O值可计算出在P/T界面处古温度有 4～ 5℃的升降 ,这势必影响到狭温生物的生存 ;从δ18O值计算出的Z值来看 ,古盐度也有小幅度的变化 ,加速了狭盐度生物的绝灭。事实上 ,生物的绝灭可能是海平面变化、火山事件。

贵州乐康P/T界线无机碳同位素特征及其意义

贵州乐康深水海槽相中的无机碳同位素研究表明,晚二叠世由于局限环境,区域内生物贫乏,相对应的碳同位素值比同期其他剖面中碳同位素值偏低。而在长兴阶晚期,由于受区域内火山作用的影响,在剖面界线之下发育另一个碳同位素负异常,之后碳同位素有所回升,直至界线附近降低为最低值。早三叠世由于绝灭之后的生物复苏缓慢,无机碳同位素表现为低正值。碳同位素特征显示,碳同位素的变化受到了生物和环境等多种因素的综合控制。

P/T网的化简运算及其性质研究

本文首先给出P／T网的几种化简运算，然后证明这几种运算对于网的结构性质不变，从而为P／T网的分析与综合提供了有效途径．

高级Petri网并行化预处理方法的研究

为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网(Place/Transition Net)的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数模型对颜色Petri网转化为P/T网的预处理方法进行研究,并通过实例和编程对预处理方法的正确性和有效性进行验证。实验结果表明,提出的高级Petri网并行化预处理方法是可行而有效的。

基于Petri网B/S体系架构的在线评测系统建模与验证

在线评测系统可以看作网络环境下,实现动态事务处理的一个有代表性的系统。针对传统的软件设计建模方案很难兼顾系统静态结构的描述和动态行为的分析,采用P/T网构建了一类B/S架构的在线评测系统层次模型。根据系统功能,提出了保证系统功能正确性应具有的重要性质,继而用S_不变量对其进行了分析、验证。

四川重庆中梁山P/T界线粘土层中非粘土组分的研究

本文报道了四川重庆中梁山P/T界线粘土层中的非粘土组分及其研究成果,包括具似文象结构的铁质微球粒,硅质、石质微球粒以及各种碎屑矿物。认为除了具似文象结构的铁质微球粒可能属地外成因外,其他微球粒和碎属矿物均为火山作用产物。

搭配关系的P／T网建模

首先基于P/T网建立了关系词的基本模型,并通过引入搭配能力函数建立了搭配关系模型;随后,在单重复句的基础上讨论了搭配型的单层分解(合成),在多重复句的基础上讨论了搭配型的多层分解(合成),得到了具有一定应用价值的3个定理.

NK/T细胞淋巴瘤p53和β-catenin基因突变的探讨

目的:探讨p53和β-catenin基因在鼻型NK/T细胞淋巴瘤的突变情况。方法:用PCR-SSCP和基因测序的方法检测20例鼻型NK/T细胞淋巴瘤p53基因外显子4～8,β-catenin外显子3的突变情况。结果:8例p53基因发生突变,突变方式主要为错义突变,G:C→A:T转换多见;6例β-catenin基因发生突变,均为错义突变。结论:p53基因突变可能是鼻型NK/T细胞淋巴瘤发生的生物学机制之一,但突变位点并不集中,无明显的突变热点;错义突变是鼻型NK/T细胞淋巴瘤p53和β-catenin基因突变的主要方式。

湖北黄石P/T界线剖面粘土矿物氢、氧同位素特征及其地质意义

湖北黄石Ｐ／Ｔ界线剖面是研究二叠系—三叠系过渡期地质事件的最佳剖面．在界线上下（上１１．３７ｍ，下１９．２３ｍ）共３０余米地层范围内，出露至少１９层粘土岩．岩层厚度薄，一般为几厘米至十几厘米，层位稳定．经分离提纯后，获得１９件粒度小于２μｍ的样品，用...

Clarkina在赣南桃江剖面P\T界线粘土岩中的发现

该文报道了Ｃｌａｒｋｉｎａｃｈａｎｇｘｉｎｇｅｎｓｉｓ，Ｃ．ｄｉｃｅｒｏｃａｒｉｎａｔａ，Ｃ．ｓｐ．１ｃｆ．ｔｕｌｏｎｇｅｎｓｉｓ，鱼牙和海绵化石，以及六方双锥石英晶体、微球粒、玻屑和锆石单晶体在江西信丰地区二叠三叠系（简称Ｐ＼Ｔ，下同）界线粘土岩中的发现．通过对江西桃江、浙江煤山、西藏色龙Ｐ＼Ｔ界线剖面与江西东岭、沿沟Ｐ＼Ｔ界线剖面相互对比后认为，以Ｃ．ｔｕｌｏｎｇｅｎｓｉｓ或Ｃ．ｍｅｉｓｈａｎｅｎｓｉｓ首次出现的点位探求Ｐ＼Ｔ界线的ＧＳＳＰ。

基于P/T网结构的规则系统验证方法

规则系统是具有广泛应用价值的逻辑系统,但由于各种原因可能导致冗余、不一致、不完备和回路等错误的发生,从而影响系统的运行结果和效率.本文构造了基于Horn子句的规则系统的P/T网模型,给出了利用Petri网关联矩阵求解回路和路径的算法,并提供了系统错误的一组判定方法.该方法避免了原有基于Petri网可达性方法检测系统错误可能导致的状态空间爆炸问题,充分利用网的结构信息,实现规则系统错误的分析和发现.

腹足类在赣东北沿沟剖面P\T界线层中的发现

该文报道了腹足类15属(包括1新属)、介形类11属14种4未定种以及玻屑、微球粒等在江西乐平地区二叠三叠系(简称“P\T”,下同)界线层中的发现.介形类Langdaiasuboblonga和腹足类1新属与Hindeodusparvus同层,同样是三叠系底界和早三叠世早期的标志化石.

关于我国南方P/T界线粘土中I/S混层矿物类型的商榷

本文依据目前世界上较流行的I／S混层矿物有序类型划分及鉴定方法，对已公布的我国南方P／T界线粘土岩中I／S混层矿物的有序类型进行重新讨论．结果发现，这些混层矿物实则为IS或ISII有序间层，而非原作者所认定的不规则混层，温层比也明显不同。

浙江煤山剖面P／T界线黏土层的研究及其意义

我国南部地区二叠纪/三叠纪(P/T)转折期的海相地层中广泛分布着一套黏土层,而该黏土层被定为华南海相P/T界线的"地球化学事件层",在浙江长兴煤山剖面与其对应的是第25层白黏土层。以煤山剖面为代表,以该剖面界线白黏土为研究对象,对华南P/T界线黏土层进行了综合研究:描述了煤山剖面白黏土的性状;分析了界线黏土层的宏观矿物组成;对白黏土中的包裹物进行了分离,挑选出了特征颗粒物并对其做了初步的观察研究;还对白黏土呈酸性及其包裹石膏颗粒的硫同位素负异常进行了初步的探讨。通过这些手段来揭示该界线黏土层蕴含的古环境记录。本次工作对华南海相P/T界线黏土层研究有着一定的借鉴意义。

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

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

基于P/T系统的关系词搭配算法

基于统计模型的搭配强度算法存在诸多不足,构建了一种基于P/T系统的关系词搭配算法.算法首先基于P/T系统建立了关系词搭配的基本模型,并以变迁数量区分了描述单层有标复句的单层型和描述多层有标复句的多层型;随后讨论了多层型的分解,并借助分解的可行性及S_不变性论证了算法的可行性及可靠性;最后以链表形式储存了库所和变迁,并用C语言对算法进行了描述.结论说明P/T系统是构建算法合适的数学模型.

多元回归分析在井下P/T传感器标校中的应用

国内传感器的标校工作未能正确、规范地进行 ,标校分析的不严谨 ,是造成严重误差的主要原因之一。对井下压力 /温度传感器的标校 ,建立一种传感器的数学模型。在此基础上 ,应用多元回归分析方法 ,获得一种良好的校验公式 。

基于分解子网的Petri网不变量的分析

分析系统性能时,Petri网不变量具有重要意义。为了减小求解的计算复杂性,基于Petri网的分解,并利用关联矩阵的构成特点,分析总网和分解后子网的不变量之间的关系。对分解后的子网为一般Petri网,采用的连接为自环连接和同步连接的情形,得到了总网P/T-不变量可对分解保持的一些充分、必要或充要条件。