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

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

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

简介：现代大学制度的完善及推进大学治理变革是实现高等教育科学发展的驱动力，而施行大学章程是其中重要的环节。一、大学章程与大学内部治理的内涵及其关系大学章程是中国现代大学设立的制度性根基，是高等学校为实施自主管理、学术自由、保障校园秩序的良性运行，以国家法律、法规作为依据，针对学校的重大、根本事项制定的规范性文件。大学内部治理是大学在实现教育理念和目标过程中，大学教授、行政管理人员、学生等利益主体之间权利、责任、利益关系的制度安排和权力配置，以及维持和实现这种制度性安排的过程。

简介：法治中国化的推进如果缺失社会成员对法治的社会心理基础即法治认同将会举步维艰。法治认同是认同实践在法治维度上的拓延,其对法治化进程发挥内在驱动力的作用。法治认同铺垫法治社会构建所需的社会心理基础,有利于实现对法治认知的纠偏和对实态化法治的审视与修正,并促成法治推进过程中对利益冲突的调整与化解。法治认同的生发机理在于认同主客体间二维向度上的互动规约,从而达致主体的法治化与法治的主体化,在认同过程中还需关注利益感受和情感归依这两个参量的影响。大学生群体的法治认同实践应从其所处的特定成长阶段出发,以利益与情感为导向,注重法治话语体系的构建,补缺法治认同的实践短板,强化家庭的功能释放,科学地创设出认同实践的软环境。