Parameter reference immutability: formal definition, inference tool, and comparison

Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. A parameter reference is immutable if it cannot be used to modify the state of its referent object during the method’s execution. We formally define this notion, in a core object-oriented language. Having the formal definition enables determining correctness and accuracy of tools approximating this definition and unbiased comparison of analyses and tools that approximate similar definitions. We present Pidasa, a tool for classifying parameter reference immutability. Pidasa combines several lightweight, scalable analyses in stages, with each stage refining the overall result. The resulting analysis is scalable and combines the strengths of its component analyses. As one of the component analyses, we present a novel dynamic mutability analysis and show how its results can be improved by random input generation. Experimental results on programs of up to 185 kLOC show that, compared to previous approaches, Pidasa increases both run-time performance and overall accuracy of immutability inference.     

线性建筑构件的空间性问题研究

在框架结构获得普遍应用以后，建筑构件往往被分为两个部分：承重构件（线性框架）与空间构件（围护与分隔墙体）。这样的一种两分虽然有着实际操作和陈述上的便利，但是它缺乏学科内在的严密性与整体性，并因此而造成教学上概念理解方面的缺陷。本文反对这么一种简单化的理解方式，而是致力于探索在承重作用以外，线性构件的空间意义。为此，在简短的问题陈述以后，论文以森佩尔的“面饰”概念来展开对于空间的讨论，接着，论文以线性框架为主要研究对象，指出其与施马索夫的空间概念的暗合，通过具体的案例研究呈现了限定与划分这两种空间创造方式的不同性质。最后，指出这一研究在建筑基础教育上的意义。     

物质系统的及其表达式

引入外功的概念,导出构成(火用)分析理论基础的三个基本定理,给出一个明确的物质系统(火用)的定义和常用物质系统(火用)的表达式。     

图形化工作流过程定义工具的设计

本文提出并实现了基于图形化用户界面的工作流过程定义工具,同时,实现了完全Web化的工作流收发文管理。图形化的过程定义工具可以提高用户建模的效率,可以直观方便的创建复杂的流程定义;B/S架构可以有效改善系统的易用性和降低系统维护工作量。     

基于工作流的高校OA系统设计与实现

办公自动化是现代化办公发展的必然趋势,它不仅增强协同办公能力,而且提高了整个决策效能。通过对办公自动化系统中公文管理及流程定义的设计,提出了基于工作流方式的高校办公自动化系统,并实现了自主版权的通用OA软件。试用结果表明该系统具有一定的灵活性和可扩展性。     

分布式环境中的通用对象请求代理结构

CORBA是OMG集团提出的新兴的开放的分布对象计算底层结构标准,是解决异构平台互操作性问题的方案之一.     

关于腐蚀

较为详细地介绍了腐蚀一词的来源,腐蚀定义的演变过程,通常意义腐蚀的范围和广义腐蚀的范围。     

一种基于活动网络图扩展的工作流过程模型

本文在活动网络图的基础上进行扩展,提出了Exd-ANBD(Extended Activity-Network-Based Diagram)工作流过程模型,并给出模型的形式化定义。构造的模型改善了活动网络图在描述能力和逻辑性上的不足,使之更能贴近企业实际需求。     

一种基于XML的工作流过程定义语言

主要阐述在FlowStep中所使用的基于XML的工作流过程定义语言。FlowStep是一种基于Web的分布式工作流管理系统。在本系统的工作流过程建模中,根据不同类型的任务,分别定义其XML文件,并最终生成一个可以被工作流引擎解释的工作流过程定义。     

“建筑电气”的概念

伴随建筑技术的迅速发展和现代化建筑的出现,建筑电气已发展成为以近代物理学、电磁学、电子学、光学、声学等理论为基础的应用于建筑工程领域内的一门新兴的综合性工程学科,成为现代电气科学领域的一个重要组成部分。本文阐述了建筑电气的概念,力求给"建筑电气"一个科学而规范的定义,分析了建筑电气的特性。