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

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

CERN和互联网问世的故事

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

设计模式指导的软件分簇方法

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.     

企业创新产品项目征集

正经请示国家科技部,科技部《中国新技术新产品》杂志决定:自即日起面向中国内资企业征集创新产品项目,在建立《全国企业创新产品目录》数据库的同时,由专家评审从中遴选一批创新性强、市场需求大、信誉好的优秀创新产品,列入《全国重点推广新产品》。相关事宜如下:一、征集对象及要求: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方法能有效地提升三种经典高效的故障定位方法的故障定位准确率.     

基于计算机组成原理课堂教学的探讨

计算机组成原理是一门理论性和实践性较强的学科。针对现代计算机组成原理课程的特点与重难点,深入研究了计算机组成原理这门课程的课堂教学方法,提出了一些培养学生学习兴趣、提高教学效果的途径和方法。实践表明教学效果良好。     

构建我国行政判例制度刍议

在我国,既然有构建行政判例制度的必要性,又具备可行性,那么建立什么样的行政判例制度,如何构建我国的行政判例制度,便成为我们着重要解决的问题。应该说,在把握我国的法律文化传统和认清当今世界判例制度发展趋势的基础上,结合我国的具体国情构建我国特色的行政判例制度是最佳方式。     

基于全基因组测序的粘绿木霉Gv29-8中分泌蛋白预测

粘绿木霉Gv29-8作为木霉属中重要的生防菌之一,对该菌分泌蛋白进行预测及其特征进行明确具有重要的理论意义。利用SignalP、ProtComp等预测程序对该菌中12427条蛋白质序列进行分泌蛋白找寻,并对上述分泌蛋白的氨基酸分布、信号肽长度大小及切割位点等性质进行分析。粘绿木霉含有分泌蛋白为377个,其氨基酸长度、信号肽长度与植物病原菌不同;信号肽切割位点属于A-X-A类型,与其他已经报道的植物病原真菌、卵菌中分泌蛋白信号肽切割位点一致。