【摘 要】
：
简要介绍了有限精度时间自动机(FPTA)的基本概念,重点讨论FPTA状态中时钟的表示。FPTA只记录时钟值的整数部分,而用时钟序的概念来模拟表示时钟值小数部分的大小关系,从而减少生成的状态空间。在FPTA模型中,时钟操作的时空性能主要依赖于时钟序的数据结构和算法。提出了用位矩阵来表示时钟序的数据结构POM(Partial-OrderMatrix)。采用该结构的操作算法具有O(n)复杂度,且无需标准
【机 构】
：
中国科学院软件研究所计算机科学重点实验室,中国科学院研究生院
【基金项目】
：
国家自然科学基金资助项目（60273025,60223005,60421001）,国家“973”计划资助项目（2002cb312200）
论文部分内容阅读
简要介绍了有限精度时间自动机(FPTA)的基本概念,重点讨论FPTA状态中时钟的表示。FPTA只记录时钟值的整数部分,而用时钟序的概念来模拟表示时钟值小数部分的大小关系,从而减少生成的状态空间。在FPTA模型中,时钟操作的时空性能主要依赖于时钟序的数据结构和算法。提出了用位矩阵来表示时钟序的数据结构POM(Partial-OrderMatrix)。采用该结构的操作算法具有O(n)复杂度,且无需标准化操作;同时,一切操作均可以通过位运算实现,从而大幅度提高时钟操作的时间效率。
其他文献
本文针对汽车无线功率传送过程中的高电磁辐射、高耗损问题,在壁挂箱(WallBox,包括功率因数校正和逆变网络)的功率因数校正(Power Factor Correction,PFC)网络中,采用了一种
系统地分析了基于外观的人脸检测方法,并对其进行了分类和评价,从特征脸方法、基于分布的方法、神经元网络、隐Markov模型和支持向量机等方面介绍了人脸检测方法的优缺点和适用领域。最后提出了人脸检测方法未来的研究方向。
利用分块DCT系数的周期特性,结合Z字形编码置乱技术和JPEG量化系数,提出了一种在分块DCT中频交流系数中嵌入有含义二值水印图像,以实现盲检测的水印方案。实验结果表明,该算法对图像剪切、JPEG有损压缩、中值滤波等攻击有很强的鲁棒性。
提出了一种基于小区域增长的分割算法对人体肝脏的MDCT医学图像进行分割。先把三维人体肝脏的MDCT图像变成一系列二维图像;再对每个二维图像分配多个种子点,从每个种子点出发进行小区域增长;最后,把每个二维图像分割的结果整合成三维肝脏图像。实验结果表明了该算法的准确性和可行性。
利用JSF框架在表示层上的强大功能,针对JSF框架在业务、数据持久化管理方面的不足,采用MVC(model-view-controller)model-2模式设计一种Web应用开发方案。该方案采用表示层、业务层、持久层三层结构进行设计。工程实践表明,利用该方案进行Web开发有结构清晰、维护方便和高复用性等优点。
根据径向基函数神经网络(RBFNN)具有很强的非线性逼近能力,以及强大的抗噪、修复能力等优点,讨论了目前神经网络训练方法,提出将径向基函数神经网络应用于带有噪声数据散乱数据点自由曲面的重构,并对该方法理论上的可行性和实践上的实用性进行了讨论和验证。结果表明:径向基函数网络用于曲面重构,不仅能够有效地逼近不完善的、带有噪声的曲面,而且拟合精度高、网络的训练速度快,说明了径向基函数神经网络应用于曲面重
数据挖掘能从不同角度、不同抽象层上看待数据,这将潜在地影响数据的私有性和安全性。着重介绍了关联规则数据挖掘中的规则隐藏算法,提出了一个改进的关联规则隐藏算法OSA,该算法综合采用项的添加和约束方法来降低关联规则的支持度和置信度,从而达到规则隐藏的目的。
充分利用目前的互联网及宽带技术,结合ASP模式的企业信息化建设思想,采用嵌入JSP页面的JavaApplet方法,提出了WWW上基于ASP模式的3D展示平台方案。将每个产品目录下上传的所有图片及图片索引Index.xm l打包成Jar文件,当从W eb浏览器端访问时,直接读取这些Jar文件,大大降低网络传输的数据流量,从而减轻对带宽的依赖,解决了不具备IT实力的中小企业产品3D效果展示、宣传推广的
空间决策支持系统作为地理信息系统与决策支持系统的结合体,兼有两者优点,并在国家信息化的发展中扮演越来越重要的角色。其信息模型(即空间数据仓库的信息模型)的优劣直接影响到空间决策支持系统的成败。从支持一般决策过程的角度出发,提出了一种通用的空间决策支持系统信息模型,即实体—关系—问题模型,最后给出了基于实体—关系—问题模型的空间数据仓库构建方法。
根据KADS的知识模型探讨了领域知识库系统构建的分层模型,并基于Ontology对知识库进行了设计。通过C++和ASP技术对学习系统中的部分模块进行了实现。最后给出了原型系统的运行界面。