模糊正交法用于石墨炉探针原子化测定铋条件的研究

模糊正交法是通过把正交试验结果模糊化,然后用模糊数学的理论和方法来处理实验数据。与常规正交设计相比,能在同样实验工作量的情况下获得更多的信息。本文采用模糊正交法对元素Bi的测定条件进行优化,并将其同常规正交设计方差分析的结果进行了比较,并提出一个综合评价参数,对建立的分析方法进行了综合评价。     

On intermediate inquisitive and dependence logics: An algebraic study

This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete for all intermediate inquisitive and dependence logics. To this end, we define inquisitive and dependence algebras and we investigate their model-theoretic properties. We then focus on finite, core-generated, well-connected inquisitive and dependence algebras: we show they witness the validity of formulas true in inquisitive algebras, and of formulas true in well-connected dependence algebras. Finally, we obtain representation theorems for finite, core-generated, well-connected, inquisitive and dependence algebras and we prove some results connecting team and algebraic semantics.     

分子的模糊对称性

将模糊数学方法引入对分子对称点群的研究,建立描述具有不完整分子对称性的模糊点对称群(集合).建立具有模糊对称性分子轨道的模糊表示及其模糊特征标(模糊广义宇称).通过对典型的线状分子、平面分子以及非平面的立体分子等进行分析,展示了一个新的理论化学园地.初步探讨了具有模糊对称性的动态反应体系.从模糊对称性出发,探讨了分子轨道对称守恒原理的半定量特征.     

Performance investigation of an advanced tracked prime mover on the low bearing soil

This study has presented a performance investigation of an advanced tracked prime mover for the operation of agricultural goods and other operations on peat terrain. The maximum and continuous traction torque of the prime mover has been developed by designing an advanced controller for controlling the intelligent system. The prime mover’s mobility is studied with ultrasonic displacement sensor, torque transducer, National Instrument cRIO-9004 Compact-RIO Real-time Controller Unit (RCU), a National Instrument TPC 2106T Touch Panel Control (TPC), a Trimble AG132 GPS antenna and receiver unit, and a Dlink DIR-655 router. The fuzzy logic controller (FLC) has been equipped with the prime mover hydraulic system to increase the traction torque of the hydraulic motor when the prime mover’s sinkage is more than or equal to 70 mm. The prime mover’s design demonstrates good potential in traversing peat terrain as the measured tractive effort was found to be 48% of the vehicle’s gross weight while the recommended tractive effort is in the range of 30–36% of the vehicle’s gross weight.     

A new design of the elimination and choice translating reality method for multi-criteria group decision-making in an intuitionistic fuzzy environment

The purpose of this paper is to design a new extension of the ELECTRE, known as the elimination and choice translating reality method, for multi-criteria group decision-making problems based on intuitionistic fuzzy sets. This method is widely utilized when a set of alternatives should be identified and evaluated with respect to a set of conflicting criteria by reflecting decision makers’ (DMs’) preferences. However, handling the exact data and numerical measure is difficult to be precisely focused because the DMs’ judgments are often vague in real-life decision problems and applications. A more realistic and practical approach can be to use linguistic variables expressed in intuitionistic fuzzy numbers instead of numerical data to model DMs’ judgments and to describe the inputs in the ELECTRE method. The proposed intuitionsitic fuzzy ELECTRE utilizes the truth-membership function and non-truth-membership function to indicate the degrees of satisfiability and non-satisfiability of each alternative with respect to each criterion and the relative importance of each criterion, respectively. Then, a new discordance intuitionistic index is introduced, which is extended from the concept of the fuzzy distance measure. Outranking relations are defined by pairwise comparisons and a decision graph is depicted to determine which alternative is preferable, incomparable or indifferent in the intuitionistic fuzzy environment. Finally, a comprehensive sensitivity analysis is employed to further study regarding the impact of threshold values on the final evaluation, and a comparative analysis is demonstrated with an application example in flexible manufacturing systems between the proposed ELECTRE method and the existing intuitionistic fuzzy technique for order preference by similarity to ideal solution (IF-TOPSIS) method.     

Fuzzy structure-activity relationships

While quantitative structure-activity relationships attempt to predict the numerical value of the activities, it is found that statistically good predictors do not always do a good job of qualitatively determining the activity. This study shows how Fuzzy classifiers can be used to generate Fuzzy structure-activity relationships which can more accurately determine whether or not a compound will be highly inactive, moderately inactive or active, or highly active. Four examples of these classifiers are presented and applied to a well-studied activity dataset.     

Lipschitz Continuity and Interpolation Properties of Some Classes of Increasing Functions

We study local Lipschitz continuity and interpolation properties of some classes of increasing functions defined on the cone Rⁿ ₊₊ of n-vectors with positive coordinates. We also study the so-called self-conjugate increasing positively homogeneous functions.     

Rejoinder on “Statistical reasoning with set-valued information: Ontic vs. epistemic views”

This note replies to comments made on our contribution to the Low Quality Data debate.     

An approach for solving a fuzzy multiobjective programming problem

In this paper we present a new approach, based on the Nearest Interval Approximation Operator, for dealing with a multiobjective programming problem with fuzzy-valued objective functions.     

Reasoning about proof and knowledge

In previous work [15], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, belief and knowledge. Deviating from Gödel's interpretation of IPC in S4, our modal systems contain IPC in the way established in [13]. The modal operator can be viewed as a predicate for intuitionistic truth, i.e. proof. Epistemic principles are partially adopted from Intuitionistic Epistemic Logic IEL [4]. In the present paper, we show that the S5-style systems of our hierarchy correspond to an extended Brouwer–Heyting–Kolmogorov interpretation and are complete w.r.t. a relational semantics based on intuitionistic general frames. In this sense, our S5-style logics are adequate and complete systems for the reasoning about proof combined with belief or knowledge. The proposed relational semantics is a uniform framework in which also IEL can be modeled. Verification-based intuitionistic knowledge formalized in IEL turns out to be a special case of the kind of knowledge described by our S5-style systems.