论违约方合同解除权

在《中华人民共和国民法典》第580条第2款明确规定赋予违约方合同解除权后,应摒弃对该内容的相关争议,关注法律的合理解释与适用。基于诚实信用和公平正义原则,在合同严守制度之下,违约方合同解除权利大于弊。在司法实践中,司法部门适用时应严格审查是否有恶意违约、利益失衡、违背诚实信用原则等事项。

具有快速再锁定特性的亚采样锁相环设计

相较于传统的电荷泵锁相环,亚采样锁相环以其优良的带内噪声抑制作用,近年来得到了关注和研究.但传统的亚采样锁相环由于其辅助锁频环路中三态鉴频鉴相器较长的固定死区,一旦受到干扰失锁后,需要较长的再锁定时间.针对这一问题,本文在传统的亚采样锁相环设计基础上,设计了一种低噪声、短死区的整数分频亚采样锁相环电路架构,其包含了核心亚采样环路、辅助锁频环路.在辅助锁频环路把输出信号频率锁定至预设频率附近后,环路切换至亚采样环路.亚采样环路通过亚采样鉴相器实现低频参考时钟对高频输出时钟的采样,并将参考时钟和输出时钟之间的相位差转化为输出电压差;该输出电压差控制亚采样电荷泵对环路滤波器充放电,调节输出时钟频率和相位.双环路之间的切换通过辅助锁频环路中的短死区鉴相器实现,这使锁相环既避免了长死区导致的长再锁定时间,也避免了分频器额外的带内噪声放大作用,在兼顾亚采样锁相环良好的带内噪声抑制性能的基础上,有效提高了电路的鲁棒性.本文基于180 nm 1P6M CMOS工艺,完成了800 MHz输出频率的整数分频亚采样锁相环的电路设计、版图绘制和后仿真验证.核心电路版图面积为0.114mm2,功耗为10.8 mW.仿真结果表明,所设计的亚采样锁相环相较于传统结构将再锁定时间降至1.18μs,同时带内相位噪声为-117dBc/Hz@200kHz,参考杂散为57.8 dBc-.

长洲枢纽既有船闸和扩建船闸的通过能力分析

目前长洲水利枢纽共有4线船闸,2021年下行量达1.19亿t,船闸运行接近饱和。为研究新建船闸建设方案,需结合过闸运量预测,分析既有船闸和新建船闸的通过能力。根据过闸船舶统计数据和发展变化的规律,预测2030年过闸船舶的组成、各吨级船舶的平均载重吨和装载系数。采用离散事件系统仿真方法,模拟船舶随机到闸和排档过程,考虑多线船闸不同的调度规则,构建了船闸群的系统仿真模型。结果表明:按船舶随机到达顺序依次过闸的规则,船闸总体通过能力相对较优;五线船闸选新闸址建设,且闸室平面尺度宜为340 m×34 m。

面向通信领域的系统监控软件模块的设计与实现

给出了在通信领域的嵌入式应用中,系统监控模块的基本功能和各部分功能的具体实现方案。

地电仪工作可靠性和抗干扰的研究

自动化的地电观测仪器在观测过程中 ,因受干扰有时会造成死机或复位等现象 ,使观测过程不能顺利进行 .导致仪器不能可靠运行的原因中 ,电源的干扰和强电磁场的干扰是很重要的因素 .增强仪器电源部分的抗干扰能力以及在电路中采用软、硬件的抗干扰措施能较明显地增强仪器的抗干扰能力 ,提高其工作可靠性 .

生态状况判断的理论基础及在中国的应用

文章系统地总结了影响生态状况判断的六个理论,分别为:可持续发展、跨越式发展、环境库兹涅茨曲线、熵与混沌理论、耗散结构和社会-经济-自然复合生态系统理论。这些理论是人类认识自然的结晶,而且也是区域生态状况判断坚实的理论基础。在阐述理论的基础上,对中国生态状况作出的准确判断,认为中国的生态状况总体上处于治理与破坏的相持阶段,水土流失、土地荒漠化等得到有效遏制、人们的生态意识不断增强,但传统经济结构和发展模式的调整目标尚未完成,退化生态系统还未得到根本恢复,社会经济可持续发展的目标还需很长时间。这些基于理论分析的判断对于对中国生态建设和可持续发展具有重要指导意义。

求解哲学家就餐问题的两个Petri网模型

哲学家就餐问题是操作系统中描述“并发操作”的一个经典例子 ,一般用管程、PV操作等方法来避免死锁问题。Petri网是一个很好的描述和分析并发问题的工具 ,本文提出了用Petri网避免死锁的一种模型 。

快速全数字逐次逼近寄存器延时锁定环的设计

全数字延时锁定环在现代超大规模系统芯片集成中具有重要的作用,用于解决时钟偏差和时钟生成问题。传统的全数字逐次逼近寄存器延时锁定环存在谐波锁定、死锁和锁定时间比理论时间长的问题。为此,通过改进逐次逼近寄存器的电路结构,采用可复位数控延时线,设计一种改进型宽范围全数字逐次逼近延时锁定环,以解决谐波锁定和死锁问题。基于中芯国际0.18μm CMOS数字工艺,实现一个6位全数字逐次逼近寄存器延时锁定环。仿真结果表明,最长锁定时间为6个输入时钟周期,验证了所提方法的正确性。

用人工智能原理实现大学课程表编排的探索

