基于触摸屏的楼宇群控电梯系统研究

随着现代建筑水平的不断提高,高层和超高层建筑将在建筑群中占主导地位。在这些大规模建筑物中,均需装置多部电梯以满足人们工作生活的需要。为了提高智能楼宇电梯群控制系统的综合自动化水平、提高楼宇服务质量,将PLC与触摸屏开发系统相结合,合理设计楼宇电梯群智能控制监控系统对建筑物内的电梯群进行合理管理、调度分配。监控系统能够使运行人员及时了解各电梯的运行,有效地提高了电梯的服务质量和运行效率。     

基于Event-B的形式化建模关键技术研究

软件系统的规模和复杂程度不断提高而传统的需求分析方法难以确保软件的正确性和一致性,为软件系统的质量埋下了隐患。软件工程的实践表明,在开发过程中,错误发现得越早,修复得越早,付出的代价越小。为了确保软件的质量,可在软件开发的早期需求分析阶段,采用Event-B形式化方法描述软件的需求,并验证模型的正确性。以文件系统建模为例,该文讨论了如何利用Event-B方法,采用逐步精化的方式建立并验证模型,确保软件的正确性。     

哲学理论的形式化问题

形式化是现代逻辑最重要的方法。将形式化方法引入哲学研究是必要的，也是有可能的，当今的“哲学逻辑”把这种可能性变成了现实；哲学理论的形式化有自己的具体操作程序。但是哲学理论的形式化也有其内在局限，即适用范围的狭窄性、研究结果的尝试性、作用程度的有限性；因此最后结论是：形式化是哲学研究的一种重要的辅助性研究方法，必须注意将它与其他哲学研究方法配合使用。     

电梯现场总线系统的优化设计

针对当前电梯通信系统任务繁重,通信效率较低、实时性不高等问题,提出了基于SPI和CAN总线的电梯现场 总线系统的优化设计方案。设计了一种基于串行外设接口的SPI电梯通信协议,对SPI电梯通信的帧机制、数据流、差错 控制等做了较完善的规定;设计了SPI通信在干扰情况下重新帧同步的方法;设计了主控板与电梯外围控制器的统一 CAN总线协议。实验表明本方案不仅实现了电梯系统中主控板与电机控制板的全双工实时通信,还降低了通信系统设 计的复杂性,提高了通信性能。本设计能极大地改善当前电梯通信的状况。     

非形式逻辑形式化研究的三个问题

非形式逻辑的形式化研究秉持一种局部的形式化观,即非形式逻辑能够部分地被形式化,但不是全部。形式化研究亟需回应三个问题：第一个问题是如何确定形式化域,也就是明确形式化的研究对象。第二个问题是如何找到适格的形式化工具,使之能够适用于处理形式化域当中的研究对象。第三个问题是如何应用适格的形式化工具来展开具体的形式化研究。回答这三个问题是建构非形式逻辑形式化理论的基础。     

实时可信服务的构件设计与形式化描述

针对分布式实时嵌入式系统DRES,设计了一种提供自适应服务质量(QoS)保证的构件模型QuOCCM,以形式化方法描述构件,并推导构件各实体之间的自适应过程。QuOCCM由三部分组成,Client、Qoskets和Server,分别以CCM(CORBA Component Model)构件技术实现。Client与应用或功能构件交互,获取当前QoS需求,并触发自适应机制;Qoskets通过对QoS保证框架QuO进行改进,以构件技术实现QoS自适应调整策略;Server提供自适应调整之后的QoS保证机制。研究结果表明,该方法不仅保证了DRES中当前应用环境的QoS自适应需求,而且QoS保证与具体功能应用分离也降低了系统开发的复杂性。形式化方法研究为构件实体间的交互提供了保证。     

论法律推理的形式化

法律推理的形式化,作为法理学研究中的一个重要内容,在国内一直饱受质疑.在系统分析国内外法律推理形式化研究不同特点的基础上,探索“形式理性”与“实质理性”相结合的途径,即基于语用推理的视角,从法律规范推理及适用推理两大方向进行面向法律实践的形式化研究.     

亚里士多德模态三段论逻辑的 形式化公理系统探讨

利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态三段论进行形式化和有效性的证明。根据有效的亚里士多德模态三段论应该遵守的基本规则,可以从6 656个亚里士多德模态三段论中,筛选出有效的384个模态三段论。把通过向有效的直言三段论AAA-1和EAE-1中添加模态词而得到的20个有效模态三段论作为基础公理,就可以为亚里士多德模态三段论逻辑建立起形式化公理系统。     

语境的形式化研究

