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

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

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

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

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

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

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

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

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

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

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

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

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

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

粒度计算研究综述

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

基于广义随机Petri网的交通信息系统建模与分析

交通信息系统 (TIS)是目前世界各国交通运输领域竞相研究和开发的热点 .它是一种复杂的服务性系统 ,具有典型的业务过程特点 ,但目前用工作流来分析交通信息系统的研究尚不多见 ,更很少有人对该系统中的一些实时性服务进行时序分析 ,提出优化方案 .该文将广义随机Petri网与工作流相结合 ,首先为TIS建立符合工作流概念的广义随机Petri网模型 .然后根据实际系统中相关数据的统计分析和经验估计 ,利用基于行为表达式的分析方法对点播服务的时间性质进行分析 ,获得了一些有价值的性能指标信息 .

基于信任机制的协作系统形成与演化机制

通过借鉴人际关系信任模型,利用Bayesian方法对agent的可信度进行评估,提出了一种基于信任机制的多agent协作系统的形成方案。通过agent间基于信任关系的链接更新形成稳定的多agent协作系统,并通过随机图模型分析了提出的协作系统的演化特征。仿真结果证实,提出的协作方案不仅能有效地促进agent间的协作效率,提高共同完成任务的成功率,还能提高整个网络系统的交互性能,使agent聚集在服务能力较强的可信agent周围,保证协作对象选取的可靠性。

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

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

Web Service技术进行企业系统应用集成的研究

随着网络化发展的需要 ,以及电子商务系统的应用 ,我们需要将企业原有的众多内部系统进行整合 ,并且将他们和对外的电子商务系统相联系。