利用人工智能的原理，对解决大学课程表编排的有效方法进行了探索，对利用领域知识提高编排速度及减少死锁次数提出了切实可行的方法．

一种串联谐振逆变器零电压开关控制策略

分析了串联谐振逆变器在零电压换流模式下的换流过程,得出了器件的最佳开关时刻和吸收电容、触发脉冲的死区宽度之间的关系,提出了一种使器件工作于零电压开关(ZVS)条件时的逆变控制策略,设计了环内固定延时和环外动态延时来完成ZVS控制的逆变锁相电路,并进行了仿真和试验。结果证明了该控制策略的正确性和可行性。

单相PWM整流器死区补偿方法

为解决单相整流器死区效应导致相电压和相电流畸变、零电流钳位效应等问题,分析死区和零电流钳位效应,提出一种基于网侧电压谐振控制器锁相环的观测值进行判断,对单相PWM整流器死区时间进行补偿的新方法。该方法避免了电流检测中的噪声,使得过零点检测更加精确,不会引起相位延迟,并与根据电流值进行直接补偿的方法进行对比分析。所提出的方案能够有效地改善电流波形的正弦程度,且消除了传统方案需要检测电流方向的弊端,同时算法实现简单,具有工程实用价值。仿真和实验结果表明基于网侧电压观测值进行死区补偿方法使网侧输入电流总谐波畸变率更小、补偿效果更明显。

一种基于遗传算法的车间调度算法求解

针对车间作业调度问题,讨论了应用于车间作业调度的遗传算法设计,给出了主要的编码、解码、以及死锁问题的算法模型。结合应用实例,说明了设计的可行性与有效性。

SQL Server数据库封锁及死锁研究

首先简要介绍了SQLServer数据库的封锁与死锁,然后论述了预防SQLServer数据库死锁的若干策略和方法,最后分析并讨论了几个典型的易导致死锁的SQL程序及其解决办法。

航天器杆件死点特性结构锁设计与分析

针对天地往返航天器舱门需要重复开启与关闭的实际需求及传统火工分离装置只能单次解锁且伴随大冲击与振动的缺点,提出一种曲柄-摇杆四杆舱门重复锁紧机构。该机构基于平面四杆机构的死点区域来实现对舱门的可靠锁定,具有承载能力大、锁紧及解锁过程冲击微小、结构简单、重量轻及性能可靠等优点。为了更好地利用该机构的死点特性完成舱门的可靠锁紧,对机构的死点特性进行建模分析,给出使机构自锁的死点区域。对锁紧机构进行参数化建模,建立机构的参数化优化目标函数,利用MATLAB对进行机构优化设计并得到最优结构参数。仿真结果表明所提的锁紧机构可将舱门可靠地锁紧且经过优化后的锁紧机构所需的驱动力矩显著降低,具有较高的驱动效率。

银行家算法的研究及其计算机仿真

本文通过对死锁算法———Dijkstra银行家算法进行深入研究,得出一些结论。采用分组技术对其传统算法进行改进,并借助计算机语言和辅助工具对该算法进行了动态模拟,发现一般情况下执行效率均有所提高。

基于排序的避免死锁的方法

针对多数据库事务下批量更新记录时产生死锁的问题,提出了一种新的数据更新方法。这种处理方法采用预先对要批量更新的记录进行排序,使所有的记录都能按某一个固定的顺序被更新,从而避免产生数据库死锁。

四杆机构“死点”位置及其应用的再探讨

以平面四杆机构为例,分析"死点"的实质、机构极位"、死点"位置"、死点"位置的判断、"死点"位置的排除、"死点"与机构"极位"和"自锁"的区别、死点在工程机械中的应用等。研究结果表明:机构"死点"能够排除,并存在着较大的应用空间。

基于JAVA的矿用组态软件死锁预防机制研究

煤矿监控系统组态软件客观上要求较强的并行处理能力,其死锁对煤矿安全生产具有巨大危害。论文分析了煤矿组态软件体系结构,论述了该软件多线程死锁的原因,研究了具有优先级的多线程排队机制和调度机制,并利用Java语言编程实现,解决了矿用组态软件的死锁问题,达到预期目的。

WZ-Ⅱ型炉温微机测控系统的在线自检功能

本文主要阐述WZ-Ⅱ型炉温微机测控系统中对PC机故障、输入和输出通道、微机本身等进行在线自检的功能,并给出了对PC机定时跟踪,解除死锁的具体方法.

片上网络与系统域网络的协同设计探索

为进一步提升网络性能,在处理器内集成网络设备逐渐成为趋势,但随着片上处理器数目以及高维度系统域网络对片间互连端口数目需求的不断增加,传统的集成集中式Router的结构(如IBM Blue Gene/Q)将面临可扩展性、片上流量均衡及片间接入公平性等问题。基于此,提出了片上网络和片间系统域网络协同设计方法,以分布式的虚拟Router架构替代传统集中式的Router架构,一方面通过将片间网络接口分布在片上网络,为处理器核提供均衡、公平的网络服务,另一方面省去了集中式Router中的交叉开关,进而消除了片间交换的扩展性限制,降低了CPU集成片间网络设备的成本。从协同路由、协同网络接口布局和协同参数设置三个方面对该协同设计方法进行了系统性的探索,并通过对TMesh网络架构进行实例研究,给出了虚拟Router架构的性能和可行性分析。