程序与实体在儒学语义中的诠释

"重实体轻程序"是我国目前的司法现状,其背后则是功利主义的动机,而中国儒家文化推崇人文主义,反对功利主义,因此,我们需要对儒家经典重新解读,从儒家文化中寻觅适合中国国情的法治道路,真正实现法律资源的本土化。     

基于ADDIE方法的文献检索课微信小程序教学模式构建

微信小程序的出现,为教育教学改革提供了新的方法和途径.结合发展教学方法的ADDIE方法,对小程序教学的优势进行了分析,设计出了小程序教学模块,并对小程序进行了开发、实施和评价,系统化构建了文献检索课微信小程序教学模式.     

基于ADDIE方法的文献检索课微信小程序教学模式构建

微信小程序的出现,为教育教学改革提供了新的方法和途径.结合发展教学方法的ADDIE方法,对小程序教学的优势进行了分析,设计出了小程序教学模块,并对小程序进行了开发、实施和评价,系统化构建了文献检索课微信小程序教学模式.     

审视中国传统建筑群院落式构成法则

从讨论中西方传统建筑布局差异入手,进而探讨院落式群体构成法则如何广泛适应各个地区、各种建筑类型的需求,并且形成空间体验各异的组织程序,最终揭示了构成法则与社会文化心理结构的高度契合关系。     

民用建筑低压配电系统计算校验软件的探讨

根据民用建筑电气设计中的特点和传统电气设计中的不足,本文浅析了利用Excel编制低压配电系统计算校验软件在低压配电系统校验中的应用重点,通过对该软件的重点介绍,为以后民用建筑低压配电系统施工提供借鉴。     

CERN和互联网问世的故事

<正>我是在1971年加入欧洲核子中心(CERN)的,当时高能物理理论还处于一种较为混乱的状态,CERN的"数据通信"领域也同样处于混乱状态。各种计算机系统和通信手段之间都没有一个统一的标准,没有局域网,没有个人电脑,没有麦金塔计算机,没有Unix操作系统,也没有C程序设计语言。1983年,CERN数据处理部(DD)首次建立了数据通信(DC)组,我被分配在之前在DD负责网     

企业创新产品项目征集

正经请示国家科技部,科技部《中国新技术新产品》杂志决定:自即日起面向中国内资企业征集创新产品项目,在建立《全国企业创新产品目录》数据库的同时,由专家评审从中遴选一批创新性强、市场需求大、信誉好的优秀创新产品,列入《全国重点推广新产品》。相关事宜如下:一、征集对象及要求:1、产品研发的企业法人必须有主体资格、有自主创新能力;2、产品没有知识产权争议;3、产品符合国家规范和上市要求;4、产品研发成功已有合格产品或已定型生产;5、产品必须通过质量检验并提供检验证书的电子扫描复制件;二、项目列入《全国重点推广新产品》数据库程序:     

SwiftArray: Accelerating Queries on Multidimensional Arrays

Scientific instruments and simulation programs are generating large amounts of multidimensional array data.Queries with value and dimension subsetting conditions are commonly used by scientists to find useful information from big array data,and data storage and indexing methods play an important role in supporting queries on multidimensional array data efficiently.In this paper,we propose SwiftArray,a new storage layout with indexing techniques to accelerate queries with value and dimension subsetting conditions.In SwiftArray,the multidimensional array is divided into blocks and each block stores sorted values.Blocks are placed in the order of a Hilbert space-filling curve to improve data locality for dimension subsetting queries.We propose a 2-D-Bin method to build an index for the blocks’value ranges,which is an efficient way to avoid accessing unnecessary blocks for value subsetting queries.Our evaluations show that SwiftArray surpasses the NetCDF-4 format and FastBit indexing technique for queries on multidimensional arrays.     

科学推理研究的程序范式探析

有关科学推理研究的传统路径属于关系范式,以计算知识论为代表的新型路径则属于程序范式。计算知识论路径起源于语言学习的研究,而Kelly是将计算知识论运用于科学推理研究的集大成者。程序范式下的科学推理研究围绕科学推理问题的可解性和科学方法的逻辑可靠性展开,具有规范性、先验性和长期性的特点。依据程序范式下的计算知识论路径,局部不完全决定性问题得到了细致的分析,发现逻辑在科学哲学中的地位也得到了有力辩护。程序范式为科学推理研究提供了完整的分析框架,从可靠探究的角度重新确定了科学推理研究的基本问题,对未来的科学推理研究颇具启发意义。     

基于操作剖面搜索可疑参数的故障定位方法

针对软件故障定位问题,提出一种新型故障定位技术SPRank(可疑参数排名).该方法利用测试数据构建操作剖面模型,并提出输入参数谱度量程序各个参数的可疑度;在此基础上,利用优化的思想搜索程序的可疑参数和与之相关的可疑语句,进一步缩小程序故障的检索范围,从而提升故障定位准确率.实验表明SPRank方法能有效地提升三种经典高效的故障定位方法的故障定位准确率.