非线性格值逻辑系统W6

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

一种运用遗传算法确定船舶航向控制模糊规则的方法

为了克服船舶航向控制模糊规则确定过程中的盲目性，引入一种与之相适应的遗传算法，以使结果成为某种意义下的最优解，从而从根本上解决这一重要问题．文中运用Matlab的C语言MEX—文件技术，将遗传算法源代码与Matlab直接结合起来，利用后者的强大建模能力，建立起完整的仿真模型．仿真结果表明，船舶的航向控制能力得到明显改善．     

风险评估方法在船舶防污漆防污活性物质管理上的应用

防污漆中使用的有毒防污活性物质对海洋生物和人类健康存在的持久性负面影响一直受到高度关注,国际上已经将风险评估方法引入到对防污活性物质的管理中。本文综述了国际和国内在船舶防污漆防污活性物质管理中引入风险评估方法的发展历史、相关法规标准以及应用现状,着重分析了未来我国在船舶防污漆防污活性物质管理方面的调整思路。     

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}）中引入了一种降级算法并讨论了其性质。     

浅析质量管理在船舶涂装工程中的应用

在市场竞争日益加剧的情况下,作为修造船核心环节的船舶涂装工程,应采用标准化的质量管理流程,在人员、设备和原料、流程和现场、质量和等方面加强管理,增强企业核心竞争力．文章分析了质量管理体系在船舶涂装工程中的应用．     

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

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

模糊逻辑系统中公式的积分真度和伪距离

在赋值格为[0,1]的模糊逻辑系统L~*中,本文利用序结构和赋值函数的性质研究公式的积分真度和伪距离,导出了积分真度和伪距离的若干性质,并且给出了在逻辑度量空间中逻辑运算关于伪距离均连续这一重要定理的简洁证明。该方法避开了多重积分的复杂计算;研究结果不仅可以用于公式的积分真度和伪距离的简化计算或合理估值,而且拓宽了逻辑度量空间理论的发散度与相容度以及近似推理的研究思路。     

于GA-BP模糊神经网络的商业银行信用风险评估

研究了商业银行信用风险评估的现状,针对单独应用BP神经网络评估信用风险时存在的缺陷,提出了基于遗传算法优化模糊BP神经网络的信用风险评估新模型.通过遗传算法训练模糊BP神经网络,克服网络建模中产生的局部极小的缺点,提高了风险评估的准确性.最后,利用Matlab软件对样本数据进行训练和测试,仿真结果表明所构造的评估模型预测误差非常小.     

欧洲模糊逻辑标准化动向

欧洲模糊逻辑标准化动向居绍一编译１９９０年初,由于应用模糊逻辑的许多日本产品涌入欧洲市场,使得沉静了多年的模糊逻辑控制技术又引起了欧洲各国工程技术界的广泛注意。到１９９４年５月,欧洲已有６８４个项目成功地应用了模糊逻辑技术。这些应用项目证明了模糊技术...     

灰关联法在企业并购风险度量中的应用

利用灰色系统理论中的灰关联度分析技术 ,对不同并购方案的风险程度进行比较 ,可以找到风险较低的并购方案 .通过案例分析可知灰关联度量法较模糊度量法更加实用有效     

舰船拖带安全评估的故障树方法

提出了一种从故障树分析的角度进行舰船拖带安全评估的方法。采用专家评估和模糊集理论相结合的原理得到故障树中基本事件发生的模糊概率，然后进行故障树定性和定量分析。该方法能合理和有效地预测作业系统的安全性及其薄弱环节。以断缆事件分析为例，对该安全评估方法做了概要阐述。     

Formal safety assessment based on relative risks model in ship navigation

Formal safety assessment (FSA) is a structured and systematic methodology aiming at enhancing maritime safety. It has been gradually and broadly used in the shipping industry nowadays around the world. On the basis of analysis and conclusion of FSA approach, this paper discusses quantitative risk assessment and generic risk model in FSA, especially frequency and severity criteria in ship navigation. Then it puts forward a new model based on relative risk assessment (MRRA). The model presents a risk-assessment approach based on fuzzy functions and takes five factors into account, including detailed information about accident characteristics. It has already been used for the assessment of pilotage safety in Shanghai harbor, China. Consequently, it can be proved that MRRA is a useful method to solve the problems in the risk assessment of ship navigation safety in practice.     

A safety assessment methodology applied to CNS/ATM-based air traffic control system

In the last decades, the air traffic system has been changing to adapt itself to new social demands, mainly the safe growth of worldwide traffic capacity. Those changes are ruled by the Communication, Navigation, Surveillance/Air Traffic Management (CNS/ATM) paradigm , based on digital communication technologies (mainly satellites) as a way of improving communication, surveillance, navigation and air traffic management services. However, CNS/ATM poses new challenges and needs, mainly related to the safety assessment process. In face of these new challenges, and considering the main characteristics of the CNS/ATM, a methodology is proposed at this work by combining “absolute” and “relative” safety assessment methods adopted by the International Civil Aviation Organization (ICAO) in ICAO Doc.9689 [14], using Fluid Stochastic Petri Nets (FSPN) as the modeling formalism, and compares the safety metrics estimated from the simulation of both the proposed (in analysis) and the legacy system models. To demonstrate its usefulness, the proposed methodology was applied to the “Automatic Dependent Surveillance-Broadcasting” (ADS-B) based air traffic control system. As conclusions, the proposed methodology assured to assess CNS/ATM system safety properties, in which FSPN formalism provides important modeling capabilities, and discrete event simulation allowing the estimation of the desired safety metric.     

