控制软件设计与验证计算机辅助系统

介绍了控制软件设计与验证系统的原理与实现过程 ,给出顺序功能图[1] (Se quentialFunctionCharts,即SFC)需求说明语言到系统Petri网模型的转化算法和系统几种异常现象的验证算法 ,讨论了系统实现的若干关键技术 。

基于动作捕捉的计算机动画探讨与实现

探讨了动作捕捉 (motioncapture)技术 ,分析了运动数据的采集方法及其处理技术 ,剖析了 3DStudioMax文件的结构 ,并利用 3DStudioMax文件建立了计算机动画模型 ;在此基础上 ,利用处理后的数据文件驱动该模型 ,实现了计算机动画生成 .最后探讨了其在影视制作中的应用 .

计算机联锁软件的Z规格说明

计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。

基于手机动态密码的计算机使用权限管理机制

信息化时代的到来,信息安全问题充斥着整个互联网领域。伴随着黑客技术的成熟,入侵个人计算机也已是一件易事,因而对个人计算机隐私和使用权限的管理显得尤为重要。然而常用的开机密码保护在朋友或同事要使用您计算机时会受到种种安全性考验。文章主要针对计算机使用权限的管理问题,基于RSA加密算法,提出了一种基于手机动态密码的计算机使用权限管理机制。首先,利用手机端与PC端共同作用提供动态密码,动态密码加密的设计在RSA加密模式基础上进行了一些优化与改进,利用明文编码和RSA加密算法生成动态密码,避免了时间种子生成动态密码的一些弊端,增加了密码破解的难度,也更加提高了加密的安全性。其次,提供了文件保护机制,给使用者设置不同的文件访问权限,并将这些信息融入到动态密码当中,计算机解锁后通过在内核中加载文件过滤驱动来保护用户私有目录的安全,提高了对系统敏感文件的防护等级。该机制立足于解决生活中计算机使用权限的难题,实现了用于计算机权限管理的手机动态密码系统。实验结果表明该机制有效解决了个人隐私和权限管理问题,具有较好的应用前景。

探索计算系统异构性的描述

1引言 近年来,随着计算机和通信技术的高速发展,因特网、Web、网格正在变得越来越普及,包含科技、文化、商业、新闻、娱乐等多种形式和类别的信息系统像雨后春笋般出现,使得信息不仅可在大范围共享,而且还能开展分布计算、并行计算、异构计算、元计算等服务.

基于SNMP的计算资源管理系统的设计

计算资源管理可以从计算任务的角度管理相关资源。该文介绍了基于SNMP的计算资源管理系统的设计,讨论了资源管理平台与资源管理模块相分离的两层结构以及关键性技术问题。

培养大学生科学思维方法的思考

思维是人脑的一种基本机能,它伴随着人类生活的始终,也是人类区别于其它动物的根本特征之一。思维方法则是研究人们思维活动规律的学问,通过思维方法的研究和探索,不断校正人类思维活动中的不良轨迹,提高思维活动的效率,促进人类社会的更快发展。

应用于城市规划、的工程数据库系统

基于城市规划工作的特点与要求,一个工程数据库既要存贮字符型数据,又要存贮图形数据。本文提出一种图形数据的关系表示方法,从而实现了图形数据与字符数据的相互转换,解决了图形数据的存贮组织和查询处理。在INFORMIX关系数据库管理系统和GKS图形核心系统支持下,给出了一个基于关系模型的工程数据库系统的设计,并在PC/XT微型机上开发出一个应用于城市规划工作的,既能处理字符型数据,又能处理图形数据的统一的工程数据库系统。

粒度计算研究综述

粒度计算 GrC(Granular Computing)是信息处理的一种新的概念和计算范式,覆盖了所有有关粒度的理论、方法、技术和工具的研究。它是词计算理论、粗糙集理论、商空间理论、区间计算等的超集,也是软计算科学的一个分支,已成为模糊的、不完整的、不精确的及海量的信息处理的重要工具和人工智能研究领域的热点之一。本文综述了粒度计算的发展动机、研究现状及发展趋势,着重介绍了粒度计算的主要理论模型与方法及其在不同领域的应用,对存在的问题进行了分析,并提出了进一步研究的方向。

基于数据仓库的决策支持系统研究与建设

