Capability requirements modeling and verification based on fuzzy ontology

The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance （C41SR） systems are full of uncertain and vague information, which makes it difficult to model the C41SR architecture. The paper presents an approach to modeling the capability requirements with the fuzzy unified modeling language （UML） and building domain ontologies with fuzzy description logic （DL）. The UML modeling constructs are extended according to the meta model of Depart- ment of Defense Architecture Framework to improve their domain applicability, the fuzzy modeling mechanism is introduced to model the fuzzy efficiency features of capabilities, and the capability requirement models are converted into ontologies formalized in fuzzy DL so that the model consistency and reasonability can be checked with a DL reasoning system. Finally, a case study of C41SR capability requirements model checking is provided to demonstrate the availability and applicability of the method.

管制员压力产生过程LEADSTO动态仿真分析

为了研究管制员的压力产生过程,采取有效措施缓解管制员的压力,首先对管制员压力问题进行分析,通过查阅资料及调研总结出管制员职业特点及其压力源分类及影响,进而基于BODY-LOOP理论采用逻辑建模语言LEADSTO(Language and Environment for Analysis of Dynamics by SimulaTiOn)建立压力产生模型;根据所建模型,实现压力产生模型的仿真,揭示动态的复杂过程中各个环节的变化规律。通过形式化分析,提出了在压力产生过程中不同层次之间的逻辑关系,为研究管制员压力提供了理论依据。研究结果表明:与传统方法对比,本方法能对动态系统进行仿真,在时态性和复杂程度上具有一定的优势,及时发现管制员的压力变化过程,为避免因管制员压力而产生不安全事件提供参考依据。

Intuitionistic Logic as the Implement of Incremental Model Construction for Natural Language

The process of understanding natural language can be viewed as the process of model construction. This paper? employing Kripke frame for intuitionistic logic semantics as the implement of model construction for natural language, introduces a method of incremental model construction.

Fault Diagnosis Technology Based on Model Driven

Fault diagnosis is an important application of the power grids monitoring system. Under the situation of continuous development of smart grid, it brings new challenges to the fault diagnosis technology. A fault diagnosis expert system based on model driven approach is proposed in this paper. And the corresponding fault modeling technology based on Fault Logic Description Language (FLDL) is described step by step. Practices show that this system could meet the requirements of processing fault alarm information rapidly and reliably by operator.

Logic and Sense

In the paper, original formal-logical conception of syntactic and semantic： intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically： in the spirit of some Husserl＇s ideas of pure grammar, Le^niewski-Ajukiewicz＇s theory syntactic/semantic categories and in accordance with Frege＇s ontological canons, Bochefiski＇s famous motto--syntax mirrors ontology and some ideas of Suszko： language should be a linguistic scheme of ontological reality and simultaneously a tool of its cognition. In the logical conception of language L, its expressions should satisfy some general conditions of language adequacy. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic, and semantic compatibility, correspondence guaranteed by the acceptance of a postulate of categorial compatibility syntactic and semantic （extensional and intensional） categories of expressions of L. From this postulate, three principles of compositionality follow： one syntactic and two semantic already known to Frege. They are treated as conditions of homomorphism partial algebra of L into algebraic models of L： syntactic, intensional, and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, of course, an idealization, but only expressions with high degrees of precision of their senses, after due justification, may become theorems of science.

大语言模型发展综述

在分析大语言模型特征的基础上,阐述了大语言模型的技术进展与应用领域,认为大语言模型在模型设计、数据结构、预训练和微调方面进步显著,展示了卓越的语言生成、知识运用和复杂逻辑推理等特性,这些特性使其在构建专业模型、提升知识整合和梳理水平、数据挖掘和分析、智能设计与操作领域展现出极大的应用潜力和实用价值。然而,目前模型在可解释性、安全性、真实性及训练成本等方面仍存在诸多挑战。随着算法和结构的优化,模型将实现更高效、更精确的训练,文本学习与生成性能将进一步增强,应用范围将拓展到多模态领域,实现多种类型数据的综合理解与处理。

基于IEC61850的变电站自动化对象建模

最新国际标准IEC61850是面向对象的电力系统无缝通信系统体系标准。该标准规定了变电站信息模型和建模方法,并提供了大量的公共实际设备和设备组件模型。提出运用此理论建立简单的变电站信息模型并实例化,同时分析了IEC61850提供的抽象通信服务,建立了合适的服务模型运用与控制中心和变电站之间的通信。最后,根据IEC61850配置语言的定义,对变电站配置性能作了描述。

基于多agent的跑道侵入风险分析建模及仿真

跑道侵入是机场场面运行中目前影响飞行安全的重要问题。根据此问题提出了一种跑道侵入风险分析的新方法,采用多agent建模理论,建立本体agent跑道侵入风险分析模型。针对跑道侵入事故中典型的场景,利用基于时态逻辑的LEADSTO(Language and Environment for Analysis of Dynamics by Simula Ti On)语言实现了事故发生过程的仿真。实验结果和理论分析说明了时态逻辑建模风险分析方法的有效性。规范飞行员或管制员行为和警觉性可以避免事故发生。与传统方法对比,本方法能对动态系统仿真,在时态性和复杂程度上具有一定的优势。

软件过程建模语言研究

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．

基于OWL-DL的制造加工服务描述建模方法

