简介：摘要铁路安全控制和防护系统是为保证铁路运输安全而诞生和发展，它在保证行车安全的前提下要为提高铁路运输效率起保障作用，铁路车站信号联锁系统是铁路信号系统的重要组成部分。铁路车站信号联锁逻辑形式化，不管是研发计算机联锁软件，还是测试联锁软件，其本身都极为关键。但是这种逻辑非常繁琐，要实现形式化建模是一项系统性的工作。在微电子技术普及的现在，为了能够全面提升铁路车站信号联锁系统运行效率，逐渐开始以计算机联锁系统代替电联锁设备。

简介：探讨在数字逻辑电路的教学中,如何运用"延迟时间"这一概念解决时序逻辑教学的困难,提出了一种行之有效的教学思路和方法.

简介：摘要随着电力行业改革的深化，电力企业正面临着很大的挑战。电力企业如何做好市场扩展以及营销服务，是企业生存的关键。本文将对电力企业市场扩展措施进行分析。

简介：对于挪用公款罪中的“归个人使用”,我国的司法实践、刑法理论乃至立法机关传统上把其中的“个人”解释为公款利用人,把“使用”解释为三种类型的公款利用行为。同时,为了满足司法实践扩大该罪处罚范围的现实需要,先后出台的司法解释、立法解释不断扩张“归个人使用”的适用范围：将公款利用人扩张到企业、单位等非“个人”主体,将“挪而未用”、“挪而不用”等行为也作为犯罪来处理。但是,按照传统的解释逻辑,这样的做法始终有违反罪刑法定原则的嫌疑。如果把“归个人使用”中的“个人”解释为公款挪用人（即作为“个人”的国家工作人员）,把“使用”解释为不按公款的规定用途而改变公款支配关系的行为（即公款“挪用”行为）,就可以一方面满足扩大处罚范围的现实需要,另一方面排除相关司法解释、立法解释规定违反罪刑法定原则的嫌疑。