-
题名形象工程的历史书写——权力美学的三种标本
被引量：10
- 1
-
-
作者
朱大可
-
机构
同济大学文法学院
-
出处
《同济大学学报（社会科学版）》
2005年第5期30-40,共11页
-
文摘
中国权力美学的塑造拥有漫长的历史,并给我们留下了三个标本:嬴政和朱棣的宫式建筑及其符号体系,毛泽东的天安门叙事和当代新建筑浪潮,而支配它们发展的幕后逻辑是权力美学。
-
关键词
权力美学
天安门叙事
空间算术
时间算术
-
Keywords
power aesthetics
Tiananmen narrative
arithmetic of space
arithmetic of time
-
分类号
G05
[文化科学]
-
-
题名用于程序循环控制的错误检测算法
被引量：2
- 2
-
-
作者
邹宇
薛小平
张芳
潘勇
潘腾
-
机构
同济大学电子与信息工程学院
上海交通大学密西根学院
-
出处
《计算机应用》
CSCD
北大核心
2015年第12期3450-3455,共6页
-
文摘
为确保安全苛求系统中程序执行的正确性,针对程序循环控制中内存未更新、循环提前结束和循环滞后结束的问题,提出一种基于含签名和时间戳的算术（ANBD）码的循环控制错误检测算法。该算法通过ANBD码,将程序变量编码为含签名的码字。通过校验码字签名,检测循环控制错误。运用ANBD码中的时间标签,可检测内存未更新错误。另外,在ANBD码基础上,通过采用在线语句块签名分配算法、语句块签名函数和变量签名补偿函数,检测循环提前结束错误和循环滞后结束错误。该算法理论错误漏检概率为1/A,其中A为编码素数,选取97-10993的素数进行错误漏检概率测试,得到理论模型与测试结果的归一化均方误差（NMSE）约为-30 dB。测试结果表明,该算法可检测循环控制中出现的各类错误,且编码素数A接近232时,错误漏检概率可达10-9,能够满足安全苛求系统的应用要求。
-
关键词
循环控制
错误检测
含签名和时间戳的算术(ANBD)码
签名
-
Keywords
loop control
error detection
arithmetic-code with signature and timestamp（ANBD-code）
signature
-
分类号
TP302.8
[自动化与计算机技术—计算机系统结构]
-
