产品及服务

零空网际提供软件工程实施管理产品和服务。包括：

核心算库

每个工程都需要用到科学知识，包括从小学学到的知识到大学里各学科领域的知识。我们对这些知识按照依赖关系进行了划分，实现了诸多类库，可以为各项工程提供科学计算的核心支持，包括

  1. 有理数（含不同进制）及不限精度的实数计算、积分、特殊函数、概率问题求解、几何等。比如：假设我们设置阈值为 1-黄金分割率，然后我们比较样本是否超过阈值就可以用如下代码：
    	var threshold = new nilnul.num.real_.GoldenRatioLittle();
	var proportion = nilnul.num.Quotient.CreateByDivide(validSamples, totalSamples);
	if (
		nilnul.num.real.Comparer.Decider.Singleton.ge(
			proportion,
			threshold
		)
	){
		//do something 
	}
  2. 提供各种模型、算法的实现。包括对离散事件模拟的实现（如模拟解决排队问题），给定均值下和样本数量下的样本随机化（如模拟交通系统时，已知平均时速和正整数n，而尽可能的随机化n个车的速度），各种关系（偏序、全序、函数、DAG）的计算。
  3. 提供形式语言处理，比如我们采用一种新方法实现了bool公式语言的编译。

本库对本公司及其客户的各个应用提供了支持，如对工程管理中工期进行仿真计算时，采用本库提供的离散时间模拟、实数计算和关系计算进行求解。

 

网站开发框架

越来越复杂的前端应用（包括单页应用），使得我们必须能采用分治策略对复杂工程进行分解到较小的复杂度可控单元（子项目），从而可以将各子项目单独开发和重用，并利于调试和定位解决问题。

公司研发了一整套网站开发框架。该框架下：

  1. 我们可以定义一些独立的网页控件；每个控件可以进行单独调试和测试。控件能够自主完成从数据层到表现层与用户的互动，因此该控件类似于一个嵌在网页里的小应用。
  2. 新控件可以嵌入现有控件，从而可以构成复杂的控件，直至完成整个网页应用。
  3. 与JqueryUI等控件不同，我们的控件无需ID。因此，开发人员在引入控件到自己应用中时，无需担心不同来源控件的ID冲突，避免难以查找的bug。
  4. 开发人员可以自行开发控件。
  5. 框架下自带的诸多已定义好的控件，小到如可实时感知用户输入（键盘每个按键、粘贴、自动完成）的文本框（注意市场上大多控件仅在文本框失去焦点时触发change事件），大到用户和角色管理、定制服务等。
  6. 公司提供了将控件包装成Visual Studio工具栏控件，开发人员只需拖动工具按钮，即已完成应用该控件。
  7. 每个控件包含了从数据到前端交互的各层次，层次清晰。可结合我们对工程数据库、类库、前端的层次分解和工程分解方法，对大型项目进行清晰管理。

采用本框架，可以把控复杂大型网站应用的工程实施，能够分层、分模块开发调试和定位错误，大大提高开发效率，进行有效管理。

该技术已应用在高校、政府等基于Web的信息系统开发中。

 

版本控制和备份自动化

本版本控制系统客户端基于Git进行了二次开发。用户可以在开发环境中打开本系统，针对各个正在开发的工程进行管理。包括：

  1. 自动在云端（无需用户登录云端服务）建立代码库。用户一键发出指令，可以在多个在线Git服务中同时建库。目前系统支持在VisualStudioOnline, BitBucket.org, GitLab.com上自动建库，经过配置，也可以支持其它Git服务。采用多个云端服务，可以保证库可用和数据安全。
  2. 可以同时管理多个开发的工程。
  3. 可以自动启动GitK等GUI。可以自动报告每个命令的运行结果。
  4. 支持自定义命令，用户无需记忆烦乱的git命令。
  5. 可定制开发。

我们采用本系统对本公司的诸多项目工程进行管理，保障了源代码的安全可用，对多人、多地、多机协作提供了有力支持。

 

科技知识文章的呈现

我们提供一整套方案支持论文等知识标书文章的呈现。这种呈现全部采用W3支持的国际标准和公开技术，无需依赖私有软件。

  1. 该方案采用MathML呈现数学公式，可以在支持的浏览器（如FireFox）中美丽呈现。我们提供有相应的VisualStudio工具栏按钮，用户只需拖放，即可编辑常用公式；此外用户也可以自定义或定制控件。对于一个公司而言，有些公式常重复使用，此时只需做一次控件，可以减轻知识工作者负担，并减少错误发生的可能。
  2. 采用SVG呈现插图时，本系统也提供各种模板和控件，支持用户定制控件。
  3. 支持自动编号。用户编辑时，无需给给各级标题分级编号，本系统会按照用户定制或缺省要求编号。
  4. 支持插图、公式、代码块、表格的交叉引用。以插图为例，系统自动对插图编号；而引用文字无论在插图前后的，都可以正确插入编号，并生成超链接指向插图。
  5. 可以支持参考文献。其中参考文献可以采用我司的文献数据库格式。

我们已经应用本系统编纂过大小篇幅的文档（如本文——请在较新版的浏览器如FireFox中查看），包括长篇的、科技性极强的投标书和技术方案。

问答和知识库系统

我们的问答系统有自己的特点，比如问题不仅仅是问答题，还可以是判断、选择、填空等。此外，我们可以把问题和NilNul知识引擎关联起来，把每个问答归纳入到对用的知识点，从而可以科学管理知识体系。

本系统（结合本团队知识文章呈现系统）可以应用到在线问答系统，测试自动生成系统等。测试的试卷可以根据知识点拓扑逻辑，保证指定的知识点不重不漏（或尽可能广泛）。我们应用本系统可以为高校生成试卷，也可以用于企业人力资源招聘、培训、考核等。

点击此处查看幻灯展示。

定制开发

我们也承担一些软件定制开发工程，如类库、算法或解决方案实现、桌面和Web开发、数据库设计、测试程序编制等。