程序:物理对象上的操作表达式(英文)

把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义。主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操作以后的变量与施行之前变量之间的准确依赖关系。反应式O表达式要对外来需求作反应。描述反应的公理规定如何反应。有关通讯的公理要求正确的信息被正确的接受者收到。共享变量公理则给出有关共享变量的性质判断。例子用于说明异步顺序O表达式的性质是如何分析的。

操作表达式的Petri网表示(英文)

程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示。传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_net。从回顾C_net的基本定义入手,研究操作表达式的网表示。

赋值:物理对象上的操作(英文)

研究了命令式程序的形式语义。赋值被看成当作物理对象的变量上的操作。变量x一方面是个可以容纳数据值的物理对象,另一方面当它出现在数学表达式中时又代表它所容纳的值。作为物理对象,变量x允许它的值用读/写操作来观察或改变,读操作则是写操作的逆操作。事实上赋值就是对物理对象施加写操作。提出了与单变量赋值、多重赋值、顺序赋值及条件赋值等相对应的操作,提出了这些操作应服从的公理,并给出了用这些公理证明程序性质的实例。

Linux集群环境下面向对象数据库的性能及其仿真研究(英文)

提出了一个廉价的Tier-3区域中心的方案。为了评价Objectivity/DB在这个Tier-3区域中心的性能,建立了一个简单的原形系统,该原形系统能够容易地扩展到一个更大的试用系统。在多个并发作业运行的环境下,对系统和网络性能进行了测试,包括系统和网络的有效利用率,并分析了系统的瓶颈。最后,还对在这样的计算系统中运行的Objectivity/DB进行了仿真研究,并将其结果与测试结果进行了比较。

面向对象的XML-RL更新语言的设计与实现

XML的迅猛发展使得对XML更新语言的需求进一步地增强,XML更新语言已成为一个新的研究热点。面向对象的XML-RL更新语言的设计支持具有面向对象特征的XML更新。首先介绍面向对象XML-RL更新语言,其次论述了逻辑操作符和物理操作符的设计思想与具体实现算法。

熵、信息、有序和对称性

本文探索了熵、信息、有序和混沌、对称和对称破缺等范畴的规定、历史发展和彼此间的内在联系,研究了热力学熵、信息熵的区别和联系,提出了“演化熵”的概念,并用“演化熵”的概念说明了世界不会“热寂”。作者还考察了以上各概念的联系与统一,用“对称统一律”统一了上述概念,同时提出了对称统一律的表述方式,并试图用数学模式解决对称统一律的表达方式。最后用概念的统一性揭示了自然界的统一性。

信号检测论的应用

信号检测论(Signal Detection Theory,简称SDT)是信息论的一个分支,其研究对象是信号传输系统中信号的接收部分。它最早用于通讯工程中,即借助于数学的形式描述“接收者”在噪声背景中信号的接收问题。1954年密西根大学的W.P.Tanner 和J.A.Swets 等人首先将SDT 应用于感知觉研究。目前,SDT 作为一种新的心理物理学方法正广泛地应用于心理学研究的各个领域。

数据库优化设计方法初探

从范式优化、索引优化、表的优化及查询优化探讨数据库优化设计的方法,并对它们的综合使用进行分析。数据库优化设计时,在逻辑设计阶段,要根据范式优化及表优化中的要求设计数据库逻辑结构,对两者的利弊进行权衡,选出折衷的方案,既可以避免不一致性和数据异常现象,又不影响整体的性能;在数据库物理设计阶段,要根据索引优化中的要求在有关属性或属性的组合上建立索引,以优化数据库物理结构;在数据库查询阶段,采用在条件子句中使用索引,嵌套查询,迟早执行选择操作,迟早消除不满足条件的记录,分组计数和避免困难的正规表达式6种优化策略,可大大提高查询效率。

利用MATLAB研究滑动变阻器的选择

在中学物理实验中，滑动变阻器的使用有分压式与限流式两种接法，在考虑电路安全的条件下，如何在分压式电路和限流式电路中选择好不同阻值的变阻器更便于实验操作？此问题可以通过繁琐的数学表达式（1）、（2）来说明，但这种方法对学生不够形象直观，学生不易留下深刻的印象，很难学会分析与应用．笔者通过利用MATLAB作图功能，通过对表达式的两个变量用电脑画出图象，利用投影仪展示给学生看绘出的图象，通过对图象进行分析确定滑动变阻器如何选择，在教学中显得更直观、形象便于学生理解与掌握．

物联网应用驱动RFID应用测试

1前言物联网（Io T）是进年来的热词。它提供工业和日常生活的信息互联,是大数据、云计算的基础。而射频识别（RFID）是感知物理世界获得对象信息接入物联网的主要手段之一。所以RFID的应用是物联网的基础。两者都是＂中国制造2025＂、＂工业4.0＂、＂智慧地球＂的重要支撑技术。RFID的应用已经远远超过了奥运会门票和身份证实名验证。

谈自由落体运动实验中最有利测量条件的选择

对于一个限定的物理现象(或观察对象),可能有若干种与之相应的物理过程可以表征。深入研究和思考该现象与相应过程的基本内容,透彻地掌握有关的物理学原理,并综合地进行分析,是指导我们进行操作的重要基础。 研究自由落体运动,表征它的量有速度,时间,距离等参量,当然反映它们之间的数学模型(函数表达式)也各不相同。

Node．js中的内存控制

在Node．js中通过JavaScript使用内存通常会受到限制（64位系统下约为1．4GB，32位系统下约为0．7GB）。这将导致Node．js无法直接操作大内存对象，例如即使物理内存有32GB，也无法将一个2GB的文件读入内存中进行字符串分析处理。这样，在单个Node．js进程的情况下，计算机的内存资源无法得到充分的利用。

影响消毒药效果的因素

随着我国畜牧业生产集约化程度的不断提高,消毒灭源工作显得越来越重要。消毒工作在防止动物传染病的发生和传播、保护畜牧业的健康发展、保障人民身体健康等方面有着不可替代的作用。但在平时的消毒过程中,有许多因素严重影响着消毒效果。

浅谈提升学生物理理解层次的策略

物理知识理解水平可分为3个层次：第1层次，操作性理解，即学生能够记住物理的基本概念和规律及表达式，能够运用记忆的知识解决一些识记性、代公式与操作性步骤比较强的简单问题；第2层次，关系性理解，即学生对物理知识的本质有较清楚的认识，能够把握物理知识之间的内在联系、规律和方法，能够把较为复杂问题分解为若干个比较简单的小问题，运用所学的物理知识解决一些简单综合性问题；第3层次，迁移性理解，