基于功能点估算的逆向工程方法

功能点分析是从用户的角度度量软件功能规模的一种方法。本文首先对功能点分析(FPA)现有的半形式化模型进行了扩充,然后形式化描述了外部查询(EQ)的4条规则,并提出了基于源代码的逆向工程技术方法来处理这4条规则,为全自动化度量奠定了理论基础。     

拓扑线性空间中连续线性算子的Drazin广义逆

拓扑线性空间中连续线性算子T具有连续D razin广义逆的充分必要条件是T的指标Ind(T)=k< ∞,且R(Tk)为具有T—逆性质的闭线性子空间.     

基于强化学习的连续型机械臂自适应跟踪控制

针对空间主动碎片清除操作中连续型三臂节机器人系统跟踪问题,提出一种基于强化学习的自适应滑模控制算法。基于数据驱动的建模方法,采用BP神经网络对三臂节连续型机械臂进行建模,并作为预测模型指导强化学习实时调节所提出滑模控制器的控制参数,从而实现连续型机器人运动的实时跟踪控制。仿真结果表明：提出的数据驱动的预测模型对随机轨迹预测的相对误差保持在±1%以内,能够高精度地反映系统动态特性。对比固定参数的滑模控制器,提出的自适应控制器在保证系统达到控制目标的同时具有更低的超调量和更短的调节时间,表现出更好的控制效果。     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

城市设计中的公众心理

从阐述城市设计的内涵入手,指出城市设计的作用在于建立人性城市,进而揭示城市设计与公众心理两者之间的深层次关系,即塑造天人合一的城市空间.     

中国古建筑的亲和力

从中国传统的自然观入手,对传统建筑的择址、用材、界面进行了分析,总结出中国古建筑的生命力在于建筑、人、自然三者之间的和谐统一.     

自动化立体仓库固定货架货位的优化研究

通过对自动化立体仓库总体工作过程和存储模式的分析,提出了一种基于作业时间的固定货架的货位优化设计思想,并应用遗传算法进行了实验验证,证明优化后的货位设计确实提高了仓储作业效率。     

具有常余维数2k+2k-2不动点集的(Z2)k作用

设(Z2)k作用于光滑闭流形Mn,其不动点集具有常余维数r,Jn,kr是具有上述性质的未定向的n维上协边类[Mn]构成的集合.Jn,kr=∑n≥rJn,kr为未定向上协边环N*=∑n≥rNn的理想.通过构造上协边环N*的一组生成元决定了理想J2k 2k-2*,k.     

2*2上三角算子矩阵的左(右)Browder谱

设X,Y是复的Banach空间,在一个上三角算子矩阵Mc=A C0 B∈B(XY)中,A∈B(X),B∈B(Y)是事先给定的,对于任意的C∈B(Y,X),Mc的左(右)Browder谱:lσb(Mc)={λ∈C:Mc)-λB (XY)},B (XY)={T∈Φ (XY):asc(T)<∞},(rσb(Mc)={λ∈C:Mc)-λ■B-(XY)},B-(XY)={T∈Φ-(XY):des(T)<∞}).文中得到lσb(Mc)(rσb(Mc))与lσb(A)∪lσb(B)|rσb(A)∪rσb(B))之间存在有趣的填洞现象,即σ*(A)∪σ*(B)=σ*(Mc)∪W.其中,W是σ*(Mc)的某些洞的并σ*∈{lσb,rσb},并找出洞W的具体位置.     

系统仿真在载人航天中的应用

探讨了系统仿真的各个发展阶段在载人航天中的应用,介绍了在航天员能力评估、研究空间运动病、训练及研究用模拟器等方面的应用情况,并提出重视方案论证阶段仿真,强调仿真的集成化和智能化以及拓展仿真应用的几点思考。