基于动态变迁图的卫星总装规划建模技术研究

不同于一般机械产品装配的流程,卫星总装的过程是"拆""装"操作相结合的,为了解决这一类特殊的非线性装配顺序规划问题,提出了一种基于动态变迁图的装配规划模型。该模型在静态有向连接图的基础上,通过逐层分析和验证可能的状态以动态变迁图为核心构建装配任务过程树,从而支持卫星所有几何可行的流程序列表达和装配场景再现。最后通过某型卫星舱段总装验证了该建模方法的有效性。     

Bipartite graph-based control flow checking for COTS-based small satellites

Single event upset(SEU)effect,caused by highly energized particles in aerospace,threatens the reliability and security of small satellites composed of commercial-off-the-shelves(COTS).SEUinduced control flow errors(CFEs)may cause unpredictable behavior or crashes of COTS-based small satellites.This paper proposes a generic software-based control flow checking technique(CFC)and bipartite graph-based control flow checking(BGCFC).To simplify the types of illegal branches,it transforms the conventional control flow graph into the equivalent bipartite graph.It checks the legality of control flow at runtime by comparing a global signature with the expected value and introduces consecutive IDs and bitmaps to reduce the time and memory overhead.Theoretical analysis shows that BGCFC can detect all types of inter-node CFEs with constant time and memory overhead.Practical tests verify the result of theoretical analysis.Compared with previous techniques,BGCFC achieves the highest error detection rate,lower time and memory overhead;the composite result in evaluation factor shows that BGCFC is the most effective one among all these techniques.The results in both theory and practice verify the applicability of BGCFC for COTS-based small satellites.     

基于有向图的飞机数字化装配生产线全局建模

根据飞机装配生产线中产品的构成及装配方式等特点,涵盖装配信息引入和装配信息退出的概念,实现飞机装配关系建模的有向图表示。结合层次模型和关系模型特点,将装配过程信息引入装配模型中,并追加数字化装配系统信息,采用邻接矩阵表示法来存储分层模型中的各类信息,建立基于分层有向图的飞机装配生产线模型。     

基于多信号模型的空间站某典型产品测试性建模与分析

测试性建模与分析在提高产品的测试性设计水平上,发挥的作用越发重要.基于多信号流图模型方法,以某典型产品为例,分析其工作原理和结构,建立其测试性模型.根据分析结果,采用增加测点、断开反馈回路的方法,改进了模型的测试性设计,提高了其测试性指标.     

社会网络和团队认知对团队知识转移的影响

文章整合社会网络理论和知识转移等理论,分析团队中的社会网络结构对团队认知、团队知识转移的影响,结果表明社会网络结构有助于团队认知的形成和团队知识转移。因此,应该充分利用团队内部的社会网络关系,增强团队成员的团队认知,促进团队的知识转移,提升企业绩效。     

论知识经济时代企业财务管理的变革

21世纪是知识经济迅速发展的经济时代，知识经济的发展一方面表现为知识对传统产业的高度渗透另一方面表现为高新技术产业的迅速发展。为此，人们传统的工作方式、管理方式以及生活方式将逐渐被打破。这给传统的财务管理理论和方法带来了机遇和挑战，一个新的财务管理时代正在到来。     

提高人文水平 加强素质教育

素质教育提倡科学教育与人文教育整合，以培养高素质的科技人才。而目前，我国的大学英语教学又是以理工科学生为主要对象。在这种情况下，在英语教学中加强人文教育有重要的意义。     

求最短道路的改进方法

通过具体例子说明含负权的有向图D=(V,E)中,用Dijkstra算法构造的V的子集Sk的标号未必都是从顶点V1到该点的最短路权,指出在此情况不能用Dijkstra算法求最短道路,进而给出了含负权的有向图中用递推公式求最短道路的方法,并用数值例子说明了所提方法的应用。     

R(4,3,n)型图的优美性

对R(4，3，n)型图的优美性及交错性进行了讨论。证明了R(4，3)型图是优美交错图，由R(4，3)型图与路Pn 1=V0V1V2……Vn粘接而成的R(4，3，n)型图既是优美图，同时也是交错图，并给出了R(4，3,4)，R(4，3，5)的优美标号。     

21世纪的知识化管理趋势

文章从 6个方面对 2 0世纪 90年代以来管理学的发展进行了归纳 ,由此认为 ,新世纪的管理必然是以IT支撑的互联网经济为背景 ,由新型的组织形态、能够快速响应顾客需求的先进制造技术、人力资本的产权激励等几方面的有机融合。