基于贝叶斯网络的核电站应急电力系统安全评价

在故障树分析法(FTA)基础上提出了一种基于贝叶斯网络(BN)的核电站应急电力系统安全评价方法,比较了FTA和BN在建立安全评价模型和评价能力上的不同.该方法在应对众多影响因素上有很大优势,能进行更多有意义的分析:既能进行前向的预测推理,又能进行后向的诊断推理,可以找出影响故障的组合模式,从而能够找出系统的薄弱环节.同时采用基于Matlab的BNT软件包,大大简化了计算过程.通过对10MW高温气冷堆(HTR-10)应急电力系统的安全评价实例的分析,证明该方法是对传统的基于故障树分析的安全评价方法的有益改进.     

Quantified risk assessment in railway system design and operation

Over the last few years quantified risk assessment (QRA), a technique developed in the process industries, has moved into the railway and mass transport arenas. Many quantified risk assessments are now appearing covering varying aspects of railway operation and design. This paper highlights the strengths and weaknesses of the QRA technique, with specific reference to its use in railway system design and operation. Suggestions are made as to how best to manage and present a QRA, and these are illustrated in a section explaining the systematic approach of Cross Rail, a joint London Underground/British Rail/Railtrack £2 billion railway for London. Throughout this paper it is stressed that good QRA comes from management of the process and not of the ‘final figure’. The paper concludes with a listing of recommendations that are considered to be the minimum needed for the future progress of railway QRAs. Consequently the paper will be of special interest to those railway organizations undertaking or managing a QRA for the first time. Special reference is made to the use of QRAs in the presentation of Railway Safety Cases and project design.     

Development of a hybrid fresh food supply chain risk assessment model

Supply chain managers and scholars recognise the importance of managing supply chain risk, especially in fresh food supply chain due to the perishable nature and short life cycle of products. Supply chain risk management consists of supply chain risk assessment, risk evaluation and formulation and implementation of effective risk response strategies. The commonly adopted qualitative methods such as risk assessment matrix to determine the level of risk have limitations. This paper proposes a hybrid model comprising both fuzzy logic (FL) and hierarchical holographic modelling (HHM) techniques where risk is first identified by the HHM method and then assessed using both qualitative risk assessment model (named risk filtering, ranking and management Framework) and fuzzy-based risk assessment method (named FL approach). The risk assessment results by the two different approaches are compared, and the overall risk level of each risk is calculated using the Root Mean Square calculation before identifying response strategies. This novel approach takes advantage of the benefits of both techniques and offsets their drawbacks in certain aspects. A case study in a fresh food supply chain company has been conducted in order to validate the proposed integrated approach on the feasibility of its functionality in a real environment.     

Integrated Grease-pouring System Design and Reliability Assessment of Engineering Equipment

Because of poor lubrication,the abrasion of the engineering equipment's key connection position(the hinge joint and so on)has become the major factor that affects the mechanical benefit.The excavator WY60 is taken as an example in this paper.The automatic grease-pouring,the working state test,and the alarm for fault of every lubricating point on the machine is accomplished by the control sub-system,the lubricating system and other correlated components.The principle and functions of the system are described.The work condition is analyzed.Finally,we present the plan of the software and the hardware of the system,and.set up thefuzry ossessment model of reliability of the system.     

用于海洋生态动力监测的拖曳系统设计

设计了一种海洋船载拖曳式多参数剖面测量系统,该系统集成了测量海水盐度、温度、深度、溶解氧、pH、叶绿素荧光、浊度和营养盐的传感器.对系统的总体构成以及水动力设计、测量系统的布局和采样设计的要点做了论述.该系统在抚仙湖的湖试结果表明,剖面深度最大可达80m,缆深比为1.2～1.4,传感器数据符合现场生态要素的剖面分布特征.     

Reliability assessment of embedded digital system using multi-state function

This work describes a combinatorial model for estimating the reliability of the embedded digital system by means of multi-state function. This model includes a coverage model for fault-handling techniques implemented in digital systems. The fault-handling techniques make it difficult for many types of components in digital system to be treated as binary state, good or bad. The multi-state function provides a complete analysis of multi-state systems as which the digital systems can be regarded. Through adaptation of software operational profile flow to multi-state function, the HW/SW interaction is also considered for estimation of the reliability of digital system. Using this model, we evaluate the reliability of one board controller in a digital system, Interposing Logic System (ILS), which is installed in YGN nuclear power units 3 and 4. Since the proposed model is a generalized combinatorial model, the simplification of this model becomes the conventional model that treats the system as binary state. This modeling method is particularly attractive for embedded systems in which small sized application software is implemented since it will require very laborious work for this method to be applied to systems with large software.