逻辑语言

摘要： 北京大学数学科学学院教授、中国科学院院士姜伯驹说:“数学是思维的体操”,是说还要训练出其他学科中所需要的清晰思维的智力.这对于青少年的健康成长关系极大.中小学数学教育担负着理性文明和科学精神的启蒙使命;在实行科教兴国的战略中,这个使命尤其重要。“新课标”淡化了数学中的推理证明,认为平面几何对初中生太难,采用了“螺旋式上升”的理念.学生到了九年级,推理能力逻辑语言都应该有一个质的提升,形成规范的推理证明语言.但是,现行人教版九年级教材例题证明存在证明语言随意现象,在此指出供再版时参考.

摘要： 一、问题提出作为一线教师,经常会遇到这样的问题:学生听懂了某一道题,考试时换一个命题视角,就又不会做了;某些知识明明已经讲过,学生遇到相关的问题却不知怎样思考.这些"怪现象"主要源于学生的"懂"并非"真懂",缺乏对数学概念、定理、性质、典型问题的深入理解.数学抽象化的符号表征和形式化的逻辑语言给学生的心理带来了无形的畏惧感,如何让学生对数学知识和思想方法真正的理解,提升学生的解题能力,笔者认为深化学生的数学理解水平是关键.

摘要： 针对于计算机软件开发设计工作而言,逻辑语言是软件的中枢系统,也是开发设计工作得以有序开展的重要保障.设计人员通过运用合理的逻辑语言指令,对不同的逻辑语言进行合理编译,最终使得软件能够充分发挥自身功能,满足计算机软件的功能性需求.在当前我国计算机行业稳定发展的过程中,计算机软件的开发与应用,在很大程度上创新了软件应用领域.本文主要内容通过研究逻辑语言的应用,分析了以逻辑语言为基础的计算机开放设计工作,希望能为我国软件开发有所参考.

摘要： 路德维希·维特根斯坦是20世纪影响最大的哲学家之一,学界普遍将其哲学分为分析哲学和日常语言哲学两个主张截然不同的阶段,这一独特的发展路径使得学界认为其前后期哲学思想发生了巨大变化.从维氏对思维和语言关系的探讨切入,考察其中的“确定与不确定”“本质与反本质”“科学与非科学”三组对立关系,发现维氏坚持语境观,以消解语言的不确定性,使用“非科学”的表达方式追问世界的“本质”问题.因此维氏的前后期哲学思想虽然看上去变化巨大,但根本立场与基本思想并未发生实质性改变.从表达方式上看,维氏哲学在前后期存在冲突,但从整体发展上看,这种变化实质上是其后期对前期哲学思想的融合.审定“正确的思想”既不是绝对重要的,也不是唯一重要的.在特定的情景中找到合适的语言,最恰当地呈现与传递思想,是对生活世界负责的基本要求,也是维氏一生的探索给我们最重要的启示.

摘要： 基于应试教育的压力和影响,很多教师将数学打造成了一门"练习册"的科目,过于注重题目的训练而忽略了对最基本的数学概念的教学和理解.数学概念是链接数量关系与空间形式的逻辑语言,折射出数学知识生成过程的思维方式,蕴含着一代又一代数学家们的发现、认知、检验与升华.因此,广大初中数学教师在进行课堂教学时,要积极地引导学生聚焦数学概念的生成过程,让学生参与到知识演化的过程中,通过手、脑、口等多感官并用,与学生共同探索、理解、归纳数学知识,培养其数学概念思维.

摘要： 文章以逻辑语言的应用为前提,通过理论与实际相结合的方式,以开放设计具有的软件需求、设计思路、数据库的设计、逻辑语言编程和软件应用价值分析作为切入点,针对软件开放设计工作展开了全面、系统的讨论,供相关人员参考.

