基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.     

线性流形上AXB=C的反中心对称解

讨论了线性流形上矩阵方程AXB=C的反中心对称解及最小二乘解.利用矩阵对的商奇异值分解得到了方程有解的充分必要条件及解的一般表达式.利用矩阵对的标准相关分解技术获得了方程的最小二乘解.     

非繁殖季节发情与乏情哈萨克羊下丘脑差异表达基因分析

通过构建数字基因表达谱(Digital Gene Expression,DGE)文库,筛选出非繁殖季节乏情与营养诱导的发情哈萨克羊下丘脑差异表达基因,为丰富绵羊发情机制奠定基础。本研究选取36只哈萨克羊随机分为补饲组和对照组各18只。非繁殖季节采集3只乏情和3只补饲后发情的哈萨克羊下丘脑,构建DGE文库并进行差异基因数字表达谱分析。结果表明:通过补饲能够使处于非繁殖季节的哈萨克羊发情,其发情率为44%,而对照组没有发情现象。经差异基因数字表达谱分析,补饲组发情与对照组乏情下丘脑共筛选出828个差异表达基因,其中728个上调,100个下调。GO功能富集分析表明,差异表达基因主要在神经元胞体、轴突、细胞膜上表达,具有调节GTP酶的活性等功能,这些基因还参与细胞通讯、信号调控、神经冲动传导、细胞定位等生物过程。通过Pathway分析发现,差异表达基因显著富集在Gn RH信号通路、神经营养因子的信号转导通路、胰岛素信号通路等31条信号通路。结合DGE文库及已有文献筛选出GNAQ、ERα、PI3K、POMC可能是参与营养诱导的调控哈萨克羊非繁殖季节发情相关通路的关键基因。     

四甲基二甲酰型芳环化合物的合成

双酮酐型聚酰亚胺(PI)具有优异的耐热性能及力学性能,制备此类型聚酰亚胺的重要单体之一是多烷基化合物.通过低温Friedel-Crafts酰基化反应制备1,4-二(3',4'-二甲基苯甲酰基)苯、1,3-二(3',4'-二甲基苯甲酰基)苯、4,4'-二(3',4'-二甲基苯甲酰基)二苯醚、4,4'-二(3',4'-二甲基苯甲酰基)联苯4种四甲基二甲酰型芳环化合物,并且分别对4种化合物的结构进行了红外和核磁分析.结果表明:所得4种化合物与目标产物一致,有望拓展双酮型二酐的种类,进而合成性能更佳的新型双酮酐型聚酰亚胺.     

我国小微企业发展问题探析与对策研究 ——广东、山东、浙江等15省市的调查

小微企业在社会发展、技术创新和结构调整等方面发挥着重要作用,然而却存在严峻的生存危机。掌握小微企业发展现状及存在的问题,为实施扶持和促进其发展政策的形成起到重要参考。依据企业仿生学理论从内外两方面设计问卷,对广东、山东、浙江等15省市的小微企业进行调查,获取有效调查问卷1 323份。进而利用统计方法揭示小微企业在管理、融资、营销、创新等方面的问题,并据此提出相应的发展对策与建议。     

另类投资

<正>这是一个创意十足的想法。蔚蓝星球控股公司首席执行长埃万赫利娜·卡特盯着首脑办公室派来的访客。她一定是听错了对方的话语,"对不起,我有片刻以为你说你想要彻底毁去我们的文明。"艾伦先生从半月形眼镜上方凝视着卡特。你不得不佩服这些外星人,他们将人类的习性模仿得如此彻底。"不,当然不是。不是彻底毁去。我们仅仅希望……抑制人类。让人类一下子回到不那么技术先进的时代。我们的预测建议退回五个世纪应该能达成目的。"     

高职院校数学课程教学内容整合初探

近年来,高职院校面临着很多新的现状,如招生规模不断扩大,学生数学基础总体较好,但差异较大。因此,对教学内容进行改革迫在眉睫。本文给出了将内容模块化、融入数学建模、将数学课程与专业课程紧密结合、引入数学软件以及用图形、数据替代复杂证明等改革构想。     

电网工程工程量清单计价的问题分析及改进研究

工程量清单计价是电网工程造价管理的重要环节，对实现工程造价标准化、规范化、精益化管理具有重要意义。由于主客观因素的影响，电网工程在工程量清单计价的机制、管理、应用、技术等方面还是存在一定的问题，必须研究加以解决。以工程造价管理的实践为依托，问题树等分析方法为手段，系统分析了电网工程工程量清单计价存在的问题及其成因，提出系统性的改进方案以及保障机制建设的建议，从而保证以工程量清单计价为核心的电网工程造价管理体系的顺利运行，并最终实现提升工程造价管理质量和效益的目标。     

轮回

<正>在小说构建的世界里,新生命的诞生必须以老人的死亡为代价。外婆安妮塔为了让外孙女卡琳拥有孩子,选择了自我牺牲。安妮塔与外孙女行走在林荫道上,前往教堂做弥撒,路两旁是覆盖着白雪的坟墓。虽然卡琳仍旧顽固不化,可哥本哈根公墓看起来是进行这类谈话的合适地点。"外婆,我不会允许你做那件事。"卡琳说。"我想要做。你准备好做妈妈吧。""马蒂亚斯与我也许会收养个孩子。如果收养不成,我俩会耐心等