语境是语言交际的重要因素 ,信息技术不断发展 ,计算机处理自然语言 ,必须对语境形式化。本文从计算语用学和人工智能的角度出发 ,对语境的形式化研究进行了综述。计算语用学的目的是建立自然语言理解系统 ,而人工智能研究语境形式化主要解决知识普遍性的问题。从第 2节到第 4节 ,文章从理论背景 ,研究方法和逻辑表征方式三个方面综述McCarthy(1987) ,Perrault和Allen(1980 ) ,Bunt(2 0 0 0 )对语境进行的形式化研究 ,比较它们的不同和相同之处 ,为语境的形式化提供可借鉴的方法和理论。     

粒的形式化表示研究

为了能为粒计算的粒提供一种统一的表示形式,分析了粒的对象、特征、关系及状态等4个基本要素,提出了基于数据层面的粒的四元组的形式化表示形式,即由对象集、特征集、关系集和约束集四元组组成。接着给出了几个特殊粒的表示形式,然后说明了该表示形式的统一性,并结合具体的例子进行了研究。该形式化表示形式能够很好地解决基于数据层面的粒的表示问题,有利于问题求解和粒计算理论的研究。     

无线数传在电梯监控系统中的应用

针对现有电梯监控系统布线繁琐,容易出故障的现象,提出使用无线通信的方式传输电梯监控数据。以德国奔克bp304控制系统为平台,采用NRF905射频芯片为无线收发器,M051单片机为主控芯片设计的无线收发模块,并通过功率放大器增加无线通信距离。经过实际测试,通信有效距离达到了1 km,无线通信不仅有效地解决了布线问题,而且节约了整个监控系统的成本。     

对科研中机械地形式化的批判

本文对现代科学界一部分人在科研中机械地形式化这一现象提出批评 ,从哲学和科学史方面论证机械地形式化只能得出不真实的结果、会过早地结束科学体验的过程从而失去创新的机会等结论。希望青年学者能抵制这一流弊 ,养成严谨的科研作风 ,并在严谨的科研中作出创新。     

资源描述框架的形式化表示问题研究

资源描述框架(RDF)正成为语义网技术中首选的数据描述语言,因而在语义网系统中有着广泛的应用基础。RDF的形式化表示问题是RDF研究领域的重要课题。本文结合国内外关于RDF形式化表示的各种观点,提出了一种较为完整的RDF图形式化表示框架。     

基于多目标规划算法的电梯群控系统

以提高电梯群的运行效率和服务质量为出发点,提出一种基于多目标规划调度算法的电梯群控系统。主要研究内容包括电梯群控系统的特点及要求、电梯群控系统的多目标规划算法建模过程以及电梯群控仿真系统的设计等几个方面。在电梯群控仿真系统当中,同时嵌入最小等待时间算法和多目标规划算法,进行2种算法的仿真比较,从仿真结果得出基于多目标规划调度算法的电梯群控系统具有一定的实际应用价值。     

基于物联网的电梯远程监控研究

据《2013-2017年中国电梯行业发展环境与市场需求分析报告》显示,伴随着国内经济的快速发展和城镇化的不断深入,我国电梯行业正处于一个高速发展期。电梯是机电一体化的高技术产品,目前国产电梯的技术水平及质量都已进入世界先进行列,然而电梯运行中关人、夹人、蹲底、冲顶等事故却时有发生。本文就目前存在的这些问题分析了国内外电梯维修保养及电梯远程监控系统现状,提出了一种完善的基于物联网的电梯远程监控系统。     

论先锋小说叙事模式的形式化

西方后现代主义文艺思潮对中国先锋小说叙事模式的影响是形式化。它主要表现在以下三个方面:(1)叙事视角由边缘人物承担;(2)叙事时间呈能指化倾向;(3)叙事结构符号化。先锋小说叙事模式形式化引起了中国小说美学的一次革命,其意义深远。     

电梯里的阴谋

一、在电梯里面放一个马桶，然后坐在上面，等电梯门打开的时候，故意用非常非常惊愕的眼光看着准备进电梯的人。     

教学用PLC控制的虚拟电梯设计

由于电梯应用广泛、自动化程度高,并且以PLC为控制核心部件,所以,在PLC教学中常常将电梯作为PLC的一个典型控制对象,以增强学生对PLC实际应用的认识,同时也为学生将来就业奠定基础.设计了虚拟5层电梯PLC控制的组态仿真监控系统,该系统解决了实验环节中PLC无控制对象、PLC程序运行结果抽象等问题;给出了虚拟5层电梯的控制程序流程图、功能要求以及组态仿真监控界面;详细介绍了虚拟电梯仿真监控界面的设计过程与相应的程序编制.     

日语教育视阈下句群的形式化和翻译

站在日语教育的视阈下,通过对日语句群的形式化研究和讨论,以话语表现理论（DRT）为基础,构建了日语句群形式描写的程序,在日语语篇形式化研究方面做出了有意义的积极的探索。同时,通过对日语句群汉日翻译的教学实例的研究,指出了句群在翻译教学中的重要性。