摘要： To study the open design of computer software based on logic language. By using correlation method analysis in the design of computer software open. The advantages of the application of different computer logic language, and application of optimal computer logic language design open property management computer software. The results confirmed that the comparison of several logic language , computer software design in Java language more open application advantages , application of Java logic design of open computer software is more effective. In the open computer software design , Java language logic language development of open computer software , application value.%研究基于逻辑语言的计算机软件开放设计问题.应用对比法分析在计算机软件开放设计之中,当前应用不同计算机逻辑语言的优势,并可应用最优的计算机逻辑语言设计开放式物业管理计算机软件.对几种逻辑语言对比证实,计算机软件开放设计中Java语言更具应用优势,应用Java逻辑语言设计开放式计算机软件更具效益.在计算机软件开放设计中,语言Java逻辑语言开发开放式计算机软件,发挥应用价值.

摘要： Based on the characteristics of logic language, we analyzed the problem of the computer software''s open design, with this method, it was analyzed that the advantages of different logical languages in the open design of computer software, after comparing several logical languages, the advantages of applying the Java language in designing the open software of computer was analyzed.And based on Java logic language, through the design of computer software with is open type.The value of applying java logic language to develop computer software of open type was researched and analyzed.%基于逻辑语言的特点分析了计算机软件开放设计问题,应用对比法,分析在计算机软件开放设计中,应用不同计算机逻辑语言的优势,对几种逻辑语言对比,分析在设计计算机开放软件应用Java语言的优势.并基于Java逻辑语言,设计开放式的计算机软件,研究分析应用Java逻辑语言设计开放式计算机软件的价值.

摘要： 一般情况下,侦查工作中使用的侦查语言很少能直接地应用于逻辑分析.应用逻辑思维进行侦查推理必不可少的一步是把侦查语言材料转化为逻辑语言,这一步或多或少存在着一定的风险.为避免在转换操作过程中曲解原意,这里介绍一种基于逻辑分析的目的将侦查语言“翻译”成符号语言的方法,以提高侦查效率.

摘要： 一般情况下，侦查工作中使用的侦查语言很少能直接地应用于逻辑分析。应用逻辑思维进行侦查推理必不可少的一步是把侦查语言材料转化为逻辑语言，这一步或多或少存在着一定的风险。为避免在转换操作过程中曲解原意，这里介绍一种基于逻辑分析的目的将侦查语言“翻译”成符号语言的方法，以提高侦查效率。

摘要： 提出了将本体知识库引入到人工交通系统中，首先将人工交通系统中的概念表示成本体，使其在语义层次上能够与Web和第三方信息系统进行知识的共享和重用；然后采用逻辑语言对交通模拟过程中的规则进行形式化地描述，提高规则的多样性和灵活性；最后利用知识库对本体和规则进行集中管理，并基于该知识库开展了包括知识发现在内的3种应用研究。

摘要： 成熟语言的本质在于它的概念性和逻辑性.但是在语言的生成时期,作为语言基本单位的名称却产生于直觉表象,即语言产生于直觉的聚合,是原始人心灵表现的产物,是直觉的凝聚.正因为语言的表现功能是本源性的,所以语言艺术的表现性也就成为一种顺其自然的必然.但是语言艺术并不仅是表现,表现是艺术的必要条件,而非充分条件.

摘要： 精确的时间描述语言和高效的时间推理机制是时间语义研究所追求的目标.目前,研究学者们主要采用逻辑描述方法来形式化自然语言中的时间信息,这是因为经过漫长的发展演变,逻辑描述语言已经具有一套清晰的语法、语义描述系统和证明理论,但是,只靠原有逻辑系统中的推理方法来对时间信息进行推理是远远不够的,因此,通常采用约束满足策略来弥补逻辑推理的不足,也就是说用约束满足策略使文本中不确定、不完整的时间描述精确化.目前较具代表性的时间分析及推理系统主要有这样几种:Allen的时间段运算(Allen's Interval Algebra,简称IA),Vilain和Kautz的时间点运算(Vilain and Kautz's Point Algebra,简称PA),Dechter等人的时间量值信息推理,Kautz和Ladkin以及Meiri的量值-相对关系约束联合处理法等. 本文首先分析了时间本体所包含的主要内容,然后采用逻辑语言(精确时间逻辑RTL)来描述时间本体,将句子中的时间和事件联系在一起,并形式化为一个定向约束网络,而后在此基础上进行推理,使文本中的模糊时间信息精确化。

