G(o^)del逻辑系统中广义语义HS规划和广义语义MP规则

将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于Goedel逻辑系统中，讨论了Goedel逻辑系统中广义重言式理论的语义([α]-MP)规则，语义([α]-HS)规则，语义([α^ ]-MP)规则，语义([α^ ]-HS)规则的性质，使得对Goedel系统中的广义重言式有了更进一步的认识，为Goedel逻辑系统的应用和研究提供一个有益的工具。     

Gdel逻辑系统中广义语义HS规划和广义语义MP规则

将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G¨odel逻辑系统中,讨论了G¨odel逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α]-HS)规则,语义([α+]-MP)规则,语义([α+]-HS)规则的性质,使得对G¨odel系统中的广义重言式有了更进一步的认识,为G¨odel逻辑系统的应用和研究提供一个有益的工具。     

Godoel逻辑系统中F(S)的一个分划及其应用

将王国俊教授于1997年以来在逻辑系统W、W、Wk中引入的广义重言式理论加以扩充、推广,引入α-矛盾式等概念并应用于Godel逻辑系统G、G、Gn中,得到了(1)在逻辑系统G、G中,重言式不可能由对非重言式进行有限次升级算法得到;(2)在逻辑系统Gn中,对任一公式最多进行n-1次升级算法即可得到重言式;(3)在逻辑系统Gn中,是F(S)的一个关于-同余的分划;在逻辑系统G中,是F(S)的一个关于-同余的分划.(4)在[0]-T(R)(R∈|G,G,Gn|)中引入了一种降级算法并讨论了其性质.     

非线性格值逻辑系统_6

研究赋值格为非线性序格 ,非运算不同于 Boole的补运算 ,蕴涵算子取 R。的一种新的 6值逻辑系统W6 。讨论了其语义 MP规则 ,语义 H S规则 ;重言式 ,∑ - (d-重言式 ) ,得到若干结果     

Gdel逻辑系统中F(S)的一个分划及其应用

将王国俊教授于 1997年以来在逻辑系统 W、W、Wk中引入的广义重言式理论加以扩充、推广 ,引入α 矛盾式等概念并应用于G¨odel逻辑系统 G、G、Gn中 ,得到了 (1)在逻辑系统 G、G 中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;(2 )在逻辑系统Gn中 ,对任一公式最多进行n - 1次升级算法即可得到重言式 ;(3)在逻辑系统Gn 中 ,C(Gn) ,in- 1-C(Gn) ,in- 1-T(Gn) ,T(Gn) ｜i∈ { 1,2 ,… ,n- 2 }是F(S)的一个关于同余的分划 ;在逻辑系统 G中 ,C( G) ,(12 ) - -C( G) ,12 -C( G) ,[1- ]-C( G) ,[0 +]-T( G) ,12 -T( G) ,(12 ) +-T( G) ,T( G)是F(S)的一个关于同余的分划。 (4)在 [0 ]-T(R) (R ∈ { G ,G ,Gn} )中引入了一种降级算法并讨论了其性质     

Goedel逻辑系统中F（S）中的一个分划及其应用

将王国俊教授于1997年以来在逻辑系统W∧-、W、Wk中引入的广义重言式理论加以扩充、推广,引入α-矛盾式等概念并应用于Goedel逻辑系统G∧-、G、Gn中,得到了（1）在逻辑系统G∧-、G中,重言式不可能由对非重言式进行有限次升级算法得到;（2）在逻辑系统Gn中,对任一公式最多进行n-1次升级算法即可得到重言式;（3）在逻辑系统Gn中,{C（Gn),[i/n-1-C(Gn),][i/n-1]-T(Gn),T(Gn)|i∈{1,2,…,n-2}}是F（S）的一个关于→同余的分划,在逻辑系统G∧-中,{C（G∧-）,[（1/2）-]-C（G∧-）,[1/2]-C（G∧-）,[1∧-]-C（G∧-）,[0∧ ]-T（G∧-）,[1/2]-T（G∧-）,[（1/2∧ ]-T（G∧-）,T（G∧-）}是F(S)的一个关于→同余的分划,（4）在[0]-T（R）（R∈{G∧-,G,Gn}）中引入了一种降级算法并讨论了其性质。     

非线性格值逻辑系统W6

