自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(7)
  • 收藏
  • 关注

原创 Text2Img综述

​ 目前多模态的生成领域最火热的方向还是Text-to-Image,它是根据自然语言描述去指导图像的生成,但是是否能够支持故事生成的大篇幅自然语言来指导图像的生成还未可知,或许这些模型的text encoder可以充分提取到长文本中的语义信息,又或许提取不到,那么就需要套用文摘模型对长篇幅进行一个精炼。​ 并且从这些年该领域发表的文章看来,基于扩散模型的T2I模型越来越火了,这也得益于扩散模型能够生成更多样、分辨率更高的图片。

2023-10-11 15:01:38 409

原创 软件构造笔记5 面向正确性与健壮性的软件构造

Construction for Robustness and Correctness什么是正确性和健壮性怎么衡量正确性和健壮性外部观察角度内部观察角度Java中的错误和异常异常什么是异常异常的分类怎么检查异常什么是正确性和健壮性健壮性:系统在不正常输入或不正常外部环境下仍能够表现正常的程度正确性:程序按照spec加以执行的能力,是最重要的质量指标!怎么衡量正确性和健壮性外部观察角度平均故障间隔时间是指系统在运行期间内在故障之间的预计经过时间。平均故障间隔时间计算为系统的算术平均(平均)故障

2021-07-04 20:14:00 172

原创 软件构造笔记4 三次实验的总结

软件构造实验总结Lab1本次实验的感想Lab2本次实验的感想Lab3本次实验的感想Lab1本次实验通过求解三个问题,训练基本 Java 编程技能,能够利用 Java OO 开发基本的功能模块,能够阅读理解已有代码框架并根据功能需求补全代码,能够为所开发的代码编写基本的测试程序并完成测试,初步保证所开发代码的正确性。另一方面,利用 Git 作为代码配置管理的工具,学会 Git 的基本使用方法本次实验的感想通过本次实验,我从一开始的毫无头绪到后来能够理解实验问题一二三所描述的内容,并有一个解决的思路。在

2021-07-04 19:46:16 240

原创 软件构造笔记3 面向复用的软件构造技术

面向复用的软件构造技术什么是软件复用?复用的几种等级源码层面的复用模块层面的复用(类与接口)库层面的复用系统层面的复用(框架)设计可复用的类Liskov Substitution Principle(LSP原则)Covariance(协变)反协变\逆变什么是软件复用?软件重用是使用现有软件组件实现或更新软件系统的过程。面向复用编程:开发出可复用的软件。(例如开发一个接口,然后编写该接口的几种实现方法)基于复用编程:利用已有的可复用软件搭建应用系统。(使用已开发出的接口搭建应用系统)软件复用可以降

2021-06-28 15:17:30 232

原创 HIT 软件构造笔记2 数据抽象类型(ADT)

Abstract Data Type (ADT)对类型和操作的分类可变类型的对象:提供了可改变其内部数据的值的操作不变数据类型: 其操作不改变内部值,而是构造新的对象即可变类型的对象在修改的时候是修改其内部的值,而不可变数据类型是新创建一个类型,然后引用新创建的类型。对抽象类型的操作进行分类构造器:创建该类型的新对象。生产器:从该类型的旧对象创建新对象。观察器:获取抽象类型的对象并返回不同类型的对象。变值器:改变对象属性的方法。以下是一些常见类的方法的类型:方法类型

2021-06-27 21:23:11 121

原创 程序人生-Hello’s P2P

计算机系统大作业题 目 程序人生-Hello’s P2P 专 业 计算机类学   号 1190300611班   级 1903004学 生 杨宇辰    指 导 教 师 史先俊计算机科学与技术学院2021年5月摘 要本文讲述了hello程序的生命周期是从一个高级C语言开始的,为了在系统上运行hello.c程序,需要经过预处

2021-06-22 17:27:10 248

原创 HIT 软件构造笔记1 软件测试与测试优先的编程

HIT 软件构造笔记1 软件测试与测试优先的编程软件测试什么是一个好的测试?测试层次单元测试集成测试系统测试其他的测试测试用例什么是测试用例单元测试单元测试程序使用JUnit进行自动的单元测试插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能,丰富你的文章UML 图表FLowchart流程图导出与导入导出导入软件测试软件测试是提高软件质量的重要手段,但是质

2021-06-10 21:00:34 148 2

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除