简介：代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于Web服务测试,开发了自动化测试工具ASBAT（AlgebraicSpecificationsBasedAutomaticTesting）,并利用该工具进行实验,展示了基于代数规约的自动化测试方法是简单可行的.

简介：民间规约是民间社会组织的自治规范,是除法律外的治理国家与社会的有效方法和机制之一。通过对民间规约中佛教规约的个别研究与分析,发现由于＂信仰＂的原因,佛教规约为＂佛教人＂所熟知,并发挥着强制性的约束力。佛教规约有着广泛的适用性与实用性。在法治社会的构造与反思中,由佛教规约引发的启迪颇多。深究佛教规约的实质内涵,分析其功能和限度,有助于在法治建设中为有效社会治理、形成良好秩序奉献力量。

简介：

简介：民间规约的设立彰显自由,民间规约的实效与限制又彰显秩序。在民间规约整合下的局部社会秩序,一定程度上彰显了中国近代法律文化中的法治特色。有必要对民间规约进行限制,民间规约限制之限制同样必要,适用民间规约要认清其限制。佛教规约是调整佛教人生活的规则,捍卫佛教规约流露出的优良品质义不容辞。近代佛教规约是民间规约的特殊表现形式,对近代佛教规约限制之分析,要基于佛教规约所代表的利益及实际的利益冲突。

简介：汉字是公认的难学的文字之一。但是,汉字字形和字义之间的规约性能够体现出中国人特有的认知方式。所以,利用这种规约性可以帮助我们了解汉字,从而高效、系统地掌握汉字。现代汉字中,形声字最多,其中的形旁在汉字认知中可以起到很大的促进作用。

简介：民间规约是中国古代民间社会的自治规范，是古代法律秩序的组成部分。在中国古代法律秩序的生成过程中，民间自治规则始终是社会法律秩序的建构基础。民间规约和官方法律之间存在着一定的互补互动关系。要全面科学地认识和评价民间规约，工商业行会规约的地位和作用绝对不容忽视。

简介：诗歌教学语言的文体规约性,是语文课程本质的要求,也是语文教学"文体知识与能力"目标的具体化,还是和谐教学的要求。诗歌教学语言的文体规约性主要指:诗歌文体的凝练性和蕴藉性要求诗歌教学语言具有意蕴美;诗歌文体的节奏感和韵律性,要求诗歌教学语言具有音乐美;诗歌集中概括的抒情性要求诗歌教学语言具象化。

简介：技术越来越深刻地影响教学的事实及其存在的问题，迫使我们不能忽视甚至无视技术对教学的无限扩展。嵌入教学的技术可以分为作为教学辅助的技术、作为教学要素的技术和作为教学场域的技术，而与之相对应的教学便可以称之为技术辅助的教学、技术融入的教学和基于技术的教学。当前，我们所要探讨的不是去评定哪一种技术嵌入方式的教学最佳，而是哪一种技术嵌入方式的教学针对什么教学目的可以解决什么问题和取得怎样的效果。教学的技术嵌入是否取得预期的效果，并不在于其嵌入的方式，也不在于技术本身的新旧或先进与否，关键在于是否有正确的教学观念的指导。既然任何技术都潜含着一定的教学风险，也潜含着违背教学伦理道德的某种可能性，这就决定了对教学的技术嵌入进行伦理规约的必要性。

简介：体裁规约是文体公认的标准形式，不同类型的文本有不同的体裁规约，同一类型文体在不同语言中的体裁规约也不相同，从事英汉旅游文本翻译的译者要译出佳作。掌握所译文本在汉语和英语中各自不同的体裁规约是必不可少的。

简介：连通支配集是一个著名的NP难解问题，在网络和通信等领域具有重要应用．该文主要研究连通支配集的规约规则设计与实现．对现有规约规则进行改进，同时通过对图中顶点进行着色，提出新的局部规约规则．接着对规约规则则进行实现并测试在模拟无线传感网络中的规约效果．实验结果表明，规约规则在各种不同规模和不同稠密度网络中均能不同程度降抵问题规模．

简介：《物权法》第六章“业主的建筑物区分所有权”规定，业主有权共同制定和修改建筑物及其附属设施的管理规约，但并未明确指出“管理规约”本身的法律性质。作为《物权法》下位法的《物业管理条例》对此问题也无明确规定。笔者认为，明确约的内容、作用、效力等相关问题进行研究的基础，更重要的是，业主管理规约法律性质的明确也对业主的建筑物区分所有权的实现具有重大的现实意义。

简介：含义是Grice意义理论的核心,包括规约含义和会话含义。由于Grice在界定规约含义时语焉不详,因此如何区分规约含义和会话含义一直存在争议。文章基于Grice意义理论的基本哲学精神,并以近些年来中外含义理论研究的主要成果为依据,探讨了规约含义和会话含义的本质和特征,进而以可鉴别特征为标准区分了规约含义和会话含义,从言者意图的基本事实出发,阐释了二者的共性。

简介：水位数据(BCD码)按1801规约转换的方法,较好的解决了红枫发电总厂梯级调度自动化监测系统与水情测报系统中数据通讯存在的规约不统一问题

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

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

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

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

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

简介：摘要：随着我国时代的快速发展，在电力通信运行过程中，创建一个较好的通信系统体系，对电力系统自动化程度的有效提升。基于此，文章将就通信规约在电力系统中的应用展开分析，旨在促进通信规约在其中的更好应用。

简介：科技资源具有准公共品属性，这决定了社会化公共服务模式是科技资源共享的内生需要，该文就此予以论证，并往分析中国科技资源共享的公共服务模式现状及存在的问题的基础上，对提升中国现阶段科技资源共享社会化公共服务模式提出创新要求并设计出法规框架。