研究赋值格为非线性序格，非运算不同于Ｂｏｏｌｅ的初运算，蕴涵算子取Ｒ０的一种新的６值逻辑系统Ｗ６。讨论了其语义ＭＰ规则，语义ＨＳ规则；重言式，∑－（ｄ－重言式），得到若干结果。     

Lukasiewicz命题逻辑系统中真度的等价定义及相关性质

对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果.     

数据库中广义模糊关联规则的挖掘

引入了广义模糊关联规则的概念,给出挖掘规则的计算方法,用来进行数据挖掘,以找出隐藏在数据库当中那些有用的而未被发现的知识。     

Semantic clustering of web resources based on social annotation

在深入分析社会标注系统中用户、标签及被标注Web资源之间的关联关系的基础上,提出了基于用户标签的Web资源语义描述获取算法,并基于所获取的Web资源语义描述及其与用户之间的关联关系,利用一种迭代的聚类算法对社会标注系统中的Web资源进行基于语义的聚类,该聚类算法通过迭代不断加强被聚类资源间的一致性信息,从而能够克服传统聚类算法所面临的数据稀疏以及性能问题.研究表明,对Web资源所处环境的各种关联关系的深入分析,能够帮助用户更好地理解和操作相关Web资源,尤其是对于本身特征不充分或难以获取的Web资源来说,关联关系的分析研究具有十分重要的意义.     

岩石中爆炸破碎区边界参数研究

采用区域划分的方法来描述爆炸作用下岩石介质的变形.以库仑定律作为强度破坏准则,破碎区边界上的弹性介质和它内部的塑性介质的破坏条件分别采用了不同的主应力函数.应用爆炸腔室近区的修正了的速度场关系式,研究了爆炸腔室与各个变形区的发展,并结合松散介质力学着重分析了破碎区边界参数与岩石介质特征参数的变化关系,求解了破碎区域内的径向应力.根据各个变形区边界条件,利用裂缝增长的能量准则,并结合准静力情况获得破碎区尺寸参数的两组近似计算公式,并对计算结果作了比较,与目前的研究相符合.     

多体非连续变形系统的计算力学模型及其应用

针对由不同特性物体所组成的多体系统,探讨了能够涵盖各种变形状态和运动形式的广义有限单元模式及其插值函数形式。对于多体接触问题,发展了能够合理描述界面特性的接触力元模型,即采用某种应力插值函数将界面上的相互作用力由接触对上的接触应力来表达,并将接触对上的接触应力当作需满足界面上屈服准则与流动法则等状态控制条件的参变量,将其作为约束条件加入系统控制方程。根据非连续变形系统的分区参变量最小势能变分原理,联立变分驻值条件与参变量的状态控制条件建立了多体系统非连续变形计算力学分析的基本控制方程,将问题最终归结为一个含有自由变量和等式约束条件的线性互补问题,对此发展了数值解法,并进行了多个算例的数值分析。计算结果表明该模型不仅能够对多体系统进行静、动力耦合分析,而且还能够模拟多体系统的变形与应力及接触界面上的接触应力和相对运动等复杂的非线性过程。     

Effectiveness of vehicle reassignment in a large-scale overhead hoist transport system

This paper proposes an efficient vehicle reassignment dispatching rule and demonstrates the effectiveness of the rule using an overhead hoist transport (OHT) system for a semiconductor fabrication line. The OHT system has more than 150 OHT vehicles and its target vehicle utilization level is 70%. It allows direct delivery such that an inter-bay wafer movement can be accomplished by a single vehicle. Simulation analysis is used to compare the proposed rule with the shortest travel distance first (STDF) rule and existing reassignment-based rules. While STDF rule requires 170 vehicles for the target utilization level, the proposed vehicle reassignment rule requires only 161 vehicles. At the same time, the lead time and the variance of the lead time have been significantly reduced. The proposed rule also improves system performance compared to existing reassignment-based rules.     

Generalized midpoint integration algorithms for J2 plasticity with linear hardening

We consider four schemes based on generalized midpoint rule and return map algorithm for the integration of the classical J₂ plasticity model with linear hardening. The comparison, aiming to establish which is the preferable scheme among the four considered, is both theoretical and numerical. On one side, extending and completing the existing results in the literature, we investigate the four schemes from the theoretical viewpoint, addressing in particular the existence of solution, long‐term behaviour, accuracy and stability. On the other hand, we develop an extensive set of numerical tests, based on pointwise stress–strain loading histories, iso‐error maps and initial boundary‐value problems. Copyright © 2007 John Wiley & Sons, Ltd.     

