Moore机表示的系统迭代设计动态CTL模型检验的不变性研究(英文)

模型检验是系统级设计中验证可信计算系统安全性性质的有效方法。动态模型检验是模型随设计过程而变化的模型检验,动态模型检验过程中遇到的最严重问题之一是模型变化所带来的重复检验代价太高。因此,寻找不变性以避免重复检验显得尤为重要。不变性是一种贯穿系列模型检验而保值为真的性质。该文构建动态模型检验的形式化框架,进而提出基于Moore机描述的流控制系统迭代设计过程的不变性理论,该系统是一种嵌入式控制系统,在可信通信中用以处理数据转换,最后展示了若干非平凡CTL性质在迭代过程中的可保持性。     

扬雄身后褒贬评说考议 ——林贞爱《扬雄集校注》序

扬雄是极为有名的历史人物，关于他的功过是非的评价，发生过较大的争议。正确评价扬雄，应该把他放在他所处的历史环境，看待他的所作所为，不能把后人的观点强加于古人，也不应苛求前人。     

三峡库区人才隐患及对策思考

三峡库区人才资源存在数量不足、质量不高,人才结构、分布欠合理,人才流失日趋严重等问题。应树立人才为本、人才第一的理念;加快三峡库区城市化进程,促进人才结构调整;创造良好的各种环境吸引人才;加强舆论导向吸引人才;启动三峡库区人才发展规划等措施,促进三峡库区的人才开发利用。     

我国机构投资者参与上市公司治理分析

本文首先论述了国内外机构投资者的发展现状和其参与上市公司治理的背景,然后对机构投资者参与上市公司治理有利性进行了分析,并从内部机制和外部环境两个方面论述了机构投资者参与公司治理存在的问题,最后结合存在问题提出了相关政策建议.     

以服务质量考核招标应是我国出租汽车经营权管理的主要方式——从重庆等地出租汽车罢运事件谈起

近期,重庆发生出租汽车罢运事件,出租车罢运的主要原因:一是重庆市道路运输管理对黑车整治不力,导致黑车泛滥;二是运价低,起步价才5元;三是出租汽车公司对挂靠的个体出租车收取的管理费过高,平均每辆出租车每月收取管理费七八千元;四是出租车有时在主城区加气难。这其中最核心问题     

《三角形》的若干概念及应用

《三角形》一章中,部分概念似是而非,学生难以作出正确判断,在复习中应予以足够重视。     

强化"四心"做新时期合格的职业教师

职业技术类院校的学生相对于普通高中、大专际校的学生来说,有其特殊性,他们中相当一部分自卑心理较重,知识基础较差,纪律观念淡薄,理想信念淡化.……     

浅议孔子的志向观

教育青年树立远大志向是每个教育工作者义不容辞的责任.早在2000多年前,伟大的教育家孔子已经为我们树立了典范,其立志、守志、酬志的有为史实仍值得今天的教育者借鉴.     

就业公正性浅析

文章拟从获取人才就业市场竞争力的机会公正、人才就业市场的竞争程序公正以及就业的结果公正三个方面入手,用历史的、辩证的、有差别的公正观探讨就业公正问题,并就解决就业不公正现象提出制度设想.     

曼谷小姐千里寻郎：浪漫痴爱终结于现实婚姻

新闻背景：李乐珠，泰国华裔。2002年3月参加泰国极负盛名的“曼谷小姐选美大赛”，轻松摘取亚军，成为首位在曼谷小姐大赛决赛中取得优异成绩的华裔!在媒体的大力追捧下，李乐珠迅速蹿红。然而就在成名后不久，李乐珠遭遇车祸毁容，人生从此跌入低谷，无法忍受世态炎凉的她躲到了中国杭州的亲戚家，