-
公开(公告)号：CN101916179A
公开(公告)日：2010-12-15
申请号：CN201010229449.7
申请日：2010-07-12
Applicant: 清华大学
IPC: G06F9/30
Abstract: 控制寄存器中的比较标志位的存取方法属于体系架构描述语言ADL技术领域，其特征在于，在目标机上设置ADL描述文件和ADL分析程序，ADL描述文件依次进行指令格式描述和指令描述，ADL分析程序中的指令格式分析模块、指令分析模块和指令处理模块把体系架构信息描述为类、属性和对象，分别表示具有非常类似的行为、而只有一些例行行为有别的一些指令，格式化的指令所述的指令格式的属性以及指令本身的信息，在此基础上的加在指令格式后的后缀表示不同指令格式的继承机制，不仅具有高度的简洁性和表达力，而且比其他ADL描述文件的冗余少得多而且会产生更高质量的描述而有更少的程序错误。
-
-
公开(公告)号：CN1862461A
公开(公告)日：2006-11-15
申请号：CN200610012258.9
申请日：2006-06-15
Applicant: 清华大学
Abstract: 本发明属于手机用的藏文输入技术领域，其特征在于，首先把藏文中的韵母、生母、辅音、元音及其组合与英文字母建立一一对应关系，构成码表；其次，根据英文字母、符号设计键盘结构，同时，用导航键来选择特殊符号键中的标定符号技数字基本运算符号；然后，输入与藏文语句相对应的由英文字母及特殊符号构成的组合，并根据手机中预先存储的码表，就可把藏文字符输入手机。本发明解决了至今尚未实现地把藏文字符输入手机的问题。
-
公开(公告)号：CN105068921B
公开(公告)日：2018-04-10
申请号：CN201510436106.0
申请日：2015-07-23
Applicant: 清华大学
IPC: G06F11/36
Abstract: 基于App对比分析的安卓应用商店可信度的评价方法，涉及软件工程领域和程序分析领域，所述方法适用于安卓应用程序，通过对安卓应用商店中的应用程序进行采样和对比分析，找出不同类型的差异，根据不同的重要程度给定不同的权值，应用评价算法，对应用商店进行综合评价，并给出评价结果和相对排序。方法的主要步骤如下：选择应用商店，选择应用程序App样本集；搭建虚拟机环境，采集应用程序App样本；应用程序App安装文件推送和基本信息获取；各应用商店应用程序App与官方应用程序App的对比分析和结果保存；各应用商店评分计算；最终结果统计。本发明具有应用范围广、评价合理、自动化程度高、使用方面、结果展示直观等特点。
-
公开(公告)号：CN105068921A
公开(公告)日：2015-11-18
申请号：CN201510436106.0
申请日：2015-07-23
Applicant: 清华大学
IPC: G06F11/36
Abstract: 基于App对比分析的安卓应用商店可信度的评价方法，涉及软件工程领域和程序分析领域，所述方法适用于安卓应用程序，通过对安卓应用商店中的应用程序进行采样和对比分析，找出不同类型的差异，根据不同的重要程度给定不同的权值，应用评价算法，对应用商店进行综合评价，并给出评价结果和相对排序。方法的主要步骤如下：选择应用商店，选择应用程序App样本集；搭建虚拟机环境，采集应用程序App样本；应用程序App安装文件推送和基本信息获取；各应用商店应用程序App与官方应用程序App的对比分析和结果保存；各应用商店评分计算；最终结果统计。本发明具有应用范围广、评价合理、自动化程度高、使用方面、结果展示直观等特点。
-
Patent Agency Ranking
公开(公告)号：CN104035773A
公开(公告)日：2014-09-10
申请号：CN201410258628.1
申请日：2014-06-11
Applicant: 清华大学
IPC: G06F9/44
Abstract: 一种基于扩展调用图的软件系统结点重要度评价方法，涉及软件工程领域，所述方法适用于软件系统，可以给出整个软件系统内函数和数据结点的重要度指标，并按照重要度指标进行排序，从而迅速找到软件系统中的关键结点。方法的主要步骤如下：编译源代码得到目标文件；从目标文件出发，构建软件系统所有本地代码的扩展调用图；对扩展调用图进行分析，利用结点排序算法计算扩展调用图中每个结点的重要度指标，该指标即表明结点在软件系统中的重要度。本发明具有应用范围广、准确度高、评价合理、自动化程度高、使用方便等特点。
-
公开(公告)号：CN101882190A
公开(公告)日：2010-11-10
申请号：CN201010216865.3
申请日：2010-06-25
Applicant: 清华大学
Abstract: 一种字节码格式中间表示程序的分模块形式化验证方法涉及程序安全技术领域，所述方法运行于双栈结构的虚拟机，包括以函数为单位形式化重写待验证字节码程序并给出其形式化规格说明；将函数划分为指令序列并给出其规格说明；形式化证明每一个指令序列符合对应的规格说明；函数中所有指令序列的证明连接后形成函数的证明，所有函数的证明连接起来得到整个程序的证明；满足规格说明中所描述的存储特性和部分正确性特性，达到增强字节码程序可信程度的目的。本发明可与常规的测试、静态和动态检查等方法结合，应用于航空、核工业控制等领域安全关键程序的检查，具有可信度高、可自动化检查等特点。
-
公开(公告)号：CN104035773B
公开(公告)日：2017-04-12
申请号：CN201410258628.1
申请日：2014-06-11
Applicant: 清华大学
IPC: G06F9/44
Abstract: 一种基于扩展调用图的软件系统结点重要度评价方法，涉及软件工程领域，所述方法适用于软件系统，可以给出整个软件系统内函数和数据结点的重要度指标，并按照重要度指标进行排序，从而迅速找到软件系统中的关键结点。方法的主要步骤如下：编译源代码得到目标文件；从目标文件出发，构建软件系统所有本地代码的扩展调用图；对扩展调用图进行分析，利用结点排序算法计算扩展调用图中每个结点的重要度指标，该指标即表明结点在软件系统中的重要度。本发明具有应用范围广、准确度高、评价合理、自动化程度高、使用方便等特点。
-
公开(公告)号：CN102890614B
公开(公告)日：2016-03-30
申请号：CN201210351722.2
申请日：2012-09-20
Applicant: 清华大学
IPC: G06F3/0488
Abstract: 一种移动终端设备的随机屏幕解锁系统，包括配置模块、屏幕监听模块、锁屏模块、触摸事件处理模块和触摸释放事件处理模块，基于该系统的随机屏幕解锁方法，当屏幕关闭时使用随机化算法计算出各个钥匙与锁即解锁路径起点与终点的位置集合，并根据该集合生成锁屏界面；当屏幕点亮时显示解锁图标，并监听用户的触摸；当用户触摸屏幕上的钥匙即解锁路径起点时，生成动态图标跟随用户的手指移动轨迹移动；当用户在锁上释放钥匙时，判断用户是否将正确的钥匙拖到了正确的锁上，若配对正确，解锁成功，本发明可保证每次解锁操作的路径都不相同，减轻了长期滑动造成的屏幕损耗，同时，引入误操作的概率降低，配对组合的数量增多，保证了锁屏安全性。
-
公开(公告)号：CN101916179B
公开(公告)日：2013-08-21
申请号：CN201010229449.7
申请日：2010-07-12
Applicant: 清华大学
IPC: G06F9/30
Abstract: 控制寄存器中的比较标志位的存取方法属于体系架构描述语言ADL技术领域，其特征在于，在目标机上设置ADL描述文件和ADL分析程序，ADL描述文件依次进行指令格式描述和指令描述，ADL分析程序中的指令格式分析模块、指令分析模块和指令处理模块把体系架构信息描述为类、属性和对象，分别表示具有非常类似的行为、而只有一些例行行为有别的一些指令，格式化的指令所述的指令格式的属性以及指令本身的信息，在此基础上的加在指令格式后的后缀表示不同指令格式的继承机制，不仅具有高度的简洁性和表达力，而且比其他ADL描述文件的冗余少得多而且会产生更高质量的描述而有更少的程序错误。
-
-
-
-
-
-
-
-
-
Search Results
22
records
(took 0.017 seconds)
