牡丹与寒梅:以两种花卉阐释唐宋士人的差异

在中国古代,历来有花卉鸟兽抒情明志的传统。在特定历史时期中,某种自然物象同特定的情感和意义之间建立了相对稳固的关系,经过社会的认同,物象便转化为人的情感符号而失去了自身客观性质的特征而成为时代的一种标志。牡丹与寒梅就是唐宋两代士人给予充分观照的审美对象,前者艳绚丽、神采外放,代表了唐代建功立业、开张扬厉的时代精神;后者瞿瘦淡雅,外枯中膏,可与宋人淡泊收敛,质朴深微的心态相契合。唐人爱牡丹,宋人重寒梅,从两种花卉的分析中,可对唐宋的时代精神加以阐释。     

M矩阵的判定与证明

M矩阵是计算数学中应用极其广泛的矩阵类。本文对n阶方阵A是否为M矩阵给出了几个新的判定定理,并得到结果:(2|aii|-iα)(2|ajj|-jβ)jαiβ,这一结果比过去的结果有明显的进步。     

高速公路工程施工项目成本控制与降低途径

阐述了工程施工项目成本控制的对象和内容、组织和分工、实施阶段和方法;以及降低工程施工项目成本采取有效的途径和措施.     

非线性两点边值问题的正解

文中给出了一类非线性两点边值问题正解存在的条件，不仅改进了郭大钧相应结果中的条件，而且得到了新的结果。     

浅谈车间成本管理

阐述了成本管理的重要性及业绩考核的作用,探讨了完善经济指标考核制度的具体内容,提出了完成业绩指标的措施,指出应进一步加强车间成本管理并完善考核机制。     

板几何中一类具非对称散射裂变核的迁移算子的谱

研究了板几何中一类具非对称散射裂变核的迁移算子的谱，证明了该算子在右半平面无复本征值和存在有限个具有限代数重数的实离散本征值。     

仅用1表示数的最少个数

设n为正整数,f(n)是可以用1以及任意多个 号和×号(以及括号)来表示n时所用1的最少的个数.本文确定了n在若干情形时f(n)的值,改进了参考文献的部分结果,并提出了若干新的猜想.     

双参数量子代数SUqs（1,1）的表示：正离散序列

本文通过构造双参数量子群ＳＵｑｓ（１，１）生成元的ｑｓ－Ｂｏｓｏｎ实现，给出了ＳＵｑｓ（１，１）的正离散序列表示。     

最小二乘解存在的充分必要条件

本文提出了当观测值的权矩阵为正定或半正定的前提下，其最小二乘解存在的充分必要条件为并以间接平差为例验证了该结论的正确性。     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…