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

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

简介：

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

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

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

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

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

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

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

简介：在社会实践中，人们已经学会抽象地去思考问题，以便能够较好地了解他周围的世界。在这里，代数给了我们研究这些是如何发生的很好的例子。

简介：

简介：讨论文（1）中引入的亚BCI—代数与BCI—代数的关系，研宛亚BCI-代数成为BCI-代数的条件，特别是亚BCI-代数成为P-半单BCI-代数的条件．

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

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

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

简介：图中的A—D四个字母各应代表1—9中的哪四个数,才能使五个等式同时成立？小朋友,你知道吗？A＋C=B×DA×B=D-CB×C=D-AC÷B=D-AD÷B=A＋C.

简介：讨论了格蕴涵代数与正则Fuzzy蕴涵代数之间的关系,并证明了正则Fuzzy蕴涵代数如果满足一定的条件,则构成格蕴涵代数.

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

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