形式化

缺少价值提问: 维护的系统是不是太多? 每个系统的目标有没有设定清晰以及思考清楚目标的价值? 最近在研究一些行动套路 并且希望用自己的行动来做实验验证自己的思路. 在做事上自己会研究很多的方案 跟着我的同事会发现 做事过于形式化一定要按照某一个套路 这个会让人觉得是形而上学. 当然自己也知道 这样不好会折腾大家. 所以现在更希望在自己的身上试验成功，在让其他同事跟进. 也就是遵循古人说的: 己所不欲勿施于人. 前几天看了二篇文章的标题 觉得很有意思对自己的感触也很深: “一直学习就不会进步” “一直做事就不会进步” 这个问题貌似一直在困扰着自己. 自己也遇到了这个问题. 想了一下这个问题， 如果按照系统思维来反思这里遇到的问题? 有下面3个反思点: 时间是有限的人的精力也是有限的 什么都想要提升最后可能什么都得不到所以要思考什么是对自己最有价值的. 人们倾向于逃避思考 一件事情的目标不是马上就能想出来的.就需要不断思考、深入思考、大量思考，不断搜索、分析、对比，研究，才能找做事情的目标。 三思而后行多提问做事之前先问自己以下几个问题: 这事对吗？什么更重要？什么最重要？什么事绝对不能做？什么事一定要做到底？ 想清楚了，然后把目标写下来。 系统从存量到目标值 产生质的变化是需要量的积累 并且在系统运行的初期效果是不明显类似复利效应: 刚开始收益低 随着时间越长收益越高. 而大部分人 还没有看到效果就放弃或者换一个方向. 自己的确立了很多没有成功的目标，目前看来，不是目标有问题，而是放弃的太早，比如写作这件事

香港，中国 - Media OutReach - 2020年8月12日 - 利洁时一直秉持以人为本的宗旨，竭力以卫生防护、健康疗护、营养呵护的方式，为消费者创造更洁净、更健康的世界。因应现时本地“2019 冠状病毒病”疫情持续，利洁时香港迅速策动社区防疫支援计划，与多间本地非牟利机构联手，为社区提供高品质的个人防护及消毒产品，以支援有需要人士。 澳乐家无味驱蚊喷雾，全面保护学童健康

"人月是危险的带有欺骗性的神话，因为它暗示人员数量和时间是可以相互替换的。" —— 即在某些任务中，不要以为1个人花10个月才能完成的任务（10人月）换成10个人就能在1个月完成； 本书每章都是独立的短文，书中的第18章：《人月神话》的观点：是与非？对前面每章的观点做了总结； 外科医生是超级程序员，亲自负责设计、编码、技术文档、测试，其它全是打下手的，类似外科手术； 好处就是系统是一个人或者最多两个人思考的产物，达到概念一致性；而当规模大到需要200人时，只需要组织每个团队的超级程序员沟通——仅20人，大大降低沟通成本和提高效率； 这种组合也基于一个“事实”，超级程序员的效率是菜鸟的10倍； 3. 贵族专制：为了获得概念完整性，设计必须由一个人或者具有共识的小型团队来完成； 4. 画蛇添足：设计第二个系统是最危险的，往往会过分设计； 5. 文档出于精确性，需要形式化定义，出于理解性，需要记叙性定义；但只能选其中一种作为标准，另一种为辅助； 6. 项目工作手册：不是一篇独立的文档，是对项目必须产生的一系列文档进行组织的一种结构，项目所有文档都必须是该结构的一部分，每个团队成员都应该能看到； 每个子项目具有两个领导角色——产品负责人、技术主管或结构师； 10.新的概念和技术不断涌现，必须计划构建一个实验性系统然后抛弃它，不要将原型直接丢给客户； 11.个性化的工具妨碍沟通，开发和维护公共的通用编程工具效率更高； 12.通过剔除bug的设计、构件单元调试、系统集成调试来保证系统可运行； 14.文档可防止记忆衰退导致失去对程序的了解； 不同的用户需要不同的文档； 自文档化（self-documenting）的程序，即将文档整合到源程序中； 记录下一些印象深刻的观点： “任何创造性活动都伴随着枯燥艰苦的劳动。” “良好的烹饪需要时间，某些任务无法在不损害结果的情况下加快速度

