科学理论的简单性原则新探

本文论述了科学理论的简单性原则,科学理论以自然简单性为客观基础,在建构过程中遵循逻辑简单性,最终的表现形式也必须遵循语言简单性。

试论邓小平理论的语言特色

邓小平理论作为当代中国的马克思主义,不仅在理论上为中国人民做出了重大贡献,为我国的改革与发展提供了科学的理论指南,而且在学习过程中,我们还深刻地感到,邓小平理论在语言上也颇具特色。就《邓小平文选》第三卷收集的119篇文章来看,无论是文章的标题、开头,还是具体内容,语言上都有其独特的风格与魅力。

储蓄员语言美小探

语言美是中华民族的优良传统,美好的语言会使人有美好的感觉;美好的语言能表达美好的感情,储蓄柜台作为银行传播精神文明的窗口,要求储蓄员努力做到语言美、藉言语表达全心全意为储户服务的意愿。如何做到语言美呢?这应是储蓄员在工作中不断探索的问题。在此,笔者结合工作实践谈自己一些看法。

以语法概念为基础的语言结构类型的划分——爱德华·萨丕尔《语言论》第六章解析

爱德华·萨丕尔在《语言论》第六章“语言结构的类型”中使用了以语法概念为基础的语法分析法，大体上将语言分为四类：简单的纯关系语言、复杂的纯关系语言、简单的混合关系语言和复杂的混合关系语言。以概念为基础的分析法不同于传统的方法，他更强调语言模式的社会及心理基础。萨丕尔的这一心理学倾向不仅源于他的老师，美国人类学家博厄斯的相关研究，还受到了意大利唯心主义哲学家克罗齐和德国哲学家、语言学家洪堡特观点的影响。萨丕尔的语言观至今仍对语言学的研究发挥着重要作用。

一种基于事件的Web服务组合方法

为获得一种既易于实现又能满足用户多样化需求的服务组合的有效途径,提出一种基于事件的服务组合方法.首先定义了一种基于ECA(event-condition-action)规则的语言——简单服务事件语言.在这种语言基础上,通过模块化方法构造的用于描述组合服务的组合方案,不但解决了采用AI规划(artificial intelligent planning)时服务组合域表示困难的问题,而且解决了采用UML(unified modeling language)等技术时描述能力不足的问题.随后,为有效地表示组合方案,完成了它的语义定义以及answer set程序编码工作.最后利用answer set编程(answer set programming)技术实现了对组合轨迹的表示.

安全协议验证模型的高效自动生成

为了能高效地利用模型检测技术对安全协议进行分析与验证,提高工作效率,提出了一种适用范围广,自动化程度及验证效率均较高的建模算法。开发了一个基于该建模算法"网络安全协议验证模型生成系统",该系统可高效地对安全协议进行分析与验证,系统在对攻击者建模时采用偏序规约、语法重定序及类型检查等优化策略以提高验证效率,有效地缓解了模型检测过程中的状态爆炸问题。

输变电设备全景信息模型的智能管理与校验方法

针对物联网环境下输变电全景信息模型管理与维护工作复杂、困难的问题,在Eclipse建模框架下,提出对全景信息模型对象进行基于SAX的语义解析和动态加载,并在数据库中根据实际的物理模型进行存储转换的方法,设计并实现了全景信息模型与面向对象模型的自动转换和公共信息模型文件到数据库表的具体智能转换流程。研究结果表明:在操作过程中,该方法可对输变电设备全景信息模型规范性、完整性进行校验。在系统开发、数据接入和平台维护等方面,该方法提高了自动化水平和全景信息模型的管理和维护效率。将其应用在基于物联网的输变电设备全景信息集成平台中,有效性得到了验证。

基于SPIN的网络认证协议高效模型检测

为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态空间。与现有的文献相比,自动化程度较高,模型验证的效率较好。基于该方法,对PKM认证协议进行了模型检测,实验证明该模型分析验证方法的有效性,可用于其他网络认证协议的分析验证。

Application ontology构建及SPARQL查询研究

针对当前智能手机应用安全知识等信息的共享及复用问题,采用本体技术实现了智能手机应用本体(application ontology,APPO)的建模。利用本体描述语言(Web ontology language,OWL)对APPO中的概念及概念之间的关系进行知识表示,建立了一个语义表达准确的领域本体;利用本体查询语言SPARQL实现基于RDF三元组的各类相关查询;在此基础上,借助本体推理机制进行了推理研究,并结合实例,验证了研究内容的可行性和实用价值。

组合服务安全性检查方法研究

文章针对组合服务安全性检查方法未对服务进行分类处理的问题,将服务分为基本服务和扩展服务,基本服务采用进程元语言建模,借助线性时态逻辑表示基本服务的常规安全标准,通过SPIN模型检查基本服务符合常规安全标准的情况;扩展服务在开放工作流网络建模,借助FIONA模型检查服务、组合服务及其服务交互的安全性。通过智能家居药物管理系统的案例验证方法的正确性和效率性能,实验结果表明组合服务安全性检查方法是正确的和有效的。

