zouxiaoyu
zouxiaoyu

1975 vol. 1 Issue No. 01 - March

这期的主题貌似主要是formal specification：

（1）强调人的interactive，（2）推测程序的本意是否和specification符合，（3）将formal的关键是abstract级别的选取并分析了下data的abstract，（4）自动补充assert来帮忙验证，（5）do while的验证转移到loop，for loop的验证。（6）将系统用图理论构建起来一个structure，对系统定义一堆allowable executions，扰动图的执行路径跟allowable的比，不在allowable里的便是error（关注在concurrent errors上）。那这个allowable set本身定义起来也很麻烦啊，也存在路径爆炸问题吧？（7）DB中的rollback与recovery，error出现时load checkpoing，然后重新将操作来一遍，但文章目的说determining optimal checkpoint time是啥东西？（8）开发基于Fortran的PFortran，machine independent I/O, data compression/decompression, virtual data arrays, variable precision arithmetic, and a programmer-controlled data unit. （9）浅谈如何避免large complex system涉及的error，跟small程序比较，好像还挺有意思。

【以下三个感觉有点意思，备注全文读一读】

印象深刻的是在这一期基本就提到说formal specification在large complex系统的不适应强调了Automated testing技术的前景。原来testing这个作为保护程序正确手段的作用在这么早就开始提出来了：Testing large software with automated software evaluation systems

有一个讲自动往程序里补assert语句的，觉得有点意思：

A synthesizer of inductive assertions

如何更好的设计reliable的large-scale software：Some experience with automated aids to the design of large-scale reliable software

