基于TCPN的产品协同设计过程时序逻辑推理研究

针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过程模型及其时间约束关系模型.通过分析协同设计过程的时间约束类型,提出了协同设计活动间的时间约束触发规则与推理机制,以及不同触发规则下的时间运算关系;最后通过一个链式输送机协同设计过程实例,验证了文中模型的相关结果,并开发了一个基于时间约束Petri网的协同设计过程时序推理仿真系统.     

云计算多授权中心CP-ABE代理重加密方案

代理重加密技术可使代理在不知道明文的条件下实现密文访问策略转换,这使代理重加密成为用户之间进行数据分享的重要技术。然而,代理重加密方案大多数是在单授权中心下构建的,存在授权机构权限大、易出现性能瓶颈和用户的计算开销大等问题。同时,大多数方案不满足代理重加密应具备的5个基本特性：单向性、可控性、非交互性、可重复性与可验证性。为解决以上问题,提出支持重复可控特性的云计算多授权中心CP-ABE（ciphertext-policy attribute-based encryption）代理重加密方案。在密文策略属性加密方案的基础上,引入代理加密和代理解密服务器从而减小用户客户端的计算开销,设置多个属性授权中心来分散中央机构权限。对代理重加密技术进行改进：在重加密密钥中设置随机因子和密文子项来实现单向性和可控性;设置的重加密密钥由客户端独立生成,不需要其他服务器参与,可实现非交互性,即可在数据拥有者为不在线状态时也可以进行数据分享;在初始密文中设置密文子项,对其多次加密即可实现重复性;在初始密文中设置验证子项,用户可验证外包以及重加密结果正确与否。通过与其他方案对比发现,所提方案的用户客户端计算开销较小,用户只需进行常数次的指数运算即可对原始密文解密,且安全性分析表明,所提方案基于q-parallel BDHE假设,在标准模型下可抵抗选择密文攻击。     

引入方向变量的群机器人启发式区域覆盖算法

针对基于栅格地图环境下,群机器人采用启发式全区域覆盖算法完成区域覆盖任务时,多个机器人相遇后,并发覆盖相同栅格而造成重复覆盖的问题,通过减少机器人运动过程中的转向次数的方法,有效减少了机器人的相遇次数,从而减少了机器人并发覆盖相同栅格的次数。根据该方法,在原算法中引入了方向变量,形成了改进的群机器人启发式全区域覆盖算法。最后,通过仿真实验,说明了该算法的有效性。     

教学研究型大学教学与科研的关系及融合机制研究

本文在分析教学与科研这两种大学基本职能关系间存在的问题的基础上，详细论述了教学对科研的推动作用、科研对教学的促进作用以及教学与科研相融合的条件，提出了教学与科研在相互融合方面的策略、方法和机制，对我国教学研究型大学处理教学与科研的关系具有一定的借鉴意义。     

基于CORBA环境的分布对象中间件异步轮询模型及算法研究

针对基于CORBA环境的分布对象中间件异步消息传递机制中的时间解耦问题进行研究.在分析了现有的CORBA中间件消息传递模型异步机制的基础上,提出了一种基于时间解耦的异步轮询模型,详细设计了该模型消息传递机制中的核心算法,并就算法的正确性进行分析与验证.     

基于CMM软件过程的阶段并行开发模型研究

本文针对CMM模型中涉及很少的软件开发进度规划问题进行研究，提出一种分阶段并行开发模型，并用数学方法进行描述，最后通过对该模型的每个阶段内部进行优化，使影响整体项目开发效率的因素，分解到每个阶段调节模型的具体参数上，最终达到提高整体项目开发效率的目的。     

基于信任度与策略相似度的访问策略合成研究

针对云计算跨域访问策略合成的自动化问题,以实现策略合成双方对聚合资源的保护需求,提出一种云计算环境下基于主体信任度属性和策略相似性合并的自动算子选择机制.通过引入主体信任度属性的相似度来简化复杂的主体信任度计算.同时引入弱一致性算子、异常算子、首次匹配算子对原有的策略合成算子进行扩充,给出了扩充算子的策略合成机制及选择...     

基于决策规则对象Petri网的机械产品协同设计过程动态建模

提出了一种基于决策规则的机械产品协同设计全过程动态建模方法。在定义了基于决策规则的协同设计过程OPN模型的基础上,将机械产品的设计过程描述为具有多个输入输出调用接口的设计单元模型,然后将设计单元的输入输出接口与协同设计过程的评审决策变迁绑定,构建了一种协同设计全过程控制模型。该模型通过决策变迁信息库所中的决策信息,动态地确定协同设计过程的执行流向。最后,以链式输送机驱动机构的协同设计建模实例验证了该方法的有效性。     

CAN技术在计算机称重计量自动化系统设计中的应用

阐述了应用控制器局部网 (CAN———ControlAreaNetwork)通讯网络技术和工业PLC控制检测技术来实现手动机械地衡称重系统的改造与设计 ,并应用面向对象的可视化编程语言PowerBuilder进行编程实现。