摘要： 本文对一种基于时序逻辑的UML 2.0形式化语义进行了研究。文章围绕时序逻辑语言XYZ/E、UML 2.0顺序图的XYZ/E时序逻辑语义等进行了论述。

摘要： 随着Internet的普及和延伸,跨平台、跨语言和松耦合的Web服务技术应运而生.它将具有执行任务能力的资源封装成Internet上的Web服务,并通过发布其形式化描述使服务能被外界发现和调用,因而服务描述是构建Web服务的基石.语义Web服务是Web服务的发展方向,实现这发展方向的落脚点则是赋予服务描述足够的语义信息.本文将Web服务的语义划分为静态和动态两个层次,并根据这两个层次综述了基于本体描述语言、逻辑语言和过程模型的服务语义描述方法.最后对比分析了这忖些研究成果,并展望了服务语义描述研究的未来前景.

摘要： 本发明公开了一种XML语言描述的业务逻辑映射到应用语言的方法，涉及解析文本格式描述语言生成能被计算机执行的机器语言代码的技术，为解决XML语言描述的复杂业务逻辑映射到应用语言时，使得代码的处理速度快、占用的空间少的问题而发明。本发明XML语言描述的业务逻辑映射到应用语言的方法包括步骤：根据业务逻辑的XML语言描述中的所有标签，以及这些标签的公共部分，编写框架代码；根据业务逻辑的XML语言描述中的各个标签，编写对应的标签代码生成实现类；包括所述框架代码的代码解析器，加载所述标签代码生成实现类，生成业务处理类代码。本发明适用于业务逻辑的XML语言描述的解析处理。

摘要： 一种基于动态语言的业务逻辑执行系统及方法，包括多个业务逻辑执行装置，每个业务逻辑执行装置包括调度单元和多个业务虚拟机：调度单元，接收命令请求，并根据业务和虚拟机映射表，将命令请求加入到对应的业务虚拟机的命令请求缓冲区内，每个业务虚拟机包括：业务虚拟机线程，定时查看命令请求缓冲区内是否有新的命令请求，当有新的命令请求、且空闲协程队列中有空闲协程时，从空闲协程队列中提取一个协程对象，然后将新的命令请求数据注入到被提取的协程中；命令请求缓冲区，保存命令请求；空闲协程队列，保存业务虚拟机的空闲协程。本发明属于信息技术领域，能为大规模应用系统提供一个高可靠、高稳定的业务逻辑执行环境。

摘要： 本发明公开了一种可编程逻辑控制语言编译方法及装置。其中，该方法包括：根据可编程逻辑控制PLC语言的文本语言生成对应的第一调试信息表，其中，调试信息表包括文本语言的变量和第一语法树；根据PLC语言的图形语言生成对应的第二调试信息表，其中，第二调试信息表包括图形语言的第二语法树；根据第一调试信息表和第二调试信息表，生成编码指令。本发明解决了相关技术中的可编程逻辑控制语言的ST文本语言无法直接被控制器识别执行，且逻辑性较差的技术问题。

摘要： 本发明公开了一种基于P4语言实现的可编程硬件逻辑架构和逻辑实现方法。所述可编程硬件逻辑架构包括：报文接收模块、数据缓存模块、报文发送模块和可编程逻辑单元；所述可编程逻辑单元进一步包括：提取指令存储模块、提取数据模块、匹配模块、动作指令存储模块和动作模块。本发明的可编程硬件逻辑架构，允许用户使用P4语言对采用该架构的芯片进行二次开发，将任意网络报文进行识别，任意位域进行赋值、移位、常用ALU操作，增加芯片的使用场景。采用本发明的可编程硬件逻辑架构，不用为每个新项目整体重新编写代码，有利于提升硬件代码开发效率。