你可能感兴趣的:(1975 vol. 1 Issue No. 01 - March)

  • docker磁盘空间不足解决办法 win_zcj dockereureka容器
    摘抄自：https://www.cnblogs.com/jun-zhou/p/15086657.html说明：用yuminstalldocker安装的docker默认安装目录在/var/lib/docker/，/var目录很小，需要改换更大的磁盘空间存储1.查看docker镜像存放目录空间大小du-hs/var/lib/docker/2.停止docker服务。systemctlstopdocker
  • 凯恩学写作第7天：《古典：五个问题写出好文章》 田_52ab
    今天学习的课程是APP《得到》里古典老师的一篇《五个问题写出好文章》。这篇文章是知道我们如何去写出一篇有影响力的观点式文章，在这个时代写文章是一件非常有意义的事情，除了是一种自我表达、升级思维的方式外，还是一种传播个人影响力最好的方式。在课程中，古典老师给出了一种写作的方式，即提出五个问题，并对这五个问题进行回答，最后将问题和你的解答记录下来，就能写出一篇有影响力的观点式文章。课程内容：问题1：最
  • 工作室读书分享——《语文课程标准》（十七） 水墨青花_7e78
    王引娣老师分享：3.拓展型学习任务群整本书阅读。在语文实践活动中，根据阅读目的和兴趣选择合适的图书制定阅读计划，综合运用多种方法阅读整本书，借助多种方式分享阅读心得，交流，研讨阅读中的问题，积累整本书阅读经验，养成良好阅读习惯，提高整体认知能力，丰富精神世界。第四学段（7～9）学习内容包括：革命文学作品，古今中外诗歌及中长篇小说散文集等文学名著，多样的读书活动丰富拓展名著阅读。教学提示1）应统筹安
  • 越放松，越轻松 素日锦年1
    去年六月脚受伤后，找到了不再坚持瑜伽的理由，就这样一直搁浅了。身体每况愈下，体重悄然上升，脚一直不好不歹，如果一直不动可能就真的不动了。四月初，提醒自己，开始瑜伽吧，否则真的荒废了。开始约课，结果爽约。问自己，说好的开始，说好的坚持呢？人呐，说别人，理论一套一套，看自己，理由千条万条。只有真的逼自己一把，从0步到1步，甚至半步，都比原地不动要好。一节顺位瑜伽下来，发现了自己身体的变化，心中有些窃喜
  • 洛谷 P1577 切绳子--二分法求解绳子切割问题 jdlxx_dongfangxing 算法c++二分法
    一、问题重述与建模给定N条长度分别为L[i]的绳子，要求从中切割出K条长度相同的绳子，求这K条绳子每条最长能有多长。答案需要保留到小数点后2位（直接舍去而非四舍五入）。这个问题可以抽象为一个‌最大化最小值‌的优化问题。我们需要找到一个最大的长度x，使得从所有绳子中能够切割出至少K条长度为x的绳子。数学表达式为：maximizexsubjectto∑⌊L[i]/x⌋≥K这个问题属于典型的‌非线性规划
  • 基于深度学习的手写数字和符号识别系统：YOLOv5/v6/v7/v8/v10模型实现与UI界面集成 YOLO实战营 深度学习YOLOui人工智能目标检测计算机视觉
    1.引言随着人工智能和深度学习技术的发展，手写数字和符号识别已经成为计算机视觉领域的重要研究方向。手写识别在很多实际应用中扮演着关键角色，例如邮政编码识别、表单自动处理和智能教育系统等。传统的手写识别方法通常依赖于复杂的特征工程，而深度学习则能够自动从数据中学习到特征，极大地提高了识别精度和速度。本文将介绍如何构建一个基于YOLO系列模型（YOLOv5、YOLOv6、YOLOv7、YOLOv8、Y
  • 智慧是永恒的财富 且听风吟暖花开
    犹太人的神思维！值得学习只要换个思路，换种活法，调整自己的心态，换个角度，结果会完全不同。一．转换一个思路思考问题一个犹太人走进纽约的一家银行，来到贷款部，大模大样地坐下来。“请问先生有什么事情吗？”贷款部经理一边问，一边打量着来人的穿着：豪华的西服、高级皮鞋、昂贵的手表，还有镶宝石的领带夹子。“我想借些钱。”“好啊，你要借多少？”“１美元。”“只需要１美元？”“不错，只借１美元。可以吗？”“当然
  • python 协程进阶 cliffordl asyncpythonpython开发语言
    python协程实现python协程进阶python生成器的作用协程在多个模型流式输出中的使用实例文章目录1.协程基础1.1.协程名词解释1.2.基本工作流程1.3.async协程执行1.3.1.协程顺序执行（asyncio.run）1.3.2.协程顺序执行（await）1.3.3.协程同步执行（asyncio.create_task）2.可等待对象（Awaitables）2.1.Coroutin
  • python 基于 httpx 的流式请求
    文章目录1.环境介绍2.同步客户端2.1.面向过程2.1.1.流式输出2.1.2.非流式输出2.2.面向对象3.异步客户端3.1.面向过程3.2.面向对象3.3.Attemptedtocallasynciteratoronanasyncstream.参考：https://www.jb51.net/article/262636.htm次要参考：https://blog.csdn.net/gitblo
  • 【人工智能艺术革命：科技灵感与艺术创新的交融纪元】 陈辰学长 人工智能科技
    【人工智能艺术革命：科技灵感与艺术创新的交融纪元】在21世纪的科技浪潮中，人工智能（AI）作为一股不可忽视的力量，正以前所未有的速度渗透并重塑着我们的生活、工作乃至艺术创作领域。其中，AI绘画作为科技与艺术深度融合的产物，不仅挑战了传统艺术的边界，更开启了一个充满无限想象与可能的新时代。本文将从AI绘画的定义与发展历程、技术原理、对艺术创作的影响、面临的挑战与机遇以及未来展望等多个维度，深入探讨这
  • 阿里云ssl证书自动安装及续订（acme） cherishSpring nginxlinux#docker容器阿里云ssl数据库
    目录一、shell命令安装二、dockerrun安装三、dockercompose安装一、shell命令安装#安装acmecurlhttps://get.acme.sh|[email protected]#注册zerossl.acme.sh/[email protected]#获取证书exportA
  • 记·自律『第141天』 黎雨萱
    1、学习单词30个，复习37个2、形体操：90分钟（上午）3、跳绳：100个（虽然太少，还是记录下）4、樊登讲书：《我会独立思考》5、樊登非凡精读：《幸福之路》6、电子书《幸福之路》（p1-19）7、电子书《被忽视的孩子》（p745-817）8、纸质书《红书》（p46-51）9、日更（第323天）10、每日一句打卡（第140天）11、每日写信打卡（第173天）————今天服务器又出毛病了，还好电脑
  • docker命令 cherishSpring #docker容器dockerjavaeureka
    目录1、常用命令2、容器生命周期管理创建一个新容器并运行一个命令杀掉一个运行中的容器删除一个或多个容器3、容器操作列出容器获取容器/镜像的元数据从服务器获取实时事件将文件系统作为一个tar归档文件导出到STDOUT4、容器rootfs命令从容器创建一个新的镜像检查容器里文件结构的更改容器与主机之间的数据拷贝5、镜像仓库登陆到Docker镜像仓库登出Docker镜像仓库从镜像仓库中拉取或者更新指定镜
  • 2021-09-23 潇洒二爷
    世界各地的皇家结婚礼服，有的简约大方，有的设计非常复杂——3Simpleandcomplicatedroyalweddingdressesworldwide瑞典王妃索菲娅（PrincessSofia），选择了一件网眼状的婚纱，设计师是瑞典人伊达·约斯特德特（IdaSjöstedt）。8瑞典王妃索菲娅瑞典王子卡尔·菲利普与王妃索菲娅于2015年结婚。瑞典王子卡尔·菲利普与王妃索菲娅文莱（Brunei
  • 甜蜜家园3韩剧全集无修[1080p英文中字]百度网盘云资源完整版下载免费观看 星座天蝎座之
    甜蜜家园3高清HD下载百度网盘完整百度云资源链接下载提示：文章排版原因，观影资源链接地址放在文章结尾，往下翻就行甜蜜家园3》延续了前作的故事线，讲述了一家人在遭遇外部威胁时如何团结一致，共同面对困难的历程。影片开场不久，观众便被引入一个风云变幻的环境，随着情节的发展，角色之间的关系也逐渐深入。影片以一种紧凑且富有张力的叙事手法，展示了角色们在逆境中所经历的挣扎与成长。其次，角色的塑造是《甜蜜家园3
  • 2022-06-24 f0a097af1041
    2022年6月24日爱的开启第75日，肯定自己：1、每年这个时间，是高考生成绩公布的时候，每年这个时间，所有考生及家长最激动人心的时间，我也睡不着，在关注这个问题，太激动了，十年寒窗苦读，学子们就等着这天的果实与收获。2、可是在这个特殊的日子里，居然幼儿园大班的小朋友要上一年级了，教育局主管部门在那里等候审核孩子们的信息，大班老师们带着信息步入教育局，配合审核工作。
  • 曾笑万场离分完结+番外(季如葵东方重楼）小说全文季如葵东方重楼读无弹窗结局_（季如葵东方重楼）曾笑万场离分完结 好书慢看
    曾笑万场离分完结+番外(季如葵东方重楼）小说全文季如葵东方重楼读无弹窗结局_（季如葵东方重楼）曾笑万场离分完结主角配角：东方重楼季如葵小说别名：曾笑万场离分/三生三世的救赎/三生三世救赎路简介：嫁给魔尊后的第三百年，她准备瞒着他离开了。“系统，我申请脱离世界。”冥域殿，季如葵低声召唤出系统，下一秒，金色物体从空气中弹出来。系统机械的开口：【371号宿主申请脱离世界，系统处理中……】三分钟后。金色的
  • 粘的ScalersTalk第七轮新概念朗读持续力训练Day 75 211228 粘_NIAN
    练习材料：Lesson75SOSWhenalightpassengerplaneflewoffcoursesometimeago,itcrashedinthemountainsanditspilotwaskilled.Theonlypassengers,ayoungwomanandhertwobabydaughters,wereunhurt.Itwasthemiddleofwinter.Snowl
  • 2022-10-12 怀洋
    2022.10.12今日阅读《好好思考》对于一个行业的专业人士，他们对于专业内的判断和一般的从业人员是不同的。我曾学过如何做经验萃取，也对身边的销售大咖做过萃取。在沟通时听过最多的就是，“我没做什么，就按照平时经营的做。”其实不是他们没有，只是他们不知道他们用在用的方法别人是不知道的。而有些时候别人的方法或者成功经验学完了没有效果，用不到自己的工作生活中。其实不是方法不好，只是没有融会贯通。就像书
  • 命理分析八字算命，七杀是什么意思 laozi7876
    七杀格，命里太多的话，都是会影响到的哦，从而对于如果是在女命中有着三个的七杀，那么这些的说法上都是会如何的呢，一起来看看女命三个七杀有哪些影响吧。1、八字解析七杀其实对七杀，都是会比较多的就是劳心劳累的，而且对于在自己的干劲上和勇气中，都是有着改变到了一切当初变动的象征起来，所以，基本上不管是男女都好，都是会有着命中自带着七杀的人都是会超级不安分的，而且对于人生里都是更加都不好，从而对与如果是女命
  • 【1875丁玉苹，财务咨询师】“第001篇日记” 反思反省自己 丁玉苹
    从今天开始正式进入日记星球第46期写日记营，21天跟同学们一起开始！我最大的缺点就是拖拉和不坚持，今年要改这个缺点，从每天写日记开始。今年对我人生来说，是最最最困难的一年，我想已经见底了，我自己也不断反思、改正，只会往上走了！特别在孩子的教育上，我一方面很注重教育，但在孩子教养上又放养。有点伪教育了。机缘巧合下，知晓了“日记星球”，想着有外力推动我一把，逼自己再进步再优秀一点！给豪豪小朋友也报了一
  • Packaging软件：Amkor二次开发_（11）.常见问题与解决方法 kkchenkx 半导体制造与电力电子节能系统仿真芯片制造仿真半导体制造芯片仿真
    常见问题与解决方法在使用和二次开发AmkorPackaging软件的过程中，经常会遇到一些技术问题。本节将详细介绍一些常见的问题及其解决方法，帮助开发者更好地应对这些挑战。1.安装与配置问题1.1依赖库安装失败问题描述在安装AmkorPackaging软件时，可能会遇到依赖库安装失败的问题。这通常会导致软件无法正常运行，或者在运行某些特定功能时出现错误。解决方法检查依赖库版本：确保所有
  • 工作上持续的焦虑，让我今天的情绪崩溃了！ 恍恍惚惚度流年
    1.今天我情绪崩溃了！2.我也说不清是焦虑还是烦躁或是别的什么情绪，总归是不好的情绪！3.从昨天的心神不宁到昨晚的情绪低落，我一步步步入情绪的陷阱！4.昨天工作到晚上8点多，今天8点多又起来工作到12点，真心累！5.12点开始做饭，四个菜，米饭做的少了，感觉大家不够吃。6.饭做好后，喊了我老公两遍让他吃饭，都没喊过来~说是嫌饭太烫了！7.吃饭的时候，我老公又觉得一个菜做咸了，其他的做淡了！8.我自
  • Python打卡Day11 常见的调参方式
    核心知识：1.模型=算法+实例化设置的外参（超参数）+训练得到的内参2.只要调参就需要考2次所以如果不做交叉验证，就需要划分验证集和测试集，但是很多调参方法中都默认有交叉验证，所以实际中可以省去划分验证集和测试集的步骤基线模型（基准模型）:首先运行一个使用默认参数的模型，记录其性能作为比较的基准。超参数调整数据1.网格搜索(GridSearchCV):-需要定义参数的网格（param_grid），
  • 2023-09-17 余則徐
    2023.9.17.达视津气象2023.9.17.达视津气象秋色斑斓朋友们早上好！今天2023.9.17.星期日，农历八月初三的4:33，干支历法是癸卯年辛酉月丁丑日壬寅时。今天的天气预报又是个颇有争议的日子啦：手机气象软件认为今天有雷阵雨，而其逐小时预报却是9点钟以前每个小时都是晴天，然后两个小时多云，再往后一直到夜间是阴天，没有说有雨；敝人六爻八卦预测倾向于气象台的逐小时预报哦。当前气温25摄
  • spring-boot+spring-cloud数据库报错小记 DoUbLE_tree
    使用环境srping-boot:2.1.1.RELEASEspring-cloud:Finchley.SR2报错提示Description:Thebean'dataSource',definedinBeanDefinitiondefinedinclasspathresource[org/springframework/boot/autoconfigure/jdbc/DataSourceConfig
  • autodl云计算平台 使用ollama 部署lightrag 加入streamlit界面 42fourtytoo 云计算深度学习pytorch学习
    1到autodl的算力市场里开一台机器镜像选择：PyTorch2.3.0、Python3.12(ubuntu22.04)、Cuda12.1我本来选择的Cuda12.4，但版本过高疑似会使ollama不使用GPU而只用CPU，后来换个镜像就好了2下载lightrag从lightrag的GitHub界面下载zip开机，上传zip，解压到autodl-tmp/lightrag下安装依赖，在文件夹下：pi
  • YOLO V8+Python训练手写数字识别 yuanpan YOLOpython开发语言
    以下是针对Windows11+Python环境的详细步骤说明，从数据集整理到模型训练，全部适配YOLOv8流程。1.数据集整理（MNIST→YOLO格式）1.1下载MNIST数据集MNIST数据集可通过Python直接下载（无需手动下载）：python复制fromtorchvision.datasetsimportMNISTimportos#自动下载MNIST数据集（图片和标签）train_dat
  • python学智能算法（二十七）|SVM-拉格朗日函数求解上 西猫雷婶 机器学习人工智能python学习笔记支持向量机python机器学习算法人工智能
    【1】引言前序学习进程中，我们已经掌握了支持向量机算法中，为寻找最佳分割超平面，如何用向量表达超平面方程，如何为超平面方程建立拉格朗日函数。本篇文章的学习目标是：求解SVM拉格朗日函数。【2】求解方法【2.1】待求解函数支持量机算法的拉格朗日函数为：L(w,b,α)=12∥w∥2−∑i=1mαi[yi(w⋅xi+b−1)]L(w,b,\alpha)=\frac{1}{2}{\left\|w\rig
  • 杂笔 颜末小趣
    1.突然之间不想在管那么多，何必给自己找不痛快。凡事都三思而后行，会有意想不到的收获。2.为什么总是有人那么心胸宽广呢？其实都是被委屈和眼泪撑大的。3.当一个人不在把很多事和人放心上的时候，他就会活得很轻松和自在。因为关我屁事啊。4.遇到事的时候别先错乱手脚，越紧张越不知道如何做就越容易出错。凡事冷静总能解决一切。5.干嘛要做好人呢，委屈了自己还会落下不好的说道。6.没有人会无缘无故的对一个人好，
  • 集合框架 天子之骄 java数据结构集合框架
       集合框架 集合框架可以理解为一个容器，该容器主要指映射(map)、集合(set)、数组(array)和列表(list)等抽象数据结构。 从本质上来说，Java集合框架的主要组成是用来操作对象的接口。不同接口描述不同的数据类型。   简单介绍：   Collection接口是最基本的接口，它定义了List和Set，List又定义了LinkLi
  • Table Driven（表驱动）方法实例 bijian1013 javaenumTable Driven表驱动
    实例一： /** * 驾驶人年龄段 * 保险行业，会对驾驶人的年龄做年龄段的区分判断 * 驾驶人年龄段：01-[18,25);02-[25,30);03-[30-35);04-[35,40);05-[40,45);06-[45,50);07-[50-55);08-[55,+∞) */ public class AgePeriodTest { //if...el
  • Jquery 总结 cuishikuan javajqueryAjaxWebjquery方法
    1.$.trim方法用于移除字符串头部和尾部多余的空格。如：$.trim('   Hello   ') // Hello2.$.contains方法返回一个布尔值，表示某个DOM元素（第二个参数）是否为另一个DOM元素（第一个参数）的下级元素。如：$.contains(document.documentElement, document.body); 3.$
  • 面向对象概念的提出 麦田的设计者 java面向对象面向过程
            面向对象中，一切都是由对象展开的，组织代码，封装数据。   在台湾面向对象被翻译为了面向物件编程，这充分说明了，这种编程强调实体。       下面就结合编程语言的发展史，聊一聊面向过程和面向对象。      c语言由贝尔实
  • linux网口绑定 被触发 linux
    刚在一台IBM Xserver服务器上装了RedHat Linux Enterprise AS 4，为了提高网络的可靠性配置双网卡绑定。 一、环境描述 我的RedHat Linux Enterprise AS 4安装双口的Intel千兆网卡，通过ifconfig -a命令看到eth0和eth1两张网卡。 二、双网卡绑定步骤： 2.1 修改/etc/sysconfig/network
  • XML基础语法 肆无忌惮_ xml
    一、什么是XML？ XML全称是Extensible Markup Language，可扩展标记语言。很类似HTML。XML的目的是传输数据而非显示数据。XML的标签没有被预定义，你需要自行定义标签。XML被设计为具有自我描述性。是W3C的推荐标准。   二、为什么学习XML？ 用来解决程序间数据传输的格式问题 做配置文件 充当小型数据库   三、XML与HTM
  • 为网页添加自己喜欢的字体 知了ing 字体 秒表 css
    @font-face { font-family: miaobiao;//定义字体名字 font-style: normal; font-weight: 400; src: url('font/DS-DIGI-e.eot');//字体文件 } 使用： <label style="font-size:18px;font-famil
  • redis范围查询应用-查找IP所在城市 矮蛋蛋 redis
    原文地址： http://www.tuicool.com/articles/BrURbqV 需求 根据IP找到对应的城市 原来的解决方案 oracle表（ip_country）： 查询IP对应的城市： 1.把a.b.c.d这样格式的IP转为一个数字，例如为把210.21.224.34转为3524648994 2. select city from ip_
  • 输入两个整数， 计算百分比 alleni123 java
    public static String getPercent(int x, int total){ double result=(x*1.0)/(total*1.0); System.out.println(result); DecimalFormat df1=new DecimalFormat("0.0000%");
  • 百合——————>怎么学习计算机语言 百合不是茶 java 移动开发
        对于一个从没有接触过计算机语言的人来说，一上来就学面向对象，就算是心里上面接受的了，灵魂我觉得也应该是跟不上的，学不好是很正常的现象，计算机语言老师讲的再多，你在课堂上面跟着老师听的再多，我觉得你应该还是学不会的，最主要的原因是你根本没有想过该怎么来学习计算机编程语言，记得大一的时候金山网络公司在湖大招聘我们学校一个才来大学几天的被金山网络录取，一个刚到大学的就能够去和
  • linux下tomcat开机自启动 bijian1013 tomcat
    方法一： 修改Tomcat/bin/startup.sh 为: export JAVA_HOME=/home/java1.6.0_27 export CLASSPATH=$CLASSPATH:$JAVA_HOME/lib/tools.jar:$JAVA_HOME/lib/dt.jar:. export PATH=$JAVA_HOME/bin:$PATH export CATALINA_H
  • spring aop实例 bijian1013 javaspringAOP
    1.AdviceMethods.java package com.bijian.study.spring.aop.schema; public class AdviceMethods { public void preGreeting() { System.out.println("--how are you!--"); } } 2.beans.x
  • [Gson八]GsonBuilder序列化和反序列化选项enableComplexMapKeySerialization bit1129 serialization
    enableComplexMapKeySerialization配置项的含义  Gson在序列化Map时，默认情况下，是调用Key的toString方法得到它的JSON字符串的Key，对于简单类型和字符串类型，这没有问题，但是对于复杂数据对象，如果对象没有覆写toString方法，那么默认的toString方法将得到这个对象的Hash地址。   GsonBuilder用于
  • 【Spark九十一】Spark Streaming整合Kafka一些值得关注的问题 bit1129 Stream
    包括Spark Streaming在内的实时计算数据可靠性指的是三种级别： 1. At most once，数据最多只能接受一次，有可能接收不到 2. At least once, 数据至少接受一次，有可能重复接收 3. Exactly once  数据保证被处理并且只被处理一次，   具体的多读几遍http://spark.apache.org/docs/lates
  • shell脚本批量检测端口是否被占用脚本 ronin47
    #!/bin/bash cat ports |while read line do#nc -z -w 10 $line nc -z -w 2 $line 58422>/dev/null2>&1if[ $?-eq 0]then echo $line:ok else echo $line:fail fi done 这里的ports 既可以是文件
  • java-2.设计包含min函数的栈 bylijinnan java
    具体思路参见：http://zhedahht.blog.163.com/blog/static/25411174200712895228171/ import java.util.ArrayList; import java.util.List; public class MinStack { //maybe we can use origin array rathe
  • Netty源码学习-ChannelHandler bylijinnan javanetty
    一般来说，“有状态”的ChannelHandler不应该是“共享”的，“无状态”的ChannelHandler则可“共享” 例如ObjectEncoder是“共享”的, 但 ObjectDecoder 不是 因为每一次调用decode方法时，可能数据未接收完全（incomplete）， 它与上一次decode时接收到的数据“累计”起来才有可能是完整的数据，是“有状态”的 p
  • java生成随机数 cngolon java
    方法一： /** * 生成随机数 * @author [email protected] * @return */ public synchronized static String getChargeSequenceNum(String pre){ StringBuffer sequenceNum = new StringBuffer(); Date dateTime = new D
  • POI读写海量数据 ctrain 海量数据
    import java.io.FileOutputStream; import java.io.OutputStream; import org.apache.poi.xssf.streaming.SXSSFRow; import org.apache.poi.xssf.streaming.SXSSFSheet; import org.apache.poi.xssf.streaming
  • mysql 日期格式化date_format详细使用 daizj mysqldate_format日期格式转换日期格式化
    日期转换函数的详细使用说明  DATE_FORMAT(date,format) Formats the date value according to the format string. The following specifiers may be used in the format string. The&n
  • 一个程序员分享8年的开发经验 dcj3sjt126com 程序员
      在中国有很多人都认为IT行为是吃青春饭的，如果过了30岁就很难有机会再发展下去!其实现实并不是这样子的，在下从事.NET及JAVA方面的开发的也有8年的时间了，在这里在下想凭借自己的亲身经历，与大家一起探讨一下。 明确入行的目的 很多人干IT这一行都冲着“收入高”这一点的，因为只要学会一点HTML, DIV+CSS，要做一个页面开发人员并不是一件难事，而且做一个页面开发人员更容
  • android欢迎界面淡入淡出效果 dcj3sjt126com android
    很多Android应用一开始都会有一个欢迎界面，淡入淡出效果也是用得非常多的，下面来实现一下。 主要代码如下： package com.myaibang.activity; import android.app.Activity;import android.content.Intent;import android.os.Bundle;import android.os.CountDown
  • linux 复习笔记之常见压缩命令 eksliang tar解压linux系统常见压缩命令linux压缩命令tar压缩
    转载请出自出处:http://eksliang.iteye.com/blog/2109693 linux中常见压缩文件的拓展名 *.gz gzip程序压缩的文件 *.bz2 bzip程序压缩的文件 *.tar tar程序打包的数据，没有经过压缩 *.tar.gz tar程序打包后，并经过gzip程序压缩 *.tar.bz2 tar程序打包后，并经过bzip程序压缩 *.zi
  • Android 应用程序发送shell命令 gqdy365 android
    项目中需要直接在APP中通过发送shell指令来控制lcd灯，其实按理说应该是方案公司在调好lcd灯驱动之后直接通过service送接口上来给APP，APP调用就可以控制了，这是正规流程，但我们项目的方案商用的mtk方案，方案公司又没人会改，只调好了驱动，让应用程序自己实现灯的控制，这不蛋疼嘛！！！！ 发就发吧！ 一、关于shell指令： 我们知道，shell指令是Linux里面带的
  • java 无损读取文本文件 hw1287789687 读取文件无损读取读取文本文件charset
    java 如何无损读取文本文件呢？ 以下是有损的 @Deprecated public static String getFullContent(File file, String charset) { BufferedReader reader = null; if (!file.exists()) { System.out.println("getFull
  • Firebase 相关文章索引 justjavac firebase
    Awesome Firebase 最近谷歌收购Firebase的新闻又将Firebase拉入了人们的视野，于是我做了这个 github 项目。 Firebase 是一个数据同步的云服务，不同于 Dropbox 的「文件」，Firebase 同步的是「数据」，服务对象是网站开发者，帮助他们开发具有「实时」（Real-Time）特性的应用。 开发者只需引用一个 API 库文件就可以使用标准 RE
  • C++学习重点 lx.asymmetric C++笔记
    1.c++面向对象的三个特性：封装性，继承性以及多态性。   2.标识符的命名规则：由字母和下划线开头，同时由字母、数字或下划线组成；不能与系统关键字重名。   3.c++语言常量包括整型常量、浮点型常量、布尔常量、字符型常量和字符串性常量。   4.运算符按其功能开以分为六类：算术运算符、位运算符、关系运算符、逻辑运算符、赋值运算符和条件运算符。 &n
  • java bean和xml相互转换 q821424508 javabeanxmlxml和bean转换java bean和xml转换
    这几天在做微信公众号 做的过程中想找个java bean转xml的工具，找了几个用着不知道是配置不好还是怎么回事，都会有一些问题， 然后脑子一热谢了一个javabean和xml的转换的工具里，自己用着还行，虽然有一些约束吧 ， 还是贴出来记录一下      顺便你提一下下，这个转换工具支持属性为集合、数组和非基本属性的对象。   packag
  • C 语言初级 位运算 1140566087 位运算c
    第十章 位运算   1、位运算对象只能是整形或字符型数据，在VC6.0中int型数据占4个字节   2、位运算符： 运算符 作用 ~ 按位求反 << 左移 >> 右移 & 按位与 ^ 按位异或 | 按位或 他们的优先级从高到低；   3、位运算符的运算功能： a、按位取反： ~01001101 = 101
  • 14点睛Spring4.1-脚本编程 wiselyman spring4
    14.1 Scripting脚本编程 脚本语言和java这类静态的语言的主要区别是:脚本语言无需编译,源码直接可运行; 如果我们经常需要修改的某些代码,每一次我们至少要进行编译,打包,重新部署的操作,步骤相当麻烦; 如果我们的应用不允许重启,这在现实的情况中也是很常见的; 在spring中使用脚本编程给上述的应用场景提供了解决方案,即动态加载bean; spring支持脚本
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他