GB/T50430全称《工程建设施工企业质量管理规范》 是建设部为了加强工程建设施工企业的质量管理工作，规范施工企业从工程投标、施工合同的签订、施工现场勘测、施工图纸设计、编制施工相关作业指导书、人机料进场、施工过程管理及施工过程检验、内部竣工验收、竣工交付验收、档案移交人员离场、保修服务等一系列流程而起草标准。其目的就是通过推动施工企业全面实施GB/T50430，进一步强化和落实质量责任，提高企业自律和质量管理水平，促进施工企业质量管理的科学化、规范化和法制化。 1）基本思想与ISO9000系列标准保持一致，在内容上全面涵盖了ISO9001标准的要求； 2）条文结构安排上充分体现了施工企业管理活动特点，突出了过程方法和PDCA思想； 3）GB/T50430结合施工行业管理特点，在ISO9001标准基础上又提出了诸多进一步要求； 4）GB/T50430本土化、行业化特点突出，语言简洁明了，便于企业贯彻实施； 5）GB/T50430与我国施工行业现行管理模式保持一致，施工企业在贯彻时不仅不会增加负担，反而因减少了由于企业对ISO9000标准的误解产生的形式化操作，而减轻负担； 6）GB/T50430紧密结合当前我国已发布的建设管理各项法律法规的要求，以便通过该规范的实施推动工程建设管理法制化的进程； 7）GB/T50430的编制不是从狭义的“质量”角度出发、仅局限于工程(产品)质量的控制，而是从与工程质量有关的所有质量行为的角度即“大质量”的概念出发，全面覆盖企业所有质量管理活动；

随着时间的推进，H5游戏逐渐成为商家做营销推广的重要工具，但由于市场上用H5游戏做营销推广的企业有很多，因此导致自己的H5游戏很难从中脱颖而出，为了提高产品竞争力，我将会在下面的文章里为大家详细讲述让用户关注自己H5游戏的技巧。 企业想要自己的品牌借助H5进行营销，那么就不可以忘记游戏的目的，要在游戏中突出品牌元素，通过小游戏进行品牌传播，可以使品牌成为游戏的“头衔”，或者让品牌成为H5小游戏的一部分。总而言之，就是要让您的H5游戏拥有品牌特性，这样才能有效提高您的产品竞争力和曝光率

我原来做过书评的呀，这本书太多哈耶克了。 2021年9月27日读毕，这本书提出了与卡尼曼、特沃斯基、塞勒等行为经济学不同的理性观点，也就是生态理性，也就是进化中的理性。史密斯比较认同吉仁泽关于理性的观点，这与特沃斯基不同，特沃斯基对于吉仁泽的相反观点深恶痛绝，卡尼曼则相对中性

汇报摘要： 切换系统是刻画具有多模态的动态系统它是由一组连续或离散动态系统以及决定在其中切换的切换信号组成的一类典型的混杂系统. 然而由于连续或离散动态和切换信号的并存以及相互作用 使得切换系统具有极其复杂的动态行为 相应的分析与设计问题也变得十分困难。这种困难集中表现为缺乏系统有效的工具. 虽然单模态系统成熟有效的方法对于切换系统有着重要的参考与借鉴作用 事实上 人们一直试图推广这些方法到切换系统 然而大多数方法都很难应用到切换系统或很难奏效. 并且切换系统是非线性系统 即使子系统是线性的 线性切换系统仍然表现出非常复杂的非线性特性。 因此 非线性切换系统的分析与设计问题不但具有重要的科学价值而且具有广泛的实际应用意义 已成为近年来国际自动控制领域亟待解决的关键科学问题

古今明，1933年出生于河北保定。中国著名书画家，中国第一任礼宾官员，中国宋庆龄基金会创建人，恩来爱心工程筹委会主任，中华五千年动画促进会会长、亚洲儿童艺术展高级顾问。 1995年，古今明创作的艺术作品，作为国礼赠送给新加坡总统王鼎昌

本书分为九章：第一章是绪论；第二章是对副词研究的回顾；第三章阐述副词语用研究的前提和基础；第四章是语用视角下副词的类别研究；第五章是语用视角下的副词语义指向分析；第六章是语义指向与语用视角相结合的综合研究；第七章阐述副词及其指向成分的语音学研究；第八章讲述语用歧义的形式化及副词语用研究的跨语言应用启示；第九章是结语。 徐以中，南京航空航天大学外国语学院副教授、硕士生导师。2007年毕业于浙江大学语言与认知研究中心，获博士学位

离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。 本课程介绍计算机科学和信息技术理论基础的概念和思想方法，介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念，介绍离散数学基本概念和空间信息技术之间的联系与结合，培养学生理解和掌握离散数学基本概念，采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。老师的讲解通俗易懂，言辞幽默，受益匪浅