基于ZeroMQ的仿真时间同步系统设计

分布式仿真系统中,位于不同位置的仿真节点获取一致的仿真时间对于系统正常运行至关重要。为了满足分布式仿真系统中时间同步的需求,笔者基于ZeroMQ设计了一种仿真时间同步系统。该系统采用服务端授时、本地守时的时间管理策略,具有通信开销小、同步精度高、时间可控等特点。经试验验证,该时间同步系统完全满足仿真系统的时间同步需求。     

线性时变系统有限时间稳定性分析

针对一般非线性时变系统的有限时间稳定性分析问题,考虑到系统初始时刻在有限时间区间内的变化,本文分别提出了一般非线性时变系统的一致有限时间稳定性,一致收缩稳定性和固定调节时间一致收缩稳定性定义.针对一类线性时变系统,基于计算系统的所有轨线的包线的思想,本文分别给出了判定该类系统的收缩稳定性、固定调节时间收缩稳定性、一致有限时间稳定性、一致收缩稳定性、固定调节时间一致收缩稳定性的充分必要条件,同时给出了判定该类系统一致收缩稳定性及固定调节时间一致收缩稳定性的3个充分条件.进一步,本文将所得定理结果推广到了周期线性时变系统,所得结论为判定周期线性时变系统关于任意初始时刻的一致有限时间稳定性,一致收缩稳定性及固定调节时间一致收缩稳定性提供了理论依据.最后,以4个数值算例和两航天器相对运动过程为例验证了本文结果的正确性.     

基于GPS授时的分布式仿真系统时间管理机制

时间一致性是保证分布式仿真系统具有一定置信度的基础,各实时系统仿真时间与物理时间保持同步保证了LVC(真实仿真、虚拟仿真和构造仿真)系统之间交互的因果关系的合理性.提出了异构系统时间自治策略、系统交互的时间戳策略和时钟跟随同步策略,并利用RTX对Windows进行实时性扩展,利用GPS标准秒脉冲的分时方法进行仿真,实现了各异构系统仿真推进时间的同步,并为仿真系统的实时推进以及与真实装设备的实时交互奠定了基础.     

工作流系统中的时间管理

介绍了工作流系统中时间管理的范畴。从工作流系统中时间约束的建模、时间约束的执行和运行后的数据分析三个方面全面概述时间管理的研究内容,为在实践中构建具有时间约束的工作流系统奠定了理论基础。     

时间继电器自动检测系统的设计

介绍了一种基于USB接口的时间继电器时间参数自动测试系统,详细阐述了该系统的组成原理及软、硬件的实现方法。该系统实现了对时间继电器时间参数的自动测试和可靠的数据处理,提高了时间继电器的检测效率及测试过程的管理效率。     

物联网系统时间自动机建模的研究与应用

探讨基于时间自动机理论进行物联网系统建模和模型检测的理论、方法、工具和实践.对时间自动机的基础理论进行比较全面和精确的论述,完善部分概念及其精确的形式化定义.提出基于时间自动机理论进行建模的方法,并指出时间自动机理论研究对物联网系统建模的指导意义.介绍时间自动机的建模工具UPPAAL,说明基于UPPAAL建立时间自动机模型的建模、仿真和检测方法.结合物联网系统中一个经典的温度感知服务的系统需求、理论与实践相结合,进行温度感知管理系统时间自动机建模,并进行模型仿真与模型检测.实验结果表明,该系统能够正确感知温度,具有容错性且不会陷入死锁.     

UNIX System Ⅴ程序设计讲座 第十三讲 系统管理

本讲将讨论有关时间管理、存储管理等系统管理方面系统调用的使用方法与技巧,这些系统调用是: time 查询系统当前时间值 stime 设置系统当前时间和日期 times 查询进程的运行时间 utime 设置文件访问、修改时间 alarm 设置进程报警时钟 brk、sbrk 动态存储分配 plock 锁定存储空间 uadmin 关闭、重新引导系统 uname 获取系统版本的有关信息     

Profibus-DP单主站系统实时性研究

分析了Profibus-DP协议数据链路层的运行机理,详细描述了构成Profibus-DP总线周期的时间参数,给出了报文循环时间、令牌目标轮转时间和系统反应时间这三个Profibus-DP系统实时性能指标的具体计算公式,并结合Profibus-DP单主站系统实例,通过测算系统反应时间分析了影响Profibus-DP单主站系统实时性的因素,最后提出可通过提高通信速率、减少从站数量、减少交换数据量来提高Profibus-DP单主站系统实时性。     

基于TDC-GP2的时间间隔测量系统设计

精确的时间间隔测量在时间同步系统有着至关重要的作用,为了满足大量程和高精度的需求,介绍了一种直接计数法和时间-数字装换法相结合的时间间隔测量系统;设计中采用两片TDC-GP2时间-数字转换芯片,结合FPGA和上位机,可以实现精度为1 ns时差测量;经过大量的实际测量,系统的分辨率为70 ps,精度为1 ns,最大可以测量1 s的时间间隔;该设计的系统具有可靠性高、功耗低、精度高、使用灵活等优点。     

北斗导航时间同步系统在智能电网建设中的应用

鉴于传统单向授时时钟系统难以避免的时间固有误差和累计误差,无法满足智能电网对全网时间同步更高精度的要求,结合山西电网实际情况,提出基于北斗卫星导航系统的电网时间同步系统建设方案,并在智能变电站建设中得到具体应用,各项功能满足设计要求,可实现对全省发电、输电、配电网络的时间同步系统组网和集中监测维护,为电力系统提供安全、可靠的统一时间基准。     

