思维的数学基础──罗素“悖论”真是悖论吗？

作者认为，客现世界由物质组成；时间和空间是物质存在的基本形式，是不可分割的整体；人类思维中的任何抽象、思辩、描述、表达，…等等，都不可能是超时空的。但作为研究客观世界抽象规律的数学，其基础却尚未反映出这一本质属性。这可能正是离散与连续关系所蕴含的矛盾至今不能解决的基本原因。也是“集合论”体论的根源所在。因此，“悖论”之所以为体论，根源就在于思维基于绝对时空背景下的惯性；悖论的意义也在于其揭示了当前数学基础的绝对时空性质。     

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…     

基于层面信息的路径优化

根据分层物体快速成型（LOM）中零件逐层累积的特点，从缩短加工时间、提高制件效率方面着手阐述了路径优化的必要性，针对LOM机的运动机理和软件数据结构，给出了扫描路径优化的原理，将图论中的便宜算法用于LOM机的扫描路径优化。     

G-X5CrNi13.4不锈钢水斗现场检测方法

针对国内水头最高的水电站——西藏羊卓雍湖抽水蓄能电站4^#机水斗断裂事故，开展了在役机组水斗检测方法的研究，对照各种检测方法的差异，找出了最为有效的检测手段。     

模糊集合论在矿山控制网布设和图纸质量评定中的应用

应用模糊数学方法研究和处理矿山测量中存在的具有“模糊性”的问题。例如控制网布设方案及矿山测量图纸质量的综合评判。它能更准确地描述用精确数学模型难以描述的问题。     

诱导空间的分子网收敛特征

研究了诱导空间的分子网收敛理论,给出诱导空间的几个与分子网收敛有关的刻画,从本质上揭示了诱导空间分子网收敛的特征及与之相关的闭包运算的内部结构。另外,作为应用,解决了《L-fuzzy拓扑空间论》中提出的关于序列式空间的几个问题。     

新型网壳节点的弹塑性分析及试验研究

简要介绍了一种广泛应用于各类意志支,双层网壳结构的新型承插式节点,在弹塑性理论分析的基础上,进行了一组单向拉,压试验研究,为今后在实际工程中推广这种新型节点提供了可靠依据。     

多线程Java程序的Petri网模型

Ｊａｖａ的多线程特性能有效地提高各种计算机资源的利用率．但是,多线程并行运行所造成的非确定性使得程序中潜在错误的定位和再现十分困难,这严重阻碍了Ｊａｖａ多线程机制的使用．提出了从Ｊａｖａ程序到Ｐｅｔｒｉ网的转化规则,利用所得的Ｐｅｔｒｉ网模型能有效地支持并行和分布式软件的分析．该模型在应用中取得了很好的效果．     

灵便定时器

本文介绍的灵便定时器,电路简洁明了,定时时间可根据需要在秒、分、时三个档内进行选择．范围为1秒～99小时之间。定时时间循环可以控制,走时日误差小于1秒,且操作十分容易．具有较广泛的适用性。