为解决Internet上大量制造服务描述的异构性问题,实现网络环境下制造加工服务的快速发现与匹配,提出了二层—三元组模块化制造加工服务描述建模方法,构建了由核心本体和可扩展本体组成的制造加工服务描述语义网。为实现制造服务分类及其语义相似匹配推理,用描述逻辑建立制造加工知识之间的关系及其约束公理,运用Web本体语言OWL-DL实现制造加工服务规范描述。给出了面向用户的制造服务描述模型生成与应用框架,开发了支持"制造加工公共服务平台"构建的制造加工服务规范化描述建模和自动化发现与匹配的原型应用系统。

基于时序逻辑的动画描述模型

本文介绍了一种新的动画描述模型──基于时序逻辑的动画描述模型（ＴＬＡＤ），这种模型具有很强的描述能力，易于实现，便于使用．它可用于描述动画设计中的各种抽象，角色行为同步，动画设计的逐步求精过程，并支持角色的自适应能力．基于此模型开发的一种高级的动画描述语言ＳＤＬ／Ａ已经被实现．

动画剧本描述语言SDL／A的设计与实现

本文介绍了基于时序逻辑的动画描述模型和基于此模型设计的动画剧本描述语言ＳＤＬ／Ａ．这种语言具有便于动画设计各个层次的描述、能够描述设计的逐步求精过程、能描述动画中的各种抽象对象以及角色间动作的同步等特点，并易于将这种基本的通用的剧本描述语言集成到一个功能强大的ＣＡＳＥ环境－ＸＹＺ系统之中．

软件体系结构建模研究

提出了软件体系结构工程的概念，建立了软件体系结构生命周期模型，并对软件体系结构进行了分类和建模，介绍了几种典型的软件体系结构语言，提出了一个基于时序逻辑的形式化体系结构语言——ＸＹＺ／ＳＡＥ．该语言可作为系列化时序逻辑语言族ＸＹＺ／Ｅ的子语言，支持对软件体系结构中构件、连接件和配置的描述，并可在统一的框架下描述软件体系结构的静态行为和动态行为．

基于XML的自动测试系统资源描述方法

针对当前自动测试系统(ATS,Automatic Test System)信息共享和互操作能力差的问题,应用XML(eX lensibleMarkup Language)语言实现了ATS的模型化描述,模型化的信息包括测试设备、接口连接装置ICA(Interface ConnectorAssembly)、测试适配器和被测设备UUT(UnitUnder Test).对测试设备的性能和UUT测试需求采用统一的信号与测试定义标准STD(signal and test definition)进行描述,实现了测试设备性能与UUT测试需求的自动匹配.通过引入逻辑资源的概念对测试设备性能与仪器通道之间的动态映射关系进行描述,以实现测试过程中仪器资源的合理分配.采用XML作为ATS的建模语言,提高了ATS资源建模的开发效率和系统内信息的互操作程度.

描述任务逻辑及其应用

针对任务逻辑存在的两个缺点:(1)不可判定,无法保证推理过程都能在有限的时间内结束;(2)任务的定义局限于抽象的、逻辑的定义,无法描述任务的具体属性和任务之间的关系,将描述性结构引入任务逻辑,构造了一个可描述具体属性的、可判定的任务逻辑系统———描述任务逻辑.将所构造的逻辑系统应用于具有组织的多主体系统行为建模,建立了基于描述任务逻辑的多主体组织模型和建模框架,并且表明应用描述任务逻辑构造应用系统具有表达能力强、结构紧凑的特点.

密码协议的分层安全需求及验证

将密码协议的安全需求分为浅层需求和深层需求 2个层面 ,阐述了密码协议的分层安全需求 .采用近世代数和时序逻辑的方法定义了形式化描述语言 ,并形式化地描述了密码协议的分层安全需求 .将类BAN逻辑与模型检查相结合 ,在Abadi Tuttle模型的基础上建立密码协议的计算模型 .以Otway Rees协议为例 。

结合形式化方法的UML系统开发

介绍并讨论了在系统开发过程中使用UML(UnifiedModelingLanguage)与其他形式化方法得到的一种精化模型,而且这一模型也同样支持形式化的分析和验证.

基于IEC61850电能质量监测装置的建模与实现

IEC6185变电站通信网络和系统,是针对电力系统变电站自动化提出的基于网络通信平台的国际通信标准。以电能质量监测装置为例,在详细分析IEC61850标准相关部分的基础上,根据IEC61850对建模的要求和电能质量信息的特点,从功能的定义、分解以及功能的分配,设备和数据对象模型等方面入手,详细阐述了如何应用IEC61850标准相关部分所提出的建模理论完成对变电站内智能电子设备(IED)建模,并根据IEC61850配置语言的定义,通过XML格式语言对模型进行了描述。

模型驱动的自动化测试架构

如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策略和测试工程方法自动生成测试用例,实现了测试资源重利用和测试活动的前移从而有效缩短了测试周期。

反导作战预案形式化建模研究

反导作战预案是提高作战决策方案生成实时性和准确性的关键。通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的预案形式化建模方法;根据所提出的方法,分析提炼了反导作战预案构成要素,定义了SysML块定义图、预案要素、OWL_DL和XML Scheme元素之间的映射规则;依据相应的转换规则,分别建立了反导作战预案概念层模型、逻辑层模型、物理层模型和预案本体模型,并应用预案本体模型对概念层模型进行了模型一致性验证。