多媒体教学软件中的虚拟场景制作

在多媒体教学软件中嵌入虚拟场景可以实现生动教学的目的。采用AutoCAD2000三维建模技术建立对象的三维模型，然后利用3DMAXR3．0对三维模型进行渲染和动画制作，最后通过程序生成虚拟场景。嵌入虚拟场景的多媒体教学软件更具生动性、直观性，可以达到身临其境的效果。     

基于动态电价引导的风光水储多源能量管理

楼宇智能微网采用一个多输入直流变换器,代替多个单输入直流变换器,实现风光水储能量汇集,简化电路,降低成本,提高能源综合利用率。它优先利用分布式能源,并能根据大电网动态引导电价移峰填谷,降低楼宇总电费,还利用储能装置和抽水储能赚取电网峰谷差价。多种分布式能源单独/同时连续供给负荷,增加新能源消纳能力,提高自动需求响应的快速性、可靠性和灵活性。小功率仿真实验验证了多源能量汇集的可行性和混合供电系统的稳定性。     

门限多代理多签名方案

将门限签名体制引入到多代理多签名方案中,首次提出了一个门限多代理多签名方案.新方案不仅能实现多个原始签名人将签名权委托给多个代理签名人,还能将每个代理人的密钥进行分享,实现一定数量的原始签名人就能授权,一定数量的代理签名人就能产生有效的代理签名.另外,新方案还可以控制代理签名的有效时间和回收代理签名权.     

开放式指挥短语在项目中的应用研究

从软件构件的通用性出发,介绍了开放式指挥短语作为软件独立构件具有的优点,即可实现跨平台使用,针对不同应用可以灵活定制,具有软件可重用、可扩充性,从而缩短型号的研制周期,减少项目重复开发,提高系统开发效率。接着介绍了开放式短语构件的系统组成。然后详细介绍了开放式短语构件在生成指挥短语模板中用到的规范和要素描述,基于XML要素形成XML文件和用户UI显示。     

一类多变量Hammerstein模型的参数辨识方法

通过对系统输入信号的设计,使Hammerstein系统输出只反映系统的线性动态,并将非线性部分的静态影响有效地分离掉.利用最小二乘辨识得到系统的线性动态模型.基于此模型并依据系统的测量输出重构系统的中间输入,进而可估计出非线性部分的参数,据此给出了多变量Hammerstein系统辨识的动态分离方法.仿真结果表明所提出的方法是有效的.     

基于单符号统计的简单L系统反演约束研究

给出一串已知的L系统符号串，以便从中寻找出能够通过L系统迭代生长复原的L基因组是目前L系统研究领域的逆向工作，为了能更好地进行逆向迭代，首先从研究符合串中的单符号统计规律入手，进而通过对在L系统的迭代生长中，单种符号数量发生有规律地变化进行的研究，提出了一些较有价值的符号统计关系式；然后在进行L符号串反演时，根据这些关系式，不仅能够缩小寻找逆向L基因组的范围，并能判定逆向L基因组的正确笥，从而为快速实现L系统符号串反演成L基因组，提供了较强有力的判据和可能性，而且这些关系式还 与其他搜索算法（如遗传算法）配合使用快的获得搜索结果。     

Low-rank exploitation in semidefinite programming for control

Many control-related problems can be cast as semidefinite programs. Even though there exist polynomial time algorithms and excellent publicly available solvers, the time it takes to solve these problems can be excessive. What many of these problems have in common, in particular in control, is that some of the variables enter as matrix-valued variables. This leads to a low-rank structure in the basis matrices which can be exploited when forming the Newton equations. In this article, we describe how this can be done, and show how our code, called STRUL, can be used in conjunction with the semidefinite programming solver SDPT3. The idea behind the structure exploitation is classical and is implemented in LMI Lab, but we show that when using a modern semidefinite programming framework such as SDPT3, the computational time can be significantly reduced. Finally, we describe how the modelling language YALMIP has been changed in such a way that our code, which can be freely downloaded, can be interfaced using standard YALMIP commands. This greatly simplifies modelling and usage.     

门限多代理多签名方案*

将门限签名体制引入到多代理多签名方案中,首次提出了一个门限多代理多签名方案。新方案不仅能实现多个原始签名人将签名权委托给多个代理签名人,还能将每个代理人的密钥进行分享,实现一定数量的原始签名人就能授权,一定数量的代理签名人就能产生有效的代理签名。另外,新方案还可以控制代理签名的有效时间和回收代理签名权。     

基于E语言和C参考模型的IP功能验证方案

提出并实现了一种基于E语言和C参考模型的IP功能验证方案。该方案能够自动生成验证向量并自动完成仿真结果的正确性判断,可以解决验证的充分性和验证时间之间的矛盾。使用这种方案可以有效地提高功能验证效率和质量,缩短设计周期,降低设计成本。     

基于信息安全理论和模型的安全需求分析

本文在论述了上述信息安全理论和模型之后,阐述了如何运用信息安全理论和模型进行安全需求分析,从而得出一个层次清晰、定位准确、关系明了的安全需求集。这种方法可以避免安全需求分析时容易产生的盲目性和片面性,能够全面和综合地把握整体安全需求,有助于选择适度和足够的安全措施,防止设计上的安全漏洞,以保证整体安全。