automatic construction of finite algebras

This paper deals withmodel generation for equational theories, i.e., automatically generating (finite) models of a given set of (logical) equations. Our method of finite model generation and a tool for automatic construction of finite algebras is described. Some examples are given to show the applications of our program. We argue that, the combination of model generators and theorem provers enables us to get a better understanding of logical theories. A brief comparison between our tool and other similar tools is also presented.

低轮Camellia的碰撞攻击

Camellia是欧洲密码大计划NESSIE的最终获胜者, 首先构造了Camellia的4轮区分器, 然后利用这些区分器和碰撞搜索技术分析Camellia的安全性. 在密钥长度为128比特的情况下, 攻击6轮Camellia的数据复杂度小于210个选择明文, 时间复杂度小于215次加密; 攻击7轮Camellia的数据复杂度小于212个选择明文, 时间复杂度小于254.5次加密; 攻击8轮Camellia的数据复杂度小于213个选择明文, 时间复杂度小于2112.1次加密; 攻击9轮Camellia的数据复杂度小于2113.6个选择明文, 时间复杂度小于2121次加密. 在密钥长度为192/256比特的情况下, 攻击8轮Camellia的数据复杂度小于213个选择明文, 时间复杂度小于2111.1次加密; 攻击9轮Camellia的数据复杂度小于213个选择明文, 时间复杂度小于2175.6次加密; 攻击10轮Camellia的数据复杂度小于214个选择明文, 时间复杂度小于2239.9次加密. 结果显示碰撞攻击是目前对低轮Camellia最有效的攻击方法.

基于嵌入式Linux的网络电视终端的实时性开发及HTML控制方法

Linux诸多优点，和国际自由软件组织的努力，使基于Linux的开发的嵌入式产品越来越多。由于Web技术的普及，怎样在嵌入式产品上实现性能优异的Web功能成为了当前的一个研究热点。该文深入探讨在进行嵌入式应用开发过程中遇到的问题并给出了相应的解决方法。并以网络电视终端为例，详细论述具体嵌入式产品中各部分的设计和实现。重点论述基于嵌入式Linux的网络电视终端的实时性开发及HTML控制方法。

基于场景的笔式界面设计工具的设计和实现

设计实现了一个基于数字笔的用户界面设计工具，该工具以面向笔式界面领域，基于场景的设计思想来设计系统中的界面场景组织关系以及场景之间的动态切换方式，设计者与工具间的交互自然流畅、快捷高效。通过手势识别技术，该工具可以将场景的设计结果转换为内部的界面描述语言，并通过相应的解释最终构造生成笔式用户界面。该工具可以快速生成界面原型，从而有效地提高了笔式交互系统的设计和开发效率。

coconceptmap: a system for collaborative concept mapping

Concept mapping is a technique for visualizing the relationships between different concepts, and collaborative concept mapping is used to model knowledge and transfer expert knowledge. Because of lacking some features,existing systems can’t support collaborative concept mapping effectively. In this paper, we analysis the collaborative concept mapping process according to the theory of distributed cognition, and argue the functions effective systems ought to include. A collaborative concept mapping system should have the following features: visualization of concept map, flexible collaboration style,supporting natural interaction, knowledge management and history management. Furthermore, we describe every feature in details. Finally,a prototype system has been built to fully explore the above technologies.

使用Gantt图建立EPC工作流模型的研究

论文结合建筑工程项目的特点,讨论如何使用广义Gantt图建立基于EPC的工作流过程模型,旨在为建筑工程项目的工作流管理提供一个新的思路。

一种问题驱动的经验软件工程研究方法与实践

随着软件应用领域的不断扩展，社会对软件产品的需求也在急剧膨胀。经过近三十年的锤炼与积累的经验教训，软件组织已不再以开发出满足用户需求的产品作为唯一的项目成功目标，而是将控制预算、提高生产率、更有效利用资源等方面都列入了考虑范围。 对于软件组织而言，要获得组织整体的长远发展，需要实施量化项目管理、开发过程控制、持续过程改进等一系列措施，在项目的不同时期设立合理的控制点和决策点来指导和监控项目的进行情况。当前，全球性分布式开发、敏捷开发与开源代码开发等已经形成了软件开发的新趋势；同时，大型软件企业在选择外包承接商时需要考虑众多因素，包括软件开发过程因素、人员因素、产品技术因素等多项可以为他们的决策提供辅助支持的信息。软件项目相关的决策支持除了组织内部需求以外，也存在于其他场景。例如，政府在进行软件资助项目挑选时、在购买合同软件时，也需要更客观更严谨的对这些项目予以评价并作出决策。 而种种这些软件行业的决策支持所需要的信息主要借鉴两方面信息源，一方面是在行业或市场背景下的软件组织所积累的特征和经验数据，另一方面是来自学术研究领域的相关理论和模型的支持。正是在这样的应用环境下，软件工程领域的经验研究在过去的二十多年里逐渐兴起(最后演变为“经验软件工程”这个独立的研究方向)，它强调从实际观察和历史数据中挖掘信息或设计一定的实验来进行对已有理论与模型的验证与推进。 本文以经验软件工程领域的研究特征为基础，提出了一种问题驱动的经验研究方法框架，以及遵循这个研究框架进行的实例化经验研究。其中主要的独创性内容包括： 提出了一种问题驱动的经验软件工程研究方法框架QD-ESE (Question-Driven Empirical Software Engineering)，其结构上由开发实践层、经验研究层、经验管理层三个部分组成。在经验研究步骤的进行过程中，融合经验软件工程的研究成果，通过三个部分的交互，实现经验研究所需信息支持与利用、数据分析、知识提取与经验积累等工作。 通过对QD-ESE框架的实例化应用，实现了针对工作量分布的经验研究，分析了市场演变等五个维度对产品演化项目中工作量分布的影响。该实例是针对软件项目中对工作量阶段分布预测的困难而提出的。其中基于某组织系列版本的产品开发数据，从市场演变、产品内容、开发过程、开发团队与采用技术五个维度，分析了它们对各版本项目中的工作量分布的具体影响，为开发组织在项目中的工作量阶段分配提炼并积累了可以借鉴的实际经验。 在针对生产率的经验研究实例中，得到对中国软件行业生产率整体状况的调查结果，并发掘出开发类型、业务领域、团队规模等多个影响生产率差异的显著因素。该实例研究是在中国软件行业缺乏产业数据及相应的重要指标基准问题的实际背景下提出的，尤其针对产品演化项目。遵循QD-ESE研究框架，并基于首次发布并可用的中国软件基准组数据，对软件开发生产率的影响因子进行了分析，为软件组织在提高生产率和改善开发过程方面提供了有价值的数据、信息和建议。 最后，QD-ESE研究框架在针对软件成本估算的经验研究实例中进一步得到应用，提出了一套针对政府软件合同定价的估算建模方法并在政府资助等实际项目中予以应用。该实例是在分析政府在软件项目合同定价中遇到的挑战并发现软件成本预算与核算中问题的实际背景下提出的。最终，提出了针对政府软件合同定价的COGOMO成本估算模型(COnstructive GOvernment cost MOdel)。