浅论高校学报编辑的系统性

高校学报是各类学术论文按照一定规律组合起来的有机整体.学报的出版包括总体设计和编辑出版流程两大系统.它由制订计划、组稿审稿、加工发排、排版印刷、出刊发行、反馈总结、交由合作的电子杂志社出版电子或网络版等相互作用和相互依赖的若干工艺结合而成的,具有特定功能的有机整体;而且每一个工艺又是整个系统的组成部分.它是一项多因素、多阶段的系统工程,具有明显的整体性、联系性、有序性,充分体现系统工程的理念.     

财务职能的制度经济学分析

企业的性质可从生产或技术的组织、稀少性价值增进与调控的机制、产权联合与“团队生产”的载体3个层面来认识.在这3个层面上,企业活动实际上是通过不同类型的交易展开的,因而企业应视为一种“交易的集约机构”.相应地,企业的财务活动也是以买卖的交易、管理的交易、限额的交易而展开的,分别行使具体的财务经营职能、财务管理职能、财务治理职能,并共同、联合地完成财务的基本职能,即配置企业拥有或控制的财务资源.     

一类特殊的有限p-群

探讨了一类特殊的有限p -群,即对任意x,y∈G,如果[x,y]≠1,那么《x,y》(△)-G.主要证明了:如果满足这样条件的有限p -群G＝《x1,x2,…,xn》,其中对任意x∈G,《x》G是交换群或者内交换群.     

一类分数阶比率依赖型捕食系统的动力学分析

讨论了一类食饵带有疾病的分数阶比率依赖型捕食系统的动力学行为.利用线性化方法定性分析了各类平衡点的稳定性,并给出了其正平衡点局部渐近稳定的充分条件.数值模拟显示,参数和阶数对平衡点的收敛速度及其稳定性产生很重要的影响.     

一种基于视频图像的挖掘机工作状态识别方法

为了实现违法用地现象的实时监测,对土地间的挖掘机等施工机械的工作状态识别是非常重要的.实际场景下,因随机噪声和光照变化的影响,给挖掘机工作状态识别带来极大的挑战.本文提出一种基于视频图像的挖掘机工作状态识别方法,首先,对同一品牌挖掘机工作装置的各种姿态建立混合local binary features (LBF)形状回归模型并进行离线训练;其次,利用上述模型预测输入视频帧中挖掘机工作装置的形状信息,构建挖掘机的工作状态特征描述子;最后,利用support vector machine (SVM)分类器自动判别挖掘机的工作状态—-工作状态或非工作状态.实验结果表明,该方法很好地克服了多姿态导致形状变化的影响,对挖掘机工作状态识别准确率达到了93.53%.     

北桥设计中的总线周期精确事务级建模

总线周期精确事务级建模能解决系统设计中的仿真精度和速度之间的矛盾。以北桥中的总线设计为背景,采用SystemC中接口方法调用的原理,实现了对Wishbone总线的周期精确事物级建模,并给出了具体的实现方法和测试方法,具有一定的通用性。     

基于启发式的多机器人SLAM地图融合方法研究

同步定位和地图构建（simultaneous localization and mapping,SLAM）是移动机器人在未知环境中完成地图构建和定位任务的关键技术。针对多机器人SLAM中的地图融合问题,提出一种启发式的搜索方法引导局部地图的重复区域进行地图融合。每个机器人可以在不了解其相对位置的情况下建立局部地图,并将局部地图信息发送至同一工作站中,以局部地图的相似性为判断指标融合得到最优的全局地图。在机器人实物平台上进行验证,结果证明了多机器人SLAM的地图融合算法的有效性和准确性。     

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

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

WLAN流媒体传输速率控制

针对IEEE 802.11的链路层重传机制和分包策略的不足,研究了基于重传时延最小约束的传输层包长调整策略,提出一种适合于无线局域网(WLAN)流媒体传输的可变包长TCP友好速率控制机制(VPTFRC).与其他方案不同,该机制进一步考查了无线包错误率对包长调整和速率控制的影响.仿真试验结果验证了采用该方法可获得优于TFRC的有效吞吐量、传输延时及抖动等指标,其中,帧传输时延、时延抖动和丢包率的最大改善程度分别可达58%,42%和85%.     

一种地地导弹发射控制的LAN网仿真

给出了某型号导弹发射控制各装备的仿真模型,利用微机局域网（LAN）建立了导弹发射控制的分布式超实时仿真系统,在室内再现了导弹发射控制的全过程,为研究和评估导弹发射控制的性能提供了一种技术手段,从而也为改进和提高导弹控制的有效性提供了条件。