现代技术伦理规约的特性

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

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

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

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

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

日心说的创立

正哥白尼是欧洲文艺复兴时期的一位巨人,他用毕生的精力提出了日心说,推翻了长期以来居于宗教统治地位的地心说,实现了天文学的根本变革。欧洲在古代沿着地中海岸确曾出现过一个灿烂的文明时代,出现过像阿基米德那样的伟大科学家。以后随着罗马帝国统治的确立,连年征战,亚里山大里亚等文化名城被毁,残酷的奴隶制不但在肉体上对奴隶进行折磨,在思想上也实行可怕的专制。奴隶和平民处在水深火热中而不能自救,于是就幻想出一个救世主基督,到公元1世纪时渐渐形成了一个群众性的宗教——基督教。这基督教开始也是受到罗马统治者的镇压,后来,罗马当局发现可以利用这种东西来麻醉人民,巩固统治,便在313年承认了传教的自由,到392年干脆全部拿了过去,     

最大的罗马风教堂

从一张施派尔大教堂的航拍图片可以清楚看出施派尔大教堂与周围建筑的尺寸对比，也可以清晰的看到它东西四个高塔和两个拱顶，这些塔是德国罗马风（即罗曼式）教堂的重要元素，也是世界上现存的最大的罗马风教堂了。     

埃及博物馆：无需雕饰的艺术殿堂

土红色的墙皮、罗马化的圆拱、爱奥尼亚式立柱让人想起19世纪欧洲殖民者在北非活动频繁的时代,见证了西方现代化潮流与伊斯兰宗教传统之间的碰撞交融。     

罗马法学家视角下的法律观探析

罗马法学家在罗马法律体系中发挥了关键的作用。罗马法学家对政治法律问题的思考带有明显的务实取向,他们关于自然法、市民法与万民法的区分以及法与正义之间关系的论述呈现出斯多葛哲学的理论路向。罗马法学家以法律制度内部秩序的统一性、有机性和连续性为前提条件,构建了精致的法律分析体系,造就了实质的法律文化。罗马法学家的思想和理论通...     

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

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

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

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

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

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