摘要： 本发明公开了一种基于P4语言实现的可编程硬件逻辑架构和逻辑实现方法。所述可编程硬件逻辑架构包括：报文接收模块、数据缓存模块、报文发送模块和可编程逻辑单元；所述可编程逻辑单元进一步包括：提取指令存储模块、提取数据模块、匹配模块、动作指令存储模块和动作模块。本发明的可编程硬件逻辑架构，允许用户使用P4语言对采用该架构的芯片进行二次开发，将任意网络报文进行识别，任意位域进行赋值、移位、常用ALU操作，增加芯片的使用场景。采用本发明的可编程硬件逻辑架构，不用为每个新项目整体重新编写代码，有利于提升硬件代码开发效率。

摘要： 本发明公开了一种XML语言描述的业务逻辑映射到应用语言的方法，涉及解析文本格式描述语言生成能被计算机执行的机器语言代码的技术，为解决XML语言描述的复杂业务逻辑映射到应用语言时，使得代码的处理速度快、占用的空间少的问题而发明。本发明XML语言描述的业务逻辑映射到应用语言的方法包括步骤：根据业务逻辑的XML语言描述中的所有标签，以及这些标签的公共部分，编写框架代码；根据业务逻辑的XML语言描述中的各个标签，编写对应的标签代码生成实现类；包括所述框架代码的代码解析器，加载所述标签代码生成实现类，生成业务处理类代码。本发明适用于业务逻辑的XML语言描述的解析处理。

摘要： 本发明实施例公开了一种多语言的特征逻辑共享方法，包括以下步骤建立一特征中转空间；所述特征生产空间获取特征生产者输入带有特征生成过程的特征；当接收到有特征使用者发出的对某一特征的取出请求后，取出带有所述特征生成过程的特征。通过建立中转空间进而建立一个多方使用的桥梁，使发布者发布特征并由特征使用者自由使用特征，并通过对特征生成过程的完整描述，确立特征的唯一性，减少各方对特征的分歧，加快特征的传递速度，且特征一次发布，持久唯一，同时通过此种方式没解决了特征生成的歧义问题，并可以使多种语言之间无歧义，减少不必要的麻烦和无效沟通。

摘要： 本发明提供了一种实现逻辑复制同步数据定义语言的方法和系统，包括：当目标数据定义语言作用于发布者数据库时，截取目标数据定义语言所作用的目标表名；判断目标表名是否截取正确且目标表名是否在发布者数据库的发布集合中；如果是，则在订阅者数据库中执行目标数据定义语言；在发布者数据库中执行目标数据定义语言。本发明缓解了现有技术中存在的因无法同步发布者数据库和订阅者数据库中的DDL语句导致的逻辑复制中断和数据库不可用的技术问题。

摘要： 本发明是一种基于自然语言理解与转化的业务逻辑无代码开发方法，属无代码开发技术领域：一方面进行自然语言理解驱动的开发语义抽取；将自然语言描述中的关键开发元素自动抽取作为一个序列标注问题处理；通过对海量自然语言描述的带标注无代码开发需求语料进行有监督训练，以获得开发语义抽取模型；另一方面进行自然语言生成代码任务；解析出用户意图后将元数据送入模型引擎，模型引擎调用相应的代码生成模型；将代码生成任务转换为机器翻译任务。该方法可以降低软件开发和维护成本、提高开发效率、减小需求变更对系统的影响以及延长系统的生命周期。

摘要： 本申请涉及支持中文编程的PLC、可编程逻辑控制系统、中文编程语言的实现方法及电子设备，方法包括：获取汉字编程语言源代码，所述的汉字编程语言源代码指由汉字编写的代码，包括汉字关键文字、语法参数；源代码转化把所述的汉字编程语言源代码转化成计算机编程语言源代码；编译计算机编程语言源代码编译生成可执行代码；获取PLC本机和/或扩展单元的PLC资源的状态参数并保存到公共数据区，以及从所述的公共数据区取出所述的控制参数后根据所述的控制参数执行相应的业务逻辑功能；从所述的公共数据区取出所述的状态参数，然后根据所述的状态参数计算出PLC资源的控制参数。