排序方式: 共有45条查询结果,搜索用时 0 毫秒
1.
十年的耕耘,十年的求索,牛年的沉淀,精英荟萃,引流世界潮流的先进数控机床制造工艺与技术,造就了今天的新贝斯特。日新月异、稳健发展,今天新贝斯特人可以自豪地说:“我们所生产和引进的数控机床,永远值得您信赖。”新贝斯特从一个从事数控机床代理的国际贸易公司发展成为一个数控机床国际贸易及数控机床制造的跨国集团,这里不仅体现了新贝斯特董晓军总裁的运筹帷幄、高瞻远瞩的管理理念,也凝聚了全体新贝斯特人脚踏实地、刻苦学习国外先进数控技术的团队精神。这样一支具有国家级数控专家在内的老中青三代结合的团队,他们通过与世界著名的… 相似文献
2.
教育无用论思想是现代社会流行的一种社会思潮.当今人们对教育的种种批评集中体现在此.但是,在丹尼尔·科顿姆看来,教育无用论者错误地理解了学校教育的功能,对教育抱有过于理想化和功利化的目的,从而认为教育无用.为避免教育无用论者对教育的无端指责,应坚持教育的无用性.在我国,一直以来,教育被赋予诸多职能,但教育本真的目的却往往被人遗忘,使得人们不能正确看待教育的功用,阻碍了教育正常功能的发挥.这往往也是导致出现教育无用论的原因.因此,只有认清学校教育的限度,追求教育超功利的价值,才能使教育发挥它应有的功效. 相似文献
3.
4.
在中国传统的哲学体系中,人与自然的关系是一个根本、和谐的关系,即所谓“天人合一”。而在西方文化的传统观念中:人处于万物之灵的地位,或宇宙中心的地位:别的一切都是为了人的利益而安排,都得服从人的需要,听从人的摆布。 相似文献
5.
6.
安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范. 相似文献
7.
安全苛刻系统测试语言中的测试设备协同语句 总被引:1,自引:0,他引:1
安全苛刻系统的可信性需求迫切,支持可信性评估的数据主要来自于测试.为了保证测试数据的可靠性和正确性,特别是对安全苛刻系统这类复杂系统,手工测试实际不可行.研发测试语言是实现自动化测试的有效途径,也是安全苛刻系统自动化测试发展的必然趋势.针对安全苛刻系统通用测试语言应独立于具体设备包括被测安全苛刻系统、测试设备的应用需求,对安全苛刻系统测试中的测试设备协同语句展开研究.针对安全苛刻系统测试中测试设备协同任务中的高阶性、实时性等特点,通过给出测试语言中测试设备协同相关类型、设备协同表达式,定义测试设备协同语句,并通过设备协同表达式求值定义设备协同语句的操作语义规则,最后对语句的正确性给出相关证明,从而支持安全苛刻系统测试过程中测试设备协同过程的动态性和开放性,支持安全苛刻系统测试语言的通用性. 相似文献
8.
中国的城市化是21世纪世界上的一件大事,是全世界关注的一个焦点。之所以要策划组织编辑这本书籍,还要归因于我们这个特殊的历史时代。 相似文献
9.
10.