有单位元可消可换半群的单一分解性

本文论证了有单位元的,可消可换半群的单一分解性并简要讨论.     

二阶线性方程解与乘子的关系

讨论了二阶线性方程的乘子与解的关系，据此寻找可积方程。     

测量螺旋面的可倾屏法

可倾屏法是测量螺旋面牙形的一种新方法。它克服了传统光学测量方法中存在的观测对象（影象或干涉线）随调焦而变形和测量结果具有双值性的问题，从而提高了测量精度。本文阐述了可倾屏法的测量原理及主要性能。     

利用量子么正变换引起拓扑项的可移性求微扰项对Berry相因子的贡献

利用量子么正变换引起拓扑项的可移性，求出了一维无限深运动边界方势阱在压缩变换中出现的微扰项在一级近似下对Ｂｅｒｒｙ相因子的贡献。     

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…     

关于简化Newton方法收敛性的注记

在假设算子方程解存在的前提下,给出了以解为中心的一个球域,证明了当初始点落到这个球域时,用于判断简化Newton方法收敛性的Kantorovich定理的条件必然满足,从而由简化Newton方法产生的迭代序列收敛.     

关于Riemann积分的几点注记

用初等的方法证明了[a,b]上的Riemann可积函数的连续点在[a,b]上是稠密的，并在应用上出了积分中值定理的简洁证明。     

再论汉字改革

汉字改革经历了一个漫长的历史阶段，从清末到中华人民共和国成立，先驱在汉字改革方面进行过多种尝试。但作为表意体系的汉字，它具有很强的生命力，汉字本身有着表音字不可替代的字理，所以它很难用字母字代替，只能作一些局部的整理、简化工作，作为炎黄子孙，我们应该把汉字传承下去，用它更好地为世界服务。     

Atomic Electronic Contract Protocol Based on Convertible Signature

A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation.