面向自然语言需求的验证性质生成方法

安全关键系统和软件的安全性、可靠性需要形式化验证来保障,使用形式化验证的前提是从自然语言需求文本中提取相关验证性质并将其转化为形式化规约,这已成为当前形式化验证领域研究的热点和难点.当前的形式化规约提取工作大多针对英文需求,较少针对中文自然语言需求.此外,由于AADL具有强大的表达能力和完善的验证机制,已成为航空航天领域的主要建模语言之一,而现有的工作较少考虑如何从需求中提取AADL模型的验证性质.为了解决上述问题,本文提出一种面向自然语言需求的AADL模型验证性质自动生成方法,从自然语言需求中提取验证的相关性质,并将其转化为AADL模型验证工具AGREE可识别的形式化规约.首先,定义了模式定义语言(Contract Pattern Language,CPL),将需求划分为不同模式,并给出由固定句型和占位符组成的需求模板;其次,通过自然语言处理技术解析需求文本,获取替换需求模板中占位符的原子命题,以便生成完整的形式化规约;最后,设计并实现了相关工具,并将其用于工业界实际案例来说明该方法的可用性和有效性.

模式匹配不确定性的多因素集结度量

为了能够有效度量模式匹配的不确定性,提出了一个模式匹配不确定性的度量模型,根据不确定性因素间的关系提出了一个集结算子。使用全知熵度量语义匹配和属性匹配的不确定性,引入过程不确定性的度量方法度量匹配决策过程的不确定性。使用多因素集结算子判断各因素的影响程度,并可合成各度量结果。实验证明,所提模型和方法能够有效度量模式匹配的不确定性,且具有高效性和可扩展性。

商业模式与企业核心竞争力

在企业核心竞争力得到了许多企业的重视的今天,大多数的企业都乐于在战略上、在技术上、在成本上、在市场占有上或是其他方面领先于对手,据此方面的优势去提高自己的核心竞争力.本文通过对商业模式定义的了解,分析商业模式与企业核心竞争力的打造.使企业核心竞争力得到很好的提高.

基于XSD的配置工具数据处理安全平台

为城市轨道交通信号系统设备的用户配置工具开发了可通用的、基于可扩展标记语言模式定义(XSD,XML Schema Definition)的配置工具数据处理安全平台,该平台通过类生成模块与通用数据处理模块的相互配合,完成信号系统配置数据的输入/输出处理,用户配置工具可方便地进行数据的读/写操作,提高用户配置工具的开发效率。

智能客户端系统中数据同步策略的研究与实现

针对智能客户端系统离线/在线的工作模式,以及智能客户端系统终端多样化、智能部署等特点,提出了一种离线与在线切换过程中,基于XML与Web服务的数据同步策略。该策略弥补了已有数据同步方法存在的不足,具有便于部署与更新,为多种平台提供统一编程模型,以及轻松穿越防火墙等优点。对于智能客户端系统的开发,具有实际的应用价值。

一种基于XML Web Service的分布式解决方案

介绍了XMLWebService的工作原理。提出了一种在开放的Internet网络环境下,用基于XMLWebService开发技术来实现的、适合于中小企业应用的分布式管理信息系统的解决方案,该方案既满足了企业的业务分散处理的需要,同时又具有成本低、实现方法简单的特点。提高了企业组建企业管理信息系统的效率和质量。

基于UML和XSD的航班信息交换模型研究与实现

目前,民航运输业快速发展、航班数量迅猛增加带来了海量的航班信息和数据。为保障关键数据进行高效、安全、规范地传输和共享,需对航班信息的内容和格式进行标准化和规范化,以便未来在广域信息管理系统(System Wide Information Management,SWIM)中相互协作的民航业务系统间能够对整个生命周期中的航班状态有共同的态势感知。在介绍SWIM和航班信息交换模型(Flight Information Exchange Model,FIXM)的相关背景、数据字典以及逻辑模型和物理模型之间关系的基础上,系统研究了统一建模语言(UML)和XML模式定义(XSD)等关键技术。在此基础上,研究FIXM核心模型的整体架构,以及ATS报文与FIXM的映射关系。在实现方面,以领航计划报(FPL)为例对报文转换进行演示验证,使其具有灵活、扩展性强和易于传输等优势,有助于对航班信息格式标准化和未来SWIM系统部署。

一个基于消息通知的工作流管理系统

介绍了一个基于消息通知的工作流管理系统,该工作流管理系统以消息通知机制为核心,以消息通知推动流程的运转.工作流模式定义及工作流引擎的设计都围绕消息通知机制进行.用任务表示流程中某个节点中所处理的表单实例,使得表单实例在各个节点的处理过程可以用任务状态表示,工作流引擎通过定时扫描正在处理的各任务状态,控制流程按设定的模式运行.

数据库管理系统的功能与组成

本文简单地介绍了数据库管理系统所具备的六大功能,进而介绍了数据库管理系统的四大组成部分,让我们更进一步地理解了数据库管理系统。

基于CIM和XSD的电力企业数据交换方法

采用传统资源描述框架(RDF)方式描述电力系统公共信息模型(CIM)对象存在着无法直接进行数据验证和数据负载率低的问题,针对这种情况,提出采用可扩展标记语言(XML)直接编码CIM对象。首先设计一种CIM对象的XML编码规范,并利用XML架构定义(XSD)技术制定CIM/XSD模式,给出类及其关系到XML/XSD的映射方法。同时为CIM中的每个类添加序列化与反序列化方法,并详细设计了两个方法的逻辑算法,该算法用来完成CIM对象集和CIM/XML文档之间的双向转换。案例研究表明,所设计的CIM对象编码规范、制定的CIM/XSD模式,以及设计的序列化与反序列化算法可有效应用于电力企业各异构系统间的数据导入/导出操作。

病虫资料数据库结构建立的研究

一、引言病虫资料是我国植物保护工作者经过30—40年长期调查收集起来的一份珍贵的自然资源,是今后搞好病虫测报工作的基础。病虫资料保护管理是国家自然资源的保护管理,它对于充分发挥病虫资料的作用,搞清病虫发生规律有着极其重要的意义。随着电子计算机的发展,病虫资料管理的计算机化势在必行。

基于XML Web Service模型的分布式计算解决方案在中小型流通企业中的应用

本文介绍了XMLWebService的工作原理以及如何利用高效、廉价的开放网络(如Internet)达到中小型流通企业的分布式系统应用。

FORTRAN4.0优化编译系统简介

对于使用FORTRAN语言编写的源程序,需要经过编译系统编译而成为可执行的代码。早期的FORTRAN编译系统不完全支持FORTRAN77标准的所有功能,这样给用户带来诸多不便,本文将介绍一种较新的版本FORTRAN4.0优化编译系统。

基于XBRL技术的《上市公司信息披露电子化规范》

本文介绍了《上市公司信息披露电子化规范》的制定背景、技术方案选择以及具体的制定过程,并说明了标准的适用范围、标准制定后应用的具体实例,最后时该标准的发展和修订做了展望。

基于数据模型驱动的舰载指控系统模型开发

为了实现数据模型驱动的舰载指控系统模型的开发,实际上就是实现了MDA思想中的PIM到PSM的实际代码转换。论文通过建立基于XSD的舰载指控系统数据模型,提出了一种系统开发的数据模型驱动方法,解决了系统开发过程中通用性低、结构性重复代码多的问题,很大程度地提高了系统的开发效率。

EOD模式在城市片区开发中的实践探析——以重庆某试点项目为例

EOD模式作为绿色可持续的片区开发模式,因其能较好解决区域高质量发展与生态环境相制约的矛盾以及生态环境治理急迫性和政府财政投入有限性的矛盾而日益得到广泛关注。本文在分析EOD模式定义及发展现状、EOD项目策划存在的问题、EOD项目策划建议的基础上,剖析了重庆某EOD试点项目实践路径,为国内其他城市实施该模式提供借鉴参考。

郝志中:“大咖”的头牌经纪人

郝志中酷6网创始人,前迅雷集团高级副总裁、迅雷看看CEO,有15年以上互联网从业经验。2015年夏,他离职创业。这是一个大众创业的时代。这是一个个人崛起的时代。郝志中发现了两者的诉求,连接起企业与专家,创立了＂大咖说＂。帮创业公司找到私人顾问＂大咖相助、创业加速＂,这是打开＂大咖说＂首先看到的8个字。经过4个月的运营,郝志中将＂大咖说＂的模式定义为：C2B。＂C＂原则上是指年龄在40岁以上、从业经验15年以上、公司职务VP以上的＂大咖＂。＂B＂锁定在有咨询需求的企业。

《企业经营模式转型》操作演练班

生意难做的背景下本课程帮您解决◆从顶层重新构建公司经营模式,应对转型升级◆梳理当今用户需求的全新逻辑,锁定盈利源头◆按照用户需求的新模式定义和打造产品◆打通从产品定位、销售与产品迭代的路线图◆定义并落实用户所需要的基础价值、期望价值与惊喜价值◆打造基于传统与互联网+的营销模式。

《企业经营模式转型》操作演练班

生意难做的背景下本课程帮您解决从顶层重新构建公司经营模式,应对转型升级梳理当今用户需求的全新逻辑,锁定盈利源头按照用户需求的新模式定义和打造产品打通从产品定位、销售与产品迭代的路线图定义并落实用户所需要的基础价值、期望价值与惊喜价值打造基于传统与互联网+的营销模式。

综艺娱乐节目中的主持群模式探讨

近几年的综艺娱乐节目中,出现了由很多名主持人共同主持一档节目的现象。例如,湖南卫视的《快乐大本营》和《天天向上》,它们发展势头迅猛,广受年轻人的喜爱。这两个节目中的主持人特点鲜明,语言幽默,风格各异,组合在一起,形成了独属于自己节目的风格。一、主持群模式概况(一)主持群模式定义主持群模式,是指由三个或者三个以上具有个人特点的主持人按照某种特定规律进行组合的一种形式。(二)