关于软件产业价值链的思考

最近我一直在思考一个问题,为什么我国的软件企业规模很难成长起来;而像微软、IBM这样的公司,却能够发展成巨型的企业。 应该说,没有一个国家对软件产业的政策比18号文件更加优惠。但是,为什么这么优惠的条件,软件产业却没有像想象的那样发生天翻地覆的变化呢?我觉得,我国软件产业发展的瓶颈就是没有形成完善的价值链。     

产生式系统的两个发展方向—实时产生式系统和协同产生式系统

产生式系统是当今最负盛名的一种人工智能程序设计语言,然而它在实时处理、协同求解方面的应用却已被证明比较困难。本文则在大量相关工作基础上,详细讨论了实时产生式系统、协同产生式系统实现的可能途径和有关方法。     

MHNA:一种基于分子化服务的家庭网络体系结构模型

将分子化合思想与家庭网络相结合,提出了一种基于分子化服务的家庭网络体系结构模型MHNA。基于MHNA家庭网络体系结构模型,可以改变今天家电的简单物理互联为复杂逻辑互联,直至发生微粒度服务的组合“爆炸”,大大提升现有家电的功能效益。服务分子化后,在跨子网交互过程中会遇到一系列的新问题,文章阐述MHNA模型中对这些问题的解决方法。     

基于模拟的企业过程模型自动优化技术研究

企业过程模型参数自动优化是一个多参数多目标的系统优化问题.采用线性加权法将其转换成多参数单目标问题的求解,提出基于计算机模拟的企业过程模型参数的自动寻优方法.它将传统的共轭梯度法FR(fletcher reeves)和禁忌搜索算法TS(tabu search)结合起来,采用FR法进行局部寻优,由TS法实现从当前局部最优点向全域范围内的更优区域转移,循环往复达到求出全域范围最优点的目的.改进了FR法与TS法,克服了各自的缺陷,并提出禁忌区域表的概念,从而加速寻优过程.它适用于任意多维曲面的多极值问题最优求解     

ETSG-SMT:一种SMT时间信道安全问题描述模型

同时多线程（simultaneous multi-threading,SMT）技术是现代高性能处理器的标配技术,是提升线程级并行度的重要微架构优化技术之一.SMT技术在带来性能提升的同时,也引入了新的时间信道安全问题,相对于跨核、跨处理器,SMT技术下的时间信道安全问题更难应对和防护,且陆续有新的安全问题出现.当前缺少一种系统描述SMT环境下时间信道安全问题的方法.从利用SMT技术产生时间信道的原理入手,聚焦SMT环境下共享资源产生的时间信道及其攻击机理,基于拓扑排序图（topological sort graph,TSG）模型,结合数据流分析扩展得到一种适用于SMT环境下的时间信道安全问题描述模型——ETSG （extended topological sort graph,扩展的拓扑排序图）-SMT.首先介绍SMT环境下时间信道安全问题利用和防护的技术特点以及使用TSG模型分析SMT环境下时间信道安全问题的限制与不足;然后在TSG模型基础上,针对SMT技术特征及其安全问题的形式化描述特点,结合数据流分析技术形成一套新的建模方法;最后,通过将ETSG-SMT模型应用到SMT环境下现有的攻击方法和防护案例推导中,证明使用ETSG-SMT模型对SMT环境下时间信道原理分析和防护技术推导有很好的应用价值.     

动态需求跟踪方法及跟踪精度问题研究

在对动态需求跟踪现有研究综述的基础上,详细分析了动态需求跟踪面临的精度问题,并提出了解决方案——动态需求跟踪框架.该框架以自动化的需求跟踪为核心,组合了变更请求、影响分析、变更控制等活动,利用工作产品的特点和迭代过程中累积的变更信息来辅助建立需求跟踪关系,提高了需求跟踪关系的精度.     

基于动态资源使用策略的SMT执行端口侧信道安全防护

同时多线程(simultaneous multi-threading,SMT)技术是提升线程级并行度的重要微架构优化技术之一,SMT技术能够在1个物理核上实现2个逻辑核,提升处理器的整体性能.然而,以共享执行端口为代表的SMT环境下特有的时间侧信道安全问题也陆续出现.提出了一种基于动态资源使用策略的SMT环境下执行端口时间侧信道攻击防护方法,基于SMT技术对数据结构资源的不同处理方式设计动态策略调整算法,通过改进处理器端口绑定及调度选择算法以防护SMT环境下执行端口时间侧信道攻击.防护设计实现了端口冲突矩阵、分支过滤器和动态资源使用策略修改器3个组件,该方法在防护有效性上可以达到关闭SMT技术的防护效果且性能开销大大降低,同时硬件开销可控,具有较高的应用价值.     

一种形式化的组件化软件过程建模方法

为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.     

一种用户主导的面向领域应用软件开发新方法

提出一种应用软件开发的新方法,称为“用户工程”.这是一种基于构件化软件系统结构的用户主导的面向领域的应用软件开发方法,强调用户在应用软件开发中的主导作用,试图将应用软件的开发过程变成用户详细定义过程,而不仅仅是传统的编程过程.它为越来越多的应用软件开发需求提供了可能有效的一个途径.     

虚拟硬件方法实现基于Intel StrongARM SA-1110平台的Linux APM

文章讨论了在StrongARM SA－1110开发板上实现Linux APM的主要技术问题。在分析了Intel StrongARM最新处理器SA－1110及开发板（Assabet）与电源管理相关的结构和特性的基础上,提出了一种基于虚拟硬件的系统跨平台移植的方法和思路,并以实际开发过程中的经验为背景,介绍了在Linux APM基于SA－1110平台的移植工作中虚拟硬件方法的应用和虚拟硬件方法在操作系统跨平台移植开发上的优点。