文章首先介绍了决策支持系统（DSS）及其几点不足之处，指出新兴的数据仓库技术的固有特点可以弥补DSS的不足。在此基础上，文章提出了基于数据仓库技术的决策支持系统的体系架构，并结合实际的项目“浦东新区防灾救灾应急处理系统”阐述了这种体系架构的优越之处。

基于BPEL4WS的分布式应用系统的研究与实现

研究了基于Web服务的业务流程执行语言BPEL4WS(BusinessProcessExecutionLanguageforWebSer vices)的实现机制和关键技术 ,在此基础上 ,结合具体应用分析了BPEL4WS在分布式应用系统中的应用和实现。

基于模板匹配算法高速运动分析系统设计与实现

本文提出了一种改进的模板匹配算法的高速运动物体分析方法 ,并构建了相应的分析架构。通过对高速车辆碰撞试验的结果分析 ,可以看出本算法在点跟踪处理中 ,在精度和容错性方面都能够得到比较满意的结果。

一种改进算法的光学运动捕捉系统

对光学运动捕捉系统中关键技术进行了论述.为了得到无需后期手工标注的三维数据,需对二维标记点预测和跟踪,提出了利用先验数据准确跟踪标记点的算法.采用非线性和线性结合的方法标定摄像机,计算出摄像机的外部参数和内部参数.三维重建时利用多个摄像机融合重建,提高了重建的准确率,并利用对摄像机分组的方法,降低了运算的复杂度.实验结果证明,本系统能够得到较为精确的人体运动数据.

基于Petri网合成与化简的分布式数据库系统并发控制的死锁检测

利用模块化设计的思想 ,首先为分布式数据库系统中各事务的每一种操作 (读锁、写锁、解锁 )构造一个基本的加权 Petri网模型 ,并给出了加权 Petri网共享合成的概念 .然后利用共享合成技术 ,动态地构造各站点的加权 Petri网模型 ,以适应系统的动态变化 .此外 ,本文利用 Petri网的化简技术 ,极大地简化了各站点的 Petri网模型 ,之后利用同步合成技术构造出整个系统的 Petri网模型 ,较好地解决了 Petri网的可达性分析中可能出现的状态 "爆炸 "问题 .

网上证券交易系统的时序Petri网描述及验证

基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证.应用时序逻辑推理规则,从形式上严格证明了证券交易系统需求规范及其时序Petri网模型动态行为的一致性.结果表明,时序Petri网能够清楚而简单地描述事件间的因果关系和时序关系以及并发系统中某些与时间有关的重要性质,如最终性和公平性.因此,时序Petri网可作为并发系统形式化描述和分析的有力工具.

基于遗传算法的人工生命演示系统设计

讨论了人工生命仿真模型的建立方法 ,给出了一个基于遗传算法的人工生命模型及其演示系统的实现 .计算和考察了虚拟环境中生物在进化过程中的演变规律和涌现特征 ,模拟和解释了一些简单的生态行为和进化规律 ,如竞争、协作进化、群居、物种灭绝等现象 .这种通过进化的方法进行系统复杂性模拟的思想 。

探索信息系统的异构性问题

同构是相对的,异构是绝对的。异构性在信息系统中普遍存在,它是信息共享以及信息系统之间互操作的主要障碍。该文探索了信息系统异构性的合理化描述,给出几种定义异构性的方法。另外,异构性和任何事物一样,存在积极和消极的两个方面。论文研究并指出开发和利用异构性可增强信息系统的功能,屏蔽和抑制异构性可消除负面影响,从而拓宽信息系统的互操作和可用性。以上研究工作尚处于起步阶段,为深入探索异构性的规律及解决方案奠定了基础。

数据库系统并发控制的扩展有色Petri网方法

加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.

高性能网格并行计算

对高性能计算的各种方式进行了分析和比较，并阐述了网格和元计算的关系。通 过对当前各种网格工程的透视，论述了网格体系结构和网格服务语义。探讨了网格的两个关 键特点：异构性和动态性及其解决方法。对于认识网格概念以及指明未来高性能并行计算发 展方向有一定意义。

基于MobileAgent的信息检索系统的结构及相关技术

介绍了Mobile Agent系统的概念,提出了一个应用Grasshopper开发平台的基于Agent技术的网络信息检索系统的设计方案,讨论了该系统的结构模型。