超积空间初探

本文建立了超积的拓扑结构并提出了超积空间的概念,探讨超积空间的性质,进而证明文[3]中所建立的超积的代数结构和本文建立的拓扑结构在某些条件下是相容的。     

关于BCK-代数的模糊理想和超积

使用超滤子的概念以及所讨论的模糊理想的相应性质,提出了超积BCK-代数和BCK-代数模糊子集的模糊超积．     

关于MV-代数的模糊理想和超积

在文献[1]中,首先使MV-代数形式化,而且研究了MV-代数的逻辑性,证明了该形式化的MV-代数理论可应用于子模、同态及链并集,同时证明了该形式化理论是不完备的且形式也不完备;本文进一步建立MV-代数的模糊理想及超积概念,并且探讨它们的基本性质.     

模糊集的超积及其应用

本文把通常的超积方法推广到了模糊集合上.定义了模糊超积并讨论了它的若干性质.最后利用模糊超积方法考察了模糊偏序的扩张问题.     

超网与超积

本文是文[1]的推广。它论证了超网的性质和存在定理,并用超网构造超积和超幂,得出了超积和超幂的一些新的性质。本文完全摆脱了滤子和超滤子的知识,就这一点来讲,方法是崭新的。 1915——1922年间,Moore—Simith为了统一数学分析中各种极限,引进了网(Net)及其收敛理论。1937年Birkhoff应用该理论于一般拓扑学。1955年Kelley在[2]中综合了     

Petri网的块组合积运算及其性质研究

Petri网具有动态、并发和图形直观性等良好特性,特别适合于描述异步并发的系统.Petri网运算是由小系统的性质获得大系统性质的一种有效的分析方法.提出了Petri网的块组合积运算,讨论了保持网的结构性质的条件,为Petri网的分析与综合提供了新途径.     

算子超积的本质谱

本文证明了单个算子超积(T)_u的本质谱等于算子T的本质谱,并且由此得到:若算子T关于σ_c~i(T)满足Weyl定理,则(T)_u关于σ_e~i((T)_u)满足weyl定理(i=1,2,3);但反之不然。     

超球拓扑积域特征流形上的奇异积分

在超球拓扑积域中建立了Cauchy型积分,定义了其特征流行上的奇异积分和奇异积分的Cauchy主值,进一步讨论了Cauchy型积分在特征流形上极限。     

Petri网的两种块笛积运算

提出了Ｐｅｔｒｉ网的两种新的广义笛积运算，讨论了它们的代数性质，这些结果可以作为受控Ｐｅｔｒｉ网的分析或合成的依据。     

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…     

广义James常数和一致正规结构

给出了广义James常数J(t,X)的一些性质,并证明了当t 1,J(t,X)相似文献   

关于s-量子空间的闭包

引入了s-量子空间概念,研究了s-量子空间中闭包与网的收敛之间关系.并得到:在s-量子空间X中,任意子集A的闭包由A中网的收敛惟一确定当且仅当X是拓扑空间.     

体育教学的过程性评价及其实践

过程性评价注重学生的发展情况,关注学生的个体差异,弥补终结性评价的不足;在教学实践中,应科学评价学生的情感态度、参与能力和学习方法,从而实现培养学生的学习兴趣、发展学生的体育能力和学习能力的目的。     

描述与求解哲学家就餐问题的Petri网模型研究

研究了用Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题，并构造了不同的Petri网模型解决死锁和无限等待问题，最后讨论了轮流进餐时不同进餐次数情况下的Petri网构造问题。     

建筑工程预决算审查及投资控制

基本建设是国民建设的基础 ,要管理好基础投资 ,使其发挥最大的经济效益 ,审查预决算工作是基建管理中理财把关的重要环节之一。作为预决算审查人员 ,不仅要有良好的政治素质 ,还要有较高的业务素质 ,根据实际情况灵活掌握审查方法 ,以便能实事求是地客观地反映工程实际造价。     

校园网络的安全

介绍了校园网络安全的技术保障,并从访问控制、口令安全、网络的权限控制和目录级安全控制等方面加以强调,特别是,根据校园网的特点,对重要数据特别是数字签名的加密技术提出了自己的见解．     

评克拉苏

克拉苏是罗马共和未期政坛上的重要人物。作为政治家、军事家,特别是作为“前三头同盟”中的“一头”,他对罗马政局的发展、变化起到了关键作用。     

关于酸碱滴定常数和条件滴定常数

在酸碱滴定中，滴定常数(Kt)和条件滴定常数(K‘t)是一个教学难点。作者就酸碱滴定常数(Kt)和条件滴定常数(K‘t)谈谈教学体会。     

Partial oscillation ofm-dimensional logistic ecologic models

We present and discuss the partial oscillation with respect to equilibrium state ofm-dimensional Logistic delay ecologic models, and obtain some simple criteria. Supported by the Youth Development Foundation of Wuhan Yejin University of Science and Technology (1997) Luo Qi: born in 1958, Associate professor