行业报告详情 - 行业报告数据库

行业分类

▶ 农、林、牧、渔业
5397 篇
▶ 采矿业
13909 篇
▶ 制造业
478011 篇
- 农副食品加工业
  2799 篇
- 食品制造业
  53220 篇
- 酒、饮料和精制茶制造业
  2385 篇
- 烟草制品业
  727 篇
- 纺织业
  24298 篇
- 纺织服装、服饰业
  1411 篇
- 皮革、毛皮、羽毛及其制品和制鞋业
  220 篇
- 木材加工和木、竹、藤、棕、草制品业
  424 篇
- 家具制造业
  714 篇
- 造纸和纸制品业
  1485 篇
- 印刷和记录媒介复制业
  231 篇
- 文教、工美、体育和娱乐用品制造业
  232 篇
- 石油加工、炼焦和核燃料加工业
  51412 篇
- 化学原料和化学制品制造业
  66076 篇
- 医药制造业
  33873 篇
- 化学纤维制造业
  550 篇
- 橡胶和塑料制品业
  2220 篇
- 非金属矿物制品业
  8793 篇
- 黑色金属冶炼和压延加工业
  18990 篇
- 有色金属冶炼和压延加工业
  2134 篇
- 金属制品业
  8443 篇
- 通用设备制造业
  59623 篇
- 专用设备制造业
  60500 篇
- 汽车制造业
  99832 篇
- 铁路、船舶、航空航天和其他运输设备制造业
  2191 篇
- 电气机械和器材制造业
  24012 篇
- 计算机、通信和其他电子设备制造业
  71051 篇
- 仪器仪表制造业
  2950 篇
- 其他制造业
  612 篇
- 废弃资源综合利用业
  132 篇
- 金属制品、机械和设备修理业
  433 篇
▶ 电力、热力、燃气及水生产和供应业
16306 篇
▶ 建筑业
11769 篇
▶ 批发和零售业
3941 篇
▶ 交通运输、仓储和邮政业
6547 篇
▶ 住宿和餐饮业
1253 篇
▶ 信息传输、软件和信息技术服务业
75647 篇
▶ 金融业
37894 篇
▶ 房地产业
12167 篇
▶ 租赁和商务服务业
1665 篇
▶ 科学研究和技术服务业
2867 篇
▶ 水利、环境和公共设施管理业
3421 篇
▶ 居民服务、修理和其他服务业
641 篇
▶ 教育
1241 篇
▶ 卫生和社会工作
1979 篇
▶ 文化、体育和娱乐业
4920 篇
▶ 公共管理、社会保障和社会组织
3875 篇
▶ 综合
5488 篇

找到报告 1 篇当前为第 1 页共 1 页

非线性循环的终止性分析

作者：李轶作者单位：电子科技大学计算机推理与可信计算实验室,四川成都610054 加工时间：2014-07-15 信息来源：《软件学报》

关键词：可信计算；非线性循环；终止性分析；DISCOVERE
摘要：单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法,同时,对几类特殊循环的终止性进行了分析,得出了相应的结论.

行业分类

友情链接

联系我们

QQ咨询

电话咨询

微信公众号

感谢访问