The study of slip line field and upper bound method based on associated flow and non associated flow rules

At present, associated flow rule of traditional plastic theory is adopted in the slip line field theory and upper bound method of geotechnical materials. So the stress characteristic line conforms to the velocity line. It is proved that geotechnical materials do not abide by the associated flow rule. It is impossible for the stress characteristic line to conform to the velocity line. Generalized plastic mechanics theoretically proved that plastic potential surface intersects the M-C yield surface with an angle, so that the velocity line must be studied by non-associated flow rule. According to limit analysis theory, the theory of slip line field is put forward in this paper, and then the ultimate bearing capacity of strip footing is obtained based on associated flow rule and the non-associated flow rule individually. These two results are identical since the ultimate bearing capacity is independent of flow rule. On the contrary, the velocity fields of associated and non-associated flow are different which shows the velocity field based on the associated flow rule is incorrect.     

Optimizing water supply and hydropower reservoir operation rule curves: An imperialist competitive algorithm approach

Efficient reservoir management requires the implementation of generalized optimal operating policies that manage storage volumes and releases while optimizing a single objective or multiple objectives. Reservoir operating rules stipulate the actions that should be taken under the current state of the system. This study develops a set of piecewise linear operating rule curves for water supply and hydropower reservoirs, employing an imperialist competitive algorithm in a parameterization–simulation–optimization approach. The adaptive penalty method is used for constraint handling and proved to work efficiently in the proposed scheme. Its performance is tested deriving an operation rule for the Dez reservoir in Iran. The proposed modelling scheme converged to near-optimal solutions efficiently in the case examples. It was shown that the proposed optimum piecewise linear rule may perform quite well in reservoir operation optimization as the operating period extends from very short to fairly long periods.     

大批量定制环境中的产品配置规则

本文主要对产品配置中的配置机理及其实现进行研究;首先,论述了大批量定制模式中的产品配置技术,分析了目前基于规则驱动的产品配置技术的发展和优缺点;其次,讨论了面向产品族群的产品配置中的规则构件方法,并提出了基于此理论的产品配置框架;然后,重点阐述了面向产品族群的、通用的产品配置中规则的结构,并给出了规则配置的算法和规则匹配引擎的推理流程;最后,通过案例分析验证了此技术的可行性,并给出了基于此技术实现的产品配置系统的运行实例.     

弹性力学辛体系广义动量矩定理

类似于动力学中动量矩的概念,提出了弹性力学辛体系中广义动量矩的概念,给出了平面直角坐标辛体系和极坐标辛体系中广义动量、广义动量矩的统一定义,对广义动量矩的相关理论进行了研究。由Hamilton对偶方程导出了广义动量矩定理,得到了广义动量矩的守恒律,给出了守恒条件,分析了广义动量矩定理和守恒律的物理意义,经典问题验证了广义动量矩定理和守恒律。这一定理进一步丰富了弹性力学辛体系理论的内容,它和Hamilton函数、广义动量等相关理论一起,形成了辛体系中类似于动力学基本定理的一个理论体系。     

Sharp V‐notches in viscoplastic solids: Strain energy rate density rule and fracture toughness

Different from Neuber's rule or Glinka's energy method which are always adopted to characterize the notch tip field under elastoplastic condition, in this paper, the strain energy rate density (SERD) rule is used for viscoplastic materials. In particular, based on the definition of generalized notch stress intensity factor (G‐NSIF) for sharp V‐notch in viscoplastic solids, the concept of SERD for sharp V‐notch in viscoplastic solids is presented. Subsequently, by taking as a starting point the SERD, the averaged strain energy density (SED) for sharp V‐notch in viscoplastic solids is derived with integration of time. The fracture toughness relation between sharp V‐notch specimens and crack specimen in viscoplastic materials is given based on the transformation of SERD. A numerical approach is presented to compute the SERD and SED based on finite element method. Some crucial comments on the G‐NSIF have been discussed. Some typical solutions for SERD and SED for sharp V‐notched specimens are investigated.     

MRC– Data Structures and Procedures for Computing in Monoid and Group Rings

Gr?bner bases and Buchberger's algorithm have been generalized to monoid and group rings. In this paper we present the data structures and procedures we used to implement in a first step the concept of prefix reduction in the system MRC 1.0 together with some examples. Received July 24, 1998; revised version March 4, 1999