tianxiakun的博客

Session在网络中被称为会话。由于HTTP协议是一种无状态的协议，也就是当一个客户端发送请求，服务器端收到请求，并返回响应后，该连接就结束了，而服务器不保存任何相关的信息。为了弥补这一缺点，HTTP协议提供了session。通过session可以在应用程序的web页面间进行跳转时，保存用户的状态，使得整个用户会话一直存在下去，直到浏览器关闭。一个session就是一系列某用户和服务器间的通讯。服务器有能力分辨出不同的用户。一个session的建立是从一个用户向服务器发第一个请求开始，而以用户显式结束或

假设要计算A×B×C×D×E，其中A、B、C、D和E是矩阵。由于矩阵相乘具有结合性，所以矩阵相乘的顺序是任意的。但是，矩阵相乘时做乘法的次数，取决于所选择的矩阵相乘的顺序。例如，矩阵A：50×10，B：10×20，C：20×5。计算A×B×C有两种顺序，即（A×B）×C和A×（B×C）。第一种顺序需要做乘法15000次，而第二种只要3500次。编程任务：对给定的矩阵相乘顺序，计算矩阵相乘时所需的乘法次数。输入格式输入分为两部分：矩阵列表和矩阵相乘的表达式列表。第一行是一个整数n（1≤n≤26）

第一章 软件工程概论软件：是计算机程序、方法、规则、相关的文档以及运行计算机系统时所必需的数据的总和(狭义定义：软件＝程序+数据+文档)软件的特性：软件是复杂的、软件是不可见的、软件是不断变化的和软件质量难以稳定。软件的质量特性：功能性、可靠性、易用性、效率、维护性、可移植性。1.1 软件危机：指在计算机软件的开发和维护过程中所遇到的一系列严重问题。1.1.1 软件危机的主要表现：对软件开发成本和进度估计常常很不准确用户对"已完成"的系统不满意的现象经常发生软件产品的质量往往靠不住软件常常

形式化 英文名(formalmethod）在计算机科学和软件工程领域，形式化方法是基于 数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和 鲁棒性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。形式化方法在古代就运用了,而在现代逻辑中又有了进一步的发展和完善。这种方法特别在数学、 计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律,制定相应的逻

Quora精选：为什么软件开发周期总是预估的2~3倍Quora精选路上总会有各种问题。

写出下列问题定义并分析此系统的可行性。目前住院病人主要由护士护理，这样做不仅需要大量的护士，而且由于不能随时观察危重病人的病情变化，还可能会延误抢救时机。某医院打算开发一个以计算机为中心的的患者监护系统，试写下问题定义，并分析开发这个系统的可行性。问题定义1护理的护士人手不够。2对危重病人的观察不会很及时3从护士到医生，时间较长，延误抢救时间。数据流图：（目前就不画图了）病人住院->录入系统登记->是否为重病患者-----否------>不再关注\\\\\\\\\\\\\

“Software engineer， of course,presents itself as another worthy cause ,but that is eyewash:if you carefully read its literature and analyse what its devotees actually do ,you will discover that software engineering has accepted as its charter ‘How to progr