美丽的愿望

走过昨天的日子,当我们回首遥望时,数着岁月的脚步,总是有万分的感慨,留下的不止是简单语言清晰的字迹,那是情感的倾诉,心灵的写照,人生的感悟。

XML文档分析模型研究与设计

XML本身并没有提供与应用程序交互的接口 ,而必须用XML分析器来处理XML文档。该文主要研究了XML文档分析器的两种分析模型 --树分析模型和线性分析模型 --的特点 ,接着介绍了两种分析模型对应的典型例子 --DOM和SAX ,研究了两者的分析机制和优缺点 ,并讨论了二者的应用范围。

基于GML的空间数据交换研究

自GML(GeographyMarkupLanguage)发布以来,它逐渐被人们接受并正成为一种标准的空间数据交换格式。文中分析了基于GML的空间数据交换模式产生的必然性,继而指出其优点:不仅简化了空间数据交换的程序,能保证转换中的空间数据的完整性,而且是一个易于实现的交换模式,最后,提出了一个实现基于GML3(GML版本3.0)的空间数据交换模式的方法。

美国人怎样看待电视对教育的影响

当今世界,外界发生的一切如果没有出现在电视上,我们就会怀疑其真实性。我们甚至依赖电视来判断事情的真假。电视信号发射到二万公里以外的卫星,然后以光速反射到地球的每个角落。遗憾的是电视节目往往缺乏想象和智慧,节目语言词汇贫乏,语句单调破碎,内容缺乏思想水平。虽然对于想掌握简单语言的人来说是有帮助的,但对想超越(英语)四级词汇的观众却无能为力。

EDI与国际贸易

随着现代商业的发展,商店和生产厂家、供应商、运输业等形成一个密切联系的群体,这就需要经济信息在他们之间的快速传递。为满足这个要求,必须找一种通用的简单语言,有统一的词法、语法,在产供销之间传送订单和贸易数据,避开相互间繁杂的文件和单据,既经济,又高效。在这种需求下,EDI(electronic datainterchange,即电子数据交换)应运而生,它广泛应用于商业、金融、保险、交通运输、海关等领域。

意大利惩罚说“官话”

近日,意大利政府决定向"官僚语言"开战,要求官方文件要用公民容易接受的口语表达。意大利内政部部长弗兰克·弗拉蒂尼说,这是他们与市民关系上的一场革命,其主题就是"简洁明了"。他说,这次改革的核心是,要教育写文章的人如何使用简单语言。"仅仅把官僚文章改得简单易懂,而不对写文章的人进行训练是没用的,问题的关键是,如何让写文章的人不再使用难懂的语言。"为进一步增强效果,意大利政府公布了一个网站,鼓励公民对官方文章挑毛病,如果发现有人用10个单词写一个只用4个单词就能表达的句子,就可以通过这个网址向内政部举报,举报者有奖,被举报者受罚。

ESpin:基于SPIN的Eclipse模型检测环境

信息化社会中人们对软件可信性的要求越来越高,传统的测试技术已经不能充分保证系统的安全性,基于模型的形式化验证技术成为解决此类问题的重要途径。SPIN作为典型的模型检测工具,在学术界和工业界都得到了广泛应用。在Eclipse平台上设计并实现了一个基于SPIN的易扩展的模型检测环境ESpin,通过一个优化了的代码分区算法和可迅速支持SPIN升级的文法分析器,构造了一个高效、易扩充的Promela编辑器。编辑器除了支持Promela的全部语法规则外,还提供了包括实时语法反馈、关键字高亮、大纲视图、代码折叠、代码提示、代码补全在内的多种功能,提高了复杂模型的建模效率。ESpin还为用户提供了多种运行模式和特有的向导、配置界面,简化了SPIN的操作过程。

UML模型检测方法的研究

统一建模语言(UML)是设计和分析软件系统最常用的方法,如何保证UML模型满足某些特性是一个非常重要的问题,而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。首先对UML模型进行形式化描述,使用层次自动机来描述状态图,然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA,使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束,通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。项目组基于此方法还开发了一套模型检测工具UMLChecker。

“吃人”的动植物

吃人象 印度东北部梅加拉亚邦有一头大象曾吃掉5个人。据说这头象出没于茂密山林,威胁着与孟加拉国接壤的梅加拉亚邦10 个村庄的房屋和人畜安全。这头大象怎么变成了食肉动物,野生动物专家正在研究。

XML文档的版本化管理研究

使用XML Diff算法比较不同版本XML文档并生成它们之间的变化编辑脚本,用这种变化编辑来表示XML文档的新版本,并采用一种基于SAX模型的更新算法进行XML文档的版本重建.