现代技术伦理规约的特性

现代技术伦理规约既不仅仅是对技术主体的规约，也不仅仅是对技术客体的规约，而是对技术主体与技术客体相统一的动态过程的伦理规约，其本质是过程规约。过程规约具有过程性、层次性和或然性的特性。     

WXH-11x微机线路保护屏并入监控系统

对该装置的输出软件进行部分改造，增加了通讯功能，研制了上位微机与其通讯的规约软件，从而构成主从关系两级分布式电力系统微机继电保护监控系统。     

过程控制计算机中文监控软件的设计与实现

提出了一种适用于石油、化工、冶金和电力等实际工业过程参数的监视与控制的计算机中文监控软件，并对其系统组成、功能的实现和关键技术等问题进行了阐述．     

二维非定常4-Laplacian问题的多重网格规约时间并行解法器

未来计算性能的提升依赖的是更高的并发度,而不再是更快的时钟频率,这将致使传统的时间步进算法成为数值模拟非定常问题的一个瓶颈.该文实验性地探究求解二维非定常4-Laplacian问题的具有高并发度的并行解法器,其中全离散格式为向后Euler格式和双线性矩形元,时间并行策略为通信器和进程分组下基于完全近似格式的多重网格规约时间算法.数值对比实验表明:基于F-FCF松弛、细/粗时间网格层的粗化因子为16/4的MGRIT算法具有更高的并发度,相对文献[Falgout,et al.SIAM J Sci Comput,2017,39:S298-S322]中的最优MGRIT解法器,它可提速2.4倍.     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

程序规约变换技术在程序设计中的应用

算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。     

英汉成语的隐喻特点新探

在各种人类语言中,成语被认为是最具魅力的一类语言之一,对它的运用程度的高低通常是测评一个人语言能力的标准之一.本文通过列举及阐述英汉成语中较具代表性的例子,借此来系统分析英汉成语中的隐喻的一些特点：在结构上,成语的本体争喻底都已变成了背景化的内容,成语中的字词同样具有可变更性;在语义上,成语已经成为一种规约化的语码,成语已经变成了＂死喻＂;在认知方面,成语认知遵循＂关联理论＂中的＂最大关联＂和＂最佳关联＂原则.     

变电所综合自动化系统设计应注意的几点问题

随着电网运行水平的提高及电网改造的深入,各级变电所,大量采用远方集中监视、控制等变电站综合自动化系统,但在变电站综合自动化系统的设计中,对于变电站综合自动化系统的技术标准问题、变电站内各系统间的通信规约、综合自动化系统空间组织模式的选择、远方就地闭锁功能等问题,本文针对这些问题并结合工程实践提出了一些看法。     

R-演算:一个修正程序规约的演算系统

在一个软件规约(program specification)的形成过程中, 规约总是不断被修改, 要么增加新的功能, 要么由于出现事实反驳, 而改正规约中的错误. 规约的新功能是与其逻辑无关的新规则, 而它的事实反驳则是其反例. 新规则和事实反驳都是由研究者或用户提出来的. 极大缩减是在规约出现事实反驳的情况下, 对规约的理想修正. 这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义. 构建了R-演算. 该演算由一组变换规则组成, 用以删除规约中与事实反驳矛盾的规则, 并最终得到规约的极大缩减. 同时证明了R-演算的可达性和完全性.     

基于查表法的CRC检错码在CDT远动规约中的研究及实现

CDT通讯规约在我国电力调度系统中应用广泛，但规约本身存在着传输效率不高等缺点．本文讨论了CRC的原理，提出一种适用于CDT远动规约的CRC查表算法，并给出了CRC校错码在8051单片机中软件实现的源代码．