学科分类
/ 25
500 个结果
  • 简介:摘要:生产控制系统直接面向用电用户,其安全、稳定、可靠的运行事关工业生产运行、国家经济安全和人民生命财产安全。网络安全攻击正向工业控制系统渗透。电能量采集关系到各方的经济利益,及时获取精准的电量数据尤为重要。基于此,本文主要对电能计量用通信规约安全改造技术作具体论述,希望通过本文的分析研究,给行业内人士以借鉴和启发。

  • 标签: 电能计量 通信规约 安全改造技术
  • 简介:规约隐性否定是指那些不是由词或语句的约定意义而得出的否定含义。对这类否定的真正理解需要依靠交际双方所共有的背景知识,以及听话人的逻辑推理能力。本文首先分析了语境因素在非规约隐性否定的推导中所起的作用,随后进一步指出非规约隐性否定的推导还需要结合Grice的合作原则及会话含义的推理模式,阐述了非规约隐性否定的逻辑推理过程是语境因素和合作原则共同作用的过程。

  • 标签: 非规约隐性否定 语境 合作原则 会话含义
  • 简介:国际刑事法院的成立与罗马规约的生效,国际社会对其反响强烈。在对规约赞誉的同时,也不免因为其规定的管辖权与国家主权有所冲突而受到一定程度的评判。在当前以至今后很长一段时期内,国家主权仍然是一个独立自主国家安身立命、稳步发展的保障。因此,面对国际社会的现实,需以批判的眼光认真审视《罗马规约》与国家主权之间的关系。

  • 标签: 罗马规约 管辖权 国家主权
  • 简介:NBIC会聚技术是主导21世纪技术革命的新兴技术群,将掀开人类技术发展历史新篇章,产生比以往任何一次技术革命都更为广泛深远的影响。会聚技术带来无限机遇的同时,也正在掀开"潘多拉之盒"。会聚技术发展将逐步改造人类的遗传物质与精神世界,最终变人类自身的自然进化为完全的人工进化,进而颠覆传统自然生命神圣伦理观;会聚技术将在更广泛、更深远的意义上撼动传统道德谱系,引发道德秩序混乱。因而,在发展会聚技术的开端就应当特别关注相应的社会问题,及早开展与研发同步的相关问题研究,显得尤为紧迫与重要。有必要、也有可能建立起一套法律、伦理、监督相结合的机制去调控会聚技术的发展,并依据技术不同发展阶段构建不同的规约手段和规约机制。

  • 标签: 会聚技术 伦理难题 伦理规约机制
  • 简介:运用"四个世界"理论,着重讨论语言世界、物理世界、心理世界、文化世界、对命名艺术的制约规律。语言世界要求命名在语音、语法、修辞方面符合汉民族习惯,物理世界要求命名要与之相符,心理世界要求命名要适应人的心理需求,文化世界要求命名要服从本民族文化。"四个世界"因素往往是综合起作用的,只有这样,命名才能真正达到艺术程度。命名能够与"四个世界"相吻合的便是得体的,否则便是负偏离形式,难以为大众所接受。

  • 标签: 命名艺术 “四个世界”
  • 简介:摘要:随着我国时代的快速发展,在电力通信运行过程中,创建一个较好的通信系统体系,对电力系统自动化程度的有效提升。基于此,文章将就通信规约在电力系统中的应用展开分析,旨在促进通信规约在其中的更好应用。

  • 标签: 电力系统 通信 规约
  • 简介:在现场总线应用领域中,CAN总线是使用频率很高的一种.本文中详细地阐述了CAN总线的主要特点、CAN协议的器件和芯片.通过实例详细地描述了CAN总线分布式测控网络的方法.

  • 标签: 现场总线 CAN总线 软件设计
  • 简介:生产者与消费者系统(PCS)是一个经典的进程同步问题,Hocine等学者运用抽象状态机(ASMs)对该问题进行了时序规约。文中主要使用TLA语言对PCS给出了一个时序规约模型,并且利用模型检测工具TLC对PCS进行检测。同时对系统的活性和互斥性也进行了检测,检测结果都满足系统规约。ASMs主要采用转移规则来规约PCS模型,中间的转移过程是无法知道的,TLA能同时规约出PCS的执行过程和系统属性。

  • 标签: 生产者与消费者系统(PCS) TLA 规约 TLA+ TLC
  • 简介:为了降低配电自动化工程实施过程中主站与终端之间的对点调试复杂性,研究了基于104规约的SCADA自动配置方案。本文简要介绍了104规约并分析了规约的特性;深入分析了目前配电自动化工程中主站与终端的点号配置、调试和数据采集过程;基于面向对象的思想,提出了基于104规约的主站与终端的SCADA自动配置方案,并对关键技术的实现进行了研究;最后分析了工程应用的成效。

  • 标签: 面向对象 104规约 自动配置 配电自动化
  • 简介:一、认识的起点——教育学的文化性当前,教育学缺乏“科学性”的声音依然此伏彼起,教育学因缺乏科学性而自卑地生存于诸学科之中,甚至于在教育学者内部喊出了“教育学的终结”的声音。教育学和教育学者们的这种生存处境和精神风貌确实是教育学的“悲哀”,而这种“悲哀”产生的前提预设是,科学化是教育学发展的应然方向。

  • 标签: 比较教育学 文化规约 教育学者 教育学发展 精神风貌 生存处境
  • 简介:明清时期,晋商作为商帮中的奇葩谱写出一曲商业传奇,晋商会馆的兴盛就是其历史见证。晋商在全国各地建立众多会馆,比较有名的有苏州全晋会馆、聊城山陕会馆、开封山陕会馆、洛阳潞泽会馆、南阳山陕会馆、张掖山西会馆等。晋商会馆一般规模宏大,建筑考究,商业性质明显,具有显著的地域性和行业性特点。

  • 标签: 山陕会馆 明清时期 晋商 规约 商业性质 历史见证
  • 简介:代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于Web服务测试,开发了自动化测试工具ASBAT(AlgebraicSpecificationsBasedAutomaticTesting),并利用该工具进行实验,展示了基于代数规约的自动化测试方法是简单可行的.

  • 标签: 代数规约 WEB服务测试 测试自动化
  • 简介:<正>"自我规约"就是在开展某一活动时,由幼儿自己相互商量制定出活动的规则,并在活动中自觉遵守,从而养成良好的行为习惯,也是让幼儿从小懂得遵守规约的一种自我体验。自我规约先由教师示范、讲解,然后过渡到幼儿自己制定规则并约束自己不违反规则,给了幼儿更大的发展空间,让幼儿展开想象的翅膀,自由飞翔,成为自己的主人,让幼儿参与活动的欲望更强烈,活动效果更好。下面就谈谈自己对"自我规约"的一些认识。一"、自我规约"的作用

  • 标签: 教师示范 违反规则 制定规则 游戏活动 自我体验 自由飞翔
  • 简介:历史上,徽州宗族林立,自唐宋以至明清时期,徽州宗族特别繁荣,徽州成为传统中国宗族社会发展的一个典型地区。就徽州宗族研究总体状况而言,学界主要侧重于明清以降徽州宗族的研讨,而囿于文献资料,对元代徽州宗族的研究则相对较为薄弱。近日,笔者阅读到两则元代徽州宗族祖茔规约,由于元代这一类宗族历史文献以前较少发现和使用,因而这两则宗族祖茔规约的史料价值就显得比较珍贵。本文拟对之进行释读,以期有助于揭示元代徽州宗族发展的一些侧面。

  • 标签: 宗族研究 徽州 元代 规约 释读 明清时期
  • 简介:妇女是劣势"社会群体",生活在不利的环境中,应当是适足住房权重点关注的群体,将妇女纳入住房权的最明显也是具有深远意义的措施蕴含在确立该项权利的措辞之中。但在全球范围,妇女的继承、土地和财产权得不到保障、存在社会性别偏见的法律和家庭暴力,以及妇女参与住房程序程度不够的问题使得妇女适足住房权得不到保障。在国内有隐蔽于多重制度和结构中的对妇女适足住房权的歧视,这种歧视性的现实使得妇女的空间诉求遭到挤压,本文的目的正是在于揭示这种现象,以推动政策和法律的改善。

  • 标签: 适足住房权 挤压 空间诉求
  • 简介:学校在执行教师流动政策的时候,在规约教师流动的四个非正式制度中,    一、调查对象与方法    为了解桐庐县教师流动现状及影响教师流动的非正式制度因素

  • 标签: 制度规约 实证分析 教师流动
  • 简介:摘 要:阐述了远动的概念;基于对发电厂和变电站“三遥”的管理和控制,总结了在VB中实现上下位机串行通信的三种方法。与其他两种方法不同,它们适用于复杂系统,应用广泛。考虑到该系统简单易行,采用Mscomm控件实现CDT协议的串行通信。提出了下位机控制策略、上位机控制策略、上位机串行通信初始化的配置方法和部分程序。实验结果表明,该策略实现了系统的基本要求,具有一定的实用参考价值。

  • 标签: 遥控 串行通信 控制政策