您的位置： 专家智库 > >

王振宇

作品数：15 被引量：44H指数：4
供职机构：哈尔滨工程大学更多>>
发文基金：国防科技技术预先研究基金软件工程国家重点实验室开放基金国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术交通运输工程经济管理文化科学更多>>

合作作者

文献类型

  • 9篇期刊文章
  • 6篇学位论文

领域

  • 8篇自动化与计算...
  • 2篇经济管理
  • 2篇交通运输工程
  • 2篇文化科学
  • 1篇社会学
  • 1篇语言文字
  • 1篇理学

主题

  • 7篇软件体系结构
  • 7篇体系结构
  • 3篇实时系统
  • 3篇分布式
  • 3篇分布式实时
  • 3篇分布式实时系...
  • 2篇体系结构描述...
  • 2篇状态树
  • 2篇描述语言
  • 2篇结构描述语言
  • 2篇CHAM
  • 2篇LTS
  • 1篇当代中国社会...
  • 1篇动态响应分析
  • 1篇多媒体
  • 1篇多媒体课件
  • 1篇信贷
  • 1篇信贷业务
  • 1篇银行
  • 1篇有限元

机构

  • 15篇哈尔滨工程大...
  • 3篇华中师范大学
  • 2篇武汉大学

作者

  • 15篇王振宇
  • 7篇叶俊民
  • 2篇罗景
  • 2篇曹瀚
  • 2篇赵良
  • 2篇黄萍
  • 1篇叶俊民
  • 1篇朱凯
  • 1篇黄文聪
  • 1篇陈利

传媒

  • 2篇计算机工程
  • 2篇小型微型计算...
  • 2篇计算机科学
  • 1篇黑龙江科技信...
  • 1篇哈尔滨工程大...
  • 1篇海军工程大学...

年份

  • 2篇2020
  • 2篇2009
  • 1篇2008
  • 1篇2006
  • 5篇2005
  • 1篇2004
  • 2篇2003
  • 1篇2002
共 15 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
普通高校羽毛球多媒体教学网站的研究与设计
随着计算机辅助教学的发展，传统的单机版的计算机辅助教学越来越难以适应现代化教学的需求，计算机辅助教学开始向网络化方向发展。这种网络化计算机辅助教学能够提供丰富的学习资源，并且教学实施不受时空限制，还能实现教师与学生、学生...
王振宇
关键词：羽毛球教学多媒体课件教学网站计算机辅助教学
文献传递
聚能装药对复杂板壳结构的破坏机理研究
本文介绍了聚能装药的基本理论和国内外研究现状，阐述了课题研究背景、目的性和必要性。运用流体力学方面的理论介绍了聚能射流的形成过程。分析了射流破甲的形成与终止的原因。在此基础上，导出了聚能射流对双层板破坏的简单公式。 ...
王振宇
关键词：聚能装药数值模拟板壳结构聚能射流有限元程序舰船
文献传递
TSP及其操作语义模型研究
2005年
在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.
叶俊民王振宇黄萍赵恒
关键词：TSP操作语义
企业文化创新提升企业核心竞争力问题研究
改革开放20多年来,中国企业总体上有了很大进步,但企业的核心竞争力与发达国家相比仍有很大差距.不但如此,中国的企业文化建设,也与发达国家的企业文化建设存在很大差距,这也正是中国企业竞争力较低的一个重要原因.本文就是从中国...
王振宇
关键词：企业文化企业文化创新企业核心竞争力
文献传递
水下爆炸作用下结构的动态响应分析
水下爆炸需要考虑五个部分：冲击波、空泡及气泡、射流、流固耦合现象、结构的动态响应。本文采用了理论分析以及数值模拟的方法求解了水下爆炸时近场产生的气泡脉动流场，继而对气泡脉动压力作用下板的响应进行分析。然后将水下声能与爆炸...
王振宇
关键词：水下爆炸气泡脉动冲击波圆柱壳体
文献传递
如何在大学竞赛中预防运动员攻击性行为的发生被引量：1
2009年
随着国家对高校体育运动教学的重视,学校内的运动竞赛活动也随之而增多。伴之而来的问题就是学生运动员在竞赛中的攻击性行为。从心理角度对学生在运动竞赛中表现出来的攻击性行为进行分析,并提出解决对策。
王振宇黄文聪
关键词：ATTACK
基于CHAM模型的LTS状态树生成算法被引量：4
2003年
标号迁移系统(labelledtransitionsystem,LTS)是形式化一致性测试的重要研究方向.在软件体系结构(softwarearchitectures,SA)测试计划生成的研究中,需要从化学抽象机(chemicalabstractmachine,CHAM)模型中生成LTS,以表达出软件体系结构的动态特征.因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题.基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法.
叶俊民王振宇曹瀚赵恒
关键词：软件体系结构
B银行对公信贷业务的风险识别与控制
信贷业务是商业银行的主要盈利渠道，而对公信贷业务又是整体信贷业务的核心。所以商业银行若想持续发展，首先要保证整体的信贷业务安全稳步的发展，其基础是合理控制好信贷业务中的风险因素。目前我国商业银行普遍缺乏完善的对公信贷风险...
王振宇
关键词：商业银行信贷业务
文献传递
软件体系结构测试覆盖准则研究被引量：4
2005年
基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。
叶俊民赵良罗景王振宇赵恒
关键词：软件体系结构测试覆盖准则
分布式实时系统体系结构描述语言的设计及其应用实例研究被引量：4
2005年
为了完成基于软件体系结构(SoftwareArchitecture,SA)分布式实时系统的测试,需要设计一种体系结构描述语言(ArchitectureDescriptionLanguage,ADL)描述被测系统,以便自动产生测试用例.在考察现有的体系结构描述语言(Architec-tureDescriptionLanguage,ADL)的基础上,分析了现存ADL的不足,提出了一种新的分布式实时系统体系结构描述语言(Dis-tributedReal-TimeSystemArchitectureDescriptionLanguage,DRTSADL),研究了该语言的语法和操作语义.结合一个分布式实时前端系统实例描述,说明了DRTSADL的应用.与现存ADL相比,新的ADL对分布式实时系统有较强的描述能力.
叶俊民王振宇黄萍赵恒
关键词：软件体系结构体系结构描述语言分布式实时系统
全选 清除 导出
共2页<12>
聚类工具0