排序方式: 共有144条查询结果,搜索用时 15 毫秒
1.
2.
通过对Microsoft SQL Server的锁管理机制的分析,讨论了引起死锁的各种可能性,锁的多粒度性和锁的多模式性以及由此引出的锁升级和锁的兼容性,提出了避免死锁产生、提升系统性能的最新方法——动态锁,以保证应用程序的正确运行及保持数据的一致性和正确性。 相似文献
3.
4.
基于嵌入式系统在船舶监控方面应用的研究 总被引:1,自引:0,他引:1
采用以μCOS-Ⅱ嵌入式操作系统为平台设计的嵌入式系统控制板,实现船舶机舱(engine room)的自动监控和数据传输。涉及到数据的采集和web server的功能,使从机舱监控的数据可以直接通过船舶的局域网传送到每一个相关人员的工作间,甚至是房间里。 相似文献
5.
基于知识点关联的网络教学平台的集成设计 总被引:1,自引:0,他引:1
丁振凡 《华东交通大学学报》2007,24(1):63-66
教学课件各种信息成分的组织与关联是网络教学系统集成设计中的重要问题,本文给出了基于知识点的课件内容关联设计的实现.该平台支持多种教学方式,提供了灵活的设置以满足教学中的动态管理. 相似文献
6.
本文通过对C/S和B/S模式物资管理系统在使用中优缺点的分析,提出了采用以C/S模式为主,B/S模式为辅的混合模式对当前单一的C/S模式物资管理系统进行改造的设想。在这种混合模式下,物资管理部门内部采用C/S模式,便于实现复杂的管理功能及可靠的安全机制:对于非物资管理部门的用户,采用B/S模式,便于统一管理与维护。最后,本文还对系统改造的开发环境和技术做了探讨。 相似文献
7.
利用MSC.Marc Mentat 2005通用有限元软件对深海探测用压力容器受静水压力作用时的弹塑性失稳问题进行了计算与分析,弹性失稳数值计算的结果与用现有规范计算公式所得结果一致,均大于塑性失稳数值分析时的临界载荷。由此得出结论,对于厚壁且形状复杂的压力容器的失稳计算,用理论公式或仅用厚壳单元的弹性失稳分析是不够的,应该用3维立体单元的弹塑性失稳计算才能给出比较精确的强度预测。MSC.Marc Mentat2005强大的计算和仿真功能有效地模拟了深海精密探测容器受静水压力作用时的弹塑性失稳问题,为深海精密探测容器在材料、外观等方面做进一步的设计改进提供了可靠的工具。 相似文献
8.
iFIX中如何通过GES OPC Server与GE PLC通讯 总被引:1,自引:0,他引:1
介绍了OPC应用的工业控制领域。OPC采用客户机/服务器体系结构,是目前工业控制中广泛采用的一项技术。OPC接口凭借其开放性、可靠性,已经成为一种国际标准。各个自动化厂商的产品可以通过OPC接口实现无缝连接。本文主要阐述iFIX组态软件的OPC连接功能,具体介绍了iFix作为OPC客户端,如何通过GES OPC Server读取GE PLC符号变量,并给出具体实施方案。 相似文献
9.
本文就web应用程序的相关开发语言C#和SQL进行讨论。先介绍各自的开发环境再说明应用C#开发基于web程序的技术特点,最后通过管理系统的后台程序设计作为应用实例,阐述使用.NET开发Web数据库应用程序的方法。 相似文献
10.
基于MSC与UPPAAL的高铁跨界临时限速建模与验证 总被引:2,自引:2,他引:0
《铁道标准设计通讯》2016,(10):126-131
临时限速服务器是高铁列控系统的重要组成部分,其不仅要校验CTC下发的临时限速命令,还要与相邻调度台临时限速服务器之间进行频繁的信息交互,因此对其安全性和实时性要求也更苛刻。为了满足高铁列控系统对其运行的要求,采用时间自动机理论和消息顺序图(MSC)相结合的方法,首先建立跨界临时限速命令的MSC模型和时间自动机子模型,再利用UPPAAL验证工具对形式化语法BNF描述的时间自动机子模型属性进行验证。根据仿真验证结果确认了跨界临时限速信息的安全性和受限活性,为进一步开发临时限速服务器功能提供了重要的依据。 相似文献