一种软硬件协同设计工具原型及其设计描述方法

软硬件协同设计工具不但需具有软硬件功能划分的能力,而且应可实现系统级设计到软硬件基本结构的综合。提出一种利用进程代数为高层设计语义基础,可重用现有软硬件设计工具资源的软硬件协同设计工具的实现方案框架,重点讨论其中的设计描述问题。采用这种基于语言变换的软硬件协同设计工具方案有利于对系统的活性、安全性、接口一致性等性质进行高层仿真与形式验证,具有可用性、易扩展好等优点。     

利用计算机实现分形插值算法图形模拟

本文针对传统的计算几何方法对三维自然景物等较困难的现状。通过用计算机模拟实现分形几何中的分形插值算法。借助于公式和参数，能用少量的数据来刻画事物的大致轮廓或有关特征，为计算机模拟实际景物起到抛砖引玉的功能。     

基于LBS和GPRS的报警跟踪系统的开发和研究

本文介绍了一个利用LBS和GIS技术实现的实时报警跟踪系统,详细介绍了其中的通讯链路和手机开发模块的实现流程,并针对LBS精度不高的缺点,提出采用路网拟合等的方法提高轨迹和路线的逼近的策略.     

基于贝叶斯网络的概念间语义相似度计算

概念间语义相似度研究是知识表示和信息检索领域中的一个重要内容,也是自然语言处理研究的重要组成部分,是人工智能领域中一个亟待解决的问题。本文在本体的基础上,对传统的相似度计算模型进行改进,提出一种基于贝叶斯网络的概率推理方法,改进概念间语义距离的计算,从而提高了语义相似度计算模型的效果;同时采用D-分离的方法,解决了在推理过中的计算复杂性。     

WTO与我国工程造价管理模式的改革

介绍了WTO对我国工程造价管理的影响 ,阐述了我国的工程造价管理应统一工程量计算规则 ,指出全面推行工程造价信息化管理和加快工程造价人才的培养势在必行     

基于回答集编程的Banks选举求解方法

采用启发式算法的Banks选举在进行求解时执行效率较低。为解决该问题,提出一种基于回答集编程(ASP)的求解方法。通过建立Banks选举问题到ASP问题的映射,编写相对应的ASP,调用回答集求解器进行求解,得到的每一个ASP模型就是Banks选举问题的一个解。实验结果表明,当问题规模为200时,该方法的求解时间为4.196 s,求解效率高于手工启发式方法。     

QQ作文

我们班有一个QQ群,群里有30多个学生和6位教师,学生经常在群里与我们聊天。我们想,既然可以聊天,我们能不能来一次QQ作文？这样不仅可以把QQ用于教学,引导学生掌握信息技术,争取家长对学生上QQ给予支持;还可以使作文教学方式更加生动活泼。说干就干,我们俩一合计,进行了必要的准备,第三天就进行了尝试。     

WAML和服务自动组合算法

服务组合一直是Web服务研究的一个难题.本文提出并采用具有能力、意图、信念、愿望等Agent特性的标志语言WAML(Web Agent Marked Language)作为服务描述语言,用WAML语义生成Web服务组合链的方法实现服务组合.并对组合算法的实现中出现图的修正问题进行了讨论.实验证明,基于WAML的服务组合算法可行,所得到的服务调用链符合用户的要求.     

办公自动化系统中通讯功能的设计与实现

本文介绍了一种在Louts平台下,利用VC++的WinSocket功能实现OA系统中的实时通信、即时或定时提醒和远程监控功能的方法,并介绍了如何将此功能嵌入Louts系统的方法.     

早开堇菜的挥发性成分分析

用气相色谱—质谱法分析鉴定了早开堇菜的挥发性成分,确定了早开堇菜挥发油中44种化学成分,占挥发油总量的42.33%,采用峰面积归一化法求出了各种成分的相对含量。